Symplectic log Kodaira dimension $-\infty$, affine-ruledness and unicuspidal rational curves

Sintesi Tecnica: Dimensione di Kodaira Simplettica Logaritmica $-\infty$, Regolarità Affine e Curve Razionali Unispiccate

Enunciato del Problema
Il lavoro affronta la versione relativa della classificazione delle 4-varietà simplettiche con dimensione di Kodaira simplettica $\kappa_s = -\infty$. Mentre il caso assoluto (varietà chiuse) è ben compreso grazie al lavoro di Liu e Ohta-Ono — dove $[\omega] \cdot K_\omega < 0$ implica che la varietà è razionale o rigata simpletticamente — gli autori investigano la struttura della coppia $(X, \omega, D)$, dove $D$ è un divisore simplettico (una configurazione di superfici simplettiche immerse con intersezioni normali).

Nello specifico, il lavoro mira a caratterizzare le varietà simplettiche aperte $X \setminus D$ in cui la classe aggiunta soddisfa $[\omega] \cdot (K_\omega + [D]) < 0$. In geometria algebrica, un teorema di Fujita, Miyanishi, Sugie e Russell stabilisce che tali superfici algebriche aperte sono "affine-rigate", nel senso che contengono un sottoinsieme aperto di Zariski isomorfo a $C \times \mathbb{A}^1$ (un prodotto di una curva e la retta affine). La domanda centrale è se esista un analogo simplettico di tale teorema: la condizione $[\omega] \cdot (K_\omega + [D]) < 0$ implica che il complementare del divisore $X \setminus D$ sia fogliato da sfere punzurate simplettiche?

Metodologia
Gli autori impiegano una combinazione della teoria delle curve pseudoolomorfe, degli invarianti di Seiberg-Witten e di tecniche di riduzione birazionale adattate alla categoria simplettica.

1. Regolarità Affine Simplettica: Gli autori definiscono una coppia $(X, \omega, D)$ come affine-rigata simpletticamente se $X \setminus D$ contiene un sottoinsieme aperto denso diffeomorfo a $\mathring{\Sigma}_g \times (S^2 \setminus \{pt\})$, dove le fibre sono sfere punzurate simplettiche di area uguale.
2. Riduzione a Coppie Quasi-Minimali: Per gestire la complessità dei divisori arbitrari, il lavoro introduce una procedura di riduzione che coinvolge contrazioni simplettiche. Classificano le coppie in tipi "quasi-minimali" basandosi sull'intersezione del divisore con le classi eccezionali di area simplettica minima.
   • Coppie quasi-minimali del primo tipo: La sfera eccezionale di area minima interseca il divisore in due punti (o in un punto con ordine di contatto 2).
   • Coppie quasi-minimali del secondo tipo: Una componente del divisore stessa è la sfera eccezionale di area minima, intersecando tre altre componenti.
3. Curve Razionali Unispiccate: Una innovazione tecnica chiave è l'uso di curve razionali unispiccate (curve con una singola singolarità a cuspide). Gli autori sfruttano la corrispondenza stabilita da McDuff e Siegel tra tali curve singolari in $X$ e curve immerse nella risoluzione delle intersezioni normali di $X$.
   • Costruiscono una classe $A$ in $H_2(X; \mathbb{Z})$ che rappresenta una curva unispiccata con una cuspide situata in un punto di intersezione di $D$.
   • Eseguendo una risoluzione delle intersezioni normali (soffiando la cuspide), la curva singolare si solleva a una sfera immersa $\tilde{C}$ con auto-intersezione 0 nella varietà soffiata.
4. Criteri di Esistenza: L'esistenza delle curve immerse richieste è stabilita utilizzando:
   • Criterio di McDuff-Opshtein: Per trovare sfere $J$-olomorfe immerse in classi di omologia specifiche relative al divisore.
   • Teorema del Cono delle Curve di Zhang: Per analizzare la struttura delle sottovarietà $J$-olomorfe e ridurre la configurazione del divisore a modelli gestibili (catene di sfere).
   • Teoria di Seiberg-Witten: Per garantire che le classi di omologia rilevanti siano non nulle e quindi $J$-effettive.

Contributi e Risultati Chiave

• Teorema 1.7 (Regolarità Affine Simplettica): Il risultato principale afferma che se $(X, \omega, D)$ è un divisore simplettico connesso con $[\omega] \cdot (K_\omega + [D]) < 0$, allora la coppia è affine-rigata simpletticamente.
  • Caso Razionale: Quando $X$ è una varietà razionale, la foliazione è data da curve razionali unispiccate di indice 1. Le cuspidi di queste curve sono situate nei punti di intersezione delle componenti di $D$.
  • Caso Rigato Irrazionale: Quando $X$ è una varietà rigata irrazionale, il risultato vale anche se $D$ non è connesso. La foliazione è data da fibre lisce (o sezioni in casi specifici).
• Classificazione Strutturale dei Divisori: Il lavoro fornisce un'analisi strutturale dettagliata dei divisori nelle varietà razionali che soddisfano la condizione di dimensione di Kodaira logaritmica. Li classifica in coppie quasi-minimali e dimostra che ogni tale coppia può essere ridotta a un modello "parzialmente minimale" costituito da una catena di sfere (per il primo tipo) o da una specifica configurazione a "tridente" (per il secondo tipo) che si riduce ulteriormente a casi con basso $b_2$.
• Deformazione in Coppie Kähleriane (Teorema 1.8): Gli autori dimostrano che ogni tale coppia $(X, \omega, D)$ è equivalente per deformazione simplettica a una coppia Kähleriana $(X, \omega', D')$ con dimensione di Kodaira logaritmica $-\infty$.
  • Corollario 1.9: Di conseguenza, il complementare del divisore $X \setminus D$ contiene un sottoinsieme aperto denso che è equivalente per deformazione simplettica al prodotto $\mathring{\Sigma}_g \times (S^2 \setminus \{pt\})$ equipaggiato con la struttura simplettica prodotto standard.
• Dimostrazione della Proposizione 1.10: Il lavoro include una dimostrazione che ogni forma simplettica su una varietà razionale o rigata irrazionale con $[\omega] \cdot K_\omega < 0$ è una forma Kähleriana (a meno di deformazione), estendendo risultati noti per i modelli minimi ai casi non minimi utilizzando tecniche di inflazione $J$-compatibili con $b_2^+=1$.

Significato e Affermazioni
Il lavoro afferma di stabilire un analogo simplettico del teorema di Fujita-Miyanishi-Sugie-Russell per le superfici algebriche aperte. Introducendo il concetto di regolarità affine simplettica e sfruttando la teoria delle curve unispiccate, gli autori colmano il divario tra la classificazione algebrica delle superfici con dimensione di Kodaira logaritmica $-\infty$ e la topologia simplettica delle 4-varietà.

Il significato risiede in:

1. Generalizzazione: Estensione della classificazione delle varietà simplettiche con $\kappa_s = -\infty$ all'ambito relativo con divisori.
2. Tecnica: Adattamento riuscito della corrispondenza tra curve singolari e curve immerse nelle risoluzioni (McDuff-Siegel) per costruire foliazioni nella categoria simplettica, aggirando la necessità di strutture complesse quasi-generiche che sono incompatibili con divisori singolari.
3. Equivalenza per Deformazione: Dimostrazione che, nonostante la mancanza di una struttura prodotto globale nella categoria simplettica (a differenza del caso algebrico), la geometria simplettica locale del complementare del divisore è sufficientemente flessibile da essere deformata in una struttura prodotto standard, purché sia soddisfatta la condizione di dimensione di Kodaira logaritmica.

Gli autori notano che, mentre nel caso algebrico il sottoinsieme aperto di Zariski è isomorfo a un prodotto, il risultato simplettico è leggermente più debole, affermando solo l'equivalenza per deformazione a un prodotto su un sottoinsieme aperto denso. Pongono inoltre la questione aperta se ogni tale coppia simplettica sia effettivamente una coppia Kähleriana (cioè ammetta una struttura complessa integrabile compatibile), il che assorbirebbe completamente il risultato simplettico sotto il teorema algebrico.