Symplectomorphisms and spherical objects in the conifold smoothing

Titel: Symplectomorfismen en Sferische Objecten in de Conifold Smoothing

Auteurs: Ailsa Keating en Ivan Smith
Onderwerp: Symplectische topologie, Homologische Spiegelsymmetrie, Afgeleide categorieën.

---

1. Het Probleem en de Context

Het artikel behandelt twee fundamentele problemen in de moderne wiskunde die verbonden zijn via de Homologische Spiegelsymmetrie (HMS):

1. De symplectische afbeeldingsklasse-groep: Het begrijpen van de structuur van de groep van compact ondersteunde symplectomorfismen ($\pi_0 \text{Symp}_c$) van specifieke Liouville-manifolden. Tot nu toe was het onbekend of deze groepen voor manifolds van eindig type (finite type) oneindig gegenereerd konden zijn.
2. Classificatie van sferische objecten: Het classificeren van alle sferische objecten in de begrenste afgeleide categorie $D(Y)$ van een algebraïsche variëteit, specifiek in de context van de "driedimensionale affiene $A_1$-case" (gerelateerd aan de kleine resolutie van een conifold singulariteit).

De auteurs bestuderen twee spiegelende ruimtes:

• $X$ (Conifold Smoothing): Een symplectische Weinstein-manifold, gedefinieerd als het complement van een gladde kegel in $T^*S^3$, of equivalent als een "plumbing" (verweving) van twee kopieën van $T^*S^3$ langs een Hopf-link.
• $Y$ (Conifold Resolution): Het complement van een gladde divisor in de totale ruimte van de vectorbundel $\mathcal{O}(-1) \oplus \mathcal{O}(-1) \to \mathbb{P}^1$.

2. Methodologie

De kracht van dit werk ligt in het systematisch gebruik van Homologische Spiegelsymmetrie om problemen op te lossen door over te stappen naar de "andere kant" van de spiegel.

• Spiegelisomorfisme: De auteurs maken gebruik van een bewezen HMS-equivalentie (van Chan, Pomerleano en Ueda) tussen de gewikkelde Fukaya-categorie van $X$, genoteerd als $\mathcal{W}(X)$, en de afgeleide categorie van coherent schoven op $Y$, $D(Y)$. Deze equivalentie is lineair over een grotere ring $R = SH^0(X) \cong \Gamma(\mathcal{O}_Y)$.
• Analyse van Stabiliteitscondities: Aan de algebraïsche kant ($Y$) gebruiken ze diepgaande resultaten van Toda over de ruimte van Bridgeland-stabiliteitscondities en de groep van auto-equivalenties van $D(Y)$.
• Dynamica en Floer-theorie: Aan de symplectische kant ($X$) gebruiken ze klassieke resultaten uit de dynamica van oppervlakken (Nielsen-Thurston theorie) en Floer-cohomologie. Ze analyseren de groei van de rang van Floer-cohomologie onder auto-equivalenties om beperkingen op te leggen aan de symplectische mapping class groep.
• Lokalisatie en Invariantie: Voor de classificatie van sferische objecten gebruiken ze een localisatieargument gebaseerd op een $\mathbb{Z}/2 \times \mathbb{Z}/2$-actie op $X$. Hierdoor kunnen ze Floer-cohomologie berekenen door te reduceren naar het vaste punt van deze actie (een oppervlak), waar klassieke meetkundige intersectietellingen gelden.

3. Belangrijkste Resultaten

Resultaat 1: Oneindig gegenereerde Symplectische Mapping Class Groep (Stelling 1.1)

De auteurs bewijzen dat de compact ondersteunde symplectische mapping class groep van $X$, $\pi_0 \text{Symp}_c(X, \omega)$, een gesplitste injectie bevat van een vrije groep met aftelbaar oneindig veel generatoren ($\mathbb{Z}^{*\infty}$).

• Conclusie: De groep is oneindig gegenereerd.
• Generatoren: De generatoren corresponderen met Dehn-twists in een oneindige familie van Lagrangiaanse 3-sferen ($S_i$) in $X$, die corresponderen met "matching paths" in de basis van een Morse-Bott-Lefschetz fibratie.
• Significantie: Dit is het eerste voorbeeld van een symplectische manifold van eindig type waarvan bekend is dat de compact ondersteunde symplectische mapping class groep oneindig gegenereerd is. Dit contrasteert met compacte manifolds (zoals K3-oppervlakken) waar men verwacht dat deze groepen eindig gegenereerd zijn.

Resultaat 2: Classificatie van Sferische Objecten (Stelling 1.3)

De auteurs classificeren alle sferische objecten in de afgeleide categorie $D(Y)$.

• Conclusie: De verzameling van sferische objecten vormt een enkele orbit onder de natuurlijke actie van de pure braided groep $PBr_3$.
• Techniek: Ze tonen aan dat elke sferische twist in $D(Y)$ correspondeert met een macht van een Dehn-twist in een Lagrangiaanse sfeer in $X$. Door de dynamische groei van Floer-cohomologie te analyseren, bewijzen ze dat alleen "periodieke" elementen (machten van sferische twists) een lineaire groei vertonen; elementen met pseudo-Anosov-gedrag zouden exponentiële groei vertonen, wat in strijd is met de definitie van een sferisch object.

Resultaat 3: Orbits van Lagrangiaanse Sferen (Corollarium 7.2)

Ze beantwoorden een folklore-vraag (toegeschreven aan Fukaya) over de actie van de symplectische mapping class groep op de verzameling van isotopie-klassen van Lagrangiaanse 3-sferen.

• Conclusie: Voor een gerelateerde Stein-domein $X'$ (verkregen door een subkritische Weinstein-handvatten toe te voegen aan $X$), heeft de actie van $\pi_0 \text{Symp}_c(X')$ op de Lagrangiaanse sferen oneindig veel orbits. Dit betekent dat er oneindig veel niet-isotopen Lagrangiaanse sferen bestaan die niet door symplectomorfismen op elkaar kunnen worden afgebeeld.

4. Technische Details en Bewijsstrategie

• De Rol van K-theorie: Een cruciaal inzicht is dat compact ondersteunde symplectomorfismen triviaal werken op de numerieke Grothendieck-groep $K_{num}(F(X))$. Dit staat in schril contrast met de algebraïsche kant, waar de groep van auto-equivalenties $Auteq(D)$ een rijke structuur heeft (isomorf met $(\mathbb{Z} * \mathbb{Z}) \times \mathbb{Z}$).
• De "Split Injection": De bewijzen tonen aan dat de groep van symplectomorfismen die de numerieke K-theorie triviaal laten, precies overeenkomt met de subgroup van de pure braided groep die correspondeert met Dehn-twists in de specifieke sferen $S_i$. Omdat deze subgroup isomorf is aan $\mathbb{Z}^{*\infty}$, volgt de oneindige generatie.
• Dynamische Analyse: In Sectie 6 gebruiken ze een schatting van de groei van de rang van Floer-cohomologie. Als een auto-equivalentie pseudo-Anosov-gedrag zou hebben (wat zou leiden tot exponentiële groei van intersecties), zou dit de sferische eigenschap schenden. Dit dwingt de structuur van de sferische objecten tot een beperkte klasse.

5. Betekenis en Impact

1. Doorbraak in Symplectische Topologie: Het paper levert het eerste voorbeeld van een "eindig type" symplectische manifold met een oneindig gegenereerde symplectische mapping class groep. Dit verandert het beeld van wat mogelijk is in de symplectische wereld en onderscheidt deze sterk van de differentieerbare wereld (waar mapping class groepen van compacte 6-variëteiten vaak van eindig type zijn).
2. Vooruitgang in Algebraïsche Meetkunde: Het biedt de eerste volledige classificatie van sferische objecten in een "grote" afgeleide categorie voor een 3-dimensionale variëteit (de conifold resolutie), in tegenstelling tot eerdere resultaten die beperkt waren tot "kleine" subcategorieën of 2-dimensionale gevallen.
3. Kracht van Spiegelsymmetrie: Het werk demonstreert op overtuigende wijze hoe Homologische Spiegelsymmetrie niet alleen een theoretisch raamwerk is, maar een krachtig rekeninstrument. Het probleem wordt opgelost door de moeilijkste aspecten van het ene domein (symplectische dynamica) te vertalen naar het andere domein (stabiliteitscondities en K-theorie), en vice versa.
4. Verbinding met Categorie-entropie: De analyse van de groei van Floer-cohomologie raakt aan concepten van categorische entropie, wat suggereert dat er diepere connecties zijn tussen symplectische dynamica en de groei van Ext-groepen in afgeleide categorieën.

Samenvattend biedt dit artikel een diepgaande analyse van de interactie tussen symplectische dynamica en algebraïsche meetkunde, resulterend in fundamentele nieuwe inzichten in de structuur van zowel symplectische manifolds als afgeleide categorieën.