Kähler-Mannigfaltigkeit

In der Mathematik bezeichnet man mit Kähler-Mannigfaltigkeit (nach Erich Kähler) eine glatte Mannigfaltigkeit zusammen mit einer komplexen Struktur und einer riemannschen Metrik (im Sinne einer riemannschen Mannigfaltigkeit), die miteinander verträglich sind.

Der Begriff der Kähler-Mannigfaltigkeit findet Anwendung in der Darstellungstheorie von Lie-Gruppen und ist ein zentraler Begriff der geometrischen Quantisierung. Ein auch in der Stringtheorie wichtiges Beispiel für Kähler-Mannigfaltigkeiten sind Calabi-Yau-Mannigfaltigkeiten.

Definitionen

Symplektische Sichtweise

Eine Kähler-Mannigfaltigkeit ist eine symplektische Mannigfaltigkeit $(X,\omega )$ ausgestattet mit einer integrierbaren fast komplexen Struktur $J$, welche mit der symplektischen Form $\omega$ kompatibel ist, was bedeutet, dass die bilineare Form

$g(u,v)=\omega (u,Jv)$

auf dem Tangentialraum von $X$ an jedem Punkt symmetrisch und positiv definit ist.

Komplexe Sichtweise

Eine Kähler-Mannigfaltigkeit ist eine komplexe Mannigfaltigkeit $X$ mit einer hermitischen Metrik $h$ dessen zugehörige 2-Form $\omega$ ist geschlossen. Genauer gesagt, gibt $h$ eine positive bestimmte hermitische Form auf dem Tangentialraum $TX$ an jedem Punkt von $X$ und die 2-Form $\omega$ ist definiert durch

$\omega (u,v)=\operatorname {Re} h(iu,v)=\operatorname {Im} h(u,v)$

für Tangentialvektoren $u$ und $v$. Eine Kähler-Mannigfaltigkeit kann auch als Riemannsche Mannigfaltigkeit mit der Riemannschen Metrik $g$ angesehen werden definiert durch

$g(u,v)=\operatorname {Re} h(u,v).$

Riemannsche Sichtweise

Sei $M$ eine glatte Mannigfaltigkeit, $J\colon TM\to TM$ eine komplexe Struktur, das heißt eine glatte Abbildung $J\colon TM\to TM$ mit $J^{2}=-Id$ und $g\colon {\mathcal {V}}(M)\times {\mathcal {V}}(M)\to C^{\infty }(M;\mathbb {R} )$ eine riemannsche Metrik, wobei ${\mathcal {V}}(M)$ den Raum der glatten Vektorfelder auf $M$ bezeichnet. Das Tripel $(M,J,g)$ heißt Kähler-Mannigfaltigkeit, wenn

• $g(JX,JY)=g(X,Y)$

für alle Vektorfelder Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X,Y\in \mathcal{V}(M)} gilt und

• Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \omega(X,Y):=g(J X,Y)} eine symplektische Form

ist. Die 2-Form Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \omega} heißt dann die Kähler-Form von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle M} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle g} die Kähler-Metrik.

Falls der Ricci-Tensor proportional zur riemannschen Metrik ist, so spricht man auch von einer Kähler-Einstein- (oder Einstein-Kähler)-Mannigfaltigkeit. Für weitere Details vgl. den Artikel einsteinsche Mannigfaltigkeit.

Hodge-Theorie für Kähler-Mannigfaltigkeiten

Auf einer Riemannschen Mannigfaltigkeit der Dimension Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle N} , ist der Verallgemeinerte Laplace-Operator auf glatten Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle r} -Formen als Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Delta_d := dd^*+d^*d} definiert, wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle d} die äußere Ableitung und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle d^* := -(-1)^{Nr}\star d\star} ist und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \star} den Hodge-Stern-Operator bezeichnet. Für eine hermetische Mannigfaltigkeit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} werden Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle d} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle d^*} zerlegt als

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle d=\partial+\bar{\partial},\ \ \ \ d^*=\partial^*+\bar{\partial}^*,}

und es werden zwei weitere Laplace-Operatoren definiert:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Delta_{\bar{\partial}} :=\bar{\partial}\bar{\partial}^*+\bar{\partial}^*\bar{\partial},\ \ \ \ \Delta_\partial :=\partial\partial^*+\partial^*\partial.}

Wenn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} Kähler-Struktur besitzt, dann sind diese verallgemeinerten Laplace-Operatoren bis auf eine Konstante identisch:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Delta_d=2\Delta_{\bar{\partial}}=2\Delta_\partial .}

Daraus folgt, dass auf einer Kähler-Mannigfaltigkeit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} die Gleichheit

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal H^r(X)=\bigoplus_{p+q=r}\mathcal H^{p,q}(X)}

gilt, wobei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal H^r} der Raum harmonischer Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle r} -Formen auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} (Formen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \alpha} mit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Delta\alpha=0} ) und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathcal H^{p,q}} der Raum harmonischer Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (p,q)} -Formen ist. Das heißt also, dass eine Differentialform Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \alpha} harmonisch ist, wenn alle ihre Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (p,q)} -Komponenten harmonisch sind.

Für eine kompakte Kähler-Mannigfaltigkeit Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} , gibt die Hodge-Theorie eine Interpretation der obigen Zerlegung, welche nicht von der Wahl der Kähler-Metrik abhängt. Nämlich teilt sich die Kohomologie Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H^r(X,\mathbb C)} von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} mit komplexen Koeffizienten als direkte Summe von gewissen kohärenten Garbenkohomologiegruppen:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle H^r(X,\mathbf{C})\cong\bigoplus_{p+q=r}H^q(X,\Omega^p).}

Die Gruppe auf der linken Seite ist nur von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} als topologischer Raum abhängig, während die Gruppen auf der rechten Seiten von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} als eine komplexe Mannigfaltigkeit abhängen. Also verbindet der Hodge-Zerlegungs-Satz Topologie und komplexe Geometrie für kompakte Kähler-Mannigfaltigkeiten.

Beispiele

1. Der komplexe Raum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb C^n} .
2. Ein kompakt komplexer Torus Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb C\setminus\Lambda} .
3. Jede Riemannsche Metrik auf einer orientierten 2-Mannigfaltigkeit.
4. Der komplex-projektive Raum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathbb C P^n} und projektive Varietäten Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X\subset \mathbb C^n} .
5. Die induzierte Metrik auf einer komplexen Untermannigfaltigkeit einer Kähler-Mannigfaltigkeit ist Kähler. Jede Steinsche Mannigfaltigkeit oder glatte projektive algebraische Varietät ist Kähler.
6. Hermetisch symmetrische Räume.
7. Jede K-3 Oberfläche ist Kähler.
8. Bahnen der koadjungierten Darstellung halb-einfacher Lie-Gruppen.

Siehe auch

• Quaternionische Kähler-Mannigfaltigkeit
• Fastkomplexe Mannigfaltigkeit

Weblinks

• A.L. Onishchik: Kähler manifold. In: Michiel Hazewinkel (Hrsg.): Encyclopedia of Mathematics. Springer-Verlag und EMS Press, Berlin 2002, ISBN 978-1-55608-010-4 (englisch, online). 

Literatur

• Alan Huckleberry, Tilman Wurzbacher (Hrsg.): Infinite Dimensional Kähler Manifolds (= DMV-Seminar. Bd. 31). Birkhäuser Verlag, Basel u. a. 2001, ISBN 3-7643-6602-8.
• Andrei Moroianu: Lectures on Kähler Geometry (= London Mathematical Society Student Texts. Bd. 69). Cambridge University Press, Cambridge 2007, ISBN 978-0-521-68897-0.