Sections of Lagrangian fibrations on holomorphic symplectic manifolds

Sintesi Tecnica: Sezioni di Fibrati Lagrangiani

Enunciato del Problema
Il saggio affronta l'esistenza di sezioni per fibrati lagrangiani $\pi: M \to X$ su varietà iperkähler compatte di oloonomia massima (varietà ierolicamente simmetriche irriducibili). Sebbene la base $X$ sia nota essere biolomorfa a $\mathbb{CP}^n$ (sotto ipotesi di regolarità), l'esistenza di una sezione olocorfa globale o anche meromorfa rappresenta un ostacolo topologico e geometrico non banale.

I tentativi precedenti di costruire tali sezioni utilizzando argomenti puramente topologici (ad esempio, rappresentando classi di omologia tramite sottovarietà) sono falliti, particolarmente per le superfici K3 e le fibrati ellittiche. Il problema centrale è determinare se, sotto specifiche condizioni, sia possibile deformare la struttura complessa di $M$ per ammettere una sezione meromorfa senza alterare il tipo di deformazione della varietà.

Metodologia
Gli autori impiegano un approccio multistadio che combina geometria algebrica, algebra omologica e geometria differenziale complessa:

1. Deformazioni Twistor Degenerate: Il meccanismo centrale è l'uso di "deformazioni twistor degenerate" (o twist di Tate-Shafarevich). Data una fibratura lagrangiana $\pi: M \to X$ e una forma chiusa $(2,0)+(1,1)$ $\eta$ sulla base $X$, si può deformare la struttura complessa di $M$ in una nuova struttura $I_\eta$ tale che la forma $\Omega + \pi^*\eta$ diventi olicorfa simmetrica. Fondamentalmente, se esiste una sezione liscia $S$, la forma $\eta = -S^*\Omega$ rende $S$ olocorfa nella struttura deformata.
2. Costruzione Locale tramite Media: Gli autori costruiscono prima una sezione liscia su una retta generale $C \cong \mathbb{CP}^1 \subset X$. Ciò si basa su:
   • Teorema di Thom: Rappresentare una specifica classe di omologia nel preimmagine $\pi^{-1}(C)$ tramite una sottovarietà liscia di dimensione 2.
   • Modelli di Néron e Strutture di Torsore: Utilizzare la struttura di gruppo abeliano (o di torsore) delle fibre lisce. Attraverso l'operazione di "media" dei punti di intersezione della sottovarietà con le fibre (usando la legge di gruppo), costruiscono una sezione liscia $\sigma: C \to M$.
   • Assunzione di Primitività: La costruzione richiede che la fibra generale sia primitiva nell'omologia intera per garantire l'esistenza di una multisezione con molteplicità totale 1.
3. Estensione tramite Correnti di Dolbeault: L'ostacolo principale all'estensione della deformazione locale da un intorno di $C$ a l'intera base $X = \mathbb{CP}^n$ risiede nel gruppo di coomologia $H^1(UC, \mathcal{O})$. Gli autori definiscono una "classe di Dolbeault" associata alla sezione. Dimostrano che questa classe è nulla realizzandola come corrente e mostrando che è esatta, permettendo così l'estensione della forma chiusa $\eta$ all'intera base.
4. Principio di Olografia: Una volta che esiste una sezione olocorfa su un intorno di una curva razionale ampia $C$, gli autori applicano un "principio di olografia" (Teorema 5.12). Tale principio afferma che ogni mappa olocorfa da un intorno di una curva razionale ampia in $\mathbb{CP}^n$ a una varietà Kähler si estende a una mappa meromorfa sull'intero $\mathbb{CP}^n$.

Contributi Chiave e Risultati

• Teorema 1.1 (Risultato Principale): Sia $\pi: M \to \mathbb{CP}^n$ una fibratura lagrangiana su una varietà iperkähler compatta di oloonomia massima. Assumendo che la fibra generale sia primitiva nell'omologia intera e che le fibre siano ridotte al di fuori di un sottoinsieme di codimensione 2, esiste un parametro $t_0 \in H^2(\mathbb{CP}^n, \mathbb{C})$ tale che la deformazione twistor degenerata $(M, I_{t_0})$ ammette una sezione meromorfa $\pi: (M, I_{t_0}) \to \mathbb{CP}^n$.
• Scomparsa dell'Ostacolo (Teorema 6.19): Il saggio dimostra che la classe di Dolbeault associata alla sezione liscia costruita su una retta è nulla. Questo è il passaggio critico che permette alla deformazione twistor degenerata locale di estendersi globalmente.
• Raffinatezza degli Argomenti di Omologia (Sezione 4): Gli autori affrontano le sottigliezze riguardanti la classe di omologia della sezione costruita. Dimostrano che, sebbene la procedura di "media" modifichi la classe di omologia della multisezione iniziale, la classe risultante è univocamente determinata e compatibile con la struttura globale, risolvendo le preoccupazioni sollevate da J. Kollár circa la preservazione delle classi di omologia.
• Confronto con i Twist di Tate-Shafarevich: Il saggio distingue il proprio approccio dal recente lavoro di J. Kollár sui twist di Tate-Shafarevich. Mentre Kollár costruisce sezioni razionali per fibrati abeliani tramite twist che possono non preservare il tipo di deformazione della varietà, l'uso da parte degli autori delle deformazioni twistor degenerate assicura che la varietà risultante rimanga deformabilmente equivalente alla $M$ originale.

Significato e Rivendicazioni
Il saggio sostiene di aver risolto il problema topologico della costruzione di una sezione liscia per le fibrature lagrangiane sviluppando un robusto approccio di geometria algebrica che supera i limiti dei precedenti metodi topologici.

• Equivalenza di Deformazione: Una rivendicazione significativa è che la varietà risultante con una sezione meromorfa è una deformazione twistor degenerata della varietà originale. A differenza di altre costruzioni (come certi twist di Tate-Shafarevich), questa deformazione preserva il tipo di deformazione della varietà iperkähler.
• Necessità della Primitività: Gli autori argomentano esplicitamente che la primitività della fibra generale è una condizione necessaria per l'esistenza di una sezione bimeromorfa, citando esempi (il sistema di Mukai di Hellmann) in cui fibre non primitive impediscono tali sezioni.
• Generalità: Il risultato si applica a tutte le fibrature lagrangiane su varietà iperkähler che soddisfano le condizioni di primitività e di fibra ridotta, fornendo un quadro unificato per l'esistenza di sezioni in questo contesto.

Il saggio non pretende di costruire sezioni per tutte le fibrature lagrangiane senza l'assunzione di primitività, né afferma che la sezione sia olocorfa sulla struttura complessa originale; piuttosto, stabilisce l'esistenza di una sezione all'interno di una specifica e ben definita famiglia di deformazioni della struttura complessa.