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

Het artikel bewijst dat er voor bepaalde oneven dimensies en eerste Betti-getallen niet-formele compacte (bijna) contactvariëteiten bestaan, waarbij in het geval van een eerste Betti-getal gelijk aan nul en dimensie ten minste zeven, de variëteit zelfs enkelvoudig samenhangend is.

De kern

Stel je voor dat wiskundigen proberen om de "geografie" van een heel vreemd landschap te verkennen. Dit landschap bestaat niet uit bergen en rivieren, maar uit vormen en ruimtes die we "variëteiten" noemen. In dit specifieke artikel kijkt de auteur, Christoph Bock, naar een heel specifiek type van deze ruimtes: contactvariëteiten.

Om dit begrijpelijk te maken, gebruiken we een paar analogieën.

1. Het Landschap: Contactvariëteiten

Stel je een driedimensionale ruimte voor (zoals de lucht om ons heen). Een contactvariëteit is een ruimte waar je op elk punt een heel specifieke "richting" of "stroom" kunt definiëren, maar die stroom is zo gekruld dat je er nooit perfect in kunt "zwemmen" zonder ergens tegenaan te stoten.

• De Analogie: Denk aan een enorme, oneindige dansvloer. Op elk punt op de vloer is er een onzichtbare wind die je in een bepaalde richting duwt. Maar deze wind is zo gekruld dat als je probeert er rechtstreeks in te lopen, je altijd een beetje zijwaarts wordt geduwd. Je kunt nooit een perfect vlakke, rechte lijn trekken die overal met de wind meegaat. Dit is de "contactstructuur".

2. Het Geheim: Formaliteit vs. Non-formaliteit

Nu komt het ingewikkelde deel: Formaliteit. In de wiskunde is een "formele" ruimte een beetje als een goed georganiseerd kantoor. Alles is logisch, voorspelbaar en je kunt complexe patronen makkelijk terugrekenen naar simpele bouwstenen. Als je een "formele" ruimte hebt, kun je al haar eigenschappen begrijpen door alleen naar de simpele basis te kijken.

Een non-formele ruimte is daarentegen een bende. Het is een ruimte waar de regels niet logisch lijken te werken. Je kunt de complexe patronen niet zomaar terugrekenen naar de basis. Er zijn "verborgen verbindingen" (wiskundigen noemen dit Massey-producten) die je alleen ziet als je heel diep graaft. Het is alsof je een puzzel hebt waarbij de stukjes niet lijken te passen, totdat je ontdekt dat er een geheime lijm is die ze op een onlogische manier aan elkaar plakt.

Het probleem: Wiskundigen wilden weten: Kunnen we deze "bende"-ruimtes (non-formaal) ook vinden in de wereld van de contactvariëteiten (die gekrulde wind)? En zo ja, voor welke maten (dimensies) en met hoeveel "gaten" (Betti-getallen)?

3. De Ontdekking: De "Geografie" Oplossen

Voorheen wisten wiskundigen al dat je deze "bende"-ruimtes kon vinden in bepaalde maten (zoals 3D, 5D, 7D), maar er waren nog gaten in de kaart. Ze wisten niet zeker of het mogelijk was voor alle mogelijke combinaties van grootte en aantal gaten.

Christoph Bock heeft in dit artikel de kaart volledig ingevuld. Hij bewijst twee belangrijke dingen:

1. Voor grote ruimtes (7 dimensies en groter): Je kunt een contactruimte maken die een "bende" is, zelfs als deze geen gaten heeft (simply-connected). Dit was een verrassing, want vaak dacht men dat "geen gaten" betekende dat de ruimte te simpel was om een bende te zijn.
2. Voor de 5-dimensionale ruimte: Dit was de laatste ontbrekende puzzelstuk. Bock toont aan dat er ook in 5 dimensies een contactruimte bestaat die een bende is en precies één gat heeft.

4. Hoe heeft hij dit gedaan? (De Bouwstenen)

Hij gebruikt een slimme truc. In plaats van een nieuwe ruimte uit het niets te bedenken, bouwt hij ze op uit bestaande, bekende blokken:

• De Fabrikant (Lie-groepen): Hij gebruikt speciale wiskundige machines (Lie-groepen) die als een soort "deeg" fungeren.
• Het Steken (Lattices): Hij "steekt" een rooster (een lattice) in dit deeg. Dit is alsof je een patroon van gaatjes in het deeg stampt en dan het deeg op die plekken afsnijdt. Het resultaat is een compacte, afgesloten ruimte (een solvmanifold).
• De Check (Massey-producten): Vervolgens kijkt hij naar de "wind" in deze nieuwe ruimte. Hij gebruikt een wiskundig gereedschap (Massey-producten) om te checken of er die verborgen, onlogische verbindingen zijn. Als hij die vindt, is de ruimte een "bende" (non-formaal).

5. De Belangrijkste Conclusie

De grote boodschap van dit artikel is: De vorm van een ruimte (of het een "bende" is) is geen obstakel voor het hebben van een contactstructuur.

Vroeger dachten sommigen misschien dat als een ruimte te "chaotisch" was (non-formaal), hij niet de juiste eigenschappen kon hebben om een contactruimte te zijn. Bock bewijst het tegendeel: Je kunt een ruimte hebben die eruitziet als een complete chaos (non-formaal) en toch perfect voldoet aan de strenge regels van de contact-wiskunde.

Samenvattend in één zin:
Christoph Bock heeft de laatste gaten in de kaart van de wiskunde gedicht door te bewijzen dat je in bijna elke denkbare dimensie (van 5 en hoger) een ruimte kunt bouwen die zowel een "gekrulde wind" heeft als een verborgen, chaotische structuur, en dat deze twee eigenschappen perfect samen kunnen bestaan.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "The solution on the geography-problem of non-formal compact (almost) contact manifolds" van Christoph Bock, geschreven in het Nederlands.

Probleemstelling

Het artikel adresseert het "geografie-probleem" voor niet-formele compacte (bijna) contactvariëteiten. In de topologie en meetkunde verwijst "formaliteit" naar een eigenschap van de differentiaal-graad-algebra (DGA) van een variëteit; een variëteit is formeel als zijn minimale model isomorf is met de cohomologie-algebra (met triviale differentiaal). Niet-formele variëteiten vertonen complexe topologische structuren die niet volledig door hun cohomologie kunnen worden beschreven, vaak gedetecteerd via Massey-producten.

De vraag is voor welke paren natuurlijke getallen $(m, b)$ er een compacte, niet-formele contactvariëteit van dimensie $m$ bestaat met een eerste Betti-getal $b_1 = b$.

• Voor algemene georiënteerde compacte variëteiten is dit probleem opgelost door Fern´andez en Mu˜noz.
• Voor symplectische variëteiten (even dimensie) en contactvariëteiten (oneven dimensie) waren er nog gaten in de classificatie, specifiek voor lage dimensies en specifieke waarden van $b_1$.

Het doel van dit artikel is om de bestaande resultaten aan te vullen en de volledige geografie voor niet-formele compacte contactvariëteiten vast te stellen, met name voor de gevallen:

1. Dimensie $m=5$ met $b_1=1$.
2. Dimensie $m \ge 7$ (oneven) met $b_1=1$.
3. Dimensie $m \ge 7$ (oneven) met $b_1=0$ (enkelvoudig samenhangend).

Methodologie

De auteur gebruikt een combinatie van technieken uit de differentiaalmeetkunde, Lie-groepentheorie en rational homotopy-theorie:

1. Solvvariëteiten en Lie-groepen:
   De constructie van de voorbeelden gebeurt voornamelijk via quotiënten van Lie-groepen door roosters (lattices), bekend als solvvariëteiten. De auteur maakt gebruik van de classificatie van 5-dimensionale Lie-groepen en hun roosters.

   • Propositie 2.1: Een cruciaal resultaat stelt dat als een samenhangende Lie-groep $H$ de structuur van een bijna-complexe variëteit heeft, dan elk quotiënt van $\mathbb{R} \ltimes H$ door een rooster een contactstructuur toelaat.
   • De auteur analyseert specifieke 5-dimensionale solvabele Lie-groepen (zoals $G_{5.15}^{-1}$) om contactvariëteiten te construeren.

2. Boothby-Wang-fibraties:
   Om van een symplectische variëteit $M$ (dimensie $2n$) naar een contactvariëteit$E$(dimensie$2n+1$) te gaan, gebruikt de auteur de Boothby-Wang-constructie. Als de cohomologieklasse van een symplectische vorm$\omega$op$M$een integraal klasse is, bestaat er een$S^1$-bundel$S^1 \to E \to M$waarbij$E$ een compacte contactvariëteit is.

3. Massey-producten en Formaliteit:
   Om te bewijzen dat de geconstrueerde variëteiten niet-formeel zijn, gebruikt de auteur Massey-producten (en $a$-Massey-producten).

   • Lemma 3.1 & 3.2: Als een variëteit formeel is, moeten alle Massey-producten verdwijnen. Het vinden van een niet-verdwijnend Massey-product is dus een voldoende voorwaarde voor niet-formaliteit.
   • De auteur berekent expliciet de cohomologie-algebra van de solvvariëteiten en toont aan dat er niet-triviale Massey-producten bestaan die niet verdwijnen in de cohomologie van de contactvariëteit.

4. Gysin-sequentie:
   Bij de overgang van de symplectische basis $M$ naar de contactvariëteit $E$ wordt de Gysin-sequentie gebruikt om de cohomologiegroepen $H^*(E)$ te relateren aan $H^*(M)$ en te analyseren hoe de Massey-producten zich gedragen onder de projectie $\pi^*$.

Kernbijdragen en Resultaten

Het artikel levert de volgende hoofdstellingen op, waarmee de geografie voor niet-formele contactvariëteiten volledig wordt opgelost:

• Stelling 1.4: Er bestaat een compacte contact 5-variëteit met $b_1 = 1$ die niet-formeel is.

  • Constructie: Gebaseerd op een solvvariëteit afgeleid van de bijna-abelse Lie-groep $G_{5.15}^{-1}$. De auteur toont aan dat deze variëteit een contactstructuur toelaat (via Prop. 2.1) en dat deze niet-formeel is door een niet-verdwijnend Massey-product aan te tonen.

• Stelling 1.5: Voor elke oneven dimensie $m \ge 7$ bestaat er een compacte contact $m$-variëteit met $b_1 = 1$ die niet-formeel is.

  • Constructie: Gebruikmakend van een volledig oplosbare Lie-groep $G_{6.15}^{-1}$ en een rooster $\Gamma$, wordt een symplectische 6-variëteit $M$ geconstrueerd. Via Boothby-Wang wordt een 7-dimensionale contactvariëteit $E$ verkregen. De cohomologie wordt expliciet berekend, en een niet-verdwijnend Massey-product $\langle [x_6], [x_6], [\tilde{\omega}] \rangle$ wordt aangetoond. Voor hogere dimensies ($m > 7$) wordt het product genomen met $S^2$-sferen (Lemma 3.4).

• Stelling 1.3 (Herbevestiging): Voor elke oneven dimensie $m \ge 7$ bestaat er een enkelvoudig samenhangende ($b_1=0$) niet-formele compacte contactvariëteit.

  • Dit volgt uit eerdere werken (Fernández, Muñoz, Cavalcanti) en wordt hier bevestigd. Voor $m \ge 13$ geeft de auteur een korter bewijs door te verwijzen naar een niet-formele symplectische 12-variëteit en deze te vermenigvuldigen met $S^2$.

Significantie en Conclusie

1. Volledige Classificatie: Het artikel sluit de laatste gaten in de geografie van niet-formele compacte contactvariëteiten. Samen met eerdere resultaten betekent dit dat voor elke oneven dimensie $m$ en elk $b \in \mathbb{N}$, er een niet-formele contactvariëteit bestaat met $b_1=b$, behalve in de volgende gevallen (die als formele variëteiten moeten zijn of niet bestaan):

   • $m < 5$ (triviaal).
   • $m=5$ met $b_1=0$ (niet behandeld als niet-formeel in dit artikel, maar bekend dat 5-dimensionale contactvariëteiten met $b_1=0$ vaak formeel zijn of andere beperkingen hebben).
   • De resultaten bevestigen dat de voorwaarden voor het bestaan van niet-formele contactvariëteiten identiek zijn aan die voor algemene variëteiten en symplectische variëteiten (voor de relevante dimensies).

2. Formaliteit en Sasakian Structuren: Een belangrijke opmerking in het artikel is dat formaliteit geen obstakel vormt voor het bestaan van Sasakian structuren. Omdat er niet-formele contactvariëteiten bestaan die Sasakian kunnen zijn (of omgekeerd), kan formaliteit niet worden gebruikt om contactvariëteiten die Sasakian structuren toelaten te onderscheiden van die dat niet doen.

3. Technische Innovatie: De auteur demonstreert een krachtige methode om niet-formele contactvariëteiten te construeren door de koppeling van solvvariëteiten, symplectische cohomologie en de Boothby-Wang-fibratie, waarbij de behoud van niet-triviale Massey-producten zorgvuldig wordt bewaakt.

Kortom, dit werk levert het definitieve antwoord op de vraag welke topologische combinaties van dimensie en eerste Betti-getal toestaan dat een compacte contactvariëteit niet-formeel is, en bevestigt dat deze klasse van variëteiten zeer rijk is, zelfs in de laagste dimensies ($m=5$).