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 ${ℝ}^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 $\mathrm{SU}(2)$-Hauptfaserbündel
• $A\in {\mathrm{\Omega }}_{\mathrm{Ad}}^1(P,𝔰𝔲(2))\cong {\mathrm{\Omega }}^1(X,\mathrm{Ad}(P))$ ein Zusammenhang
• $F_A:=\mathrm{d}A+\frac{1}{2}[A\wedge A]\in {\mathrm{\Omega }}_{\mathrm{Ad}}^2(P,𝔰𝔲(2))\cong {\mathrm{\Omega }}^2(X,\mathrm{Ad}(P))$ dessen Krümmungsform

Mit dem Hodge-Stern-Operator sind die antiselbstdualen Yang–Mills-Gleichungen (ASDYM-Gleichungen) gegeben durch $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 ${𝒜}^{-}\subset {\mathrm{\Omega }}_{\mathrm{Ad}}^1(P,𝔰𝔲(2))\cong {\mathrm{\Omega }}^1(X,\mathrm{Ad}(P))$. Gemäß der Definition eines Zusammenhangs wirkt die Eichgruppe $𝒢={\mathrm{Aut}}_{\mathrm{SU}(2)}(P)\cong {\mathrm{\Gamma }}^{\mathrm{\infty }}(X,\mathrm{Ad}(P))$ auf diesen und aufgrund der Kompatibilität mit der Definition der Krümmungsform ebenfalls wohldefiniert auf ${𝒜}^{-}$, wobei der Orbitraum als ${ℬ}^{-}={𝒜}^{-}/𝒢$ notiert wird. Ein wichtiger Unterraum ist der Modulraum, welcher als ${ℳ}^{-}\subset {ℬ}^{-}$ notiert wird.Vorlage:FN Mithilfe des Atiyah–Singer-Indexsatzes ergibt sich dessen Dimension als:

$\dim {ℳ}^{-}=8⟨c_2(P),[X]⟩-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.Vorlage:FNVorlage:FN
• $[X]\in H_4(X;\mathbb{Z})$ die durch die Orientierung der Basismannigfaltigkeit $X$ gegebene Fundamentalklasse.
• $⟨-,-⟩:H^4(X;\mathbb{Z})\times H_4(X;\mathbb{Z})\to \mathbb{Z}$ die Kronecker-Paarung
• $b_1(X)=\dim H_1(X;ℝ)$ die erste Betti-Zahl der Basismannigfaltigkeit $X$.
• $b_{+}(X)$ die Dimension des positiv definiten Untervektorraumes von $H^2(X;ℝ)$ 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{a}\mathrm{b}}=1$ direkt $b_1(X)=0$, wodurch sich die Formel vereinfacht. Betrachtet wird ein Hauptfaserbündel $E\twoheadrightarrow B$ mit $⟨c_2(E),[B]⟩=1$, sodass $\dim {ℳ}^{-}=5$. Sei $E{\times }_{\mathrm{SU}(2)}{ℂ}^2$ das durch das balancierte Produkt zugeordnete komplexe Ebenenbündel. Reduzible Zusammenhänge $A\in {\mathrm{\Omega }}_{\mathrm{Ad}}^1(P,𝔰𝔲(2))\cong {\mathrm{\Omega }}^1(X,\mathrm{Ad}(P))$ bis auf Wirkung der Eichgruppe bilden zum einen die Singularitäten von ${ℳ}^{-}$ und korrespondieren zum anderen eineindeutig mit Aufteilungen $P{\times }_{\mathrm{SU}(2)}{ℂ}^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 }_{\mathrm{SU}(2)}{ℂ}^2)=c_2(L\oplus L^{-1})=-c_1(L)⌣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))=⟨c_1(L)⌣c_1(L),[X]⟩=-⟨c_2(P),[X]⟩=-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 ${ℳ}^{-}$. Es gilt $n(Q)\le \mathrm{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 ${ℳ}^{-}$gleicht in der Unendlichkeit der Basismannigfaltigkeit $X$ (in dem Sinne, dass es eine Untermannigfaltigkeit ${ℳ}_{\epsilon }\subset {ℳ}^{-}$ mit einem orientierungserhaltenden Diffeomorphismus ${ℳ}_{\epsilon }\to X\times (0,\epsilon )$ gibt) sowie in Umgebungen der $n(Q)$ Singularitäten der komplexen projektiven Ebene $ℂP^2$. Mithilfe von Chirurgietheorie und Einklebung dieser Räume ergibt sich also eine Kompaktifizierung, die einen Kobordismus zwischen $X$ und $n(Q)$ disjunkten $ℂP^2$ enthält. Da die Signatur kobordismusinvariant ist und mit disjunkten Vereinigungen kommutiert folgt:

$\mathrm{rk}(Q)=\sigma (X)=\sigma \left(\coprod _{n(Q)}ℂP^2\right)=n(Q)\sigma (ℂ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 $\mathrm{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 \mathrm{SU}(2)$ oder direkt durch Wirkung der Einheitsquaternionen $\mathrm{Sp}(1)\cong \mathrm{SU}(2)$ auf beiden Komponenten von $S^7\subset {ℍ}^2$ sowie die Projektion auf den Orbitraum, nämlich den quaternionischen projektiven Raum $ℍP^1\cong S^4$. Das adjungierte Vektorbündel $\mathrm{Ad}(S^7)=S^7{\times }_{\mathrm{SU}(2)}𝔰𝔲(2)$ ist genau das quaternionische tautologische Linienbündel (aber augefasst als komplexes Ebenenbündel) ${\gamma }_{ℍ}^{1,1}$ ebenfalls definiert über die Identifikation $S^4\cong ℍP^1$, in welcher Punkte von $S^4$ jeweils eindimensionalen quaternionischen Untervektorräumen von ${ℍ}^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 {ℳ}^{-}=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

• Vorlage:Cite book
• Vorlage:Cite book
• Vorlage:Cite book
• Vorlage:Cite book