Injectivity and Vanishing for the Du Bois Complexes of Isolated Singularities

Resumen Técnico: Inyectividad y Anulación para los Complejos de Du Bois de Singularidades Aisladas

Planteamiento del Problema
El artículo aborda las propiedades homológicas de los complejos de Du Bois, denotados $\Omega^k_X$, asociados a variedades algebraicas complejas $X$ de dimensión $n$. Si bien se sabe que el soporte de las haces de cohomología $H^i\Omega^k_X$ se encuentra dentro del rango $[0, n]$, y un resultado clásico de Steenbrink establece la anulación $H^i\Omega^k_X = 0$ para $i > n-k$, el comportamiento de la cohomología en el rango restante es menos comprendido. Específicamente, los autores investigan las condiciones bajo las cuales las cohomologías superiores se anulan (teoremas de anulación) y las propiedades de inyectividad de los duales de estos complejos. El enfoque principal recae en variedades con singularidades aisladas, extendiendo resultados previos conocidos para hipersuperficies e intersecciones completas locales (LCI) a este contexto más amplio. El estudio también explora análogos para complejos de intersección y formula conjeturas para el caso no aislado.

Metodología
Los autores emplean una combinación de técnicas de teoría de Hodge, argumentos de categorías derivadas y teoría de dualidad.

1. Sucesión Espectral de Hodge a De Rham: Una herramienta central es la degeneración en $E_1$ de la sucesión espectral de Hodge a De Rham para variedades proyectivas. Esto permite a los autores relacionar la cohomología de los complejos de Du Bois con la cohomología del haz constante.
2. Dualización e Inyectividad: La estrategia técnica central implica analizar el morfismo obtenido al dualizar el mapa canónico $H^0\Omega^k_X \to \Omega^k_X$. Específicamente, los autores estudian el mapa en la categoría derivada:
   $$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)$$
   donde $\omega^\bullet_X$ es el complejo dualizante.
3. Reducción al Caso Proyectivo: Mediante el uso de compactificaciones y la naturaleza local del problema, los autores reducen el caso general a variedades proyectivas. Demuestran una afirmación más fuerte donde la variedad es pre-$(k-1)$-Du Bois globalmente, pero solo pre-$k$-Du Bois fuera de un conjunto finito de puntos.
4. Álgebra Homológica: Las pruebas dependen en gran medida de triángulos exactos en la categoría derivada, propiedades de la profundidad en la categoría derivada y la relación entre la dimensión cohomológica local y la profundidad de los haces.
5. Complejos de Intersección: Para la segunda parte del artículo, los autores utilizan la teoría de módulos de Hodge mixtos, específicamente la relación entre el módulo de Hodge constante $\mathbb{Q}^H_X[n]$ y el complejo de intersección $IC^H_X$, para establecer análogos para los complejos de Du Bois de intersección ($I\Omega^k_X$).

Contribuciones y Resultados Clave

1. Teorema de Inyectividad para Singularidades Aisladas (Teorema D)
El artículo establece un resultado fundamental de inyectividad para la cohomología de los duales de los complejos de Du Bois.

• Teorema: Sea $X$ una variedad con singularidades aisladas pre-$(k-1)$-Du Bois. El 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)$$
  es inyectivo en cohomología.
• Significado: Esto generaliza teoremas de inyectividad previos de Kovács-Schwede (para $k=0$) y resultados para variedades LCI (para $k$ arbitrario) al caso de singularidades aisladas arbitrarias. Cabe destacar que la formulación utiliza $H^0\Omega^k_X$ en lugar del haz de formas diferenciales de Kähler $\Omega^k_X$ en el lado derecho, lo cual es necesario porque $\Omega^k_X$ puede no comportarse bien bajo la hipótesis pre-$(k-1)$-Du Bois en el caso no LCI.

2. Teoremas de Anulación (Teorema A y Corolario B)
Utilizando el resultado de inyectividad, los autores derivan afirmaciones de anulación para la cohomología de los complejos de Du Bois.

• Teorema A: Si $X$ tiene singularidades aisladas pre-$(k-1)$-Du Bois, entonces:
  $$H^i\Omega^k_X = 0 \quad \text{para} \quad 0 < i < \text{profundidad } H^0\Omega^k_X - 1.$$
  Esto proporciona un límite concreto para la anulación basado en la profundidad del haz de cohomología 0-ésima.
• Corolario B: Si $X$ es (pre-)Du Bois fuera de un subconjunto cerrado de dimensión $s$, entonces:
  $$H^i\Omega^0_X = 0 \quad \text{para} \quad 0 < i < \text{profundidad } \mathcal{O}_X - s - 1.$$
  Esto extiende el resultado de Steenbrink para $k=0$ a conjuntos de singularidades arbitrarios.

3. Regla de Anulación "Deslizante" (Proposición C)
Los autores identifican una regla simple pero previamente no notada: si $H^{n-p-1}\Omega^p_X = 0$ para todo $p \le k-1$, entonces $H^{n-k}\Omega^k_X = 0$. Esto permite la propagación de resultados de anulación a través de diferentes grados.

4. Aplicaciones a Singularidades Racionales
El teorema de inyectividad proporciona una prueba concisa de que las singularidades $k$-racionales implican singularidades $k$-Du Bois en el caso aislado. Esto recupera resultados conocidos para variedades LCI y los extiende a singularidades aisladas sin depender de la filtración de Hodge en la cohomología local (la cual aún no está completamente desarrollada para casos no LCI).

5. Análogos para Complejos de Intersección
El artículo establece resultados paralelos para los complejos de Du Bois de intersección ($I\Omega^k_X$).

• Teorema 10.3: Un resultado de inyectividad que relaciona los duales de $\Omega^k_X$ e $I\Omega^k_X$.
• Corolario 11.3: Bajo condiciones de singularidades aisladas o LCI, se cumple el teorema de anulación para complejos de intersección: $H^i I\Omega^k_X = 0$ para $0 < i < \text{profundidad } H^0 I\Omega^k_X - s - 1$.

6. Ejemplos de No Anulación y Limitaciones
El artículo proporciona contraejemplos (Ejemplos 7.8, 7.9, 7.11) que demuestran que los resultados de anulación para intersecciones completas locales no se extienden automáticamente a variedades de Cohen-Macaulay arbitrarias o a singularidades aisladas generales sin condiciones específicas de profundidad. Estos ejemplos destacan que la profundidad de $H^0\Omega^k_X$ puede ser estrictamente menor que los límites predichos por la dimensión y la codimensión por sí solas.

Conjeturas
Los autores proponen dos conjeturas principales para el caso general (no aislado):

• Conjetura G: El teorema de inyectividad (Teorema D) se cumple para variedades con singularidades pre-$(k-1)$-Du Bois sin la suposición de singularidad aislada.
• Conjetura H: El teorema de anulación (Teorema A) se cumple para variedades que son pre-$(k-1)$-Du Bois y pre-$k$-Du Bois fuera de un subconjunto cerrado de dimensión $s$.

Significado y Afirmaciones
El artículo afirma proporcionar el primer tratamiento sistemático de la inyectividad y la anulación para los complejos de Du Bois en el contexto de singularidades aisladas que no son necesariamente intersecciones completas locales. Al desplazar el enfoque hacia la profundidad de $H^0\Omega^k_X$ y utilizar la inyectividad del mapa dual, los autores ofrecen una comprensión refinada del comportamiento homológico de estos complejos. Los resultados sirven como puente entre el caso LCI bien comprendido y el caso singular general, mientras que los contraejemplos proporcionados clarifican los límites de estos teoremas de anulación. El trabajo también sienta las bases para futuras investigaciones sobre singularidades no aisladas a través de las conjeturas propuestas.