Symplectomorphisms and spherical objects in the conifold smoothing

1. Il Problema e il Contesto

Il paper affronta due problemi fondamentali nella topologia simplettica e nella geometria algebrica, collegati dalla simmetria speculare (Mirror Symmetry):

1. Il gruppo di classe di mappatura simplettica: Determinare la struttura del gruppo di classe di mappatura con supporto compatto, $\pi_0 \text{Symp}_c(X, \omega)$, per una varietà simplettica non compatta di tipo finito (specificamente la "conifold smoothing" $X$). È noto che per molte varietà compatte questo gruppo è di tipo finito, ma la questione della generazione infinita per varietà non compatte di tipo finito era aperta.
2. Classificazione degli oggetti sferici: Classificare tutti gli oggetti sferici nella categoria derivata limitata $D(Y)$ della "conifold resolution" $Y$ (un caso affine $A_1$ in dimensione tre). Gli oggetti sferici sono fondamentali nella teoria delle categorie di Fukaya e nelle trasformazioni di Fourier-Mukai.

Il lavoro si basa sulla simmetria speculare omologica (HMS) stabilita da Chan, Pomerleano e Ueda, che identifica la categoria di Fukaya "wrapped" di $X$ con la categoria derivata di $Y$.

2. Metodologia

L'approccio degli autori è caratterizzato da un uso strategico e bidirezionale della simmetria speculare, sfruttando le proprietà di ciascun lato per risolvere problemi sull'altro:

• Dalla Geometria Algebrica alla Topologia Simplettica (Per il Teorema 1.1):

  • Gli autori utilizzano i risultati di Toda sulla struttura del gruppo di auto-equivalenze della categoria derivata $D(Y)$ e sullo spazio delle condizioni di stabilità (stability conditions).
  • Sfruttano l'equivalenza HMS per mappare le auto-equivalenze algebriche (che agiscono su $D(Y)$) in auto-equivalenze della categoria di Fukaya $W(X)$.
  • Dimostrano che il gruppo di auto-equivalenze che agiscono banalmente sulla K-teoria numerica contiene un sottogruppo isomorfo a un gruppo libero di rango infinito ($Z * \infty$).
  • Usano la teoria di Nielsen-Thurston e la dinamica dei sistemi su superfici per dimostrare che certi elementi del gruppo simplettico non possono essere ridotti a twist sferici, confermando la generazione infinita.

• Dalla Topologia Simplettica alla Geometria Algebrica (Per il Teorema 1.3):

  • Per classificare gli oggetti sferici in $D(Y)$, gli authors usano la controparte simplettica.
  • Analizzano la crescita del rango della coomologia di Floer sotto l'azione di auto-equivalenze.
  • Utilizzano un argomento di localizzazione basato su un'azione di gruppo $\mathbb{Z}/2 \times \mathbb{Z}/2$ su $X$, riducendo il calcolo della coomologia di Floer a una superficie bidimensionale ($X_{inv}$).
  • Applicano risultati classici sulla dinamica dei mappe pseudo-Anosov su superfici per mostrare che se un'auto-equivalenza non è un twist sferico, il rango della coomologia di Floer cresce esponenzialmente. Questo vincolo permette di classificare gli oggetti sferici come un'unica orbita sotto l'azione del gruppo di treccia puro $PBr_3$.

3. Contributi Chiave e Risultati Principali

A. Il Gruppo di Classe di Mappatura Simplettica (Teorema 1.1)

• Risultato: Il gruppo di classe di mappatura con supporto compatto della conifold smoothing $X$, $\pi_0 \text{Symp}_c(X, \omega)$, contiene un'iniezione scissa di un gruppo libero di rango infinito ($Z * \infty$). Di conseguenza, il gruppo è infinitamente generato.
• Generatori: I generatori sono twist di Dehn lungo sfere lagrangiane specifiche ($S_i$) associate a percorsi di matching nel fibrato di Morse-Bott-Lefschetz che definisce $X$.
• Significato: Questo è il primo esempio di una varietà simplettica di tipo finito (non compatta) il cui gruppo di mappatura con supporto compatto è noto per essere infinitamente generato. Contrasta con il comportamento atteso per superfici K3 o varietà log-Calabi-Yau compatte.
• Corollario 1.2: Esiste un dominio Stein tridimensionale $X'$ (ottenuto aggiungendo un handle di Weinstein sottocritico a $X$) che è semplicemente connesso, ha bordo semplicemente connesso, ma il suo gruppo $\pi_0 \text{Symp}_c(X')$ è ancora infinitamente generato. Questo risponde a una domanda popolare attribuita a Fukaya riguardo all'esistenza di orbite infinite di sfere lagrangiane sotto l'azione del gruppo di mappatura.

B. Classificazione degli Oggetti Sferici (Teorema 1.3)

• Risultato: Gli oggetti sferici nella categoria derivata $D(Y)$ (dove $Y$ è la risoluzione della singolarità conifold) formano una singola orbita sotto l'azione naturale del gruppo di treccia puro $PBr_3$.
• Metodo: La classificazione si basa sulla dimostrazione che ogni oggetto sferico è quasi-isomorfo a un oggetto nella categoria "piccola" associata alla curva eccezionale, e che l'azione del gruppo di treccia è transitiva su questi oggetti.
• Significato: Risolve un problema aperto di lunga data per il caso "grande" (tutte le complessità supportate sul luogo eccezionale) in dimensione tre, andando oltre le classificazioni note per le singolarità di superficie tipo A.

4. Dettagli Tecnici e Strumenti

• Varietà $X$ (Smoothing): Definita come $X = \{u_1v_1 = z-1, u_2v_2 = z+1\} \subset \mathbb{C}^4 \times \mathbb{C}^*$. È il completamento Weinstein di due copie di $T^*S^3$ incollate lungo un link di Hopf.
• Varietà $Y$ (Resolution): La complementare di un divisore liscio in $\mathcal{O}(-1) \oplus \mathcal{O}(-1) \to \mathbb{P}^1$.
• Categorie Coinvolte:
  • $W(X)$: Categoria di Fukaya "wrapped" di $X$.
  • $D(Y)$: Categoria derivata limitata di $Y$.
  • Equivalenza HMS: $W(X) \simeq D(Y)$ (Chan-Pomerleano-Ueda).
• Gruppi di Auto-equivalenze:
  • Il gruppo di auto-equivalenze di $D(Y)$ che preservano la struttura $R$-lineare è isomorfo a $(Z * Z) \times Z$.
  • Il sottogruppo che agisce banalmente sulla K-teoria numerica è isomorfo a $Z * \infty$ (gruppo libero su infiniti generatori).
• Localizzazione e Transversalità: Per calcolare la coomologia di Floer, gli autori costruiscono una struttura complessa $J$ equivariante rispetto all'azione di $\mathbb{Z}/2 \times \mathbb{Z}/2$, permettendo di ridurre il calcolo a una superficie di Riemann con buchi ($X_{inv}$), dove la dinamica delle curve chiuse semplici è ben compresa.

5. Significato e Impatto

1. Nuovi Fenomeni in Topologia Simplettica: Il lavoro dimostra che le varietà simplettiche non compatte di tipo finito possono avere una struttura di gruppo di mappatura estremamente complessa (infinitamente generata), sfidando le intuizioni basate sulle varietà compatte.
2. Potere della Simmetria Speculare: Il paper è un esempio paradigmatico di come la simmetria speculare possa essere usata non solo per tradurre problemi, ma per risolverli sfruttando strumenti specifici di un lato (es. condizioni di stabilità algebriche) per ottenere risultati forti sull'altro lato (es. dinamica simplettica).
3. Connessione con la Teoria dei Nodi e le Trebbie: La connessione tra il gruppo di mappatura simplettico e il gruppo di treccia puro $PBr_3$ apre nuove strade per lo studio delle azioni di gruppi di treccia su varietà simplettiche.
4. Entropia Categorica: I risultati sulla crescita esponenziale della coomologia di Floer per auto-equivalenze non sferiche si collegano direttamente al concetto di entropia categorica, fornendo stime quantitative sui tassi di crescita.

In sintesi, Keating e Smith forniscono una comprensione profonda della struttura algebrica e dinamica delle varietà conifold, risolvendo problemi aperti sia nella topologia simplettica che nella geometria algebrica attraverso una sintesi elegante di tecniche avanzate.