Fastkomplexe Mannigfaltigkeit

In der Mathematik ist der Begriff der fastkomplexen Mannigfaltigkeit eine Abschwächung des Begriffs komplexe Mannigfaltigkeit. Während komplexe Mannigfaltigkeiten lokal wie der komplexe Raum aussehen, tun dies fastkomplexe nur „infinitesimal“, das heißt die Tangentialräume sind (auf untereinander verträgliche Art) komplexe Vektorräume. Um einen reellen Vektorraum zu einem komplexen zu machen, muss man festlegen, was das Produkt eines Vektors mit der imaginären Einheit $i$ sein soll. Dies ist im Fall des Tangentialraums $T_{p}M$ die Aufgabe der Abbildung $J_{p}$.

Das Konzept wurde 1948/49 von Charles Ehresmann und Heinz Hopf eingeführt.

Definition

Fastkomplexe Struktur

Eine fastkomplexe Struktur auf einer glatten Mannigfaltigkeit $M$ ist eine glatte Abbildung $J\colon TM\to TM$ mit der Eigenschaft, dass die Einschränkung $J_{p}:=J|_{T_{p}M}$ auf den Tangentialraum zu jedem Punkt $p\in M$ eine bijektive lineare Abbildung ist, die

$J_{p}\circ J_{p}=-\mathrm {id}$

erfüllt. (Dies entspricht der Gleichheit $i^{2}=-1$.)

Fastkomplexe Mannigfaltigkeit

Eine fastkomplexe Mannigfaltigkeit ist eine glatte Mannigfaltigkeit $M$ zusammen mit einer fastkomplexen Struktur auf $M$.

Eigenschaften

• Seien $M$ und $N$ zwei fastkomplexe Mannigfaltigkeiten mit den jeweiligen fastkomplexen Strukturen $J_{M}$ und $J_{N}$. Eine stetig differenzierbare Abbildung $f\colon M\to N$ heißt holomorph (oder pseudo-holomorph), wenn der Pushforward $df\colon TM\to TN$ von $f$ mit den fastkomplexen Strukturen von $M$ und $N$ verträglich ist, das heißt, es muss

$df\circ J_{M}=J_{N}\circ df$

gelten.

• Eine komplexe Mannigfaltigkeit ist automatisch auch eine fastkomplexe. Durch die komplexe Struktur werden die Tangentialräume zu komplexen Vektorräumen und durch $Jv:=iv$ für $v\in TM$ wird eine fastkomplexe Struktur definiert. Umgekehrt braucht eine fastkomplexe Mannigfaltigkeit im Allgemeinen keine komplexe Struktur zu besitzen. Falls es aber einen Atlas gibt mit Karten, deren Zielbereich ein komplexer Vektorraum ist und die im Sinne der fastkomplexen Struktur holomorph sind, dann ist dieser Atlas ein komplexer Atlas, der die fastkomplexe Struktur induziert. Man kann deshalb komplexe Mannigfaltigkeiten auch definieren als fastkomplexe Mannigfaltigkeiten, die einen holomorphen Atlas besitzen.

Integrierbarkeit

→ Hauptartikel: Satz von Newlander-Nirenberg

Eine fastkomplexe Struktur heißt integrierbar, wenn sie einen holomorphen Atlas besitzt, das heißt eine komplexe Struktur ist. Der Satz von Newlander-Nirenberg besagt, dass eine fastkomplexe Struktur genau dann integrierbar ist, wenn der Nijenhuis-Tensor verschwindet.

Beispiele

• Für jede natürliche Zahl $n$ gibt es komplexe Strukturen auf dem $\mathbb {R} ^{2n}$, zum Beispiel ($1\leq i,j\leq 2n$): $J_{ij}=-\delta _{i,j-1}$ für ungerade 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 i} 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 J_{ij} = \delta_{i,j+1} } für gerade 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 i} .
• Fastkomplexe Strukturen gibt es nur auf Mannigfaltigkeiten gerader Dimension. (Andernfalls hätte 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 J:TM\rightarrow TM} mindestens einen reellen Eigenwert im Widerspruch zu 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 J^2=-1} .)
• Im reell zweidimensionalen (das heißt im komplex-eindimensionalen) ist jede fastkomplexe Mannigfaltigkeit eine komplexe Mannigfaltigkeit, also eine riemannsche Fläche. Dies kann man durch das Lösen der Beltrami-Gleichung zeigen.
• Die einzigen Sphären mit fastkomplexen Strukturen sind 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 S^2} 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 S^6} (Armand Borel, Jean-Pierre Serre 1953). Die bekannte fastkomplexe Struktur – hergeleitet aus der Geometrie der Oktonionen – auf der 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 S^6} ist nicht integrierbar. Es ist nicht bekannt, ob es auf der 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 S^6} eine komplexe Struktur gibt. Im Allgemeinen wird aber vermutet, dass dies nicht so ist, wenn es auch Versuche gab, eine solche zu konstruieren. Beweisversuche der Nicht-Existenz gab es zum Beispiel von C. C. Hsiung (1986) und S. S. Chern (2003) und 2016 von Michael Atiyah.
• Jede symplektische Mannigfaltigkeit ist fastkomplex.

Hermitesche Metrik

Eine hermitesche Metrik 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} auf einer fastkomplexen Mannigfaltigkeit ist eine 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 J} -invariante riemannsche Metrik, d. h. eine riemannsche Metrik, die

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(JX,JY)=g(X,Y)}

für alle 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 TM} erfüllt.

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(X,Y):=g(X,JY)}

heißt fundamentale 2-Form der fast-hermitschen 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 (M,J,g)} heißt fast-kählersch 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 d\Omega=0} .

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,J,g)} heißt hermitesche Mannigfaltigkeit 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 J} integrierbar ist. Eine hermitesche Mannigfaltigkeit 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 d\Omega=0} ist eine Kählermannigfaltigkeit.

Literatur

• Klaus Fritzsche, Hans Grauert: From Holomorphic Functions to Complex Manifolds (= Graduate Texts in Mathematics. 213). Springer, New York NY u. a. 2002, ISBN 0-387-95395-7.