Grad (Vektorbündel)

Grad (Vektorbündel)

Der Grad eines Vektorbündels auf einer projektiven algebraischen Kurve ist eine relativ grobe, ganzzahlige Invariante. Er ist eng mit der Euler-Charakteristik des Vektorbündels verknüpft. Triviale Vektorbündel haben Grad 0.

Inhaltsverzeichnis

Definition

Der Grad \deg\mathcal L eines Geradenbündels \mathcal L\cong\mathcal O(D) mit einem Divisor D ist definiert als der Grad von D. Ist D= \sum n_P P ein Divisor, so ist sein Grad einfach die ganze Zahl  \sum n_P . Der Grad eines Vektorbündels D ist der Grad seines Determinantenbündels \, \det E = \bigwedge^{{\rm rk} E} E .

Ein meromorpher Schnitt \neq 0 in einem Geradenbündel besitzt Nullstellen und Polstellen, die jeweils mit einer gewissen Ordnung (Vielfachheit) auftreten. Die Gesamtsumme dieser Ordnungen, wobei man die Polordnungen negativ zählen muss, ist unabhängig vom meromorphen Schnitt selbst, und ist eben der Grad des Bündels.

Eigenschaften

  • Additivität: ist
0\longrightarrow\mathcal E'\longrightarrow\mathcal E\longrightarrow\mathcal E''\longrightarrow0
eine kurze exakte Folge von Vektorbündeln, so ist
\deg\mathcal E=\deg\mathcal E'+\deg\mathcal E''.
  • Für zwei Vektorbündel \mathcal E,\mathcal F gilt
\deg(\mathcal E\otimes\mathcal F)=\mathrm{rk}\,\mathcal F\cdot\deg\mathcal E+\mathrm{rk}\,\mathcal E\cdot\deg\mathcal F.
  • Satz von Riemann-Roch: Für ein Vektorbündel \mathcal E auf einer glatten Kurve vom Geschlecht g gilt:
\chi(\mathcal E)=\deg\mathcal E+\mathrm{rk}\,\mathcal E\cdot(1-g).

Der Grad auf höherdimensionalen Varietäten

Auf einer glatten (oder zumindest normalen) projektiven Varietät X beliebiger Dimension kann man einem Vektorbündel (und sogar allgemeiner einer torsionsfreien Garbe) E ebenfalls einen Grad zuordnen, der allerdings von einem fixierten sehr amplen Divisor H abhängt. In dieser Situation setzt man (unter Verwendung der Schnitttheorie)

\deg \, E :=  \det (E) \, . \, H^{\rm dim (X)-1}

Man nimmt also den (dim(X) − 1) − fachen Selbstschnitt des amplen Divisors, was eine Kurve ergibt, und betrachtet die Einschränkung des Bündels auf diese Kurve. Dieser Grad hat ähnliche Eigenschaften wie der auf einer Kurve definierte Grad.

Für ein Vektorbündel auf einem projektiven Raum vereinfacht sich diese Definition. Man hat det E = O(n) mit einer eindeutig bestimmten ganzen Zahl n, die man den Grad nennt.

Der Slope (Neigung) eines Vektorbündels

Zu einem gegebenen Vektorbündel E definiert man (erstmals von David Mumford) den slope (zu deutsch: die Neigung, doch ist dies nicht gebräuchlich) als

\mu (E) := \frac{\deg (E)}{ {\rm rk} (E)} \, .

Dies ist der Ausgangspunkt der Theorie der (semi)stabilen Vektorbündel.


Wikimedia Foundation.

Игры ⚽ Нужно сделать НИР?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Grad — Diese Seite wird derzeit im Sinne der Richtlinien für Begriffsklärungen auf der Diskussionsseite des Wikiprojektes Begriffsklärungen diskutiert. Hilf mit, die Mängel zu beseitigen, und beteilige dich an der Diskussion! Hinweise zur Überarbeitung …   Deutsch Wikipedia

  • Stabil (Vektorbündel) — Der Slope μ(E) eines Vektorbündels E auf einer glatten projektiven Kurve ist der Quotient deg E/rk E aus Grad und Rang von E. Ein Vektorbündel E heißt stabil, wenn für jedes nichttriviale Unterbündel F von E gilt: μ(F) < μ(E). E heißt… …   Deutsch Wikipedia

  • Stabilität (Vektorbündel) — Der Slope μ(E) eines Vektorbündels E auf einer glatten projektiven Kurve ist der Quotient deg E/rk E aus Grad und Rang von E. Ein Vektorbündel E heißt stabil, wenn für jedes nichttriviale Unterbündel F von E gilt:… …   Deutsch Wikipedia

  • Atiyah-Singer-Indextheorem — Der Atiyah Singer Indexsatz (Atiyah–Singer index theorem) besagt, dass für einen elliptischen Differentialoperator auf einer kompakten Mannigfaltigkeit der analytische Index (eng verbunden mit der Dimension des Lösungsraums) gleich dem… …   Deutsch Wikipedia

  • Indextheorie — Der Atiyah Singer Indexsatz (Atiyah–Singer index theorem) besagt, dass für einen elliptischen Differentialoperator auf einer kompakten Mannigfaltigkeit der analytische Index (eng verbunden mit der Dimension des Lösungsraums) gleich dem… …   Deutsch Wikipedia

  • Atiyah-Singer-Indexsatz — Der Atiyah Singer Indexsatz ist die zentrale Aussage aus der globalen Analysis, einem mathematischen Teilgebiet der Differentialgeometrie. Er besagt, dass für einen elliptischen Differentialoperator auf einer kompakten Mannigfaltigkeit der… …   Deutsch Wikipedia

  • Verallgemeinerter Laplace-Operator — Verallgemeinerte Laplace Operatoren sind mathematische Objekte, welche in der Differentialgeometrie insbesondere in der Globalen Analysis untersucht werden. Wie der Name schon sagt, sind die hier behandelten Operatoren Verallgemeinerungen des aus …   Deutsch Wikipedia

  • 1-Form — Im mathematischen Teilgebiet der Differentialgeometrie bezeichnet Pfaffsche Form oder Differentialform vom Grad 1 oder kurz 1 Form ein Objekt, das in gewisser Weise dual zu einem Vektorfeld ist. Pfaffsche Formen sind die natürlichen Integranden… …   Deutsch Wikipedia

  • Pfaff'sche Form — Im mathematischen Teilgebiet der Differentialgeometrie bezeichnet Pfaffsche Form oder Differentialform vom Grad 1 oder kurz 1 Form ein Objekt, das in gewisser Weise dual zu einem Vektorfeld ist. Pfaffsche Formen sind die natürlichen Integranden… …   Deutsch Wikipedia

  • Differentialoperator — Ein Differentialoperator ist in der Mathematik eine Abbildung, die einer Funktion eine Funktion zuordnet und die Ableitung nach einer oder mehreren Variablen enthält. Insbesondere verschlechtern Differentialoperatoren die Regularität der Funktion …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”