Heegaard-Floer-Homologie

In der Mathematik ist Heegaard-Floer-Homologie eine Invariante einer geschlossenen 3-Mannigfaltigkeit $Y$ mit einer Spinᶜ-Struktur. Sie wird mittels Heegaard-Zerlegung von $Y$ durch Lagrange-Floer-Homologie konstruiert. Man erhält mehrere Homologiegruppen, die durch exakte Sequenzen miteinander in Beziehung stehen.

Die Heegaard-Floer-Homologie wurde in einer langen Serie von Arbeiten von Peter Ozsváth und Zoltán Szabó entwickelt.

Mittels Konstruktion geeigneter Filtrierungen lassen sich Invarianten konstruieren. Ein Beispiel hierfür ist die zu einem Knoten $K$ in einer 3-Mannigfaltigkeit $Y$ assoziierte Knotenhomologie. Ein weiteres Beispiel ist die sogenannte Kontakthomologie, eine Invariante von Kontaktstrukturen.

Heegaard-Floer-Homologie kann algorithmisch berechnet werden.

Konstruktion

Vorbereitungen

Sei $Y$ eine geschlossene, orientierbare 3-Mannigfaltigkeit und

$Y=H_1{\cup }_{\mathrm{\Sigma }}{H}_2$

eine Heegaard-Zerlegung von $Y$ mit Heegaard-Fläche ${\mathrm{\Sigma }}_g$ und Heegaard-Diagramm $({\alpha }_1,\dots ,{\alpha }_g,{\beta }_1,\dots ,{\beta }_g)$.

Betrachte das symmetrische Produkt

${\mathrm{Sym}}^g({\mathrm{\Sigma }}_g)=({\mathrm{\Sigma }}_g\times \dots \times {\mathrm{\Sigma }}_g)/S_g$,

wobei $S_g$ die auf dem Produkt von $g$ identischen Faktoren wirkende symmetrische Gruppe auf $g$ Elementen ist. Es ist eine glatte Mannigfaltigkeit und eine komplexe Struktur auf ${\mathrm{\Sigma }}_g$ induziert eine komplexe Struktur auf dem symmetrischen Produkt.

Aus dem Heegaard-Diagramm $({\alpha }_1,\dots ,{\alpha }_g,{\beta }_1,\dots ,{\beta }_g)$ erhält man zwei total reelle $g$-dimensionale Tori $T_{\alpha }={\alpha }_1\times \dots \times {\alpha }_g,T_{\beta }={\beta }_1\times \dots \times {\beta }_g$ in der komplexen Mannigfaltigkeit ${\mathrm{Sym}}^g({\mathrm{\Sigma }}_g)$.

Für zwei Schnittpunkte $x,y\in T_{\alpha }\cap T_{\beta }$ wähle man zwei verbindende Wege $a\subset T_{\alpha },b\subset T_{\beta }$. Die Differenz $a-b$ ist eine Schleife in ${\mathrm{Sym}}^g({\mathrm{\Sigma }}_g)$ und repräsentiert also ein Element

$ϵ(x,y)\in H_1({\mathrm{Sym}}^g({\mathrm{\Sigma }}_g))/(H_1(T_{\alpha })\oplus H_1(T_{\beta }))\cong H_1(Y)$.

Mittels Morse-Theorie kann man (zu einem gewählten Basispunkt $z\in {\mathrm{\Sigma }}_g\setminus ({\alpha }_1\cup \dots \cup {\beta }_g)$) jedem Schnittpunkt $x\in T_{\alpha }\cap T_{\beta }$ eine Spin^c-Struktur und damit ein der Spin^c-Struktur eindeutig entsprechendes Element $s_z(x)\in H^2(Y)$ zuordnen, so dass für alle Paare von Schnittpunkten jeweils $s_z(x)-s_z(y)$ Poincaré-dual zu $ϵ(x,y)$ ist.

Bezeichne ${\pi }_2(x,y)$ die Menge der Homotopieklassen von Abbildungen $u:D^2\to {\mathrm{Sym}}^g({\mathrm{\Sigma }}_g)$, die $i$ und $-i$ auf $x$ und $y$ sowie die Kreisbögen $S^1\cap \{z:\mathrm{Re}(z)\ge 0\}$ nach $T_{\alpha }$ und $S^1\cap \{z:\mathrm{Re}(z)\le 0\}$ nach $T_{\beta }$ abbilden, sogenannten Whitney-Scheiben. Für $\varphi \in {\pi }_2(x,y)$ der Modulraum der holomorphen Abbildungen in dieser Homotopieklasse, den man mittels kleiner Störungen als glatte Mannigfaltigkeit realisieren kann. Er kommt mit einer $ℝ$-Wirkung durch die $ℝ$-Wirkung mittels $i$ und $-i$ erhaltender komplexer Automorphismen von $D^2$. Bezeichne $\hat{M}(\varphi )=M(\varphi )/ℝ$. Mit dem Atiyah-Singer-Indexsatz kann man $\mu (\varphi )=\dim (M(\varphi ))$ berechnen. Weiter sei $n_z(\varphi )$ (zu dem gewählten Basispunkt $z$) die Schnittzahl von $\varphi$ mit $\left\{z\right\}\times {\mathrm{Sym}}^{g-1}({\mathrm{\Sigma }}_g)$. Schließlich definieren wir $c(\varphi )$ als die (mit Vorzeichen gezählte) Anzahl von Punkten in $\hat{M}(\varphi )$ falls $\mu (\varphi )=1$, und $c(\varphi )=0$ falls $\mu (\varphi )=0$.

Definition für rationale Homologiesphären

Sei $Y$ eine rationale Homologiesphäre, d. h., $H_1(Y)$ ist endlich. Gegeben sei wie oben eine Heegaard-Zerlegung, ein Basispunkt $z$ und eine (einem eindeutigen Element aus $H^2(Y)$ entsprechende) Spin^c-Struktur $𝔱$. Sei $\widehat{CF}$ die freie abelsche Gruppe erzeugt von den Punkten $x\in T_{\alpha }\cap T_{\beta }$ mit $s_z(x)=𝔱$. Definieren den Randoperator $\partial :\widehat{CF}\to \widehat{CF}$ durch

$\partial x={\mathrm{\Sigma }}_{y\in T_{\alpha }\cap T_{\beta },\varphi \in {\pi }_2(x,y)\mid s_z(y)=𝔱,n_z(y)=0}c(\varphi )y$.

Die Heegaard-Floer-Homologie $\widehat{HF}$ ist definiert als die Homologie von $(\widehat{CF},\partial )$. Ozsváth-Szabó beweisen, dass $\widehat{HF}$ nicht von der Wahl der Heegaard-Zerlegung, des Basispunktes, der komplexen Struktur und der Störungen abhängt und somit tatsächlich eine Invariante $\widehat{HF}(Y,𝔱)$ definiert. Man definiert $\widehat{HF}(Y)=\underset{𝔱\in H^2(Y)}{⨁}\widehat{HF}(Y,𝔱)$. Die Homologiegruppen haben eine relative Gradierung durch $gr(x,y)=\mu (\varphi )-2n_z(\varphi )$ für ein beliebiges $z\in \pi (x,y)$.

Weiter sei $C{F}^{\mathrm{\infty }}$ die freie abelsche Gruppe erzeugt von Paaren $[x,i]$ aus $x\in T_{\alpha }\cap T_{\beta },i\in \mathbb{Z}$ mit $s_z(x)=𝔱$. Sei $C{F}^{-}$ der von Paaren $[x,i]$ mit $i<0$ erzeugte Unterkomplex und $C{F}^{+}=C{F}^{\mathrm{\infty }}/C{F}^{-}$. Man definiert eine relative Gradierung durch $gr([x,i],[y,j])=gr(x,y)+2(i-j)$ und einen Randoperator durch

$\partial [x,i]={\mathrm{\Sigma }}_{y\in T_{\alpha }\cap T_{\beta }}{\mathrm{\Sigma }}_{\varphi \in {\pi }_2(x,y)}c(\varphi )[y,i-n_z(\varphi )]$.

Die Gruppen $H{F}^{\mathrm{\infty }},H{F}^{+},H{F}^{-}$ werden definiert als die Homologiegruppen der Komplexe $C{F}^{\mathrm{\infty }},C{F}^{+},C{F}^{-}$ mit dem Randoperator $\partial$. Ozsváth-Szabó beweisen, dass für rationale Homologiesphären $H{F}^{\mathrm{\infty }}$ stets isomorph zu $\mathbb{Z}[U,U^{-1}]$ für den durch $U([x,i])=[x,i-1]$ gegebenen Morphismus von $C{F}^{\mathrm{\infty }}$ ist, und dass die Homologiegruppen $H{F}^{\pm }$ nicht von der Wahl der Heegaard-Zerlegung, des Basispunktes, der komplexen Struktur und der Störungen abhängen, also tatsächlich Invarianten $H{F}^{\pm }(Y,𝔱)$ der rationalen Homologiesphäre $Y$ und einer Spin^c-Struktur $𝔱$ definieren. Schließlich definiert man $H{F}^{+}(Y)=\underset{𝔱\in H^2(Y)}{⨁}H{F}^{+}(Y,𝔱)$.

Definition für allgemeine 3-Mannigfaltigkeiten

Für 3-Mannigfaltigkeiten mit $b_1(Y)=0$ ist ${\pi }_2(x,y)$ größer und man hat in der Definition des Randoperators unendlich viele Homotopieklassen mit $\mu (\varphi )=1$. Nur in endlich vielen dieser Homotopieklassen gibt es holomorphe Scheiben, weshalb man wieder eine endliche Summe erhält. Dafür muss man sich aber auf spezielle Heegaard-Diagramme einschränken. Mit dieser Einschränkung funktionieren die Definitionen genau wie im Fall rationaler Homologiesphären.

Die verschiedenen Homologiegruppen hängen über natürliche lange exakte Sequenzen miteinander zusammen:

$\dots \to H{F}^{-}(Y,𝔱)\to H{F}^{\mathrm{\infty }}(Y,𝔱)\to H{F}^{+}(Y,𝔱)\to \dots$

und mit dem oben definierten Morphismus $U:H{F}^{\mathrm{\infty }}(Y,𝔱)\to H{F}^{\mathrm{\infty }}(Y,𝔱)$

$\dots \to \widehat{HF}(Y,𝔱)\to H{F}^{+}(Y,𝔱)\to H{F}^{+}(Y,𝔱)\to \dots$

Berechnungen

Beispiele

• Für $Y=S^3$ ist $H{F}^{+}(Y)=\mathbb{Z}[U,U^{-1}]/\mathbb{Z}\left[U\right]$ und $\widehat{HF}(Y)=\mathbb{Z}$.

• Ein L-Raum ist eine rationale Homologiesphäre $Y$, für die $\widehat{HF}(Y)$ eine freie abelsche Gruppe vom Rang $\mathrm{♯}{H}^2(Y)$ ist. Dies ist der Fall für $S^3$ und alle Linsenräume.

• Für die Brieskorn-Sphäre $Y=\mathrm{\Sigma }(2,3,5)$ ist $H{F}_k^{+}(Y)=\mathbb{Z}$ für gerade $k\ge 2$, und $H{F}_k^{+}(Y)=0$ sonst.

• Für die Brieskorn-Sphäre $Y=\mathrm{\Sigma }(2,3,7)$ ist $H{F}_k^{+}(Y)=\mathbb{Z}$ für $k=-1$ und gerade $k\ge 0$, und $H{F}_k^{+}(Y)=0$ sonst.

Surgery exact triangle

Sei $K$ ein Knoten in einer geschlossenen, orientierbaren 3-Mannigfaltigkeit $Y$, mit Meridian $m$ und einer Longitude $l$. Sei $Y_0$ die durch $l$-Chirurgie an $K$ und $Y_1$ die durch $(m+l)$-Chirurgie an $K$ erhaltene 3-Mannigfaltigkeit. Dann hat man exakte Sequenzen

$\dots \widehat{HF}(Y)\to \widehat{HF}(Y_0)\to \widehat{HF}(Y_1)\to \dots$

und

$\dots H{F}^{+}(Y)\to H{F}^{+}(Y_0)\to H{F}^{+}(Y_1)\to \dots$.

Literatur

• Ozsváth-Szabó: Holomorphic disks and invariants for closed 3-manifolds, Ann. of Math. (2) 159 (2004), no. 3, 1027–1158.
• Ozsváth-Szabó: Holomorphic disks and three-manifold invariants: properties and applications, Ann. of Math. (2) 159 (2004), no. 3, 1159–1245.

Weblinks

• Ozsváth-Szabó: An introduction to Heegaard Floer homology
• Ozsváth-Szabó: Lectures on Heegaard Floer homology
• J. E. Greene: Heegaard Floer homology, Notices of the AMS, Januar 2021
• Why should I care about Heegaard-Floer theory? (mathoverflow)