The number of smooth varieties in an MMP on a 3-fold of Fano type

Sintesi Tecnica: Il Numero di Varietà Lisce in un MMP su un 3-Fisso di Tipo Fano

Enunciato del Problema
Il Programma del Modello Minimo (MMP) per i trevolumi produce frequentemente varietà singolari, a differenza del caso delle superfici dove gli esiti rimangono spesso lisce. Ciò rende necessaria lo studio delle singolarità quali tipi terminali, Kawamata log terminal (klt) e log canonici. Una domanda naturale riguarda la frequenza delle varietà lisce generate durante l'esecuzione di un MMP su un trevolume di tipo Fano. Nello specifico, questo articolo investiga quante varietà lisce possano apparire in un $D$-MMP (dove $D$ è un divisore $\mathbb{Q}$-Cartier mobile) su un trevolume $X$ di tipo Fano. Lavori precedenti [Ben85] hanno stabilito che se $D = -K_X$, nessuna varietà liscia oltre a $X$ stessa appare in un $-K_X$-MMP. Questo articolo generalizza il problema a un divisore mobile arbitrario $D$.

Metodologia
La dimostrazione del teorema principale segue una struttura in quattro fasi, adattando strettamente l'argomento trovato in [Kim24, Teorema 1.4]. La metodologia si basa sull'interazione tra invarianti coomologici e le proprietà geometriche dei flip all'interno dell'MMP.

1. Configurazione e Riduzione ai Flip: L'autore stabilisce innanzitutto che per un divisore mobile $D$ su una varietà proiettiva normale, qualsiasi $D$-MMP consiste esclusivamente di flip (Lemma 2.4). Ciò accade perché una contrazione divisoriale contraddirebbe la mobilità della trasformata stretta di $D$. La dimostrazione procede analizzando una sequenza di flip $X_0 \dashrightarrow X_1 \dashrightarrow \dots \dashrightarrow X_n$. Si mostra che se la varietà iniziale $X$ è di tipo Fano, tutte le varietà successive $X_i$ nella sequenza MMP rimangono di tipo Fano.

2. Monotonia Coomologica: Il nucleo dell'argomento consiste nel definire una sequenza di interi $d_i = h^1(X_i, \mathcal{O}_{X_i}(2mD_i))$, dove $D_i$ è la trasformata stretta di $D$ su $X_i$. Utilizzando sequenze spettrali di Leray, risoluzioni di flip e teoremi di vanishing (specificamente il Lemma 2.8 e il teorema di vanishing relativo di Kawamata-Viehweg), l'autore dimostra che questa sequenza è non crescente: $d_{i-1} \geq d_i$.

3. Condizione di Decrescita Stretta: L'articolo stabilisce un legame critico tra la regolarità (o la proprietà di Cartier) del divisore e la sequenza coomologica. Viene dimostrato che se $d_{i-1} = d_i$, allora $mD_i$ non può essere Cartier. Questo passaggio utilizza le proprietà della contrazione di flip $\phi_i$, l'annullamento degli immagini diretti superiori e un argomento di contraddizione riguardante le curve razionali controite dal flip. Nello specifico, se $mD_{i-1}$ fosse Cartier, si potrebbe costruire una curva razionale $C$ dove la restrizione del fibrato in linea porta a un gruppo di coomologia che è noto essere non nullo per fibrati anti-ampi su $\mathbb{P}^1$.

4. Determinazione del Limite: Combinando la monotonia ($d_{i-1} \geq d_i$) con la condizione di decrescita stretta (se $mD_i$ è Cartier, allora $d_{i-1} > d_i$), l'autore limita il numero di indici $i$ per i quali $mD_i$ è Cartier. Poiché la sequenza $d_i$ è composta da interi non negativi e parte da $h^1(X, 2mD)$, il numero di decrescite strette non può eccedere il valore iniziale.

Contributi Chiave e Risultati

• Teorema 1.1: Per un trevolume $X$ di tipo Fano e un divisore $\mathbb{Q}$-Cartier Weil mobile $D$, il numero di varietà $X_i$ in un $D$-MMP in cui $mD_i$ è Cartier è limitato da $1 + h^1(X, \mathcal{O}_X(2mD))$.
• Corollario 1.2: Una conseguenza diretta del Teorema 1.1 è che il numero di varietà lisce in tale MMP è limitato da $1 + h^1(X, \mathcal{O}_X(2D))$. Questo perché su una varietà liscia, ogni divisore Weil è Cartier.
• Corollario 1.3 (Converso Parziale di Kodaira Vanishing): L'articolo dimostra un converso parziale al teorema di vanishing di Kodaira per i divisori mobili su trevolumi di tipo Fano. Esso afferma che se $X$ è di tipo Fano, $D$ è un divisore $\mathbb{Q}$-Cartier Weil mobile, e $H^1(X, \mathcal{O}_X(mD)) = 0$ per ogni $m$ sufficientemente divisibile, allora $D$ è nef. La dimostrazione utilizza il fatto che se $D$ non fosse nef, un $D$-MMP terminerebbe in modo non banale, contraddicendo l'ipotesi di vanishing tramite il Teorema 1.1.

Significato e Rivendicazioni

L'articolo sostiene di fornire un limite quantitativo sulla ricorrenza di varietà lisce nell'MMP per i trevolumi di tipo Fano, estendendo i risultati noti per il caso anti-canonico a divisori mobili generali. La significatività risiede nel connettere la proprietà geometrica della regolarità (o la proprietà di Cartier dei divisori) all'invariante coomologico $h^1(X, 2D)$.

Inoltre, l'articolo presenta il Corollario 1.3 come un converso parziale al teorema di vanishing di Kodaira. Mentre il classico teorema di vanishing di Kodaira asserisce che i divisori nef su varietà di tipo Fano hanno vanishing della coomologia superiore, questo risultato suggerisce che per i divisori mobili, il vanishing di $H^1$ è sufficiente a garantire la nefness. L'autore nota che l'assunzione di mobilità è essenziale, fornendo un controesempio (Nota 3.1) riguardante un blow-up di $\mathbb{P}^3$ dove un divisore non-nef soddisfa la condizione di vanishing coomologico ma non è mobile.

Il lavoro si basa su tecniche consolidate dell'MMP, tra cui il Lemma di Negatività, la risoluzione delle singolarità e i teoremi di vanishing, sintetizzandoli per affrontare la specifica questione della frequenza della regolarità nei MMP di trevolumi.