Recent progress on the Minimal Model Program for foliations

1. Il Problema e il Contesto

Il lavoro si inserisce nel campo della geometria birazionale delle varietà complesse, focalizzandosi sull'estensione del Programma dei Modelli Minimi (MMP) alle foliazioni.
Mentre il MMP classico per varietà (o coppie $(X, \Delta)$) è ben consolidato, l'applicazione alle foliazioni presenta ostacoli fondamentali:

• Impossibilità di risoluzione regolare: A differenza delle varietà, dove i singolari possono essere risolti tramite una sequenza di esplosioni (blow-up) fino a ottenere una varietà liscia, le foliazioni singolari non possono essere "risolte" in foliazioni lisce tramite blow-up. L'esplosione di un punto su una foliazione liscia può creare nuove singolarità (Esempio 2.8).
• Obiettivo diverso: L'obiettivo non è la risoluzione, ma la riduzione delle singolarità a una classe distinta e ben compresa (es. singolarità canoniche o semplici).
• Mancanza di teoremi generali: Il Teorema del Fascio Senza Punti Base (Base Point Free Theorem), cruciale per la costruzione di contrazioni nel MMP classico, non è disponibile nella stessa generalità per le foliazioni. Questo rende difficile l'esistenza di "flip" (inversioni) in dimensione tre e superiore senza strutture aggiuntive.

Il documento si pone due domande centrali:

1. Bend and Break per foliazioni: Se esiste una curva $C$ con $K_{\mathcal{F}} \cdot C < 0$, esiste una curva razionale $\Sigma$ con $K_{\mathcal{F}} \cdot \Sigma < 0$? Tale curva può essere scelta tangente alla foliazione o contenuta in una subvarietà invariante?
2. Esistenza di modelli minimi: Se $K_{\mathcal{F}}$ è pseudo-effettivo, esiste una mappa birazionale $X \dashrightarrow X'$ tale che la foliazione indotta $\mathcal{F}'$ abbia $K_{\mathcal{F}'}$ nef?

2. Metodologia e Strumenti Tecnici

Gli autori sviluppano un quadro teorico che adatta le tecniche del MMP classico alle foliazioni, introducendo o rielaborando concetti chiave:

• Singolarità e Discrepanza: Viene definita la discrepanza $a(E, \mathcal{F}, \Delta)$ per una foliazione $\mathcal{F}$ rispetto a una valutazione divisoriale $E$. Si classificano le singolarità come terminali, canoniche e log-canoniche. Un risultato fondamentale (Proposizione 3.9) caratterizza le foliazioni di rango 1 log-canoniche: un campo vettoriale è log-canonico se e solo se la sua parte lineare (nella decomposizione di Jordan) non è nilpotente.
• Adjunction (Formula di Aggiunzione): Questo è lo strumento tecnico centrale. Per una sottovarietà $D$ di codimensione 1, si definisce un termine di correzione, il Different ($Diff_D(\mathcal{F}) \geq 0$), tale che vale la relazione di equivalenza lineare:
  $$(K_{\mathcal{F}} + \epsilon(D)D)|_D \sim K_{\mathcal{F}_D} + Diff_D(\mathcal{F})$$
  dove $\epsilon(D)=0$ se $D$ è invariante e $1$ altrimenti. Questa formula permette di tradurre la negatività numerica su $X$ in restrizioni concrete su $D$ e di confrontare le singolarità tra $X$ e $D$.
• Invarianti e Separatrici: Per le foliazioni di rango 1 e co-rango 1 in dimensione 3, l'esistenza di separatrici (divisori invarianti formali o analitici) è cruciale. Le singolarità canoniche in dimensione 3 ammettono sempre separatrici, permettendo di "prolungare" curve tangenti a foliazioni in divisori invarianti.
• Integrazione Algebrica: Per le foliazioni algebricamente integrabili, il problema si riduce alla riduzione delle singolarità di una mappa razionale, portando alle singolarità toroidali.

3. Risultati Principali

A. Geometria delle Superfici (Dimensione 2)

Gli autori dimostrano che il MMP per foliazioni su superfici può essere derivato come conseguenza diretta del MMP classico per superfici combinato con la formula di aggiunzione.

• Ricostruzione del Programma di McQuillan: Si recupera il programma di McQuillan [McQ08], mostrando che per una superficie con foliazione di rango 1 a singolarità canoniche, si può contrarre curve $C$ con $K_{\mathcal{F}} \cdot C < 0$ fino a ottenere un modello minimale.
• Struttura del Modello Minimale: Se $K_{\mathcal{F}}$ è pseudo-effettivo, il modello minimale è o una fibrazione in curve razionali o una superficie con $K_{\mathcal{F}}$ nef.
• Tipo Generale e Generazione Finita: Nel caso di tipo generale ($K_{\mathcal{F}}$ grande), la struttura del modello minimale è descritta da una decomposizione di Zariski. Viene evidenziato un fenomeno nuovo: l'esistenza di fogli Gorenstein ellittici (elliptic Gorenstein leaves). La presenza di tali foglie implica che l'algebra $R(X, K_{\mathcal{F}})$ non è finitamente generata, a differenza del caso delle varietà classiche (dove il teorema di BCHM garantisce la finitezza).

B. Dimensione Superiore (Focus su Dimensione 3)

Il lavoro affronta la costruzione dei flip per foliazioni su trevari, un problema aperto fino a recenti sviluppi.

• Esistenza dei Flip per Rango 1: Per foliazioni di rango 1 su trevari $Q$-fattoriali klt con singolarità semplici, gli autori dimostrano l'esistenza del flip.
  • Metodo: Si sfrutta il Teorema di Stabilità di Reeb e l'adjunzione per mostrare che la curva contratta ammette un primo integrale meromorfo. Questo permette di costruire un divisore invariante $G \geq 0$ tale che la curva di flip è un centro log-canonico per la coppia $(X, G)$. Il flip della foliazione viene così ridotto alla costruzione di un flip logaritmico standard per la coppia $(X, G)$.
• Esistenza dei Flip per Co-Rango 1: Per foliazioni di co-rango 1, la costruzione è più complessa a causa della natura formale delle separatrici. Si utilizzano teoremi di approssimazione (Artin/Elkik) o sviluppi recenti sul MMP per schemi formali per prolungare i divisori invarianti locali a un intorno formale della curva di flip, permettendo la costruzione del flip.

4. Contributi Chiave e Innovazioni

1. Formalizzazione dell'Adjunction per Foliazioni: La definizione e lo studio sistematico del Different per le foliazioni forniscono un ponte solido tra la geometria della varietà ambiente e quella della foliazione, permettendo di controllare le singolarità durante le contrazioni.
2. Caratterizzazione delle Singolarità Log-Canoniche: La caratterizzazione delle singolarità log-canoniche per campi vettoriali tramite la parte semisemplice non-nilpotente (Proposizione 3.9) offre un criterio efficace per verificare la "bontà" delle singolarità.
3. Costruzione dei Flip in Dimensione 3: La dimostrazione dell'esistenza dei flip per foliazioni di rango 1 e co-rango 1 su trevari rappresenta un passo avanti significativo verso la completezza del MMP in dimensione 3, superando l'ostacolo della mancanza del teorema del fascio senza punti base.
4. Controesempi alla Finitezza: La dimostrazione che l'algebra canonica delle foliazioni di tipo generale non è sempre finitamente generata (a causa dei fogli Gorenstein ellittici) segna una differenza fondamentale e profonda rispetto alla teoria delle varietà.

5. Significato e Prospettive Future

Questo lavoro fornisce una panoramica accessibile ma rigorosa dei progressi recenti, consolidando la visione che, sotto appropriate ipotesi di singolarità, il comportamento di $K_{\mathcal{F}}$ è sorprendentemente simile a quello del divisore canonico di una varietà, pur introducendo nuove geometrie interessanti dove l'analogia fallisce.

Questioni Aperte e Direzioni Future:

• Definizione di Singolarità Non-Dicritiche: Manca una definizione corretta di "singolarità non-dicritiche" per foliazioni di rango arbitrario su varietà singolari (Domanda 3.22).
• Generalizzazione in Dimensione Superiore: Estendere i risultati sui flip a dimensioni $n \geq 4$ e trovare una caratterizzazione strutturale per le foliazioni di tipo generale in dimensione superiore (Domanda 5.13).
• Indipendenza del Divisore di Flip: Determinare se il divisore ausiliario $G$ utilizzato per costruire i flip può essere scelto indipendentemente dal raggio di flip specifico (Domanda 6.5).

In sintesi, il documento rappresenta una tappa fondamentale nella comprensione della geometria birazionale delle foliazioni, offrendo gli strumenti tecnici necessari per procedere verso una teoria completa in dimensioni superiori.