Schnittform

Die Schnittform ist im mathematischen Teilgebiet der Differentialtopologie eine wichtige symmetrische unimodulare Bilinearform spezieller topologischer und glatter Mannigfaltigkeiten. Durch zahlreiche starke Resultate wie etwa das Donaldson-Theorem oder die Klassifikation von Friedmann ist die Schnittform insbesondere von entscheidender Bedeutung beim Studium von vierdimensionalen Mannigfaltigkeiten (kurz 4-Mannigfaltigkeiten).

Motivation

Für einen topologischen Raum lassen sich alle dessen Kohomologiegruppen zusammen mit dem Cup-Produkt zum Kohomologiering kombinieren, welcher wichtige Informationen enthält. Eine analoge Ringstruktur für Homologiegruppen gibt es nicht. Für eine einfach zusammenhängende geschlossene orientierbare Mannigfaltigkeit $M$ gilt mit dem universellen Koeffizientensatz und dem Hurewicz-Theorem:

H^{1} (M, ℤ) ≅ Hom (H_{1} (M, ℤ), ℤ) ≅ Hom (π_{1}^{a b} (M), ℤ) ≅ 1.

Durch Poincaré-Dualität gilt zudem:

H^{3} (M, ℤ) ≅ H_{1} (M, ℤ) ≅ π_{1}^{a b} (M) ≅ 1.

Da $H^{0} (M, ℤ) ≅ ℤ$ und $H^{4} (M, ℤ) ≅ ℤ$ keine genaueren Informationen über die Mannigfaltigkeiten enthalten, steckt sämtliche Information über den Kohomologiering bereits im Cup-Produkt auf $H^{2} (M, ℤ)$ , dessen Rang individuell von der Mannigfaltigkeit abhängt. Torsionsklassen gibt es jedoch keine, also ist die Kohomologiegruppe frei, da erneut mit dem universellen Koeffizientensatz:

H^{2} (M, ℤ) ≅ Hom (H_{2} (M, ℤ), ℤ) .

Definition

Für die Schnittform gibt es verschiedene Definitionen durch die Benutzung verschiedener Darstellungen von Kohomologieklassen. Diese sind entweder als singuläre Kohomologieklassen dargestellt durch Kozykel, de Rham-Kohomologieklassen dargestellt durch geschlossene Differentialformen oder eingebettete Teilflächen in vier Dimensionen. Alle ergeben dabei äquivalente Beschreibungen der gleichen Form, wenn die Beschreibung durch Differentialformen von reellen auf ganze Zahlen reduziert wird.

Definition als Kronecker-Paarung eines Cup-Produktes

Für eine geschlossene orientierbare $4 n$ -Mannigfaltigkeit $M$ mit Fundamentalklasse $[M] \in H_{4 n} (M, ℤ) ≅ ℤ$ (wofür die Orientierung benötigt wird) lässt sich die Schnittform mithilfe des Cup-Produktes und der Kronecker-Paarung definieren als:

Q_{M} : H^{2 n} (M, ℤ) \times H^{2 n} (M, ℤ) \to ℤ, (a, b) \mapsto ⟨ a ⌣ b, [M] ⟩ .

Da gezeigt werden kann, dass die Schnittform schon bei Verwendung einer Torsionsklasse verschwindet (welche wie oben beschrieben aber im einfach zusammenhängenden Fall sowieso nicht existieren), reduziert sich die Schnittform wohldefiniert auf $ℤ^{b_{2 n} (M)} ≅ H^{2 n} (M, ℤ) / Tor (H^{2 n} (M, ℤ))$ mit der Betti-Zahl $b_{2 n} (M) = rk H^{2 n} (M, ℤ)$ . Dadurch kann zudem eine $ℤ$ -Basis ${x_{1}, \dots, x_{b_{2 n} (M)}} \in H^{2 n} (M, ℤ)$ gewählt werden und die Schnittform als Matrix ${(Q_{M} (x_{i}, x_{j}))}_{i, j = 1}^{b_{2 n} (M)}$ dargestellt werden.

Anhand der obigen Abbildung mit doppelter Verwendung der mittleren Kohomologiegruppe ist klar, dass die Dimension der Mannigfaltigkeit für deren Existenz gerade sein muss. Jedoch muss die mittlere Kohomologiegruppe selbst ebenfalls geraden Grad haben, da der oben definierte Ausdruck andernfalls antisymmetrisch ist und daher auf der Diagonale immer verschwindet.

Definition als Integral eines Dachproduktes

Für eine geschlossene orientierbare $4 n$ -Mannigfaltigkeit $M$ lässt sich die Schnittform mithilfe des Dachproduktes und der Integration von Differentialformen definieren als:

Q_{M} : H_{d R}^{2 n} (M) \times H_{d R}^{2 n} (M) \to ℝ, (α, β) \mapsto \int_{M} α \land β .

Um zu zeigen, dass dieser Ausdruck wohldefiniert ist, ist der Satz von Stokes notwendig (wofür die Randlosigkeit aus der Geschlossenheit benötigt wird). Es ist $H_{d R}^{2 n} (M) ≅ ℝ^{b_{2} (M)}$ und die Einschränkung auf $ℤ^{b_{2 n} (M)}$ ergibt genau die zuvor definierte Schnittform, also insbesondere auch die Einschränkung des Bildes von $ℝ$ nach $ℤ$ .

Definition als Schnitt von Flächen

Für eine geschlossene orientierbare $4 n$ -Mannigfaltigkeit $M$ lässt sich jede mittlere Kohomologieklasse $α \in H^{2} (M, ℤ)$ durch eine eingebettete orientierbare Fläche $i : A ↪ M$ darstellen, nämlich, sodass mit ihrer Fundamentalklasse $[A] \in H^{2} (A, ℤ) ≅ ℤ$ genau $α = i^{*} [A]$ gilt. Singuläre Kohomologie wird dargestellt durch Eilenberg-McLane-Räume (siehe Brownscher Darstellungssatz), wodurch $α$ eineindeutig der Homotopieklasse einer stetigen Abbildung $a : M \to K (ℤ, 2) ≃ ℂ P^{\infty}$ entspricht. Diese faktorisiert über einen komplexen projektiven Raum $a : M \to ℂ P^{n}$ (wofür die Kompaktheit aus der Geschlossenheit benötigt wird) und kann durch Homotopie transversal zu $ℂ P^{n - 1} \subset ℂ P^{n}$ gemacht werden. Dadurch wird $a^{- 1} (ℂ P^{n - 1}) \subset M$ zu einer Fläche mit der obigen Eigenschaft. Ebenfalls durch Homotopie können die Schnitte von zwei Flächen von zwei Kohomologieklassen isoliert und transversal gemacht werden. Nun lässt sich die Schnittform definieren als mit Vorzeichen aus der induzierten Orientierung gewerteten Anzahl der Schnitte, welche invariant unter Homotopie ist:

Q_{M} : H^{2} (M, ℤ) \times H^{2} (M, ℤ) \to ℤ, (A, B) \mapsto A \cdot B .

Eigenschaften

Satz von Donaldson: Definite Schnittformen von kompakten orientierbaren 4-Mannigfaltigkeiten sind (über $ℤ$ ) diagonalisierbar.
Wu-Formel: Für eine orientierbare geschlossene 4-Mannigfaltigkeit $M$ gilt:

x^{2} = w_{2} (M) ⌣ x

für alle

x \in H^{2} (M, ℤ_{2})

. Insbesondere gilt:

Q_{M} (x, x) \mod 2 = Q_{M} (x \mod 2, x \mod 2) = Q_{M} (w_{2} (M), x \mod 2)

für alle

x \in H^{2} (M, ℤ)

. Ist

M

eine Spin-Mannigfaltigkeit, also genau dann wenn

w_{2} (M) = 0

, dann ist

Q_{M}

gerade.

Der orientierte Homotopietyp einer einfach zusammenhängenden kompakten orientierbaren 4-Mannigfaltigkeit wird durch deren Schnittform festgelegt.
Klassifikation von Freedman: Jede unimodulare symmetrische Bilinearform ist die Schnittform einer einfach zusammenhängenden orientierbaren geschlossenen topologischen 4-Mannigfaltigkeit. Ist die Bilinearform gerade gibt es bis auf orientierungserhaltende Homöomorphie nur eine solche 4-Mannigfaltigkeit. Ist die Bilinearform ungerade gibt es bis auf orientierungserhaltende Homöomorphie zwei solcher 4-Mannigfaltigkeit mit unterschiedlicher binärer Kirby-Siebenmann-Invariante. Maximal eine davon, also eventuell auch keine, besitzt eine kompatible glatte Struktur. Das kommt daher, dass die binäre Kirby-Siebenmann-Invariante angibt, ob das Produkt mit dem Kreis eine kompatible glatte Struktur besitzt. Bei der Mannigfaltigkeit, für die das nicht der Fall ist, kann es also nicht für sich alleine schon der Fall sein. Bei der anderen Mannigfaltigkeit ist es unbekannt. Es ist möglich, dass das Produkt mit dem Kreis eine kompatible glatte Struktur hat, aber die Mannigfaltigkeit selbst nicht.
Einfach zusammenhängende orientierbare geschlossene glatte 4-Mannigfaltigkeiten sind orientierungserhaltend homöomorph genau dann wenn ihre Schnittformen äquivalent sind. Das folgt direkt aus der vorherigen Klassifikation von Freedman.
Einfach zusammenhängende 4-Mannigfaltigkeiten mit isomorphen Schnittformen sind h-kobordant. Wichtig ist dabei, dass der h-Kobordismus-Satz, gemäß dem die Mannigfaltigkeiten dann sogar diffeomorph wären, erst in fünf oder mehr Dimensionen gilt.
Es gibt keine einfach zusammenhängende orientierbare geschlossene 4-Mannigfaltigkeit mit Schnittform $2 (- E_{8})$ .

Beispiele

Die Schnittform des zweiten komplexen projektiven Raumes $ℂ P^{2}$ sowie des durch Orientierungsumkehr entstehenden Raumes $\overline{ℂ P^{2}}$ sind jeweils:

Q_{ℂ P^{2}} = (1);

Q_{\overline{ℂ P^{2}}} = (- 1) .

Die Schnittform der komplexen Fläche $S^{2} \times S^{2} ≅ ℂ P^{1} \times ℂ P^{1}$ ist:

Q_{S^{2} \times S^{2}} = (\begin{matrix} 0 & 1 \\ 1 & 0 \end{matrix}) .

Die Schnittform der K3-Fläche $K 3 = {(x, y, z, w) \in ℂ P^{3} | x^{4} + y^{4} + z^{4} + w^{4} = 0}$ im dritten komplexen projektiven Raum $ℂ P^{3}$ , auch Twistor-Raum genannt, ist:

Q_{K 3} = 2 (- E_{8}) \oplus 3 (\begin{matrix} 0 & 1 \\ 1 & 0 \end{matrix}) .

Siehe auch

Sätze von Wall

Literatur

Daniel Freed und Karen Uhlenbeck: Instantons and Four-Manifolds (= Mathematical Sciences Research Institute Publications. Band 1). Springer, New York 1984, ISBN 978-1-4613-9705-2, doi:10.1007/978-1-4613-9703-8 (englisch).
Simon K. Donaldson und Peter B. Kronheimer: The Geometry of Four-Manifolds. Oxford University Press, 1990, ISBN 0-19-853553-8, doi:10.1093/oso/9780198535539.001.0001 (englisch).
Alexandru Scorpan: The Wild World of 4-Manifolds. Hrsg.: American Mathematical Society. 2005, ISBN 978-1-4704-6861-3 (englisch).

Einzelnachweise

1 2 3 Freed & Uhlenbeck 84, S. 19–20
↑ Freed & Uhlenbeck 84, Proposition E.9
↑ Freed & Uhlenbeck 84, Theorem 2.25
↑ Donaldson & Kronheimer 90, Theorem 1.2.1
↑ Donaldson & Kronheimer 90, Theorem 1.2.3
↑ Donaldson & Kronheimer 90, Theorem 1.2.5
↑ Donaldson & Kronheimer 90, Corollary 1.3.8 und Corollary 9.1.6
↑ Donaldson & Kronheimer 90, Theorem 8.1.1
1 2 3 Freed & Uhlenbeck 84, S. 21

[:0-1] 1 2 3 Freed & Uhlenbeck 84, S. 19–20

[2] Freed & Uhlenbeck 84, Proposition E.9

[3] Freed & Uhlenbeck 84, Theorem 2.25

[4] Donaldson & Kronheimer 90, Theorem 1.2.1

[5] Donaldson & Kronheimer 90, Theorem 1.2.3

[6] Donaldson & Kronheimer 90, Theorem 1.2.5

[7] Donaldson & Kronheimer 90, Corollary 1.3.8 und Corollary 9.1.6

[8] Donaldson & Kronheimer 90, Theorem 8.1.1

[:1-9] 1 2 3 Freed & Uhlenbeck 84, S. 21