Injectivity and Vanishing for the Du Bois Complexes of Isolated Singularities

Technische Samenvatting: Injectiviteit en Verdwijning voor de Du Bois-complexen van Geïsoleerde Singulariteiten

Probleemstelling
Het artikel behandelt de homologische eigenschappen van Du Bois-complexen, aangeduid met $\Omega^k_X$, geassocieerd met complexe algebraïsche variëteiten $X$ van dimensie $n$. Hoewel bekend is dat de drager van de cohomologieplanken $H^i\Omega^k_X$ binnen het bereik $[0, n]$ ligt, en een klassiek resultaat van Steenbrink de verdwijning $H^i\Omega^k_X = 0$ voor $i > n-k$ vaststelt, is het gedrag van de cohomologie in het overige bereik minder goed begrepen. Specifiek onderzoeken de auteurs de voorwaarden waaronder hogere cohomologieën verdwijnen (verdwijningsstellingen) en de injectiviteitseigenschappen van de duale van deze complexen. De primaire focus ligt op variëteiten met geïsoleerde singulariteiten, waarbij eerdere resultaten die bekend waren voor hypersurfaces en lokale complete doorsneden (LCI) worden uitgebreid naar deze bredere context. De studie onderzoekt ook analogieën voor intersectiecomplexen en formuleert conjecturen voor het niet-geïsoleerde geval.

Methodologie
De auteurs maken gebruik van een combinatie van Hodge-theoretische technieken, afgeleide categorische argumenten en dualiteitstheorie.

1. Hodge-naar-de Rham Spectrale Sequentie: Een centraal hulpmiddel is de degeneratie bij $E_1$ van de Hodge-naar-de Rham spectrale sequentie voor projectieve variëteiten. Dit stelt de auteurs in staat de cohomologie van de Du Bois-complexen te relateren aan de cohomologie van de constante sheaf.
2. Dualisatie en Injectiviteit: De kern van de technische strategie bestaat uit het analyseren van de morfisme verkregen door de canonieke afbeelding $H^0\Omega^k_X \to \Omega^k_X$ te dualiseren. Specifiek bestuderen de auteurs de afbeelding in de afgeleide categorie:
   $$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)$$
   waarbij $\omega^\bullet_X$ het dualiserende complex is.
3. Reductie tot het Projectieve Geval: Door gebruik te maken van compactificaties en het lokale karakter van het probleem, reduceren de auteurs het algemene geval tot projectieve variëteiten. Zij bewijzen een sterkere stelling waarbij de variëteit globaal pre-$(k-1)$-Du Bois is, maar slechts pre-$k$-Du Bois buiten een eindige verzameling punten.
4. Homologische Algebra: De bewijzen zijn sterk afhankelijk van exacte driehoeken in de afgeleide categorie, eigenschappen van diepte in de afgeleide categorie, en de relatie tussen lokale cohomologische dimensie en de diepte van sheafs.
5. Intersectiecomplexen: Voor het tweede deel van het artikel maken de auteurs gebruik van de theorie van gemengde Hodge-modules, specifiek de relatie tussen de constante Hodge-module $\mathbb{Q}^H_X[n]$ en het intersectiecomplex $IC^H_X$, om analogieën te vestigen voor intersectie Du Bois-complexen ($I\Omega^k_X$).

Belangrijkste Bijdragen en Resultaten

1. Injectiviteitsstelling voor Geïsoleerde Singulariteiten (Stelling D)
Het artikel vestigt een fundamenteel injectiviteitsresultaat voor de cohomologie van de duale van Du Bois-complexen.

• Stelling: Laat $X$ een variëteit zijn met geïsoleerde pre-$(k-1)$-Du Bois singulariteiten. De morfisme
  $$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)$$
  is injectief op cohomologie.
• Betekenis: Dit generaliseert eerdere injectiviteitsstellingen van Kovács-Schwede (voor $k=0$) en resultaten voor LCI-variëteiten (voor willekeurige $k$) naar het geval van willekeurige geïsoleerde singulariteiten. Opmerkelijk is dat de formulering $H^0\Omega^k_X$ gebruikt in plaats van de sheaf van Kähler-differentiaals $\Omega^k_X$ aan de rechterkant, wat noodzakelijk is omdat $\Omega^k_X$ zich mogelijk niet goed gedraagt onder de pre-$(k-1)$-Du Bois-hypothese in het niet-LCI-geval.

2. Verdwijningsstellingen (Stelling A en Corollarium B)
Met behulp van het injectiviteitsresultaat leiden de auteurs verdwijningsuitspraken af voor de cohomologie van Du Bois-complexen.

• Stelling A: Als $X$ geïsoleerde pre-$(k-1)$-Du Bois singulariteiten heeft, dan geldt:
  $$H^i\Omega^k_X = 0 \quad \text{voor} \quad 0 < i < \text{diepte } H^0\Omega^k_X - 1.$$
  Dit biedt een concrete ondergrens voor verdwijning gebaseerd op de diepte van de 0-de cohomologieplank.
• Corollarium B: Als $X$ (pre-)Du Bois is buiten een gesloten deelverzameling van dimensie $s$, dan geldt:
  $$H^i\Omega^0_X = 0 \quad \text{voor} \quad 0 < i < \text{diepte } \mathcal{O}_X - s - 1.$$
  Dit breidt het resultaat van Steenbrink voor $k=0$ uit naar willekeurige singulariteitsverzamelingen.

3. "Schuivende" Verdwijningsregel (Propositie C)
De auteurs identificeren een eenvoudige maar tot nu toe onopgemerkte regel: als $H^{n-p-1}\Omega^p_X = 0$ voor alle $p \le k-1$, dan geldt $H^{n-k}\Omega^k_X = 0$. Dit maakt de propagatie van verdwijningsresultaten over verschillende graden mogelijk.

4. Toepassingen op Rationale Singulariteiten
De injectiviteitsstelling biedt een beknopt bewijs dat $k$-rationale singulariteiten $k$-Du Bois singulariteiten impliceren in het geïsoleerde geval. Dit herstelt bekende resultaten voor LCI-variëteiten en breidt deze uit naar geïsoleerde singulariteiten zonder een beroep te doen op de Hodge-filtratie op lokale cohomologie (die voor niet-LCI-gevallen nog niet volledig is ontwikkeld).

5. Analogieën voor Intersectiecomplexen
Het artikel vestigt parallelle resultaten voor intersectie Du Bois-complexen ($I\Omega^k_X$).

• Stelling 10.3: Een injectiviteitsresultaat dat de duale van $\Omega^k_X$ en $I\Omega^k_X$ relateert.
• Corollarium 11.3: Onder voorwaarden van geïsoleerde singulariteiten of LCI geldt de verdwijningsstelling voor intersectiecomplexen: $H^i I\Omega^k_X = 0$ voor $0 < i < \text{diepte } H^0 I\Omega^k_X - s - 1$.

6. Niet-verdwijnende Voorbeelden en Beperkingen
Het artikel levert tegenvoorbeelden (Voorbeelden 7.8, 7.9, 7.11) die aantonen dat verdwijningsresultaten voor lokale complete doorsneden niet automatisch uitbreiden naar willekeurige Cohen-Macaulay-variëteiten of algemene geïsoleerde singulariteiten zonder specifieke dieptevoorwaarden. Deze voorbeelden benadrukken dat de diepte van $H^0\Omega^k_X$ strikt kleiner kan zijn dan de grenzen die uitsluitend door dimensie en codimensie worden voorspeld.

Conjecturen
De auteurs stellen twee grote conjecturen voor het algemene (niet-geïsoleerde) geval:

• Conjectuur G: De injectiviteitsstelling (Stelling D) geldt voor variëteiten met pre-$(k-1)$-Du Bois singulariteiten zonder de aanname van geïsoleerde singulariteiten.
• Conjectuur H: De verdwijningsstelling (Stelling A) geldt voor variëteiten die pre-$(k-1)$-Du Bois en pre-$k$-Du Bois zijn buiten een gesloten deelverzameling van dimensie $s$.

Betekenis en Aanspraken
Het artikel claimt de eerste systematische behandeling te bieden van injectiviteit en verdwijning voor Du Bois-complexen in de context van geïsoleerde singulariteiten die niet noodzakelijk lokale complete doorsneden zijn. Door de focus te verschuiven naar de diepte van $H^0\Omega^k_X$ en gebruik te maken van de injectiviteit van de duale afbeelding, bieden de auteurs een verfijnd begrip van het homologische gedrag van deze complexen. De resultaten dienen als een brug tussen het goed begrepen LCI-geval en het algemene singuliere geval, terwijl de geleverde tegenvoorbeelden de grenzen van deze verdwijningsstellingen verduidelijken. Het werk legt ook de basis voor toekomstige onderzoeken naar niet-geïsoleerde singulariteiten via de voorgestelde conjecturen.