Injectivity and Vanishing for the Du Bois Complexes of Isolated Singularities

Sintesi Tecnica: Iniettività e Annullamento per i Complessi di Du Bois delle Singolarità Isolate

Enunciato del Problema
Il lavoro affronta le proprietà omologiche dei complessi di Du Bois, indicati con $\Omega^k_X$, associati a varietà algebriche complesse $X$ di dimensione $n$. Sebbene sia noto che il supporto dei fasci di coomologia $H^i\Omega^k_X$ giaccia nell'intervallo $[0, n]$, e un risultato classico di Steenbrink stabilisca l'annullamento $H^i\Omega^k_X = 0$ per $i > n-k$, il comportamento della coomologia nel restante intervallo è meno compreso. Nello specifico, gli autori investigano le condizioni sotto le quali le coomologie superiori si annullano (teoremi di annullamento) e le proprietà di iniettività dei duali di tali complessi. Il focus principale è sulle varietà con singolarità isolate, estendendo risultati precedenti noti per ipersuperfici e intersezioni complete locali (LCI) a questo contesto più ampio. Lo studio esplora anche analoghi per i complessi di intersezione e formula congetture per il caso non isolato.

Metodologia
Gli autori impiegano una combinazione di tecniche di teoria di Hodge, argomenti di categoria derivata e teoria della dualità.

1. Successione Spettrale da Hodge a de Rham: Uno strumento centrale è la degenerazione a $E_1$ della successione spettrale da Hodge a de Rham per varietà proiettive. Ciò permette agli autori di relazionare la coomologia dei complessi di Du Bois alla coomologia del fascio costante.
2. Dualizzazione e Iniettività: La strategia tecnica fondamentale consiste nell'analizzare il morfismo ottenuto dualizzando la mappa canonica $H^0\Omega^k_X \to \Omega^k_X$. Nello specifico, gli autori studiano la mappa nella categoria derivata:
   $$R\text{Hom}_{\mathcal{O}_X}(\Omega^k_X, \omega^\bullet_X) \to R\text{Hom}_{\mathcal{O}_X}(H^0\Omega^k_X, \omega^\bullet_X)$$
   dove $\omega^\bullet_X$ è il complesso dualizzante.
3. Riduzione al Caso Proiettivo: Utilizzando compattificazioni e la natura locale del problema, gli autori riducono il caso generale a varietà proiettive. Dimostrano un'affermazione più forte in cui la varietà è pre-$(k-1)$-Du Bois globalmente ma pre-$k$-Du Bois solo al di fuori di un insieme finito di punti.
4. Algebra Omologica: Le dimostrazioni si basano pesantemente su triangoli esatti nella categoria derivata, proprietà della profondità nella categoria derivata e sulla relazione tra dimensione coomologica locale e profondità dei fasci.
5. Complessi di Intersezione: Per la seconda parte del lavoro, gli autori utilizzano la teoria dei moduli di Hodge misti, in particolare la relazione tra il modulo di Hodge costante $\mathbb{Q}^H_X[n]$ e il complesso di intersezione $IC^H_X$, per stabilire analoghi per i complessi di Du Bois di intersezione ($I\Omega^k_X$).

Contributi e Risultati Chiave

1. Teorema di Iniettività per Singolarità Isolate (Teorema D)
Il lavoro stabilisce un risultato fondamentale di iniettività per la coomologia dei duali dei complessi di Du Bois.

• Teorema: Sia $X$ una varietà con singolarità isolate pre-$(k-1)$-Du Bois. Il morfismo
  $$R\text{Hom}_{\mathcal{O}_X}(\Omega^k_X, \omega^\bullet_X) \to R\text{Hom}_{\mathcal{O}_X}(H^0\Omega^k_X, \omega^\bullet_X)$$
  è iniettivo sulla coomologia.
• Significato: Questo generalizza precedenti teoremi di iniettività di Kovács-Schwede (per $k=0$) e risultati per varietà LCI (per $k$ arbitrario) al caso di singolarità isolate arbitrarie. Notevolmente, la formulazione utilizza $H^0\Omega^k_X$ piuttosto che il fascio delle forme differenziali di Kähler $\Omega^k_X$ nel lato destro, il che è necessario poiché $\Omega^k_X$ potrebbe non comportarsi bene sotto l'ipotesi pre-$(k-1)$-Du Bois nel caso non-LCI.

2. Teoremi di Annullamento (Teorema A e Corollario B)
Utilizzando il risultato di iniettività, gli autori derivano affermazioni di annullamento per la coomologia dei complessi di Du Bois.

• Teorema A: Se $X$ ha singolarità isolate pre-$(k-1)$-Du Bois, allora:
  $$H^i\Omega^k_X = 0 \quad \text{per} \quad 0 < i < \text{depth } H^0\Omega^k_X - 1.$$
  Ciò fornisce un limite concreto per l'annullamento basato sulla profondità del fascio di coomologia 0-esima.
• Corollario B: Se $X$ è (pre-)Du Bois al di fuori di un sottoinsieme chiuso di dimensione $s$, allora:
  $$H^i\Omega^0_X = 0 \quad \text{per} \quad 0 < i < \text{depth } \mathcal{O}_X - s - 1.$$
  Questo estende il risultato di Steenbrink per $k=0$ a insiemi singolari arbitrari.

3. Regola di Annullamento "Scorrevole" (Proposizione C)
Gli autori identificano una regola semplice ma precedentemente non notata: se $H^{n-p-1}\Omega^p_X = 0$ per ogni $p \le k-1$, allora $H^{n-k}\Omega^k_X = 0$. Ciò permette la propagazione dei risultati di annullamento attraverso diversi gradi.

4. Applicazioni alle Singolarità Razionali
Il teorema di iniettività fornisce una prova concisa del fatto che le singolarità $k$-razionali implicano singolarità $k$-Du Bois nel caso isolato. Ciò recupera risultati noti per varietà LCI e li estende alle singolarità isolate senza fare affidamento sulla filtrazione di Hodge sulla coomologia locale (che non è ancora pienamente sviluppata per casi non-LCI).

5. Analoghi per i Complessi di Intersezione
Il lavoro stabilisce risultati paralleli per i complessi di Du Bois di intersezione ($I\Omega^k_X$).

• Teorema 10.3: Un risultato di iniettività che relaziona i duali di $\Omega^k_X$ e $I\Omega^k_X$.
• Corollario 11.3: Sotto condizioni di singolarità isolate o LCI, vale il teorema di annullamento per i complessi di intersezione: $H^i I\Omega^k_X = 0$ per $0 < i < \text{depth } H^0 I\Omega^k_X - s - 1$.

6. Esempi di Non-Annullamento e Limiti
Il lavoro fornisce controesempi (Esempi 7.8, 7.9, 7.11) che dimostrano come i risultati di annullamento per intersezioni complete locali non si estendano automaticamente a varietà Cohen-Macaulay arbitrarie o a singolarità isolate generali senza condizioni specifiche di profondità. Questi esempi evidenziano che la profondità di $H^0\Omega^k_X$ può essere strettamente inferiore ai limiti previsti dalla dimensione e dalla codimensione da sole.

Congetture
Gli autori propongono due congetture principali per il caso generale (non isolato):

• Congettura G: Il teorema di iniettività (Teorema D) vale per varietà con singolarità pre-$(k-1)$-Du Bois senza l'assunzione di singolarità isolate.
• Congettura H: Il teorema di annullamento (Teorema A) vale per varietà che sono pre-$(k-1)$-Du Bois e pre-$k$-Du Bois al di fuori di un sottoinsieme chiuso di dimensione $s$.

Significato e Affermazioni
Il lavoro afferma di fornire il primo trattamento sistematico dell'iniettività e dell'annullamento per i complessi di Du Bois nel contesto di singolarità isolate che non sono necessariamente intersezioni complete locali. Spostando il focus sulla profondità di $H^0\Omega^k_X$ e utilizzando l'iniettività della mappa duale, gli autori offrono una comprensione raffinata del comportamento omologico di tali complessi. I risultati fungono da ponte tra il caso LCI ben compreso e il caso singolare generale, mentre i controesempi forniti chiariscono i confini di questi teoremi di annullamento. Il lavoro getta anche le basi per future indagini sulle singolarità non isolate tramite le congetture proposte.