On the Morrison-Kawamata dream space and its applications

Sintesi Tecnica: Sullo Spazio Sogno di Morrison-Kawamata e le sue Applicazioni

Enunciato del Problema
Il saggio affronta la necessità di un quadro assiomatico unificato per caratterizzare le varietà algebriche che soddisfano la congettura del cono di Morrison-Kawamata (MK). Mentre gli spazi sogno di Mori (MDS) forniscono una teoria robusta per le varietà di tipo Fano, e le varietà di tipo Calabi-Yau (CY) sono centrali nello studio della congettura del cono MK, esiste un vuoto per le varietà che non sono né di tipo Fano né strettamente di tipo Calabi-Yau. Gli autori mirano a sviluppare una teoria che assiomatizzi le proprietà delle varietà che soddisfano la congettura del cono MK, estendendo così i risultati strutturali degli MDS (come le decomposizioni in camere e la limitatezza) a una classe più ampia di varietà, incluse le varietà di tipo CY e altre con divisori canonici non triviali.

Metodologia
Gli autori introducono il concetto di spazi sogno MK (MKD) e spazi fibrati MKD. La metodologia si basa su:

1. Definizione Assiomatica: Definire gli spazi MKD tramite quattro condizioni: $\mathbb{Q}$-fattorialità, l'esistenza di buoni modelli minimi per tutti i divisori $\mathbb{R}$-Cartier effettivi, l'esistenza di un cono poliedrico razionale $\Pi$ il cui orbita sotto il gruppo dei pseudo-automorfismi copre il cono mobile, e la "fattorialità locale dei modelli canonici" per il cono effettivo.
2. Geometria Combinatoria: Utilizzare la geometria dei coni convessi negli spazi di Néron-Severi, specificamente la struttura dei politopi di Shokurov e la decomposizione dei coni in camere dove il modello minimo rimane costante.
3. Programma del Modello Minimo (MMP): Stabilire la terminazione degli MMP con scaling per i divisori effettivi nella categoria degli spazi fibrati MKD.
4. Deformazione e Specializzazione: Impiegare tecniche di spreading-out e specializzazione per relazionare la geometria della fibra generica geometrica con le fibre sopra un sottoinsieme di Zariski denso del basamento, utilizzando condizioni di vanishing cohomologico ($H^1 = H^2 = 0$) per controllare il comportamento dei coni.
5. Azioni di Gruppo: Analizzare l'azione dei gruppi di pseudo-automorfismi ($\text{PsAut}$) e dei gruppi di automorfismi ($\text{Aut}$) sui coni mobili, nef ed effettivi, ed estenderli ai gruppi di automorfismi generici ($\text{GAut}$) che agiscono sui coni nef generici.

Contributi Chiave e Risultati

• Definizione ed Equivalenza: Il saggio definisce gli spazi fibrati MKD e dimostra (Teorema 1.3) che, nell'ambito assoluto, questa nozione è equivalente a un insieme di condizioni simili agli MDS ma adattate per azioni birazionali (specificamente, l'esistenza di un dominio fondamentale per il cono mobile sotto i pseudo-automorfismi). Ciò unifica gli MDS e le varietà di tipo CY (sotto la congettura del cono e la congettura del buon modello minimo) in un unico quadro teorico.
• Strutture di Camere:
  • Politopi di Shokurov: Gli autori stabiliscono che per ogni cono generato da divisori effettivi dove esistono buoni modelli minimi, il cono si decompone in un numero finito di camere poliedriche razionali dove il modello minimo debole è costante (Teorema 1.4).
  • Coni Nef ed Effettivi: Dimostrano che il cono nef dei divisori effettivi ($\text{Nef}_e$) è un cono poliedrico razionale e ammette un dominio fondamentale poliedrico razionale sotto l'azione del gruppo di automorfismi (Teorema 1.5, Teorema 1.6).
• Stabilità sotto MMP e Contrazioni:
  • Si dimostra che la classe degli spazi fibrati MKD è chiusa sotto modifiche birazionali piccole $\mathbb{Q}$-fattoriali e contrazioni birazionali (Teorema 1.7).
  • Un $D$-MMP con scaling di un divisore ampio è dimostrato terminare con un buon modello minimo per ogni divisore effettivo $D$ su uno spazio fibrato MKD (Teorema 1.8).
• Invarianza di Deformazione:
  • Il saggio stabilisce l'invarianza di deformazione generica dei coni nef, effettivi e mobili, nonché della decomposizione in camere di Mori, per gli spazi fibrati MKD (Teorema 1.10). Ciò è ottenuto stratificando il basamento e utilizzando le proprietà del cono nef generico.
  • I risultati mostrano che il fatto che la fibra generica geometrica sia uno spazio MK implica che le fibre su un sottoinsieme di Zariski aperto siano "quasi" spazi MK (Teorema 6.17), soddisfacendo le necessarie congetture sui coni e le proprietà di fattorialità locale.
• Limitatezza dei Moduli:
  • Applicando i risultati di invarianza di deformazione, gli autori dimostrano un teorema di limitatezza (Teorema 1.11). Assumendo la congettura del cono MK e la congettura del buon modello minimo per le varietà Calabi-Yau razionalmente connesse, dimostrano che tali varietà formano una famiglia limitata. Ciò è ottenuto costruendo una fibrazione in cui ogni tale varietà appare come una fibra (o una sua contrazione birazionale).

Significato e Rivendicazioni
Il saggio sostiene che gli spazi MKD fungono da naturale generalizzazione delle varietà di tipo Calabi-Yau in geometria birazionale, analogamente al ruolo che gli spazi sogno di Mori giocano per le varietà di tipo Fano. La significatività risiede nella:

1. Unificazione: Fornire un quadro concettuale che estende l'unione ("gluing") delle teorie locali MDS a varietà con divisori canonici triviali e oltre.
2. Dimostrazioni Concettuali: Dimostrare che le dimostrazioni riguardanti le strutture dei coni e la limitatezza diventano più concettuali se viste attraverso la lente degli spazi MKD, piuttosto che dipendere da specifici teoremi di vanishing che potrebbero non valere nel contesto generale.
3. Limitatezza: Risolvere il problema della limitatezza per gli spazi dei moduli delle varietà Calabi-Yau razionalmente connesse sotto l'ipotesi della congettura del cono MK, un risultato che si basa crucialmente sull'invarianza di deformazione dei coni stabilita per gli spazi fibrati MKD.

Gli autori notano esplicitamente che, sebbene la teoria sia robusta, certi fenomeni patologici (come la mancanza di una limitatezza delle lunghezze dei raggi estremi nel caso generale) richiedono assunzioni specifiche come la fattorialità locale dei modelli canonici. Il saggio non pretende di risolvere la congettura del cono MK in sé, ma piuttosto di assiomatizzare le conseguenze della sua validità per facilitare ulteriori studi di moduli e teoria delle deformazioni.