Chernklasse

Chernklasse

In der Mathematik, genauer in der algebraischen Topologie und in der Differentialgeometrie und -topologie, ist eine Chernklasse ein spezieller Typ einer charakteristischen Klasse, die komplexen Vektorbündeln zugeordnet wird.

Chernklassen sind nach Shiing-Shen Chern benannt, der sie in den 1940er-Jahren erstmals allgemein definierte.

Inhaltsverzeichnis

Grundidee und Motivation

Chernklassen sind charakterische Klassen, sie sind topologische Invarianten von Vektorbündeln über glatten Mannigfaltigkeiten, zwei isomorphe Vektorbündel haben dieselbe Chernklasse. Die Chernklassen liefern also eine Möglichkeit zu verifizieren, dass zwei Vektorbündel über einer glatten Mannigfaltigkeiten verschieden sind, jedoch kann mit ihrer Hilfe nicht entschieden werden, dass zwei Vektorbündel isomorph sind (da nicht-isomorphe Vektorbündel dieselbe Chernklasse haben können).

In der Topologie, der Differentialgeometrie und der algebraischen Geometrie ist es oft wichtig, die maximale Anzahl linear unabhängiger Schnitte eines Vektorbündels zu bestimmen. Chernklassen ermöglichen, darüber etwas Information zu erhalten, zum Beispiel mit dem Riemann-Roch-Theorem oder dem Atiyah-Singer-Indexsatz. Das ist einer der Gründe, warum Chernklassen ein wichtiges Hilfsmittel der modernen Mathematik sind.

Chernklassen sind darüber hinaus in vielen Fällen der Praxis auch explizit berechenbar. In der Differentialgeometrie (und in Teilen der algebraischen Geometrie) können Chernklassen als Polynome in der Koeffizienten der Krümmungsform ausgedrückt werden.

Daher werden Chernklassen benutzt, um verschiedenste Probleme der Mathematik anzugehen.

Die Chernklasse eines Hermiteschen Vektorbündels auf einer glatten Mannigfaltigkeit

Sei V ein komplexes hermitesches Vektorbündel von Rang n auf einer glatten Mannigfaltigkeit M. Die k-te Chernklasse (oder Chernform) ck(V) von V ist dann durch die Koeffizienten des charakteristischen Polynoms der Krümmungsform Ω von V gegeben.

\det \left(\frac {it\Omega}{2\pi} +I\right) = \sum_k c_k(V) t^k

Die Determinante wird über dem Ring der n \times n-Matrizen mit Einträgen aus dem Polynomring über der kommutativen Algebra der geraden komplexen Differentialformen auf M gebildet. Die Krümmungsform Ω ist durch

\Omega=d\omega+\frac{1}{2}[\omega,\omega]

definiert, wobei ω die Zusammenhangsform und d die äußere Ableitung ist.

Dass dieser Ausdruck einen Repräsentanten der Chernklasse liefert, meint hier bis auf eine exakte Differentialform. Das heißt, Chernklassen sind de Rhamsche Kohomologieklassen. Es kann gezeigt werden, dass die Kohomologieklasse der Chernform nicht von der Wahl des Zusammenhangs in V abhängt.

Beispiel: Das komplexe Tangentialbündel der Riemannschen Zahlenkugel

Sei CP1 die Riemannsche Zahlenkugel, der eindimensionale komplexe Projektive Raum. Sei weiter z eine holomorphe lokale Koordinate, V = T\mathbf{CP}^1 das komplexe Tangentialbündel, die Vektoren haben an jedem Punkt die Form a\partial/\partial z, dabei bezeichnet a eine komplexe Zahl. Wir zeigen, dass V keinen nirgends verschwindenden Schnitt hat.

Dafür benötigen wir folgende Tatsache: Die erste Chernklasse eines trivialen Bündels ist Null, d. h.

c_1({\mathbf C\mathbf P}^1\times {\mathbf C})=0.

Davon kann man sich dadurch überzeugen, dass ein triviales Bündel stets eine flache Metrik hat.

Nun zeigen wir

c_1(V) \not= 0.

Betrachte dazu eine Mannigfaltigkeit mit der Kähler-Metrik

h = \frac{dzd\bar{z}}{(1+|z|^2)}.

Die Krümmungsform zu h ist dann durch

\Omega=\frac{2dz\wedge d\bar{z}}{(1+|z|^2)^2}.

gegeben. Nach Definition der ersten Chernklasse ist

c_1=\frac{i}{2\pi}\Omega.

Wir müssen zeigen, dass die Kohomologieklasse von c1 von Null verschieden ist. Dazu berechnen wir das Integral

\int c_1=\frac{i}{\pi}\int \frac{dz\wedge d\bar{z}}{(1+|z|^2)^2}=2

durch Koordinatentransformation. Nach dem Satz von Stokes hätte das Integral einer exakten Form den Wert 0, also ist die Klasse von c1 nicht die Nullklasse und T\mathbf{CP}^1 ist nicht trivial.

Eigenschaften

Sei V ein komplexes Vektorbündel über dem topologischen Raum X. Die Chernklassen von V sind eine Folge von Elementen der Kohomologie von X. Die k-te Chernklasse von V, die üblicherweise ck(V) bezeichnet wird, ist ein Element von H2k(X), der Kohomologie von X (mit ganzzahligen Koeffizienten). Man definiert auch die totale Chernklasse

c(V) = c_0(V) + c_1(V) + c_2(V) + \cdots

als Element von H * (X).

Die Chernklassen genügen den folgenden vier Axiomen:

  • c0(V) = 1 für jedes V.
  • Additivität: Ist W \to X ein weiteres komplexes Bündel, so ist die Chernklasse der Whitney-Summe V \oplus W durch
c(V \oplus W) = c(V) \cup c(W)

gegeben, d. h. für jedes k ist

c_k(V \oplus W) = \sum_{i = 0}^n c_i(V) \cup c_{k - i}(W).
  • Normalisierung: Die totale Chernklasse des tautologischen Geradenbündels über \mathbf{CP}^k ist 1 − H. Dabei bezeichnet H das Poincaré-Dual der Hyperebene \mathbf{CP}^{k - 1} \subseteq \mathbf{CP}^k.

Alexander Grothendieck hat diese Axiome durch etwas schwächere ersetzt:

  • Funktioralität: (siehe oben)
  • Additivität: Ist 0\rightarrow V'\rightarrow V\rightarrow V''\rightarrow 0 eine exakte Sequenz von Vektorbündeln, dann ist c(V)=c(V')\cup c(V'').
  • Normalisierung: Ist V ein Geradenbündel, dann ist c(V)=1+e(V_{\mathbf R}), dabei bezeichnet e(V_{\mathbf R}) die Eulerklasse des V zugrunde liegenden reellen Vektorbündels.

In der Tat charakterisieren diese Eigenschaften die Chernklassen eindeutig. Einige wichtige Folgerungen sind

  • Ist n der Rang von V, so ist ck(V) = 0 für jedes k > n (die totale Chernklasse ist insbesondere wohldefiniert).
  • Die höchste Chernklasse von V (also cn(V), n der Rang von V) ist immer gleich der Eulerklasse des zugrunde liegenden reellen Vektorbündels.

Da die Chernklassen hier Kohomologieklassen mit ganzen Koeffizienten sind, sind sie etwas feiner als die oben im Riemannschen Beispiel betrachteten, die reelle Koeffizienten hatten.

Konstruktion von Chernklassen

Es gibt mannigfache Wege, sich dem Ziel zu nähern, jeder einzelne fokussiert einen etwas anderen Aspekt der Chernklassen.

Die ursprüngliche Herangehensweise war algebraische Topologie: Chernklassen entstehen über Homotopietheorie, die eine Abbildung von X in einen klassifizierenden Raum (in diesem Fall eine unendliche Grassmann-Mannigfaltigkeit). Jedes Vektorbündel V über einer Mannigfaltigkeit kann als Pullback eines universellen Bündels über dem klassifizierenden Raum dargestellt werden, und die Chernklassen von V können daher als Pullback der Chernklassen des universellen Bündels definiert werden, welche wiederum explizit durch Schubertzykel ausgedrückt werden können.

Cherns Zugang verwandte Differentialgeometrie und den oben beschriebenen Zugang über die Krümmungsform. Er zeigte, dass beide Zugänge äquivalent sind.

Der axiomatische Zugang von Alexander Grothendieck zeigt, dass man die Chernklassen nur für Geradenbündel festlegen muss.

Chernklassen treten auch in der algebraischen Geometrie auf natürliche Weise auf. Die verallgemeinerten Chernklassen der algebraischen Geometrie können für lokal freie Garben über jeder nichtsingulären Varietät definiert werden. Die Chernklassen der algebraischen Geometrie verlangen vom zugrundeliegenden Körper nur die algebraische Abgeschlossenheit, insbesondere müssen Vektorbündel nicht unbedingt komplex sein.


Vom gewählten Zugang unabhängig ist die intuitive Bedeutung einer Chernklasse die von 'benötigten Nullstellen' eines Vektorbündelschnittes: Zum Beispiel die Aussage, dass man einen Igel nicht kämmen kann. Auch wenn dies eigentlich eine Frage betreffend reelle Vektorbündel ist (die "Stacheln" des Igels sind reelle Geraden), gibt es Verallgemeinerungen, in denen die Stachel komplex sind, oder für den eindimensionalen projektiven Raum über anderen Körpern.

Chernklassen von Geradenbündeln

Ein wichtiger Spezialfall ist der eines Geradenbündels V. Die einzige nichttriviale Chernklasse ist in diesem Fall die erste, die ein Element der zweiten Kohomologiegruppe von X ist. Da sie die höchste Chernklasse ist, ist sie gleich der Eulerklasse des Bündels.

Die erste Chernklasse erweist sich als eine vollständige Invariante, die die komplexen Geradenbündel klassifiziert. Das heißt, dass eine Bijektion zwischen den Isomorphieklassen komplexer Geradenbündel über X und den Elementen von H2(X) gibt, man ordnet hierbei jedem Bündel seine erste Chernklasse zu. Die Addition in H2(X) entspricht unter dieser Bijektion dem Tensorprodukt.

In der algebraischen Geometrie ist diese Klassifikation der komplexen Geradenbündel durch die erste Chernklasse eine erste Annäherung an die Klassifikation holomorpher Geradenbündel durch lineare Äquivalenzklassen von Divisoren.

Die Chernklassen sind für komplexe Bündel einer größeren Dimension keine vollständige Invariante mehr.

Chernklassen fast-komplexer Mannigfaltigkeiten und Kobordismustheorie

Die Theorie der Chernklassen liefert Kobordismus-Invarianten fast-komplexer Mannigfaltigkeiten.

Ist X eine fast-komplexe Mannigfaltigkeit, so ist sein Tangentialbündel ein komplexes Vektorbündel. Dessen Chernklassen werden auch als die Chernklassen von X bezeichnet. Ist X kompakt und geradedimensional, etwa 2d-dimensional, dann kann jedes Monom vom Totalgrad 2d in den Chernklassen von X\,. mit der Fundamentalklasse von X gepaart werden und liefert eine ganze Zahl, eine Chernzahl von X\,.  Ist Y eine weitere fast komplexe Mannigfaltigkeit derselben Dimension, dann sind X und Y genau dann kobordant, wenn sie dieselben Chernzahlen haben.

Verallgemeinerungen

Es gibt eine Verallgemeinerung der Theorie der Chernklassen, in der die gewöhnliche Kohomologietheorie durch eine verallgemeinerte ersetzt wird, die die Zusatzeigenschaft der komplexen Orientierbarkeit haben muss. Die formalen Eigenschaften der Chernklassen bleiben die dieselben, nur ist in der Regel, die die erste Chernklasse eines Tensorproduktes von Geradenbündeln berechnet, die Addition durch die entsprechende Operation zu ersetzen.

Chernzahlen

Auf orientierten Mannigfaltigkeiten der Dimension 2d kann jedes Produkt von Chernklassen vom Totalgrad 2d mit der Fundamentalklasse gepaart werden und liefert so eine ganze Zahl, eine Chernzahl des Vektorbündels. Hat die Mannigfaltigkeit beispielsweise Dimension sechs, so ergeben sich die verschiedenen Chernzahlen aus c_1^3, c1c2 und c3. Im allgemeinen ist die Anzahl der verschiedenen Chernzahlen die Anzahl der Partitionen von d.

Wie oben erwähnt, sind die Chernzahlen des Tangentialbündels eine (fast) komplexen Mannigfaltigkeit eine wichtige Invariante.

Der Cherncharakter

Chernklassen können verwandt werden, um einen Ringhomomorphismus von der topologischen K-Theorie eines Raumes in die Vervollständigung seiner rationalen Kohomologie zu konstruieren. Dieser Cherncharakter ist für Geradenbündel V durch

ch(V) = exp(c1(V))

gegeben.

Für Summen von Geradenbündeln wird der Cherncharakter durch Additivität definiert, hieraus ergibt sich eine Darstellung der Cherncharakters durch die Chernklassen. Diese wird verwandt, um den Cherncharakter für alle Vektorbündel zu definieren, die ersten Terme sind

\hbox{ch}(V) = \dim V + c_1(V) + c_1(V)^2/2 - c_2(V) + \ldots

Ist V die Summe der Geradenbündel L_1, \ldots, L_k mit ersten Chernklassen x_1, \ldots, x_k, so ist

\hbox{ch}(V)=e^{x_1}+\dots+e^{x_k}.

Im differentialgeometrischen Zugang über die Krümmung ist der Cherncharakter explizit durch

\hbox{ch}(V)=\hbox{tr}\left(\exp\left(\frac{i\Omega}{2\pi}\right)\right)

gegeben, dabei bezeichnet Ω die Krümmung.

Der Cherncharakter hilft beispielsweise bei der Berechnung der Chernklassen eines Tensorproduktes. Genauer besitzt er die beiden folgenden Eigenschaften

\hbox{ch}(V\oplus W)=\hbox{ch}(V)+\hbox{ch}(W)
\hbox{ch}(V\otimes W)=\hbox{ch}(V)\hbox{ch}(W)

Die erste dieser Formeln kann, wie oben erwähnt, mit Hilfe des Grothendieckschen Additivitätsaxioms für Chernklassen zu der Aussage verallgemeinert werden, dass ch ein Homomorphismus abelscher Gruppen von der K-Theorie K(X) in die rationale Kohomologie von X ist. Die zweite Gleichung besagt, dass dieser Homomorphismus multiplikativ ist, also sogar ein Homomorphismus von Ringen ist.

Literatur


Wikimedia Foundation.

Игры ⚽ Поможем написать курсовую

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

  • Chern-Klasse — In der Mathematik, genauer in der algebraischen Topologie und in der Differentialgeometrie und topologie, ist eine Chernklasse ein spezieller Typ einer charakteristischen Klasse, die komplexen Vektorbündeln zugeordnet wird. Chernklassen sind nach …   Deutsch Wikipedia

  • Gang Tian — (* 24. November 1958 in Nanjing) ist ein chinesischer Mathematiker, der sich mit Differentialgeometrie und Topologie beschäftigt. Gang Tian in Oberwolfach 2005 Inhaltsverzeichnis 1 Leben …   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

  • Charakteristische Klasse — Unter einer Charakteristischen Klasse versteht man in der Mathematik eine Methode, einem Vektorbündel über einem Raum X eine Kohomologieklasse zuzuordnen. Eine charakteristische Klasse beschreibt mehr oder weniger die Verdrehtheit eines Bündels,… …   Deutsch Wikipedia

  • Chern — Shiing Shen Chern in Oberwolfach, 1976 Shiing Shen Chern (Gwoyeu Romatzyh, chin. 陈省身, Chén Xǐngshēn, IPA (hochchin.) tʂʰən.ɕiŋ.ʂən; * 16. Oktober 1911 in Jiaxing; † 3. Dezemb …   Deutsch Wikipedia

  • Cousin-Problem — Der Weierstraßsche Produktsatz für besagt, dass zu einer vorgegebenen Nullstellenverteilung in eine holomorphe Funktion mit genau diesen Nullstellen existiert. Die Funktion kann als sogenanntes Weierstraß Produkt explizit konstruiert werden. Der… …   Deutsch Wikipedia

  • Eugenio Calabi — (* 11. Mai 1923) ist ein italienischer Mathematiker mit Fachgebiet Differentialgeometrie. Calabi studierte am Massachusetts Institute of Technology. 1950 erhielt er an der Princeton University seinen Ph.D.. Calabis betreuender Professor war …   Deutsch Wikipedia

  • Produktsatz von Weierstraß — Der Weierstraßsche Produktsatz für besagt, dass zu einer vorgegebenen Nullstellenverteilung in eine holomorphe Funktion mit genau diesen Nullstellen existiert. Die Funktion kann als sogenanntes Weierstraß Produkt explizit konstruiert werden. Der… …   Deutsch Wikipedia

  • Shing-Tung Yau — an der Harvard University Shing Tung Yau (kant. 丘成桐, Yale: Yau1 Sing4 Tung4; Pinyin: Qīu Chéngtóng; * 4. April 1949 in Shantou, Guangdong) ist ein …   Deutsch Wikipedia

Share the article and excerpts

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