Arakelov inequality for families of pairs

Riepilogo Tecnico: Disuguaglianza di Arakelov per Famiglie di Coppie

Enunciato del Problema
Questo articolo affronta l'estensione della disuguaglianza classica di Arakelov, originariamente formulata per famiglie di curve, alla geometria algebrica di dimensione superiore. Nello specifico, mira a stabilire limiti numerici per famiglie di coppie $(X, \Delta)$ che mappano su una base liscia proiettiva $S$. Il contesto coinvolge una coppia proiettiva a intersezioni normali semplici (snc) semi-log canonica (slc) $(X, \Delta)$ e un morfismo $f: (X, \Delta) \to S$. L'obiettivo è limitare la prima classe di Chern dei sottosheaf coerenti delle immagini dirette dei fasci pluricanonici, tenendo conto della ramificazione e della geometria della base. Questo lavoro mira a fornire disuguaglianze efficaci applicabili a famiglie che sorgono al bordo degli spazi di moduli delle varietà, dove lo spazio totale può possedere singolarità (coppie snc) anziché essere liscio o log-liscio.

Metodologia
La strategia di dimostrazione si basa su una combinazione di teoria di Hodge, geometria birazionale e costruzione di specifici incastri in variazioni di strutture di Hodge.

1. Riduzione Strettamente Semistabile: Gli autori utilizzano un processo di riduzione (Proposizione 2.4) per trasformare la famiglia data in una strettamente semistabile in codimensione uno. Ciò comporta un cambiamento di base finito e suriettivo $\sigma: \tilde{S} \to S$ e una desingularizzazione funtoriale $\tau: \tilde{X} \to X \times_S \tilde{S}$. Questo passaggio consente l'applicazione di tecniche che richiedono la semistabilità stretta, controllando al contempo il divisore di ramificazione $R_f$.
2. Prodotti Fibrati e Somme Alternate: Un'innovazione tecnica centrale è l'uso dei prodotti fibrati. Invece di incorporare il determinante dell'immagine diretta dei fasci pluricanonici in un prodotto fibrato di ordine elevato (come fatto in lavori precedenti quali Kovács-Taji [18]), questo articolo impiega un incastro derivante da una costruzione di somma alternata. Nello specifico, costruisce un'iniezione:
   $$\det f_*(\mathcal{O}_X(rK_{X/S}))^{\otimes r} \hookrightarrow \bigoplus_{i=1}^{lr} f_*(\mathcal{O}_X(rK_{X/S})) \simeq f_{[lr]*}(\mathcal{O}_{X^{[lr]}}(rK_{X/S}))$$
   dove $l$ è il rango dello sheaf. Questa costruzione porta a una disuguaglianza quantitativamente più precisa perché l'ordine del prodotto fibrato $lr$ è generalmente inferiore all'ordine $\mu$ richiesto negli incastri precedenti.
3. Disuguaglianze Teoriche di Hodge: Gli autori sfruttano la disuguaglianza di Arakelov teorica di Hodge stabilita nel loro lavoro precedente [24]. Incorporando gli sheaf pertinenti nell'estensione canonica di una variazione di struttura di Hodge sulla base, utilizzano la positività del fascio cotangente logaritmico $\Omega_S(\log D)$ e la semistabilità parabolica dell'estensione di Deligne per derivare i limiti numerici.
4. Controllo della Ramificazione: La definizione del divisore di ramificazione $R_f$ (Definizione 2.3) è cruciale. È definito come il più piccolo $\mathbb{Q}$-divisore efficace che soddisfa una specifica disuguaglianza che coinvolge il pullback del discriminante e la parte verticale di $\Delta$. L'articolo dimostra che per famiglie strettamente semistabili in codimensione uno, $R_f$ si annulla.

Contributi e Risultati Chiave

• Teorema 1.1 (Disuguaglianza Principale): L'articolo stabilisce una disuguaglianza di tipo Arakelov generale per un morfismo $f: (X, \Delta) \to S$ dove $(X, \Delta)$ è una coppia snc slc. Per un sottosheaf coerente $W$ di rango $l$ all'interno di $(f_*\mathcal{O}_X(kK_{X/S} + \lfloor k\Delta \rfloor))^{\otimes r}$, e assumendo che $K_S + D$ sia pseudo-effettivo, la disuguaglianza limita il numero di intersezione $c_1(W) \cdot \alpha$ per ogni classe di curva mobile $\alpha$. Il limite coinvolge termini dipendenti dalla dimensione della base ($d$), dalla dimensione relativa ($n$), dal rango ($l$), dalla potenza tensoriale ($r$) e dal divisore di ramificazione $R_f$.

  • Nel caso in cui $\dim S = 1$, la disuguaglianza diventa precisa (Teorema 1.1, Eq. 1.2), recuperando e affinando i risultati di Viehweg-Zuo e altri.
  • Quando $K_S + D$ è ampio, viene fornita una stima raffinata che coinvolge $(K_S + D)^{d-1}$.

• Confronto con Lavori Precedenti: L'articolo contrappone esplicitamente la sua tecnica a quella di Kovács-Taji [18]. Mentre Kovács-Taji utilizzavano incastri in prodotti fibrati di ordine elevato (multiplo $\mu$) per accedere alle strutture di Hodge, questo articolo utilizza la costruzione di somma alternata per incorporare in prodotti fibrati di ordine inferiore (multiplo $lr$). Questa riduzione dell'ordine del prodotto fibrato produce un limite quantitativo più preciso. Inoltre, l'articolo sfrutta la semistabilità parabolica dell'estensione di Deligne per raggiungere l'ottimalità nel caso delle curve.

• Teorema 1.2 (Limite del Volume di Iitaka): Come conseguenza della disuguaglianza principale, l'articolo deriva un limite superiore per il volume di Iitaka degli spazi fibrati algebrici $f: X \to S$ (dove $S$ è una curva) la cui fibra generica geometrica ammette un modello minimale buono. Il limite mette in relazione il volume di Iitaka dello spazio totale con quello della fibra, il grado del divisore di base $K_S + D$ e il divisore di ramificazione.

Significato e Affermazioni
L'articolo afferma di stabilire una disuguaglianza di tipo Arakelov di dimensione superiore sui numeri complessi, applicabile a famiglie con spazi totali singolari (coppie snc slc), estendendo così la portata oltre le famiglie lisce o log-lisce. Questa generalità è significativa per lo studio degli spazi di moduli delle varietà, in particolare ai loro bordi.

Gli autori affermano che il loro risultato fornisce una versione efficace della disuguaglianza stabilita da Kovács-Taji [18], offrendo un limite quantitativamente più preciso grazie alla tecnica di incastro raffinata. Inoltre, l'articolo afferma che la disuguaglianza nel caso delle curve (Teorema 1.1, Eq. 1.2) è precisa, con l'uguaglianza che vale per certe famiglie di Shimura.

Il lavoro si fonda sui risultati precedenti degli autori in [24], che hanno confermato la congettura di limitatezza geometrica di Shafarevich per le coppie KSB e i modelli minimi stabili. Il presente articolo serve a rifinire gli strumenti tecnici (in particolare la disuguaglianza di Arakelov) utilizzati in quel contesto più ampio, fornendo un controllo più preciso sugli invarianti numerici delle famiglie di coppie. L'articolo non propone nuove applicazioni sperimentali, ma posiziona la disuguaglianza come uno strumento fondamentale per comprendere la geometria degli spazi di moduli e la limitatezza degli spazi fibrati algebrici.