The nearby Lagrangian conjecture for pinwheels

Sintesi Tecnica: La Congettura di Lagrangiana Vicina per le Pinwheels

Enunciato del Problema
Il lavoro affronta la Congettura di Lagrangiana Vicina (NLC), attribuita a V. I. Arnol'd, che postula che ogni Lagrangiana esatta nel fibrato cotangente $T^*Q$ di una varietà chiusa liscia $Q$ sia isotopa hamiltonianamente alla sezione nulla. Sebbene la congettura sia stata dimostrata per diversi casi di bassa dimensione (ad esempio, $T^*S^2$, $T^*T^2$) utilizzando tecniche di curve pseudoolomorfe, essa rimane aperta per varietà generali e, in modo cruciale, per Lagrangiane singolari.

Gli autori si concentrano su una specifica classe di Lagrangiane singolari chiamate pinwheels Lagrangiane $(p, q)$. Una pinwheel $(p, q)$ è una topologica $p$-pinwheel (una 2-cella attaccata a una 1-cella tramite un rivestimento $p$-a-1) in cui la 2-cella è Lagrangiana e incontra il cerchio centrale in un modo geometrico specifico determinato da $q$. Questi oggetti sorgono naturalmente come scheletri Lagrangiani ($L^{\text{st}}_{p,q}$) di sfere di omologia razionale $B_{p,q}$, che sono le fibre di Milnor di singolarità quoziente cicliche $\frac{1}{p^2}(1, pq-1)$.

Il problema centrale è determinare se ogni pinwheel Lagrangiana $(p, q)$ immersa in $B_{p,q}$ sia isotopa hamiltonianamente allo scheletro standard $L^{\text{st}}_{p,q}$. Questo è il "sotto-congettura NLC1" adattata al contesto singolare di $B_{p,q}$.

Metodologia
La dimostrazione è strutturata in due parti tecniche largamente indipendenti, che combinano topologia simplettica, geometria algebrica e teoria delle curve pseudoolomorfe.

1. Unicità Simplettica (Parte 1):

   • Compattificazione: Gli autori costruiscono una compattificazione $X_{p,q}$ della varietà non compatta $B_{p,q}$. Ciò è ottenuto coprendo il diagramma della base quasi-torica di $B_{p,q}$ e risolvendo la singolarità orbifold risultante. Lo spazio risultante $X_{p,q}$ è derivato birazionalmente da una superficie di Hirzebruch.
   • Regolazioni e Allungamento del Collo: Utilizzano il concetto di "regolazioni" (fogliature da curve razionali) su $X_{p,q}$. Eseguendo un blow-up razionale simplettico lungo una pinwheel immersa, analizzano il comportamento delle curve pseudoolomorfe sotto allungamento del collo.
   • Persistenza delle Fogliature: Un risultato tecnico chiave consiste nel dimostrare che la regolazione (una fogliatura da sfere di quadrato nullo) su $X_{p,q}$ "persiste" dopo il blow-up razionale. Nello specifico, la varietà sgonfiata $\tilde{X}$ ammette un'unica regola spezzata costituita dalla catena di Wahl (sfere eccezionali dal blow-up) e dal divisore compattificante, collegati da una singola sfera eccezionale.
   • Costruzione di Simplettomorfismi: Utilizzando l'unicità di queste regolazioni e il fatto che i complementi dei vicinati delle pinwheels sono minimi, costruiscono un simplettomorfismo a supporto compatto $\psi$ che mappa ogni pinwheel Lagrangiana $L$ allo scheletro standard $L^{\text{st}}_{p,q}$.

2. Isotopia Hamiltoniana (Parte 2):

   • Gruppi di Simplettomorfismi: Per elevare il simplettomorfismo $\psi$ a un'isotopia hamiltoniana, gli autori calcolano il tipo di omotopia debole del gruppo dei simplettomorfismi a supporto compatto, $\text{Symp}_c(B_{p,q})$.
   • Diagrammi a Pettine: Impiegano i "diagrammi a pettine", uno strumento che mette in relazione il gruppo dei simplettomorfismi di una varietà con quello di una sua sottovarietà e del suo complemento. Relazionano $\text{Symp}_c(B_{p,q})$ al gruppo $\text{Symp}_c(W_{p,q})$, dove $W_{p,q} = B_{p,q} \setminus K_{p,q}$ (il complemento del cilindro centrale).
   • Completamento di Liouville: Identificano $W_{p,q}$ come un dominio a forma di stella in $T^*Wh$, il fibrato cotangente della sfera di Whitney. Utilizzando risultati sulla contrattibilità dei gruppi di simplettomorfismi di tali domini, dimostrano che $\text{Symp}_c(W_{p,q})$ è debolmente contrattile.
   • Il Pintwist: Dimostrano che $\text{Symp}_c(B_{p,q})$ è debolmente omotopicamente equivalente a $\mathbb{Z}$, generato da un semplicettomorfismo specifico chiamato pintwist $\tau_{p,q}$. Questa mappa è la monodromia simplettica associata alla regolarizzazione della singolarità sottostante.
   • Conclusione: Poiché il pintwist preserva lo scheletro Lagrangiano fino a isotopia hamiltoniana (come dimostrato tramite il teorema di estensione di Banyaga e la coomologia nulla), ogni simplettomorfismo che mappa $L$ in $L^{\text{st}}_{p,q}$ può essere composto con una potenza del pintwist per produrre un'isotopia hamiltoniana.

Contributi e Risultati Chiave

• Teorema Principale (Teorema A): Ogni pinwheel Lagrangiana $(p, q)$ in $B_{p,q}$ è isotopa hamiltonianamente allo scheletro Lagrangiano standard $L^{\text{st}}_{p,q}$. Ciò stabilisce la Congettura di Lagrangiana Vicina per questa ampia classe di Lagrangiane singolari.
• Classificazione Simplettica (Teorema B): Due pinwheels Lagrangiane $(p, q)$ qualsiasi in $B_{p,q}$ sono correlate da un simplettomorfismo a supporto compatto.
• Struttura del Gruppo dei Simplettomorfismi (Teorema C): Il gruppo $\text{Symp}_c(B_{p,q})$ è debolmente omotopicamente equivalente a $\mathbb{Z}$, generato dal pintwist $\tau_{p,q}$. Ciò fornisce il primo calcolo di questo gruppo per $p > 2$ (risultati precedenti esistevano solo per $p=1, 2$).
• Applicazioni:
  1. Non-Schiusura delle Pin-Ball: Gli autori dimostrano un teorema di non-schiusura di Gromov per le "pin-balls" $B_{p,q}(r)$, mostrando che si immergono in "pin-cilindri" $E_{p,q}(\alpha, \infty)$ se e solo se $r \le \alpha$. L'ostacolo deriva dall'area delle curve eccezionali nel blow-up razionale.
  2. Sgrovigliamento Locale: Forniscono una nuova dimostrazione del teorema di Eliashberg–Polterovich sullo sgrovigliamento locale di piani Lagrangiani in $\mathbb{R}^4$, considerando la pinwheel $(1,1)$ (un disco Lagrangiano) come caso particolare.
  3. Unicità dei Tipi di Pinwheel: Dimostrano che le uniche pinwheels Lagrangiane immergibili in $B_{p,q}$ sono di tipo $(p, q)$ (o $(p, p-q)$), estendendo risultati precedenti sulla non-esistenza di Lagrangiane lisce esatte in queste sfere.

Significato e Affermazioni
Il lavoro afferma di risolvere la Congettura di Lagrangiana Vicina per una classe significativa di Lagrangiane singolari che fungono da "sezioni nulle" per sfere di omologia razionale. Gli autori sottolineano che il loro approccio sfrutta l'interazione tra geometria simplettica e geometria algebrica delle singolarità di superficie (in particolare le singolarità di Wahl).

Il significato risiede in:

• Estensione della NLC: Superare le varietà lisce per arrivare a Lagrangiane singolari, che sono oggetti naturali nello studio delle singolarità simplettiche e della simmetria speculare.
• Nuove Tecniche: L'applicazione riuscita di "regolazioni" e allungamento del collo nel contesto delle sfere di omologia razionale, aggirando la necessità di una compattificazione globale dello spazio ambiente nello stesso modo dei lavori precedenti su $T^*Q$.
• Calcoli di Gruppo: Fornire una descrizione completa del gruppo delle classi di mappatura simplettiche di $B_{p,q}$, rivelando una struttura generata da un'operazione geometrica naturale (il pintwist) analoga alle twist di Dehn.
• Ostacoli Quantitativi: Dimostrare che i metodi utilizzati per l'unicità producono anche ostacoli quantitativi all'immersione (non-schiusura), collegando la topologia delle pinwheels alle capacità simplettiche.

Gli autori notano che il loro lavoro funge da "prequel" a teoremi di immersione più ampi per sfere di omologia razionale in $\mathbb{CP}^2$, fornendo i risultati di unicità locale necessari per quelle classificazioni globali. Affermano esplicitamente che i loro metodi dipendono dalla geometria specifica di $B_{p,q}$ e dalle fibrazioni quasi-toriche, e non si generalizzano immediatamente a tutte le dimensioni o a tutte le Lagrangiane singolari senza ulteriore sviluppo.