Local Cohomological Defect and a Conjecture of Mustata-Popa

Riassunto Tecnico: Difetto Cohomologico Locale e una Congettura di Mustat¸˘a-Popa

Enunciato del Problema
Il saggio investiga il difetto cohomologico locale ($lcdef$), un invariante delle singolarità per varietà algebriche complesse che ha recentemente attirato interesse grazie alle sue caratterizzazioni topologiche e oloomorfe e al suo ruolo nei teoremi di tipo Lefschetz. Per una varietà algebrica complessa $X$ di dimensione $n$ immersa in una varietà regolare $Y$ di dimensione $d$, $lcdef(X)$ è definito come $\max\{q : H^q_X(\mathcal{O}_Y) \neq 0\} - c$, dove $c = d-n$.

Una formula centrale stabilita da Mustat¸˘a e Popa [MP22] esprime $lcdef(X)$ in termini dei depth dei complessi di Du Bois $\Omega^p_X$:
$$lcdef(X) = n - \min_{0 \le p \le n} \{ \text{depth } \Omega^p_X + p \}.$$
La formula è indipendente dall'immersione, ma calcolarla a priori richiede la determinazione di $\text{depth } \Omega^p_X$ per ogni $p \le n$. Risultati precedenti di Ogus [Og73] e Dao-Takagi [DT16] hanno stabilito che per piccoli valori di $k$ (specificamente $k \le 3$), la condizione $\text{depth } \mathcal{O}_X \ge k$ implica $lcdef(X) \le n-k$. Tuttavia, questo schema fallisce per $k > 3$. Il saggio mira a:

1. Determinare l'intervallo minimo di $p$ richiesto per calcolare $lcdef(X)$.
2. Dimostrare una congettura di Mustat¸˘a-Popa riguardante la scomparsa delle immagini dirette superiori di forme differenziali logaritmiche.
3. Fornire un criterio raffinato per limitare $lcdef(X)$ che estenda i risultati noti di Dao-Takagi e Park-Popa [PP25].

Metodologia
Il saggio si basa fondamentalmente sulla teoria dei moduli di Hodge misti (Saito [Sa88, Sa90]). L'approccio tecnico centrale consiste nell'identificare i complessi di Du Bois con i pezzi graduati de Rham dei moduli di Hodge triviali $\mathbb{Q}^H_X[n]$.

Le principali fasi metodologiche includono:

• Identificazione dei Complessi: Utilizzando il risultato di Saito $\Omega^p_X \cong \text{gr}^F_{-p} DR(\mathbb{Q}^H_X[n])[p-n]$. Ciò permette di tradurre le questioni di depth sui complessi di Du Bois in questioni di vanishing (scomparsa) sui pezzi de Rham graduati dei moduli di Hodge misti.
• Analisi della Filtrazione di Peso: La dimostrazione sfrutta la filtrazione di peso $W_\bullet$ sui moduli di Hodge misti. Nello specifico, il saggio analizza l'oggetto "difetto RHM" $K^\bullet_X$, definito tramite il triangolo distinto che coinvolge il modulo di Hodge di coomologia intermedia $IC^H_X$. Un'osservazione cruciale è che, mentre $\mathbb{Q}^H_X[n]$ non possiede i necessari vincoli di peso, l'oggetto difetto $K^\bullet_X$ (e il suo duale) soddisfa specifici vincoli di peso ($\le n-1$ e $\ge -n+1$ rispettivamente).
• Argomenti di Spettrali Sequenza: Gli autori impiegano sequenze spettrali che mettono in relazione la coomologia dei pezzi de Rham graduati con la coomologia dei moduli sottostanti. Un lemma tecnico chiave (Proposizione 6.5) stabilisce un'enunciato astratto di vanishing: se i pezzi de Rham graduati scompaiono per bassi indici $p \le m$ e alti gradi di coomologia $j \ge c$, devono scomparire anche per un intervallo simmetrico di alti indici $p \ge -c - m - w$, a condizione che il modulo abbia pesi $\ge w$.
• Funzioni di Perversità: Il saggio introduce una famiglia di "difetti di perversità" $pdef(X, d)$ parametrizzati da interi $0 \le d \le n$. Questi generalizzano $lcdef(X)$ (che corrisponde alla perversità intermedia $d=n$) e il difetto costruttibile (perversità zero $d=0$). Essi sono interpretati tramite la coomologia di piccoli vicinati puntiformi di un punto in una stratificazione di Whitney.

Contributi Chiave e Risultati

1. Riduzione del Calcolo (Teorema A):
   Il saggio dimostra che, per determinare se $lcdef(X) \le n-k$, non è necessario controllare tutti i $p$. È sufficiente verificare la condizione $\text{depth } \Omega^p_X + p \ge k$ solo per $p \le \lceil (k-3)/2 \rceil$.

• Significato: Questo recupera e estende leggermente i risultati di Ogus e Dao-Takagi per $k \le 3$ e spiega perché il semplice schema basato solo su $\text{depth } \mathcal{O}_X$ fallisce per $k > 3$.

2. Propagazione del Depth Generale (Teorema B):
   Un risultato più generale afferma che se $\text{depth } \Omega^p_X + p \ge k$ per ogni $p \le m$, allora la stessa disuguaglianza vale per ogni $p \ge k - m - 2$. Questo è il motore che guida la riduzione nel Teorema A.

3. Dimostrazione della Congettura di Mustat¸˘a-Popa (Corollario D):
   Il saggio dimostra la Congettura 14.1 da [MP22]: Se $\text{depth } \mathcal{O}_X \ge j+2$, allora $R^{d-2}f_* \Omega^{d-j}_Y(\log E) = 0$ per una risoluzione logaritmica $f: Z \to Y$.

• Meccanismo: Utilizzando il Teorema B con $m=0$, gli autori mostrano che $\text{depth } \Omega^0_X \ge j+2$ implica $\text{depth } \Omega^j_X \ge 2$. Poiché $\text{depth } \Omega^0_X \ge \text{depth } \mathcal{O}_X$, la congettura ne consegue. Questo estende la conoscenza precedente, che era limitata a singolarità isolate o singolarità razionali al di fuori di un insieme finito.

4. Limiti Raffinati tramite i Difetti di Perversità (Teorema F):
   Il saggio fornisce una condizione necessaria e sufficiente affinché $lcdef(X) \le n-k$ che generalizza i criteri di Dao-Takagi e Park-Popa. Nello specifico, $lcdef(X) \le n-k$ se e solo se:

• $\text{depth } \Omega^p_X + p \ge k$ per ogni $p \le m$ (per un fissato $m$), E
• $pdef(X, k - 2m - 4) \le n - k$.
• Significato: Questa formulazione cattura il "fallimento" del semplice schema di depth per $k > 3$ introducendo il termine del difetto di perversità, che misura la coomologia dei vicinati puntiformi rispetto a specifiche funzioni di perversità.

5. Formule Esplicite per Casi Specifici:

• Corollario 7.11 (Teorema E): Se $X$ soddisfa $\text{depth } \Omega^p_X + p \ge n$ per $p \le m-1$ e $\text{depth } \Omega^m_X \le m+3$, allora $lcdef(X)$ è determinato esplicitamente da $\max\{0, n - \text{depth } \Omega^m_X - m\}$.
• Corollario 8.5: Per $k$ pari, $lcdef(X) \le n-k$ è equivalente a $\text{depth } \Omega^p_X + p \ge k$ per $p \le (k-4)/2$ e il difetto costruttibile $cdef(X) \le n-k$.

Significato e Rivendicazioni
Il saggio sostiene di fornire un "quadro completo" del difetto cohomologico locale:

• Spiega il fallimento del pattern $\text{depth } \mathcal{O}_X \ge k \implies lcdef(X) \le n-k$ per $k > 3$.
• Dimostra la congettura di Mustat¸˘a-Popa nella sua piena generalità, rimuovendo le precedenti restrizioni sulle singolarità di $X$.
• Offre un quadro unificato utilizzando i moduli di Hodge misti e i difetti di perversità che assorbe e migliora i limiti esistenti (specificamente quelli di Ogus, Dao-Takagi e Park-Popa).
• Fornisce una spiegazione diretta dell'equivalenza tra le caratterizzazioni topologiche e oloomorfe di $lcdef(X)$, una questione sollevata in [MP22].

Gli autori sottolineano che i loro risultati derivano strettamente dalla teoria dei moduli di Hodge misti e non si affidano a nuovi dati sperimentali o implicazioni future non provate. Il lavoro è presentato come una risoluzione teorica a problemi aperti specifici nello studio delle singolarità e della teoria di Hodge.