Unobstructed deformations for singular Calabi-Yau varieties

Titolo: Deformazioni non ostruite per varietà Calabi-Yau singolari

1. Il Problema e il Contesto

L'articolo si occupa della teoria delle deformazioni delle varietà complesse singolari, in particolare delle varietà Calabi-Yau singolari.

• Contesto: Per una varietà complessa compatta $M$ liscia, il teorema di Bogomolov-Tian-Todorov garantisce che le deformazioni della struttura complessa sono non ostruite (cioè lo spazio delle deformazioni è liscio). Questo risultato si basa sulla proprietà che il fibrato canonico è banale ($K_M \cong \mathcal{O}_M$) e sulla degenerazione della successione spettrale di Hodge-de Rham.
• La sfida: Quando la varietà $Y$ è singolare, la teoria delle deformazioni diventa più complessa. Esistono ostacoli locali (legati alla deformazione delle singolarità) e globali. Anche se le singolarità sono "buone" (es. complete intersezioni locali o lci), non è automatico che le deformazioni globali siano non ostruite.
• Obiettivo: Generalizzare i risultati esistenti (di Kawamata, Ran, Tian, Namikawa e recentemente Imagi) per dimostrare che le deformazioni di varietà Calabi-Yau singolari sono non ostruite sotto ipotesi più generali, rimuovendo restrizioni pesanti come l'essere "omogenee pesate" (weighted homogeneous) o l'esistenza di una risoluzione Kahleriana forte.

2. Metodologia e Strumenti Teorici

L'autore combina tecniche di geometria algebrica, teoria delle deformazioni e teoria di Hodge mista. I pilastri metodologici sono:

• Proprietà di Sollevamento $T^1$ (T1 lifting property): Il criterio fondamentale per dimostrare l'assenza di ostacoli. Se la mappa di sollevamento $T^1(Y_k/A_k) \to T^1(Y_{k-1}/A_{k-1})$ è suriettiva per ogni deformazione su anelli Artiniani, allora il funtore delle deformazioni è non ostruito.
• Lemma $\partial\bar{\partial}$: Invece di assumere che la varietà $Y$ sia Kahleriana (o che ammetta una risoluzione Kahleriana), l'autore assume l'esistenza di una risoluzione delle singolarità $\pi: \tilde{Y} \to Y$ che soddisfa il lemma $\partial\bar{\partial}$. Questa è un'ipotesi più debole e più generale, che include varietà proiettive ma anche altre classi analitiche.
• Cohomologia Relativa e Strutture di Hodge Miste: L'approccio innovativo consiste nell'utilizzare la cohomologia relativa $H^*(Y, Z)$, dove $Z$ è il luogo delle singolarità. Tramite una buona risoluzione $\pi$, questo spazio è isomorfo a $H^*(\tilde{Y}, E)$ (dove $E$ è il divisore eccezionale). Questo permette di utilizzare la struttura di Hodge mista e dimostrare la degenerazione al primo termine ($E_1$) di opportune successioni spettrali.
• Singolarità Du Bois: L'autore generalizza il concetto di "singolarità razionali" a quelle Du Bois. Le singolarità Du Bois sono una classe più ampia che include quelle razionali e le singolarità log-canonicali.
• Caso non lci (non complete intersezioni locali): Per gestire singolarità che non sono lci, l'autore segue l'approccio di Gross e Imagi, considerando il conucleo della mappa tra coomologia locale e globale, dimostrando una versione "generalizzata" della proprietà di sollevamento $T^1$.

3. Risultati Principali

Teorema 1.6 (Caso lci)

Sia $Y$ una varietà Calabi-Yau singolare di dimensione $n \ge 3$ con:

1. Una risoluzione delle singolarità $\tilde{Y}$ che soddisfa il lemma $\partial\bar{\partial}$.
2. Singolarità isolate, lci (complete intersezioni locali) e Du Bois.
3. $H^1(Y; \mathcal{O}_Y) = 0$.

Conclusione: Le deformazioni di $Y$ sono non ostruite.
Nota: Questo generalizza il teorema di Namikawa (che richiedeva singolarità razionali e una risoluzione Kahleriana) rimuovendo la necessità di essere Kahleriano e ammettendo singolarità Du Bois più generali.

Teorema 3.10 (Caso non lci)

Sia $Y$ una varietà Calabi-Yau singolare di dimensione $n \ge 3$ con:

1. Una risoluzione $\tilde{Y}$ che soddisfa il lemma $\partial\bar{\partial}$.
2. Singolarità isolate e Du Bois (non necessariamente lci).
3. $H^1(Y; \mathcal{O}_Y) = 0$.

Conclusione: $Y$ soddisfa la proprietà di sollevamento $T^1$ generalizzata. Di conseguenza, se il funtore delle deformazioni è pro-rappresentabile, la base della deformazione semi-universale è liscia (o ha una struttura ridotta liscia), generalizzando i risultati di Gross.

Casi Log-Calabi-Yau e Fano

• Coppie Log-Calabi-Yau (Teorema 3.15): I risultati si estendono a coppie $(Y, D)$ dove $D$ è un divisore a incroci normali semplici nel luogo liscio e $\omega_Y \cong \mathcal{O}_Y(-D)$. Se le singolarità sono lci e Du Bois, le deformazioni logaritmiche sono non ostruite.
• Caso Fano (Teorema 3.17): Se $Y$ ha singolarità razionali isolate lci e il fibrato anticanonico $\omega_Y^{-1}$ è nef e big, allora le deformazioni sono non ostruite. La dimostrazione utilizza un rivestimento ciclico per ridurre il caso Fano a un caso Calabi-Yau logaritmico.

4. Contributi Chiave e Innovazioni

1. Rimozione dell'ipotesi "Weighted Homogeneous": Il lavoro di Imagi [Ima25] richiedeva che le singolarità fossero omogenee pesate. Friedman rimuove questa restrizione, lavorando con la classe più ampia delle singolarità Du Bois.
2. Sostituzione della condizione Kahleriana: Sostituendo l'ipotesi di esistenza di una risoluzione Kahleriana con il lemma $\partial\bar{\partial}$, il risultato diventa applicabile a un contesto analitico più ampio, non limitato alle varietà proiettive.
3. Generalizzazione alla non-lci: L'estensione della teoria al caso in cui le singolarità non sono complete intersezioni locali, utilizzando la coomologia relativa e la proprietà di sollevamento generalizzata, è un passo significativo per la teoria delle deformazioni di spazi singolari complessi.
4. Semplificazione della dimostrazione: L'autore mostra che non è necessario che i moduli $H^i(Y; \Omega^1_{Y/\text{Spec } A})$ siano liberi su $A$ per tutti gli $i$ (come richiesto in approcci precedenti). È sufficiente la suriettività di mappe specifiche in grado $n-2$, un'osservazione che semplifica notevolmente l'analisi.

5. Significato e Implicazioni

Questo lavoro rappresenta un avanzamento fondamentale nella comprensione della geometria delle varietà Calabi-Yau singolari:

• Smoothability: Sebbene la non ostruzione non garantisca automaticamente l'esistenza di una "smoothing" (una deformazione che rende la varietà liscia), è un prerequisito necessario. Questi risultati aprono la strada alla costruzione di smoothings per classi più ampie di varietà singolari, cruciali per la teoria delle stringhe e la geometria speculare (mirror symmetry).
• Unificazione: Unifica risultati precedenti di Kawamata, Tian, Ran, Namikawa, Gross e Imagi sotto un unico quadro teorico basato sulla teoria di Hodge mista e sul lemma $\partial\bar{\partial}$.
• Applicabilità: Fornisce strumenti robusti per studiare la deformazione di varietà con singolarità complesse (log-canonicali) che appaiono naturalmente nella classificazione delle varietà algebriche e nella teoria delle stringhe.

In sintesi, Friedman dimostra che la "bontà" delle singolarità (essere Du Bois) e la proprietà di coomologia della risoluzione (lemma $\partial\bar{\partial}$) sono sufficienti a garantire la regolarità dello spazio delle deformazioni, superando le limitazioni geometriche imposte dai lavori precedenti.