Finiteness of pointed families of symplectic varieties: a geometric Shafarevich conjecture

1. Il Problema: La Congettura di Shafarevich "Non Polarizzata" Geometrica

Il lavoro si inserisce nel contesto della congettura di Shafarevich, che originariamente riguardava la finitezza delle curve di genere $g$ su un campo numerico con buona riduzione fuori da un insieme finito di posti. La versione geometrica (sostituita il campo numerico con il campo delle funzioni di una curva $B$) è stata risolta per varietà polarizzate (es. varietà abeliane, superfici K3) grazie all'iperbolicità degli spazi di moduli.

Tuttavia, il problema diventa molto più difficile se si rimuove l'ipotesi di polarizzazione (o si richiede solo una polarizzazione debole non limitata). Questo è noto come problema di Shafarevich non polarizzato.
Gli autori affrontano la versione "punta" (pointed) di questo problema per le varietà simplettiche primitive (generalizzazioni singolari delle varietà iper-Kähler):

• Dati: Una curva liscia puntata $(B, 0)$ e una varietà simplettica primitiva fissa $X$ (fibra in $0$).
• Domanda: Esistono solo un numero finito di classi di isomorfismo di famiglie localmente triviali $\pi: \mathcal{X} \to B$ di varietà simplettiche primitive (con fibre terminali e Q-fattoriali) tali che la fibra generica sia non banale?
• Sfide principali:
  1. Non limitatezza: Senza una polarizzazione a grado limitato, le famiglie non sono parametrate da uno stack di moduli di tipo finito.
  2. Non separazione: Il problema di moduli è intrinsecamente non separato; esistono infinite famiglie non isomorfe che sono isomorfe sulla curva forata $B \setminus \{0\}$ e hanno fibre isomorfe in $0$.

2. Metodologia e Strumenti Chiave

Gli autori combinano tecniche di teoria di Hodge, geometria birazionale e teoria degli spazi di moduli. I pilastri metodologici sono:

1. Costruzione Uniforme di Kuga-Satake:

   • Per aggirare la mancanza di polarizzazione globale, gli autori utilizzano una versione "uniforme" della costruzione di Kuga-Satake (basata sul "trucco di Zarhin").
   • Dimostrano che per ogni famiglia localmente triviale, esiste un rivestimento finito étale $\tilde{B} \to B$ e una mappa verso lo stack di moduli delle varietà abeliane polarizzate ($A_{g,d,n}$).
   • Un risultato cruciale (Teorema 5.2) è che questa mappa è uniforme: il rivestimento e la mappa dipendono solo dal tipo di deformazione di $X$ e non dalla famiglia specifica, permettendo di ridurre il problema alla finitezza delle famiglie polarizzate.

2. Congetture dei Coni (Cone Conjectures):

   • Per passare dalla finitezza delle fibre generiche (a meno di birazionalità) alla finitezza delle classi di isomorfismo delle famiglie, utilizzano la Congettura del Cono di Kawamata-Morrison.
   • Estendono questa congettura al caso singolare (varietà Q-fattoriali terminali) e su campi non algebricamente chiusi (Teorema 3.5).
   • La congettura afferma che il cono nef efficace ammette un dominio fondamentale poliedrale razionale sotto l'azione del gruppo di automorfismi. Questo implica la finitezza dei modelli birazionali e delle modifiche Q-fattoriali piccole.

3. Teorema di Matsusaka-Mumford Generalizzato:

   • Estendono il teorema di Matsusaka-Mumford (che garantisce l'estensione di isomorfismi tra fibre generiche a isomorfismi globali per famiglie polarizzate) al caso di famiglie localmente triviali di varietà simplettiche primitive singolari (Proposizione 4.2 e Corollario 4.3). Questo è essenziale per dimostrare la separazione degli spazi di moduli in questo contesto.

4. Teoria degli Spazi di Moduli:

   • Costruiscono lo stack di moduli $\mathcal{M}_{2n,d}$ per famiglie localmente triviali polarizzate, dimostrando che è uno stack di Deligne-Mumford separato e di tipo finito (Teorema 4.6).

3. Risultati Principali

Il paper stabilisce due teoremi fondamentali:

Teorema 1.1 (Finitezza delle Fibre Generiche):
Sia $(B, 0)$ una curva puntata e $X$ una varietà simplettica primitiva Q-fattoriale terminale.

• Se $b_2(X) \neq 4$, esiste un numero finito di classi di isomorfismo per le fibre generiche delle famiglie in esame.
• Se $b_2(X) = 4$, la finitezza vale per le famiglie non isotriviali.
• Nota: Il caso $b_2=4$ è critico perché lo spazio di deformazione può essere degenere; le famiglie isotriviali sono banali, ma quelle non banali richiedono un'analisi specifica.

Teorema 1.2 (Finitezza delle Famiglie Proiettive):
Sotto le stesse ipotesi, se si assume che i divisori nef su una fibra molto generale siano semi-ampi (condizione nota come congettura SYZ per varietà iper-Kähler), allora l'insieme delle famiglie proiettive puntate $\text{Shaf}(B, X)$ è finito a meno di isomorfismo.

• La condizione di semi-ampiezza è soddisfatta per tutti i tipi di deformazione noti di varietà iper-Kähler lisce ($K3^{[n]}$, $Kum_n$, $OG6$, $OG10$).

Corollario 1.3:
Per le varietà lisce dei tipi di deformazione noti ($K3^{[n]}$, ecc.), l'insieme delle famiglie proiettive puntate è finito senza condizioni aggiuntive.

Contro-esempi (Proposizione 6.2):
Gli autori dimostrano che l'ipotesi di proiettività (o semi-ampiezza) è essenziale. Costruiscono infinite famiglie non isomorfe di varietà iper-Kähler lisce su una curva puntata che sono isomorfe su $B \setminus \{0\}$ e hanno fibre isomorfe in $0$. Questo dimostra che senza la condizione di proiettività, la finitezza delle classi di isomorfismo fallisce.

4. Contributi Tecnici Specifici

1. Estensione alle varietà singolari: Il lavoro generalizza risultati noti per varietà iper-Kähler lisce al caso di varietà simplettiche primitive con singolarità terminali e Q-fattoriali.
2. Congettura del Cono su campi non chiusi: Viene dimostrata la congettura di Kawamata-Morrison per varietà simplettiche primitive su campi non algebricamente chiusi (Teorema 3.5), un prerequisito necessario per trattare le fibre generiche.
3. Costruzione Uniforme Kuga-Satake: Viene sviluppato un argomento nuovo per gestire il fatto che le famiglie Kuga-Satake associate non sono puntate dalla stessa varietà abeliana, risolvendo il problema tramite la finitezza degli incastri di reticoli (Proposizione 5.4).
4. Matsusaka-Mumford Singolare: La dimostrazione che il teorema di Matsusaka-Mumford vale per famiglie localmente triviali di varietà con singolarità razionali è un risultato tecnico fondamentale per la teoria dei moduli.

5. Significato e Implicazioni

Questo lavoro rappresenta un passo significativo verso la comprensione della iperbolicità geometrica degli spazi di moduli di varietà con struttura simplettica, anche in assenza di polarizzazione.

• Conferma della Congettura di Lang-Vojta: I risultati supportano la congettura di Lang-Vojta, che collega l'iperbolicità aritmetica a quella geometrica, mostrando che la finitezza delle famiglie puntate vale anche nel caso "non polarizzato" per una vasta classe di varietà, purché si imponga la proiettività.
• Ottimalità dei risultati: La costruzione dei contro-esempi dimostra che i risultati sono ottimali: non si può rimuovere l'ipotesi di proiettività o semi-ampiezza senza perdere la finitezza delle classi di isomorfismo.
• Strumenti per la ricerca futura: Le tecniche sviluppate, in particolare la costruzione uniforme di Kuga-Satake e l'estensione della congettura del cono, forniscono strumenti potenti per studiare la geometria birazionale e la teoria dei moduli di varietà con singolarità in dimensioni superiori.

In sintesi, il paper risolve il problema di Shafarevich puntato per le varietà simplettiche primitive in un contesto geometrico, fornendo una risposta completa per le fibre generiche e per le famiglie proiettive, mentre chiarisce i limiti di tale finitezza nel caso non proiettivo.