On the canonical bundle formula in positive characteristic

Sintesi Tecnica: Sulla Formula del Fascio Canonico in Caratteristica Positiva

Enunciato del Problema
La classificazione delle varietà algebriche dipende fortemente dal Programma dei Modelli Minimi (MMP) e dallo studio delle proprietà di positività del divisore canonico. Uno strumento centrale in questo contesto è la formula del fascio canonico, che mette in relazione il divisore canonico di una fibrazione $f: X \to Z$ con i divisori canonici della base e delle fibre, decomponendo la relazione in una parte discriminante (che misura le singolarità) e una parte modulare (che misura la variazione nei moduli).

Sebbene tale formula sia ben consolidata in caratteristica 0 (ad esempio, tramite variazioni delle strutture di Hodge o il teorema del cono per i fogliamenti), la sua validità in caratteristica positiva $p > 0$ è stata ostacolata da diversi fattori:

1. Fallimento della Liscià Genericità: In caratteristica positiva, la fibra generica geometrica di una fibrazione può essere singolare anche se lo spazio totale è liscio, impedendo la definizione diretta di una parte discriminante.
2. Ramificazione Selvaggia: La presenza di fibre "selvagge" (dove le molteplicità sono divisibili per $p$) complica la relazione tra il divisore canonico dello spazio totale e il fogliamento indotto dalla fibrazione.
3. Fallimento del Teorema del Cono per i Fogliamenti: La dimostrazione standard della positività della parte modulare in caratteristica 0 si basa sul teorema del cono per i fogliamenti algebricamente integrabili, un risultato noto per fallire in caratteristica positiva.
4. Mancanza di Riduzione Semistabile: La costruzione di modelli "buoni" (che soddisfano la Proprietà $(*)$) utilizzata in caratteristica 0 si basa spesso su teoremi di riduzione semistabile che non valgono con la stessa generalità in caratteristica positiva.

Questo articolo affronta tali questioni stabilendo una formula del fascio canonico per fibrazioni su una curva in caratteristica positiva, dimostrando specificamente la nefità della parte modulare sotto ipotesi specifiche.

Metodologia
L'autore adatta la strategia introdotta da Acosta, Cascini, Svaldi e Spicer (ACSS21) per la caratteristica 0, modificandola per superare gli ostacoli specifici della caratteristica positiva. La metodologia procede attraverso i seguenti passaggi chiave:

1. Riduzione alla Proprietà $(*)$: La strategia di dimostrazione prevede innanzitutto di stabilire il risultato per una specifica classe di fibrazioni che soddisfano la "Proprietà $(*)$", dove la parte modulare coincide con il divisore canonico del fogliamento indotto (a meno di termini di correzione). Il caso generale viene quindi ridotto a questa classe tramite modificazioni birazionali.
2. Gestione delle Fibre Generiche Non Normali: In caratteristica positiva, la fibra generica geometrica potrebbe non essere normale. Per risolvere ciò, l'autore impiega un cambio di base di Frobenius. Considerando il diagramma che coinvolge la $e$-esima potenza del morfismo di Frobenius ($F^e$), le singolarità della fibra generica geometrica vengono "sollevate" allo spazio totale $X^{(e)}$. Ciò permette l'applicazione della tecnica di aggiunta e delle tecniche MMP su un modello in cui le fibre sono normali.
3. Fogliamenti e Mappe Puramente Inseparabili: L'articolo sfrutta la corrispondenza tra fogliamenti e morfismi puramente inseparabili in caratteristica positiva. Poiché il differenziale del morfismo di Frobenius si annulla, le mappe puramente inseparabili definiscono fogliamenti. L'autore deriva una formula che mette in relazione il divisore canonico del cambio di base di Frobenius $X^{(e)}$ con la parte modulare della fibrazione originale, tenendo conto dei termini di ramificazione selvaggia ($W(f)$).
4. Bend and Break per il Divisore Modulare: Poiché il teorema del cono per i fogliamenti fallisce in caratteristica positiva, l'autore non può costruire direttamente curve razionali tangenti al fogliamento. Invece, la dimostrazione utilizza il teorema Bend and Break applicato alla varietà $X^{(e)}$ ottenuta dopo il cambio di base di Frobenius. Mettendo in relazione il divisore canonico di $X^{(e)}$ con la parte modulare, l'autore costruisce curve razionali verticali che dimostrano la negatività della parte modulare se questa non fosse nef, portando a una contraddizione.
5. Induzione sulla Dimensione: La dimostrazione del teorema principale procede per induzione sulla dimensione di $X$. Ciò richiede di eseguire l'aggiunta sui centri log-canonicali della fibra generica geometrica. Per garantire che tali centri esistano e si comportino bene, l'autore costruisce "modificazioni geometriche $(*)$" che estraggono divisori con discrepanza $-1$ sopra questi centri, utilizzando risoluzioni logaritmiche e l'MMP dlt.

Contributi e Risultati Chiave

• La Formula del Fascio Canonico (Teorema 7.9): Assumendo l'MMP logaritmico, l'inversione dell'aggiunzione e l'esistenza di risoluzioni logaritmiche in dimensione fino a $n$, l'articolo dimostra che per una fibrazione $f: X \to Z$ da una varietà proiettiva normale di dimensione $n$ a una curva normale $Z$ su un campo perfetto di caratteristica $p > 2$, se $(X, B)$ è una coppia dlt con fibre generali log-canonicali e $K_X + B$ è $f$-nef, allora esiste un modello birazionale $(Y, C)$ che soddisfa la Proprietà $(*)$ tale che la parte modulare $M_Y$ è nef.
• Positività nel Caso K-Triviale (Teorema 7.10): Come corollario, l'articolo dimostra che se $K_X + B \sim_{\mathbb{Q}} f^*L$ (il caso K-triviale), la parte modulare $M_Z = L - (K_Z + B_Z)$ è nef.
• Risultato Incondizionato in Dimensione 3 (Corollario 7.11): Per varietà tridimensionali su un campo algebricamente chiuso di caratteristica $p > 5$, le ipotesi dell'MMP logaritmico, dell'inversione dell'aggiunzione e delle risoluzioni logaritmiche sono note per essere valide. Di conseguenza, la formula del fascio canonico e la nefità della parte modulare valgono incondizionatamente per coppie dlt con fibre generali log-canonicali.
• Formule per la Ramificazione Selvaggia: L'articolo fornisce formule esplicite (Teorema 3.6, Teorema 3.25) per il divisore canonico del fogliamento indotto da una fibrazione in caratteristica positiva, introducendo un termine di correzione $W(f)$ supportato sulle componenti selvagge. Inoltre, mette in relazione il divisore canonico del cambio di base di Frobenius $X^{(e)}$ con la parte modulare (Corollario 5.4).

Significato e Affermazioni
L'articolo afferma di estendere la formula del fascio canonico alla caratteristica positiva, un contesto in cui le tecniche precedenti (teoria di Hodge, teoremi del cono standard) non erano applicabili. Il significato risiede in:

1. Superamento del Fallimento della Liscià Genericità: Utilizzando cambi di base di Frobenius, l'autore aggira il problema delle fibre generiche non normali, un ostacolo maggiore nella geometria birazionale in caratteristica positiva.
2. Elusione del Teorema del Cono: L'uso del teorema Bend and Break sul cambio di base di Frobenius fornisce un'alternativa praticabile al teorema del cono per i fogliamenti, noto per fallire in caratteristica positiva.
3. Completamento del Quadro in Dimensione 3: I risultati forniscono una formula del fascio canonico completa e incondizionata per varietà tridimensionali in caratteristica $p > 5$, colmando una lacuna nella teoria di classificazione delle varietà in caratteristica positiva.

L'autore nota esplicitamente che i risultati dipendono dall'esistenza di risoluzioni logaritmiche e dalla validità dell'MMP nelle dimensioni rilevanti, noti attualmente solo per dimensioni $\le 3$ (e parzialmente per dimensione 4 con coefficienti standard). L'articolo non afferma di risolvere il problema per tutte le dimensioni o tutte le caratteristiche senza queste ipotesi, né propone nuove applicazioni sperimentali, ma stabilisce piuttosto il fondamento teorico necessario per argomenti induttivi nella classificazione delle varietà in caratteristica positiva.