Topology of projective Tate-Shafarevich twists

1. Il Problema e il Contesto

Il lavoro si inserisce nello studio della geometria delle varietà iper-Kähleriane irriducibili e delle loro fibrazioni lagrangiane. Il problema centrale riguarda la topologia e la deformazione di queste varietà quando vengono sottoposte a una "torsione di Tate-Shafarevich".

• Definizione di Torsione: Data una fibrazione $\pi: X \to B$, una torsione di Tate-Shafarevich $X_\phi \to B$ è ottenuta riattaccando le fibre locali utilizzando un 1-cociclo $\phi$ di automorfismi relativi, localmente generati da flussi di campi vettoriali verticali.
• La Congettura di Saccà: Saccà ha congetturato che gli spazi totali di due fibrazioni lagrangiane proiettive correlate da una tale torsione siano deformazione-equivalenti (cioè appartengano alla stessa classe di deformazione).
• La Sfida: In generale, le torsioni possono alterare drasticamente la topologia (ad esempio, cambiando il numero di Betti $b_2$) se non si assumono condizioni di proiettività o se la torsione non è "algebrica". L'obiettivo è determinare se, nel caso proiettivo e per torsioni di tipo specifico, la struttura topologica e le strutture di Hodge rimangano invarianti.

2. Metodologia

L'autore utilizza un approccio che combina la teoria delle fasci perversi, la teoria di decomposizione di Beilinson-Bernstein-Deligne-Gabber, e la teoria delle deformazioni di twistor degeneri.

• Teorema di Decomposizione: Il punto di partenza è l'assunzione che sia la fibrazione originale $X$ che la sua torsione $X_\phi$ siano proiettive. Questa condizione permette di applicare il teorema di decomposizione per fasci perversi, che garantisce che la successione spettrale di Leray perversa degeneri al termine $E_2$.
• Filtri Perversi e Anelli Graduati: L'autore studia la coomologia singolare non direttamente, ma attraverso il filtro perverso associato alla fibrazione. Si dimostra che per le fibrazioni lagrangiane, questo filtro è moltiplicativo e ammette una scissione moltiplicativa, permettendo di identificare l'anello di coomologia $H^*(X; \mathbb{Q})$ con l'anello graduato associato $H_\pi$.
• Deformazioni di Twistor Degeneri: Per affrontare la congettura di deformazione, si utilizza il teorema di Bogomolov-Deev-Verbitsky. Questo teorema afferma che, se una fibrazione lagrangiana ammette una sezione $C^\infty$, è possibile deformarla (tramite una famiglia di twistor degenere) in modo che la sezione diventi olomorfa, mantenendo la struttura iper-Kähleriana.

3. Risultati Chiave e Contributi

A. Invarianza della Struttura di Hodge e dei Numeri di Betti (Teoremi 0.1 e 0.2)

Sotto l'ipotesi che $X$ e $X_\phi$ siano proiettive, l'autore dimostra:

• Esiste un isomorfismo di strutture di Hodge miste tra i complessi di coomologia $R\pi_*\mathbb{Q}$ e $R\pi_{\phi*}\mathbb{Q}$.
• Di conseguenza, $H^k(X; \mathbb{Q}) \cong H^k(X_\phi; \mathbb{Q})$ come strutture di Hodge per ogni $k$.
• Nota Critica: Questo risultato fallisce se si rimuove l'assunzione di proiettività (esistono esempi di torsioni non-Kähleriane con numeri di Betti diversi).

B. Invarianza della Forma di Hodge-Riemann e del Reticolo BBF (Teoremi 0.3 e 0.4)

Assumendo che la fibrazione sia lagrangiana e che la classe di torsione $\phi$ sia torsione (condizione che spesso equivale alla realizzabilità della torsione nella topologia étale):

• L'isomorfismo di coomologia può essere scelto in modo da preservare la forma bilineare di Hodge-Riemann associata a classi ampel $\omega$ e $\omega_\phi$.
• Questo implica che i reticoli di Beauville-Bogomolov-Fujiki (BBF) razionali $(H^2(X; \mathbb{Q}), q_X)$ e $(H^2(X_\phi; \mathbb{Q}), q_{X_\phi})$ sono Hodge-simili.
• L'autore analizza anche i reticoli integrali locali, mostrando che sotto condizioni di torsione-free, esiste un'isometria Hodge tra i sottoreticoli locali ridotti.

C. Risoluzione della Congettura di Saccà (Teorema 0.6)

Il risultato principale riguarda la deformazione-equivalenza:

• Se la base $B$ è liscia e sia $X$ che $X_\phi$ ammettono sezioni $C^\infty$, allora $X$ e $X_\phi$ sono deformazione-equivalenti.
• Strategia di Prova:
  1. Si usa la teoria delle deformazioni di twistor per rendere le sezioni $C^\infty$ in sezioni olomorfe (tramite una torsione di ordine finito).
  2. Si dimostra che le nuove varietà proiettive con sezioni olomorfe sono birazionali tra loro (poiché sono torsori per uno stesso schema abeliano su un aperto della base).
  3. Per le varietà iper-Kähleriane irriducibili, la birazionalità implica la deformazione-equivalenza (teorema di Huybrechts).

4. Significato e Implicazioni

• Stabilità Topologica: Il lavoro conferma che le torsioni di Tate-Shafarevich, sebbene modifichino la struttura complessa, non cambiano la classe di deformazione delle varietà iper-Kähleriane proiettive, purché la torsione sia "algebrica" (torsione) e ammetta sezioni lisce.
• Struttura di Hodge: Dimostra che le strutture di Hodge e le forme di intersezione sono invarianti sotto queste trasformazioni, fornendo un forte supporto alla congettura di Saccà.
• Limiti: L'autore nota che l'isometria non preserva necessariamente i reticoli integrali (struttura aritmetica fine), e che l'esistenza di sezioni $C^\infty$ non è garantita per tutte le fibrazioni (esistono controesempi legati alla riducibilità delle fibre).
• Connessioni: Il lavoro collega profondamente la teoria dei fasci perversi, la geometria algebrica (fibrati di Jacobiani compattificati, spazi di moduli di fasci su superfici K3) e la geometria complessa (deformazioni di twistor).

In sintesi, Bai fornisce una prova rigorosa che, nel contesto delle fibrazioni lagrangiane proiettive con torsioni di ordine finito, la topologia razionale e la struttura di deformazione sono invarianti, risolvendo parzialmente e fornendo evidenze forti per la congettura di Saccà.