The nearby Lagrangian conjecture for pinwheels

Technische Samenvatting: De Nabije Lagrangiaanse Vermoedens voor Spinnen

Probleemstelling
Het artikel behandelt het Nabije Lagrangiaanse Vermoeden (NLC), toegeschreven aan V. I. Arnol'd, dat stelt dat elke exacte Lagrangiaanse ondervariëteit in de cotangentbundel $T^*Q$ van een gladde gesloten variëteit $Q$ Hamiltoniaans isotopisch is tot de nulsectie. Hoewel het vermoeden is bewezen voor verschillende laag-dimensionale gevallen (bijv. $T^*S^2$, $T^*T^2$) met behulp van technieken voor pseudoholomorfe krommen, blijft het open voor algemene variëteiten en, cruciaal, voor singuliere Lagrangiaanse ondervariëteiten.

De auteurs richten zich op een specifieke klasse van singuliere Lagrangiaanse ondervariëteiten die Lagrangiaanse $(p, q)$-spinnen worden genoemd. Een $(p, q)$-spin is een topologische $p$-spin (een 2-cel die via een $p$-tot-1 overdekking aan een 1-cel is bevestigd) waarbij de 2-cel Lagrangiaans is en de kerncirkel op een specifieke geometrische manier raakt die wordt bepaald door $q$. Deze objecten ontstaan natuurlijk als de Lagrangiaanse skeletten ($L^{\text{st}}_{p,q}$) van rationele homologieballen $B_{p,q}$, welke de Milnor-fibers zijn van cyclische quotiënt-singulariteiten $\frac{1}{p^2}(1, pq-1)$.

Het centrale probleem is om te bepalen of elke ingebedde Lagrangiaanse $(p, q)$-spin in $B_{p,q}$ Hamiltoniaans isotopisch is tot het standaard-skelet $L^{\text{st}}_{p,q}$. Dit is het "NLC1"-subvermoeden, aangepast aan de singuliere context van $B_{p,q}$.

Methodologie
Het bewijs is gestructureerd in twee grotendeels onafhankelijke technische delen, waarin symplectische topologie, algebraïsche meetkunde en de theorie van pseudoholomorfe krommen worden gecombineerd.

1. Symplectische Uniekheid (Deel 1):

   • Compactificatie: De auteurs construeren een compactificatie $X_{p,q}$ van de niet-compacte variëteit $B_{p,q}$. Dit wordt bereikt door het bijna-torische basisdiagram van $B_{p,q}$ af te dekken en de resulterende orbifold-singulariteit op te lossen. De resulterende ruimte $X_{p,q}$ is birationeel afgeleid van een Hirzebruch-oppervlak.
   • Regulaties en Nek-uitrekking: Zij maken gebruik van het concept van "regulaties" (foliaties door rationale krommen) op $X_{p,q}$. Door een symplectische rationele opblazing uit te voeren langs een ingebedde spin, analyseren zij het gedrag van pseudoholomorfe krommen onder nek-uitrekking.
   • Persistentie van Foliaties: Een belangrijk technisch resultaat is het aantonen dat de regulatie (een foliatie door bollen met kwadraat nul) op $X_{p,q}$ "persisteert" na de rationele opblazing. Specifiek admiteert de opgeblazen variëteit $\tilde{X}$ een unieke gebroken regeling bestaande uit de Wahl-rij (exceptionele bollen van de opblazing) en de compactificerende divisor, verbonden door een enkele exceptionele bol.
   • Constructie van Symplectomorfismen: Met behulp van de uniekheid van deze regulaties en het feit dat de complementen van de spin-omgevingen minimaal zijn, construeren zij een met compacte drager symplectomorfisme $\psi$ dat elke Lagrangiaanse spin $L$ afbeeldt op het standaard-skelet $L^{\text{st}}_{p,q}$.

2. Hamiltoniaanse Isotopie (Deel 2):

   • Groepen van Symplectomorfismen: Om het symplectomorfisme $\psi$ te upgraden tot een Hamiltoniaanse isotopie, berekenen de auteurs de zwakke homotopietype van de groep van symplectomorfismen met compacte drager, $\text{Symp}_c(B_{p,q})$.
   • Kam-diagrammen: Zij maken gebruik van "Kam-diagrammen", een hulpmiddel dat de symplectomorfismegroep van een variëteit relateert aan die van een deelvariëteit en haar complement. Zij relateren $\text{Symp}_c(B_{p,q})$ aan de groep $\text{Symp}_c(W_{p,q})$, waarbij $W_{p,q} = B_{p,q} \setminus K_{p,q}$ (het complement van de centrale cilinder).
   • Liouville-Completering: Zij identificeren $W_{p,q}$ als een ster-vormig domein in $T^*Wh$, de cotangentbundel van de Whitney-bol. Met behulp van resultaten over de contractibiliteit van symplectomorfismegroepen van dergelijke domeinen, tonen zij aan dat $\text{Symp}_c(W_{p,q})$ zwak contractibel is.
   • De Pintwist: Zij demonstreren dat $\text{Symp}_c(B_{p,q})$ zwak homotopisch equivalent is aan $\mathbb{Z}$, gegenereerd door een specifiek symplectomorfisme dat de pintwist $\tau_{p,q}$ wordt genoemd. Deze afbeelding is de symplectische monodromie geassocieerd met het gladmaken van de onderliggende singulariteit.
   • Conclusie: Aangezien de pintwist het Lagrangiaanse skelet behoudt tot op Hamiltoniaanse isotopie (zoals aangetoond via Banyaga's extensiestelling en verdwijnende cohomologie), kan elke symplectomorfisme die $L$ afbeeldt op $L^{\text{st}}_{p,q}$ worden samengesteld met een macht van de pintwist om een Hamiltoniaanse isotopie te verkrijgen.

Belangrijkste Bijdragen en Resultaten

• Hoofdstelling (Stelling A): Elke Lagrangiaanse $(p, q)$-spin in $B_{p,q}$ is Hamiltoniaans isotopisch tot het standaard Lagrangiaanse skelet $L^{\text{st}}_{p,q}$. Dit vestigt het Nabije Lagrangiaanse Vermoeden voor deze brede klasse van singuliere Lagrangiaanse ondervariëteiten.
• Symplectische Classificatie (Stelling B): Elke twee Lagrangiaanse $(p, q)$-spinnen in $B_{p,q}$ zijn gerelateerd door een symplectomorfisme met compacte drager.
• Structuur van de Symplectomorfismegroep (Stelling C): De groep $\text{Symp}_c(B_{p,q})$ is zwak homotopisch equivalent aan $\mathbb{Z}$, gegenereerd door de pintwist $\tau_{p,q}$. Dit levert de eerste berekening van deze groep voor $p > 2$ op (vorige resultaten bestonden alleen voor $p=1, 2$).
• Toepassingen:
  1. Pin-Ball Non-Squeezing: De auteurs bewijzen een Gromov non-squeezing-stelling voor "pin-ballen" $B_{p,q}(r)$, waarbij zij aantonen dat deze inbedbaar zijn in pin-cilinders $E_{p,q}(\alpha, \infty)$ dan en slechts dan als $r \le \alpha$. De obstructie vloeit voort uit het oppervlak van exceptionele krommen in de rationele opblazing.
  2. Lokaal Ontwarren: Zij leveren een nieuw bewijs van de stelling van Eliashberg–Polterovich over het lokaal ontwarren van Lagrangiaanse vlakken in $\mathbb{R}^4$, waarbij zij de $(1,1)$-spin (een Lagrangiaanse schijf) als een speciaal geval beschouwen.
  3. Uniekheid van Spintypes: Zij tonen aan dat de enige Lagrangiaanse spinnen die inbedbaar zijn in $B_{p,q}$ van het type $(p, q)$ (of $(p, p-q)$) zijn, waardoor eerdere resultaten over het niet-bestaan van gladde exacte Lagrangiaanse ondervariëteiten in deze ballen worden uitgebreid.

Beteekenis en Aanspraken
Het artikel claimt het Nabije Lagrangiaanse Vermoeden op te lossen voor een aanzienlijke klasse van singuliere Lagrangiaanse ondervariëteiten die dienen als de "nulsecties" voor rationele homologieballen. De auteurs benadrukken dat hun aanpak gebruikmaakt van de wisselwerking tussen symplectische meetkunde en de algebraïsche meetkunde van oppervlaksingulariteiten (specifiek Wahl-singulariteiten).

De betekenis ligt in:

• Uitbreiding van NLC: Het gaan voorbij gladde variëteiten naar singuliere Lagrangiaanse ondervariëteiten, welke natuurlijke objecten zijn in de studie van symplectische singulariteiten en spiegel-symmetrie.
• Nieuwe Technieken: De succesvolle toepassing van "regulaties" en nek-uitrekking in de context van rationele homologieballen, waarbij de noodzaak wordt omzeild voor een globale compactificatie van de omringende ruimte op dezelfde manier als eerdere werken over $T^*Q$.
• Groepsberekeningen: Het leveren van een volledige beschrijving van de symplectische afbeeldingsklassengroep van $B_{p,q}$, waarbij een structuur wordt onthuld die wordt gegenereerd door een natuurlijke geometrische operatie (de pintwist) analoog aan Dehn-draaiingen.
• Kwantitatieve Obstructies: Het aantonen dat de methoden die worden gebruikt voor uniekheid ook kwantitatieve inbeddingsobstructies opleveren (non-squeezing), waardoor de topologie van de spinnen wordt gekoppeld aan symplectische capaciteiten.

De auteurs merken op dat hun werk dient als een "prequel" voor bredere inbeddingstheorema's voor rationele homologieballen in $\mathbb{CP}^2$, en dat het de lokale uniekheidsresultaten levert die noodzakelijk zijn voor die globale classificaties. Zij stellen expliciet dat hun methoden afhankelijk zijn van de specifieke geometrie van $B_{p,q}$ en de bijna-torische fibraties, en niet onmiddellijk generaliseren naar alle dimensies of alle singuliere Lagrangiaanse ondervariëteiten zonder verdere ontwikkeling.