Symplectomorphisms of some Weinstein 4-manifolds

1. Contesto e Problema di Ricerca

Il lavoro si inserisce nel campo della Simmetria Speculare (Mirror Symmetry), specificamente nel contesto della simmetria speculare omologica per le superfici log Calabi-Yau $(Y, D)$, dove $Y$ è una superficie complessa e $D$ è un divisore anticanonico con singolarità logaritmiche.

• Lato A (Simplettico): Si considera una varietà di Weinstein 4-dimensionale $M$, che tipicamente corrisponde alla fibra di Milnor di una smoothing di una singolarità di cuspide o ellittica semplice. $M$ è equipaggiata con un potenziale superpotenziale $w: M \to \mathbb{C}$.
• Lato B (Algebrico): Si considera la superficie log Calabi-Yau $(Y, D)$ con una struttura complessa "distinta" (distinguished), che induce una struttura di Hodge mista split. Si studia la categoria derivata dei fasci coerenti $D^b\text{Coh}(U)$, dove $U = Y \setminus D$.

Il Problema:
Il gruppo di classe di mappatura simplettica compattamente supportata, $\pi_0 \text{Symp}_c(M)$, è un oggetto fondamentale nella topologia simplettica. Attualmente, le uniche famiglie note di elementi in questo gruppo per le varietà di Weinstein sono le twist di Dehn lungo sfere lagrangiane (e le loro generalizzazioni come le fibred twists).
Una domanda aperta di lunga data (folklore) è se queste twist di Dehn generino, o generino genericamente, l'intero gruppo di classe di mappatura. Il paper affronta la necessità di trovare nuove famiglie di simplettomorfismi che non siano generati dalle twist di Dehn, e di caratterizzarli attraverso la simmetria speculare.

2. Metodologia

Gli autori utilizzano un approccio ibrido che combina:

1. Geometria Simplettica e Fibrati: Sfruttano la struttura di fibrato quasi-torico (o SYZ) su $M$, $\pi: M \to \mathbb{R}^2$, che possiede fibre lagrangiane toroidali e nodi (singolarità focus-focus).
2. Geometria Birazionale: Sul lato B, utilizzano il programma di Sarkisov in dimensione 2 e la teoria delle trasformazioni birazionali di $(\mathbb{C}^*)^2$ per analizzare gli automorfismi di $(Y, D)$.
3. Simmetria Speculare Omologica (HMS): Si basano su equivalenze esplicite tra le categorie di Fukaya (diretta e avvolta) di $M$ e le categorie derivate di $(Y, D)$ e $U$, come stabilito in lavori precedenti (es. [HK22]).
4. Analisi delle Relazioni di Cluster: Collegano le operazioni simplettiche alle relazioni nel gruppo di trasformazioni birazionali, in particolare alle relazioni di cluster (es. la relazione $A_2$).

3. Contributi Chiave e Costruzioni

Il paper introduce due nuove famiglie di simplettomorfismi compattamente supportati su $M$, dimostrando che sono gli specchi di operazioni naturali sul lato B:

A. Traduzioni Lagrangiane (Lagrangian Translations)

• Costruzione: Fissata una sezione lagrangiana di riferimento $L_0$ per il fibrato quasi-torico $\pi$, per ogni altra sezione lagrangiana $L$ che coincide con $L_0$ all'infinito, si costruisce un simplettomorfismo $\sigma_L$. Questo operatore agisce aggiungendo vettorialmente la differenza $L - L_0$ alle fibre lisce (usando le coordinate di Arnol'd-Liouville) e si estende alle fibre singolari.
• Corrispondenza Speculare: Viene dimostrato che $\sigma_L$ è lo specchio del tensore con un fascio di linea $\mathcal{L} \in \text{Pic}(Y)$ tale che $\mathcal{L}|_D \cong \mathcal{O}_D$.
• Gruppo: Queste traduzioni corrispondono al sottogruppo $Q = \langle D_1, \dots, D_k \rangle^\perp \subset \text{Pic}(Y)$, isomorfo a $H^2(U)/\mathbb{Z}\langle \gamma \rangle$.

B. Ricombinazioni di Scorrimento Nodale (Nodal Slide Recombinations)

• Costruzione: Si parte da un automorfismo $\phi \in \text{Aut}(Y, D; pt)$ che fissa punto per punto il divisore $D$. Utilizzando il programma di Sarkisov, $\phi$ può essere fattorizzato in una sequenza di trasformazioni elementari (birazionali). Sul lato A, ogni trasformazione elementare corrisponde a una sequenza di sliding nodale (spostamento di un nodo lungo la sua linea invariante) e cut transfer (cambio della linea di taglio nel fibrato quasi-torico).
• Risultato: La composizione di queste operazioni simplettiche restituisce lo stesso fibrato quasi-torico iniziale, definendo un simplettomorfismo $\check{\phi}$ su $M$.
• Indipendenza: Viene dimostrato che la classe di isotopia di $\check{\phi}$ è indipendente dalla fattorizzazione scelta di $\phi$, grazie alla verifica delle relazioni nel gruppo di trasformazioni birazionali (in particolare la relazione di cluster $A_2$ di ordine 5).
• Corrispondenza Speculare: $\check{\phi}$ è lo specchio dell'autoequivalenza indotta da $\phi^*$ su $D(U)$.

4. Risultati Principali

Teorema 1.1 (Teorema Principale):
Per una superficie log Calabi-Yau $(Y, D)$ con struttura complessa distinta e la sua varietà di Weinstein speculare $M$:

1. Esiste un isomorfismo tra il gruppo di traduzioni lagrangiane e il sottogruppo $Q \subset \text{Pic}(Y)$.
2. Esiste un isomorfismo tra le ricombinazioni di scorrimento nodale e il gruppo $\text{Aut}(Y, D; pt)$, che è isomorfo a $\text{Adm}/W$ (dove $\text{Adm}$ è il gruppo di automorfismi del reticolo ammissibile e $W$ il gruppo di Weyl).

Teorema 7.1 (Non-generazione da Dehn):
Il sottogruppo di $\pi_0 \text{Symp}_c(M)$ generato da traduzioni lagrangiane e ricombinazioni di scorrimento nodale interseca il sottogruppo generato dalle twist di Dehn ($Br$) solo nel sottogruppo generato dalle twist di Dehn associate alle curve $(-2)$ interne.
In particolare, se $\text{Adm} \neq W$ o $Q \neq \langle \Phi \rangle$ (dove $\Phi$ sono le radici), esistono elementi in $\pi_0 \text{Symp}_c(M)$ che non sono prodotti di twist di Dehn.

Esempi Concreti:

• Per $M = F_1 \setminus E$ (complemento di un divisore anticanonico liscio nel blow-up di $\mathbb{P}^2$), il gruppo di mappatura contiene un sottogruppo $\mathbb{Z}^3$, includendo un fattore $\mathbb{Z}$ che agisce trivialmente sulla categoria di Fukaya avvolta ma non su quella diretta, generato da una twist al bordo.
• Per casi semi-definiti ($k \ge 7$), si ottengono gruppi infiniti di simplettomorfismi non banali.

Sfere Lagrangiane e Torelli:
Il paper costruisce una famiglia infinita numerabile di sfere lagrangiane in $M$ (specchi delle curve $(-2)$ su $Y$) quando $Y \setminus D$ contiene infinite curve $(-2)$. Dimostra che nessuna di queste sfere è split-generata dalle altre nella categoria di Fukaya avvolta, fornendo un controesempio alla congettura che tutte le sfere lagrangiane siano generate da un insieme finito (valido per le singolarità ipersuperficiali).

5. Significato e Implicazioni

1. Espansione del Gruppo di Mappatura: Il lavoro dimostra che il gruppo di classe di mappatura simplettica compattamente supportata per le varietà di Weinstein 4-dimensionali è molto più ricco di quanto si pensasse, andando oltre le twist di Dehn.
2. Completezza della Simmetria Speculare: Fornisce una descrizione quasi completa del gruppo di autoequivalenze compatte di $D(U)$ in termini geometrici simplettici. Si congettura che, insieme alle twist di Dehn, traduzioni lagrangiane e ricombinazioni nodali generino l'intero gruppo di autoequivalenze compatte (Congettura 1.5).
3. Connessione con la Teoria dei Cluster: Le operazioni simplettiche sono strettamente legate alla teoria dei cluster e alle trasformazioni birazionali di $(\mathbb{C}^*)^2$, offrendo una realizzazione geometrica delle relazioni di cluster nello spazio simplettico.
4. Moduli Spazi e Monodromia: Gli autori collegano questi simplettomorfismi alla monodromia nello spazio dei moduli delle strutture complesse. In particolare, per il caso semi-definito, mostrano come la monodromia nello spazio dei moduli delle coppie $(X, E)$ (dove $X$ è una superficie del Pezzo) induca simplettomorfismi su $M$, inclusi quelli non compattamente supportati che agiscono come trasformazioni di Fourier-Mukai fibrate.
5. Struttura delle Sfere Lagrangiane: I risultati sulle sfere lagrangiane suggeriscono una struttura complessa e non finita per la categoria di Fukaya avvolta in presenza di infinite curve $(-2)$, distinguendo nettamente il caso delle singolarità di cuspide da quello delle singolarità ipersuperficiali.

In sintesi, il paper fornisce un quadro unificato e rigoroso per la costruzione e la classificazione di nuove simmetrie simplettiche, stabilendo un ponte profondo tra la geometria birazionale delle superfici log Calabi-Yau e la topologia simplettica delle varietà di Weinstein.