Multiplicity of codimension 1 fibers in Lagrangian fibrations

1. Il Problema e il Contesto

Il lavoro si inserisce nello studio delle varietà iper-Kähler compatte ($X$) e delle loro fibrazioni lagrangiane ($\pi: X \to B$).

• Contesto: È noto che le varietà iper-Kähler ammettono solo tre tipi di fibrazioni: contrazioni birazionali, fibrazioni lagrangiane e mappe costanti. Le fibrazioni lagrangiane sono di particolare interesse geometrico.
• La Congettura: Un'ipotesi geometrica attesa, ma non ancora dimostrata in generale, riguarda l'assenza di fibre multiple di codimensione 1. In termini tecnici, se $D \subset B$ è un divisore primo (una varietà di codimensione 1 nello spazio base), la sua preimmagine $\pi^{-1}(D)$ in $X$ dovrebbe essere un divisore ridotto (moltiplicità 1), e non un multiplo $mE$ con $m \geq 2$.
• Stato dell'arte: Questa congettura era stata menzionata in letteratura (es. [Mar96], [KV19]) come un'obstruzione per risultati principali, ma la sua validità era rimasta aperta. Esistono controesempi locali per varietà di dimensione $\geq 4$ (dimostrando che la proprietà non è puramente locale), rendendo necessario un approccio globale.

2. Metodologia e Strategia di Dimostrazione

L'autore sviluppa una dimostrazione che non dipende direttamente dalla struttura simplettica di $X$, ma si basa su proprietà topologiche e di copertura. La strategia si articola nei seguenti punti:

• Generalizzazione: Il teorema viene formulato in un contesto più ampio (Teorema 2.1) per fibrazioni equidimensionali proprie tra varietà normali connesse, non limitandosi esclusivamente alle varietà iper-Kähler.
• Costruzione di Copertura Ciclica:
  1. Si assume per assurdo l'esistenza di una fibra di codimensione 1 con moltiplicità $m \geq 2$. Sia $D \subset B$ il divisore e $\pi^*(D) = mE$.
  2. Si costruisce una copertura ciclica normalizzata $Y \to X$ di grado $m$, ramificata lungo il divisore $mE$.
  3. L'idea chiave è analizzare la connessione di $Y$. Poiché la normalizzazione "separa" i rami creati dalla copertura ciclica, se $Y$ è connessa, essa costituisce una copertura etale finita di grado $m$ su $X_{reg}$ (la parte regolare di $X$).
• Uso della Semplice Connessione:
  • Se $X$ è una varietà iper-Kähler compatta, essa è semplicemente connessa ($\pi_1(X) = 0$).
  • Una varietà semplicemente connessa non ammette coperture etali non banali.
  • Di conseguenza, la presenza di una tale copertura $Y$ di grado $m$ forza $m=1$, dimostrando l'assenza di fibre multiple.
• Dimostrazione della Connessione di $Y$:
  • Per provare che $Y$ è connessa, l'autore riduce il problema a un contesto locale sul base $B$.
  • Utilizzando un diagramma cartesiano e il Lemma 2.5 (che lega le coperture cicliche su $X$ a quelle su $B$ tramite pullback), si mostra che $Y$ è una fibrazione sopra una varietà $\tilde{B}$ (la copertura ciclica di $B$).
  • Poiché $\tilde{B}$ è connessa e la fibrazione è propria ed equidimensionale, ne segue che $Y$ è connessa.

3. Risultati Principali

Teorema 1.1 (Risultato Centrale)

Sia $X$ una varietà iper-Kähler compatta e $\pi: X \to B$ una fibrazione lagrangiana. Allora $\pi$ non ammette fibre multiple di codimensione 1.
Ogni fibra sopra un divisore primo in $B$ ha moltiplicità 1.

Teorema 2.1 (Versione Generale)

Sia $\pi: X \to B$ una fibrazione propria ed equidimensionale tra varietà normali connesse. Se $\pi$ ha una fibra di codimensione 1 con moltiplicità $m$, allora esiste un omomorfismo suriettivo dal gruppo fondamentale etale di $X_{reg}$ a $\mathbb{Z}/m\mathbb{Z}$:
$$\pi_1^{et}(X_{reg}) \twoheadrightarrow \mathbb{Z}/m\mathbb{Z}$$
Questo risultato collega direttamente la moltiplicità delle fibre alla topologia della varietà totale.

Conseguenze (Sezione 3)

Il lavoro rende incondizionati diversi risultati precedenti che dipendevano dalla congettura:

1. Limitazione della Moltiplicità: Per varietà simplettiche irriducibili proiettive, le moltiplicità delle fibre sono limitate dall'ordine del gruppo fondamentale etale $|\pi_1^{et}(X_{reg})|$. Se questo gruppo è banale, non ci sono fibre multiple.
2. Primitività del Fibrato: Si conferma che il pullback di un generatore del gruppo di classi dei divisori di Weil su $B$ è primitivo nel gruppo di Picard di $X$ (risolvendo un punto chiave in [KV19]).
3. Riduzione delle Fibre Singolari: Si rafforza il risultato secondo cui, per $X$ proiettiva con numero di Picard 2, una fibra singolare generale è ridotta ([Voi25]).
4. Struttura delle Fibre: Si confermano risultati sulla struttura di torsore delle fibre lisce su aperti grandi ([Kim24], [DMS24]).

4. Significato e Impatto

• Risoluzione di una Congettura Aperta: Il paper risolve definitivamente una questione aperta da anni, fornendo una prova rigorosa dell'assenza di fibre multiple di codimensione 1 nel contesto delle varietà iper-Kähler.
• Indipendenza dalla Struttura Simplettica: La dimostrazione è notevole perché non utilizza la struttura simplettica complessa di $X$, ma si basa su proprietà topologiche globali (semplice connessione) e costruzioni algebriche (coperture cicliche). Questo rende l'argomento robusto e applicabile in contesti più generali.
• Unificazione della Letteratura: Rimuove un'ipotesi non dimostrata da diverse ricerche recenti, rendendo i risultati di Kamenova-Verbitsky, Voisin, e altri "incondizionati".
• Metodologia Innovativa: L'uso della costruzione di copertura ciclica normalizzata per dimostrare la connessione di $Y$ e collegarla al gruppo fondamentale offre un nuovo strumento tecnico per lo studio delle fibre multiple in geometria algebrica.

In sintesi, il lavoro di Kim fornisce un pilastro fondamentale per la teoria delle fibrazioni lagrangiane, chiudendo un capitolo importante sulla struttura delle fibre e consolidando le basi per futuri studi sulle varietà iper-Kähler.