The solution on the geography-problem of non-formal compact (almost) contact manifolds

Der Artikel beweist, dass für ungerade $m \ge 7$ (bzw. $m \ge 5$) und $b_1 = 1$ (bzw. $b_1 = 0$) nicht-formale kompakte (fast-)kontakt $m$-Mannigfaltigkeiten existieren, wobei im Fall $b_1 = 0$ und $m \ge 7$ die Mannigfaltigkeit sogar einfach zusammenhängend ist.

Das Wesentliche

Stell dir vor, du bist ein Architekt, der nicht nur Häuser baut, sondern auch deren „Seele" untersucht. In der Welt der Mathematik gibt es eine spezielle Eigenschaft, die man Formalität nennt.

Hier ist eine einfache Erklärung dessen, was Christoph Bock in diesem Papier erreicht hat, ohne die komplizierte Mathematik zu verwenden:

1. Die Grundidee: Der „perfekte" Bau vs. das „verwickelte" Labyrinth

Stell dir einen mathematischen Raum (eine Mannigfaltigkeit) wie ein riesiges Gebäude vor.

• Formale Räume sind wie ein gut geplanter, logischer Bau. Wenn du die Wände (die Formeln) verstehst, kannst du das ganze Haus leicht durchschauen. Es gibt keine versteckten Fallen oder unerwarteten Verwicklungen. Alles ist „sauber" und vorhersehbar.
• Nicht-formale Räume sind wie ein riesiges, verwirrendes Labyrinth. Es gibt geheime Durchgänge, die nur funktionieren, wenn man drei andere Wege gleichzeitig nutzt. Diese „geheime Verbindung" nennt man in der Mathematik Massey-Produkt. Wenn so etwas existiert, ist das Gebäude „nicht formal". Es ist komplexer, als es auf den ersten Blick scheint.

Bisher wussten die Mathematiker, welche Arten von Gebäuden (in bestimmten Dimensionen) diese „verwickelten" Eigenschaften haben können. Aber es gab eine Lücke: Was ist mit Gebäuden, die eine ungerade Anzahl an Dimensionen haben (wie 5, 7, 9...), die aber trotzdem eine ganz spezielle Struktur haben, die man Kontaktstruktur nennt?

2. Was ist eine „Kontaktstruktur"? (Die unsichtbare Berührung)

Stell dir vor, du hast einen Raum, in dem es eine unsichtbare Kraft gibt, die alles „berührt" und in eine bestimmte Richtung drückt, ohne dass du sie direkt sehen kannst. In der Physik und Geometrie nennt man das eine Kontaktstruktur.

• Ein Kontakt-Mannigfaltigkeit ist wie ein Raum, der von dieser unsichtbaren Kraft durchdrungen ist.
• Ein fast-Kontakt-Mannigfaltigkeit ist ein Raum, der fast diese Kraft hat, aber noch nicht ganz fertig ist.

Die große Frage war: Können diese „berührten" Räume auch die verwirrenden, nicht-formalen Eigenschaften haben?

3. Die Entdeckung: Die fehlenden Puzzleteile

Bisher wussten wir:

• Bei sehr großen Räumen (ab 7 Dimensionen) und ohne „Löcher" (einfach zusammenhängend) gab es solche nicht-formalen Kontakt-Räume.
• Bei Räumen mit 5 Dimensionen und einem „Loch" (einem bestimmten mathematischen Maß, dem ersten Betti-Zahl = 1) war man sich nicht sicher.

Christoph Bocks Leistung:
Er hat bewiesen, dass diese Lücken geschlossen werden können. Er hat gezeigt:

1. Für 5 Dimensionen: Ja, es gibt einen solchen Raum mit genau einem „Loch", der nicht-formal ist.
2. Für 7 Dimensionen und höher: Ja, es gibt solche Räume mit einem „Loch", die nicht-formal sind.

Er hat also bewiesen, dass man überall dort, wo man es erwartet, auch diese „verwickelten" Kontakt-Räume bauen kann.

4. Wie hat er das gemacht? (Die Baumeister-Tricks)

Bock hat nicht einfach irgendein Haus gebaut. Er hat zwei clevere Werkzeuge benutzt:

Werkzeug A: Die Schraubenfabrik (Solvmanifolds)
Stell dir vor, du nimmst eine Gruppe von Leuten (eine Lie-Gruppe), die sich alle nach strengen Regeln bewegen. Wenn du diese Gruppe „einschnürst" und zu einem endlichen Raum zusammenfältzt (ein Gitter), erhältst du einen Solvmanifold.

• Bock hat gezeigt, dass viele dieser gefalteten Räume automatisch die „Kontakt-Struktur" (die unsichtbare Berührung) besitzen.
• Er hat dann einen ganz speziellen, 5-dimensionalen Raum aus dieser Fabrik genommen, der bereits bekannt war, um zu zeigen, dass er „nicht formal" ist. Da er automatisch eine Kontaktstruktur hat, war der Beweis für 5 Dimensionen geschafft.

Werkzeug B: Der Aufzug (Boothby-Wang-Faserung)
Für die höheren Dimensionen (7, 9, 11...) hat er einen cleveren Trick angewendet.

• Stell dir vor, du hast einen symplektischen Raum (eine Art „feuchter" Raum, der eine andere spezielle Struktur hat).
• Bock hat diesen Raum wie einen Aufzug benutzt. Er hat einen Kreis (eine 1-Dimension) „draufgesetzt" und einen neuen Raum daraus gebaut.
• Dieser neue Raum ist dann eine Kontakt-Mannigfaltigkeit.
• Das Geniale daran: Wenn der alte Raum „verwickelt" (nicht formal) war, bleibt diese Verwickeltheit auch im neuen Raum erhalten.

5. Warum ist das wichtig? (Die Moral der Geschichte)

Früher dachten einige Mathematiker vielleicht: „Vielleicht sind Kontakt-Räume so 'sauber' und 'formal', dass sie keine dieser komplexen, verwickelten Eigenschaften haben können."

Bocks Arbeit sagt: Nein!
Kontakt-Räume können genauso komplex und verwirrend sein wie jede andere mathematische Struktur. Die Eigenschaft, eine „Kontaktstruktur" zu haben, ist kein Hindernis für die Komplexität.

Zusammenfassend in einem Satz:
Christoph Bock hat bewiesen, dass man in der Welt der ungeradzahligen Dimensionen überall dort, wo man es sich wünscht, „verwickelte" und „nicht-formale" Räume bauen kann, die trotzdem die spezielle „Berührungs-Struktur" (Kontakt) besitzen – und er hat gezeigt, wie man diese Räume konstruiert, indem er sie aus einfachen Bausteinen (Lie-Gruppen) zusammenfügt und sie durch einen mathematischen „Aufzug" in die Höhe schickt.

Technische Zusammenfassung

Hier ist eine detaillierte technische Zusammenfassung des vorliegenden Papiers auf Deutsch:

Titel und Kontext

Titel: Die Lösung des Geographie-Problems für nicht-formale kompakte (fast) Kontakt-Mannigfaltigkeiten.
Autor: Christoph Bock.
Feld: Algebraische Topologie und Differentialgeometrie (MSC 2020: 57R17, 16E45, 57K50, 55S30, 55P62).

Das Papier adressiert das sogenannte Geographie-Problem im Kontext der Kontaktgeometrie und der rationalen Homotopietheorie. Es fragt nach der Existenz nicht-formaler kompakter Kontakt-Mannigfaltigkeiten in Abhängigkeit von der Dimension $m$ und dem ersten Betti-Zahl $b_1$.

---

1. Das Problem und der Hintergrund

In der rationalen Homotopietheorie heißt eine Mannigfaltigkeit $M$ formal, wenn ihre de-Rham-Kette $(\Omega(M), d)$ formal ist, d.h. wenn sie quasi-isomorph zu ihrer Kohomologiealgebra (mit Null-Differential) ist. Formalität ist eine starke Eigenschaft, die bei vielen geometrischen Strukturen (wie Kähler-Mannigfaltigkeiten) automatisch gilt.

Fernández und Muñoz hatten das Geographie-Problem für orientierte kompakte Mannigfaltigkeiten bereits gelöst (Theorem 1.1): Nicht-formale Mannigfaltigkeiten existieren genau dann, wenn:

• $m \ge 3$ und $b_1 \ge 2$,
• $m \ge 5$ und $b_1 = 1$,
• $m \ge 7$ und $b_1 = 0$.

Für symplektische Mannigfaltigkeiten (gerade Dimension) und Kontakt-Mannigfaltigkeiten (ungerade Dimension) waren die Fälle jedoch noch nicht vollständig geklärt. Insbesondere fehlten Beispiele für:

1. Kontakt-Mannigfaltigkeiten mit $m \ge 7$ und $b_1 = 1$.
2. Kontakt-Mannigfaltigkeiten mit $m = 5$ und $b_1 = 1$.
3. Einfach zusammenhängende ($b_1=0$) nicht-formale Kontakt-Mannigfaltigkeiten für $m \ge 7$ (wobei dies bereits in [1] für $m \ge 7$ gezeigt wurde, aber hier im Kontext der allgemeinen Geographie bestätigt wird).

Ein zentrales Motiv ist die Frage, ob Formalität ein Hindernis für die Existenz von Sasakian-Strukturen ist. Da Kähler-Mannigfaltigkeiten formal sind, aber Sasakian-Strukturen (die Kontakt-Strukturen sind) auch auf nicht-formalen Mannigfaltigkeiten existieren können, zeigt das Papier, dass Formalität kein Unterscheidungsmerkmal für die Existenz von Kontakt-Strukturen ist.

---

2. Methodik

Die Beweismethodik stützt sich auf drei Hauptpfeiler:

1. Solvmanifolds und Lie-Gruppen:
   Der Autor konstruiert die gesuchten Mannigfaltigkeiten als Quotienten $\Gamma \backslash G$, wobei $G$ eine zusammenhängende, einfach zusammenhängende auflösbare Lie-Gruppe und $\Gamma$ ein Gitter (Lattice) in $G$ ist.

   • Es wird Proposition 2.1 genutzt: Wenn $H$ eine fast-komplexe Struktur besitzt, dann besitzt jeder Quotient von $\mathbb{R} \ltimes H$ durch ein Gitter eine Kontakt-Struktur.
   • Spezifische 5-dimensionale Lie-Gruppen ($G_{5.15}^{-1}$ etc.) werden analysiert, um Kontakt-Strukturen zu garantieren.

2. Massey-Produkte als Invarianten der Nicht-Formalität:
   Um die Nicht-Formalität nachzuweisen, werden Massey-Produkte (und $a$-Massey-Produkte) verwendet.

   • Lemma 3.1 & 3.2: Wenn eine Mannigfaltigkeit formal ist, müssen alle Massey-Produkte verschwinden.
   • Korollar 3.3: Das Vorhandensein eines nicht-verschwindenden Massey-Produkts impliziert, dass die Mannigfaltigkeit nicht formal ist.
   • Der Autor berechnet explizit die de-Rham-Kohomologie der Solvmanifolds und konstruiert nicht-triviale Massey-Produkte (z.B. $\langle [x_6], [x_6], [\tilde{\omega}] \rangle$).

3. Boothby-Wang-Fibration:
   Um von symplektischen Mannigfaltigkeiten zu Kontakt-Mannigfaltigkeiten zu gelangen, wird der Satz von Boothby und Wang angewendet.

   • Gegeben eine symplektische Mannigfaltigkeit $M$ mit einer symplektischen Form $\omega$, deren Kohomologieklasse eine ganzzahlige Klasse ist, existiert ein Hauptfaserbündel $S^1 \to E \xrightarrow{\pi} M$, wobei $E$ eine Kontakt-Mannigfaltigkeit ist.
   • Die Gysin-Sequenz wird verwendet, um die Kohomologie von $E$ aus der von $M$ zu berechnen und zu zeigen, dass die Nicht-Formalität (via Massey-Produkte) von $M$ auf $E$ übertragen wird oder zumindest erhalten bleibt, während sich die Betti-Zahlen ändern.

---

3. Wichtige Beiträge und Ergebnisse

Das Papier liefert die vollständige Lösung des Geographie-Problems für nicht-formale kompakte Kontakt-Mannigfaltigkeiten:

A. Der Fall $m=5$ (Theorem 1.4)

• Ergebnis: Es existiert eine nicht-formale kompakte Kontakt-5-Mannigfaltigkeit mit $b_1 = 1$.
• Konstruktion: Die Mannigfaltigkeit ist eine Solvmanifold, die als Quotient der fast-abelschen Lie-Gruppe $G_{5.15}^{-1}$ nach einem Gitter $\Gamma$ konstruiert wird.
• Beweis: Die Gruppe $G_{5.15}^{-1}$ besitzt eine fast-komplexe Struktur, was nach Proposition 2.1 die Existenz einer Kontakt-Struktur garantiert. Durch Berechnung der Kohomologie wird ein nicht-verschwindendes Massey-Produkt nachgewiesen, was die Nicht-Formalität beweist.

B. Der Fall $m \ge 7$ mit $b_1 = 1$ (Theorem 1.5)

• Ergebnis: Für jede ungerade Dimension $m \ge 7$ existiert eine nicht-formale kompakte Kontakt-Mannigfaltigkeit mit $b_1 = 1$.
• Konstruktion:
  1. Startpunkt ist die vollständig auflösbare Lie-Gruppe $G = G_{6.15}^{-1}$ (6-dimensional).
  2. Es wird ein Gitter $\Gamma$ konstruiert, sodass $M = \Gamma \backslash G$ eine symplektische Mannigfaltigkeit ist.
  3. Die Kohomologie von $M$ wird explizit berechnet. Es wird ein nicht-verschwindendes Massey-Produkt $\langle [x_6], [x_6], [\tilde{\omega}] \rangle$ identifiziert.
  4. Durch die Boothby-Wang-Konstruktion wird eine Kontakt-Mannigfaltigkeit $E$ (Dimension 7) über $M$ gebildet.
  5. Mittels der Gysin-Sequenz wird gezeigt, dass das Massey-Produkt in $E$ nicht verschwindet, obwohl sich die Kohomologiegruppen ändern.
  6. Für höhere Dimensionen $m = 2n+1$ ($n \ge 4$) wird das Produkt $M \times (S^2)^{n-3}$ betrachtet. Da das Produkt formal ist genau dann, wenn beide Faktoren formal sind (Lemma 3.4), und $M$ nicht formal ist, sind auch diese Produkte nicht formal.

C. Der Fall $b_1 = 0$ (Theorem 1.3)

• Das Papier bestätigt, dass für $m \ge 7$ einfach zusammenhängende ($b_1=0$) nicht-formale Kontakt-Mannigfaltigkeiten existieren. Dies stützt sich auf frühere Ergebnisse ([1]), wird hier aber im Kontext der allgemeinen Geographie eingeordnet.
• Alternative Beweisidee für $m \ge 13$: Es wird ein kürzerer Beweis skizziert, der auf einem 12-dimensionalen symplektischen Beispiel von Cavalcanti [6] basiert, das ein nicht-verschwindendes Massey-Produkt besitzt. Durch Boothby-Wang erhält man eine 13-dimensionale Kontakt-Mannigfaltigkeit.

---

4. Signifikanz und Implikationen

1. Vollständige Klassifikation: Das Papier schließt die Lücken im Geographie-Problem für Kontakt-Mannigfaltigkeiten. Zusammen mit den Ergebnissen für symplektische und allgemeine Mannigfaltigkeiten ist nun vollständig geklärt, für welche Paare $(m, b_1)$ nicht-formale Beispiele existieren.
2. Unabhängigkeit von Sasakian-Strukturen: Ein zentrales Ergebnis ist die Erkenntnis, dass die Existenz einer Kontakt-Struktur (und sogar einer Sasakian-Struktur) nicht durch die Formalität der Mannigfaltigkeit eingeschränkt wird. Da Kähler-Mannigfaltigkeiten formal sind, aber Kontakt-Mannigfaltigkeiten nicht-formal sein können, zeigt dies, dass die Klasse der Kontakt-Mannigfaltigkeiten viel "reichhaltiger" ist als die der Kähler-Mannigfaltigkeiten in Bezug auf topologische Komplexität.
3. Technische Fortschritte: Die Arbeit demonstriert die effektive Anwendung von Solvmanifolds und der Boothby-Wang-Konstruktion, um explizite Beispiele für nicht-formale Räume mit spezifischen topologischen Invarianten (Betti-Zahlen) zu konstruieren. Die explizite Berechnung der Massey-Produkte in den Kohomologieringen liefert konkrete Werkzeuge für zukünftige Untersuchungen in der rationalen Homotopietheorie.

Zusammenfassend liefert Christoph Bock den Beweis, dass die Einschränkung der Formalität für Kontakt-Mannigfaltigkeiten exakt dieselben Bedingungen erfüllt wie für allgemeine Mannigfaltigkeiten, und liefert dabei konkrete konstruktive Beispiele für alle offenen Fälle.