Donaldson-Theorem

Das Donaldson-Theorem ist ein wichtiges Theorem aus den mathematischen Teilgebieten der Differentialtopologie und der Mathematischen Eichtheorie nach der die Schnittform einer kompakten orientierten glatten 4-Mannigfaltigkeit diagonalisierbar sein muss, wenn sie definit ist. In der ursprünglichen Version des Theorems aus dem Jahr 1983 musste die Mannigfaltigkeit noch einfach zusammenhängend sein, bei einer späteren Verbesserung aus dem Jahr 1987 war diese Bedingung nicht mehr notwendig. Zentrale Folgen des Donaldson-Theorems sind die Existenz von exotischen glatten Strukturen auf dem $\mathbb {R} ^{4}$ sowie der Fehlschlag des h-Kobordismus-Satzes in vier Dimensionen. Das Donaldson-Theorem begründete die Donaldson-Theorie zum Studium von 4-Mannigfaltigkeiten durch die Modulräume der antiselbstdualen Yang–Mills-Gleichungen (ASDYM-Gleichungen) und wird als einer der Gründe für den Verleih der Fields-Medaille an Simon Donaldson im Jahr 1986 angeführt.

Beweisskizze

Visualisierung des kompaktifizierten Modulraumes als Kobordismus zwischen der Basismannigfaltigkeit (durch dessen Struktur in der Unendlichkeit) sowie disjunkten Vereinigungen der komplexen projektiven Ebene (durch dessen Struktur um Singularitäten).

Es seien jeweils:

• $X$ eine kompakte orientierbare glatte 4-Mannigfaltigkeit
• $P\twoheadrightarrow X$ ein $\operatorname {SU} (2)$-Hauptfaserbündel
• $A\in \Omega _{\operatorname {Ad} }^{1}(P,{\mathfrak {su}}(2))\cong \Omega ^{1}(X,\operatorname {Ad} (P))$ ein Zusammenhang
• $F_{A}:=\mathrm {d} _{A}A=\mathrm {d} A+[A\wedge A]\in \Omega _{\operatorname {Ad} }^{1}(P,{\mathfrak {su}}(2))\cong \Omega ^{1}(X,\operatorname {Ad} (P))$ dessen Krümmungsform

Mit dem Hodge-Stern-Operator die antiselbstdualen Yang–Mills-Gleichungen (ASDYM-Gleichungen) $F_{A}=-\star F_{A}$. (Das funktioniert nur, weil $B$ eine 4-Mannigfaltigkeit ist, da $F_{A}$ und $\star F_{A}$ andernfalls von verschiedenen Graden sind.) Ihre Lösungen werden antiselbstduale Yang-Mills-Zusammenhänge genannt und bilden gemeinsam den Raum ${\mathcal {A}}^{-}\subset \Omega _{\operatorname {Ad} }^{1}(P,{\mathfrak {su}}(2))\cong \Omega ^{1}(X,\operatorname {Ad} (P))$. Gemäß der Definition eines Zusammenhangs wirkt die Eichgruppe ${\mathcal {G}}=\operatorname {Aut} _{\operatorname {SU} (2)}(P)\cong \Gamma ^{\infty }(X,\operatorname {Ad} (P))$ auf diesen und aufgrund der Kompatibilität mit der Definition der Krümmungsform ebenfalls wohldefiniert auf ${\mathcal {A}}^{-}$, wobei der Orbitraum als ${\mathcal {B}}^{-}={\mathcal {A}}^{-}/{\mathcal {G}}$ notiert wird. Ein wichtiger Unterraum ist der Modulraum, welcher als ${\mathcal {M}}^{-}\subset {\mathcal {B}}^{-}$ notiert wird.⁠ Mithilfe des Atiyah–Singer-Indexsatzes ergibt sich dessen Dimension als:

$\dim {\mathcal {M}}^{-}=8\langle c_{2}(P),[X]\rangle -3(1-b_{1}(X)+b_{+}(X)).$

Dabei sind jeweils:

• $c_{2}(P)\in H^{4}(X;\mathbb {Z} )$ die zweite Chern-Klasse des Hauptfaserbündels.⁠⁠
• $[X]\in H_{4}(X;\mathbb {Z} )$ die durch die Orientierung der Basismannigfaltigkeit $X$ gegebene Fundamentalklasse.
• $\langle -,-\rangle \colon H^{4}(X;\mathbb {Z} )\times H_{4}(X;\mathbb {Z} )\rightarrow \mathbb {Z}$ die Kronecker-Paarung
• $b_{1}(X)=\dim H_{1}(X;\mathbb {R} )$ die erste Betti-Zahl der Basismannigfaltigkeit $X$.
• $b_{+}(X)$ die Dimension des positiv definiten Untervektorraumes von $H^{2}(X;\mathbb {R} )$ bezüglich der Schnittform.

Ist $X$ einfach zusammenhängend wie in der ursprünglichen Version, dann folgt durch den Zusammenhang $H_{1}(X;\mathbb {Z} )=\pi _{1}(X)^{\mathrm {ab} }=1$ direkt $b_{1}(X)=0$, wodurch sich die Formel vereinfacht. Betrachtet wird ein Hauptfaserbündel $E\twoheadrightarrow B$ mit $\langle c_{2}(E),[B]\rangle =1$, sodass $\dim {\mathcal {M}}^{-}=5$. Sei $E\times _{\operatorname {SU} (2)}\mathbb {C} ^{2}$ das durch das balancierte Produkt zugeordnete komplexe Ebenenbündel. Reduzible Zusammenhänge $A\in \Omega _{\operatorname {Ad} }^{1}(P,{\mathfrak {su}}(2))\cong \Omega ^{1}(X,\operatorname {Ad} (P))$ bis auf Wirkung der Eichgruppe bilden zum einen die Singularitäten von ${\mathcal {M}}^{-}$ und korrespondieren zum anderen eineindeutig mit Aufteilungen $P\times _{\operatorname {SU} (2)}\mathbb {C} ^{2}=L\oplus L^{-1}$ in eine Whitney-Summe mit einem komplexen Linienbündel $L\twoheadrightarrow X$. In diesem Fall ist die zweite Chern-Klasse mit dem Cup-Produkt gegeben durch:

$c_{2}(P)=c_{2}(P\times _{\operatorname {SU} (2)}\mathbb {C} ^{2})=c_{2}(L\oplus L^{-1})=-c_{1}(L)\smile c_{1}(L).$

Durch die Kronecker-Paarung mit der Fundamentalklasse $[X]\in H_{4}(X;\mathbb {Z} )$ ergibt sich die Verbindung zur Schnittform durch:

$Q(c_{1}(L),c_{1}(L))=\langle c_{1}(L)\smile c_{1}(L),[X]\rangle =-\langle c_{2}(P),[X]\rangle =-1.$

Die Anzahl $n(Q)$ der Paare $\pm \alpha \in H^{2}(X;\mathbb {Z} )$ mit $Q(\alpha ,\alpha )=-1$ ist also ebenso die Anzahl $n(Q)$ der Singularitäten von ${\mathcal {M}}^{-}$. Es gilt $n(Q)\leq \operatorname {rk} (Q)$ (da in letzteres noch positiv die Anzahl der Paare $\pm \beta \in H^{2}(X;\mathbb {Z} )$ mit $Q(\beta ,\beta )=1$ eingeht) und Gleichheit gilt genau dann, wenn $Q$ diagonalisierbar ist. Der nicht kompakte Modulraum ${\mathcal {M}}^{-}$gleicht in der Unendlichkeit der Basismannigfaltigkeit $X$ (in dem Sinne, dass es eine Untermannigfaltigkeit ${\mathcal {M}}_{\varepsilon }\subset {\mathcal {M}}^{-}$ mit einem orientierungserhaltenden Diffeomorphismus ${\mathcal {M}}_{\varepsilon }\rightarrow X\times (0,\varepsilon )$ gibt) sowie in Umgebungen der $n(Q)$ Singularitäten der komplexen projektiven Ebene $\mathbb {C} P^{2}$. Mithilfe von Chirurgietheorie und Einklebung dieser Räume ergibt sich also eine Kompaktifizierung, die einen Kobordismus zwischen $X$ und $n(Q)$ disjunkten $\mathbb {C} P^{2}$ enthält. Da die Signatur kobordismusinvariant ist und mit disjunkten Vereinigungen kommutiert folgt:

$\operatorname {rk} (Q)=\sigma (X)=\sigma \left(\coprod _{n(Q)}\mathbb {C} P^{2}\right)=n(Q)\sigma (\mathbb {C} P^{2})=n(Q).$

Anwendung auf die 4-Sphäre

Die 4-Sphäre $S^{4}$ ist eine kompakte orientierbare glatte 4-Mannigfaltigkeit. Da ihre Schnittform wegen $H_{2}(S^{4};\mathbb {Z} )=1$ trivial ist, gibt dieses Beispiel zwar keine Einsicht in das Donaldson-Theorem selbst, wohl aber die im Beweis benutzten Konzepte und ihre Zusammenhänge. Das $\operatorname {SU} (2)$-Hauptfaserbündel über $S^{4}$ mit Chernklasse $1$ ist die quaternionische Hopf-Faserung $S^{7}\twoheadrightarrow S^{4}$. Diese lässt sich abstrakt definieren als die Hopf-Konstruktion der topologischen Gruppenstruktur auf $S^{3}\cong \operatorname {SU} (2)$ oder direkt durch Wirkung der Einheitsquaternionen $\operatorname {Sp} (1)\cong \operatorname {SU} (2)$ auf beiden Komponenten von $S^{7}\subset \mathbb {H} ^{2}$ sowie die Projektion auf den Orbitraum, nämlich den quaternionischen projektiven Raum $\mathbb {H} P^{1}\cong S^{4}$. Das adjungierte Vektorbündel $\operatorname {Ad} (S^{7})=S^{7}\times _{\operatorname {SU} (2)}{\mathfrak {su}}(2)$ ist genau das quaternionische tautologische Linienbündel (aber augefasst als komplexes Ebenenbündel) $\gamma _{\mathbb {H} }^{1,1}$ ebenfalls definiert über die Identifikation $S^{4}\cong \mathbb {H} P^{1}$, in welcher Punkte von $S^{4}$ jeweils eindimensionalen quaternionischen Untervektorräumen von $\mathbb {H} ^{2}$ entsprechen. Es gelten $H_{1}(S^{4};\mathbb {Z} )=1$ und $H_{1}(S^{4};\mathbb {Z} )=1$, also $b_{1}(S^{4})=0$ und $b_{+}(S^{4})=0$. Gemäß obiger Formel gilt $\dim {\mathcal {M}}^{-}=5$, was bei den beschriebenen Instantonen genau den vier Freiheitsgraden für den Ort und dem einen Freiheitsgrad für die Größe entspricht.

Siehe auch

• Kronheimer-Mrowka-Basisklasse

Weblinks

• Donaldson's theorem auf nLab (englisch)

Literatur

• Simon Donaldson: An application of gauge theory to four-dimensional topology. Hrsg.: Journal of Differential Geometry. 18. Jahrgang, Nr. 2, 1983, doi:10.4310/jdg/1214437665 (englisch). 
• Simon Donaldson: The orientation of Yang-Mills moduli spaces and 4-manifold topology. Hrsg.: Journal of Differential Geometry. 26. Jahrgang, Nr. 3, 1987, doi:10.4310/jdg/1214441485 (englisch). 
• Daniel Stuart Freed, Karen Uhlenbeck: Instantons and Four-Manifolds. Springer, 1984 (englisch). 
• Michael Freedman, Karen Uhlenbeck: Instantons and Four-Manifolds. Hrsg.: Princeton Mathematical Series. Band 39. Princeton University Press, 1990, ISBN 0-691-08577-3 (englisch). 
• Alexandru Scorpan: The Wild World of 4-Manifolds. Hrsg.: American Mathematical Society. 2005 (englisch). 

Einzelnachweise

^a 

Die entsprechenden Räume für die selbstdualen Yang-Mills-Gleichungen (SDYM-Gleichungen) werden als ${\mathcal {A}}^{+}$, ${\mathcal {B}}^{+}$ und ${\mathcal {M}}^{+}$ und die entsprechenden Räume für die Yang-Mills-Gleichungen (YM-Gleichungen) werden als ${\mathcal {A}}$, ${\mathcal {B}}$ und ${\mathcal {M}}$ notiert

^b 

Diese ist definiert als die zweite Chern-Klasse des über das balancierte Produkt zugeordneten Vektorbündels $E\times _{\operatorname {SU} (2)}\mathbb {C} ^{2}$

^c 

Die Kronecker-Paarung $\textstyle \langle -,[B]\rangle \colon H^{4}(B;\mathbb {Z} )\rightarrow \mathbb {Z}$ mit der Fundamentalklasse der Basismannigfaltigkeit zur Auffassung der zweiten Chern-Klasse als ganze Zahl wird auch oft weggelassen.