Injectivity and Vanishing for the Du Bois Complexes of Isolated Singularities

Resumo Técnico: Injetividade e Anulação para os Complexos de Du Bois de Singularidades Isoladas

Enunciado do Problema
O artigo aborda as propriedades homológicas dos complexos de Du Bois, denotados por $\Omega^k_X$, associados a variedades algébricas complexas $X$ de dimensão $n$. Embora o suporte das feixes de cohomologia $H^i\Omega^k_X$ seja conhecido por estar contido no intervalo $[0, n]$, e um resultado clássico de Steenbrink estabeleça a anulação $H^i\Omega^k_X = 0$ para $i > n-k$, o comportamento da cohomologia no intervalo restante é menos compreendido. Especificamente, os autores investigam as condições sob as quais as cohomologias superiores se anulam (teoremas de anulação) e as propriedades de injetividade dos duais desses complexos. O foco principal recai sobre variedades com singularidades isoladas, estendendo resultados anteriores conhecidos para hipersuperfícies e interseções completas locais (ICL) para este cenário mais amplo. O estudo também explora análogos para complexos de interseção e formula conjecturas para o caso não isolado.

Metodologia
Os autores empregam uma combinação de técnicas de teoria de Hodge, argumentos de categoria derivada e teoria de dualidade.

1. Sequência Espectral de Hodge para de Rham: Uma ferramenta central é a degeneração em $E_1$ da sequência espectral de Hodge para de Rham para variedades projetivas. Isso permite aos autores relacionar a cohomologia dos complexos de Du Bois à cohomologia do feixe constante.
2. Dualização e Injetividade: A estratégia técnica central envolve analisar o morfismo obtido ao dualizar o mapa canônico $H^0\Omega^k_X \to \Omega^k_X$. Especificamente, os autores estudam o mapa na categoria 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)$$
   onde $\omega^\bullet_X$ é o complexo dualizante.
3. Redução ao Caso Projetivo: Ao utilizar compactificações e a natureza local do problema, os autores reduzem o caso geral a variedades projetivas. Eles provam uma afirmação mais forte onde a variedade é pré-$(k-1)$-Du Bois globalmente, mas pré-$k$-Du Bois apenas fora de um conjunto finito de pontos.
4. Álgebra Homológica: As provas dependem fortemente de triângulos exatos na categoria derivada, propriedades de profundidade na categoria derivada e da relação entre a dimensão cohomológica local e a profundidade dos feixes.
5. Complexos de Interseção: Para a segunda parte do artigo, os autores utilizam a teoria dos módulos de Hodge mistos, especificamente a relação entre o módulo de Hodge constante $\mathbb{Q}^H_X[n]$ e o complexo de interseção $IC^H_X$, para estabelecer análogos para os complexos de Du Bois de interseção ($I\Omega^k_X$).

Principais Contribuições e Resultados

1. Teorema de Injetividade para Singularidades Isoladas (Teorema D)
O artigo estabelece um resultado fundamental de injetividade para a cohomologia dos duais dos complexos de Du Bois.

• Teorema: Seja $X$ uma variedade com singularidades pré-$(k-1)$-Du Bois isoladas. O 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)$$
  é injetivo na cohomologia.
• Significado: Isso generaliza teoremas de injetividade anteriores de Kovács-Schwede (para $k=0$) e resultados para variedades ICL (para $k$ arbitrário) para o caso de singularidades isoladas arbitrárias. Notavelmente, a formulação utiliza $H^0\Omega^k_X$ em vez do feixe de diferenciais de Kähler $\Omega^k_X$ no lado direito, o que é necessário porque $\Omega^k_X$ pode não se comportar bem sob a hipótese pré-$(k-1)$-Du Bois no caso não-ICL.

2. Teoremas de Anulação (Teorema A e Corolário B)
Usando o resultado de injetividade, os autores derivam afirmações de anulação para a cohomologia dos complexos de Du Bois.

• Teorema A: Se $X$ possui singularidades pré-$(k-1)$-Du Bois isoladas, então:
  $$H^i\Omega^k_X = 0 \quad \text{para} \quad 0 < i < \text{profundidade } H^0\Omega^k_X - 1.$$
  Isso fornece um limite concreto para a anulação baseado na profundidade do feixe de cohomologia de ordem 0.
• Corolário B: Se $X$ é (pré-)Du Bois fora de um subconjunto fechado de dimensão $s$, então:
  $$H^i\Omega^0_X = 0 \quad \text{para} \quad 0 < i < \text{profundidade } \mathcal{O}_X - s - 1.$$
  Isso estende o resultado de Steenbrink para $k=0$ para conjuntos de singularidades arbitrários.

3. Regra de Anulação "Deslizante" (Proposição C)
Os autores identificam uma regra simples, mas anteriormente não notada: se $H^{n-p-1}\Omega^p_X = 0$ para todo $p \le k-1$, então $H^{n-k}\Omega^k_X = 0$. Isso permite a propagação de resultados de anulação através de diferentes graus.

4. Aplicações a Singularidades Racionais
O teorema de injetividade fornece uma prova concisa de que singularidades $k$-racionais implicam singularidades $k$-Du Bois no caso isolado. Isso recupera resultados conhecidos para variedades ICL e estende-os para singularidades isoladas sem depender da filtração de Hodge na cohomologia local (que ainda não está totalmente desenvolvida para casos não-ICL).

5. Análogos para Complexos de Interseção
O artigo estabelece resultados paralelos para os complexos de Du Bois de interseção ($I\Omega^k_X$).

• Teorema 10.3: Um resultado de injetividade relacionando os duais de $\Omega^k_X$ e $I\Omega^k_X$.
• Corolário 11.3: Sob condições de singularidades isoladas ou ICL, o teorema de anulação para complexos de interseção vale: $H^i I\Omega^k_X = 0$ para $0 < i < \text{profundidade } H^0 I\Omega^k_X - s - 1$.

6. Exemplos de Não-Anulação e Limitações
O artigo fornece contraexemplos (Exemplos 7.8, 7.9, 7.11) demonstrando que os resultados de anulação para interseções completas locais não se estendem automaticamente para variedades de Cohen-Macaulay arbitrárias ou singularidades isoladas gerais sem condições específicas de profundidade. Esses exemplos destacam que a profundidade de $H^0\Omega^k_X$ pode ser estritamente menor do que os limites previstos pela dimensão e codimensão sozinhas.

Conjecturas
Os autores propõem duas conjecturas principais para o caso geral (não isolado):

• Conjectura G: O teorema de injetividade (Teorema D) vale para variedades com singularidades pré-$(k-1)$-Du Bois sem a suposição de singularidade isolada.
• Conjectura H: O teorema de anulação (Teorema A) vale para variedades que são pré-$(k-1)$-Du Bois e pré-$k$-Du Bois fora de um subconjunto fechado de dimensão $s$.

Significado e Afirmações
O artigo afirma fornecer o primeiro tratamento sistemático da injetividade e anulação para complexos de Du Bois no contexto de singularidades isoladas que não são necessariamente interseções completas locais. Ao deslocar o foco para a profundidade de $H^0\Omega^k_X$ e utilizar a injetividade do mapa dual, os autores oferecem uma compreensão refinada do comportamento homológico desses complexos. Os resultados servem como uma ponte entre o caso ICL bem compreendido e o caso singular geral, enquanto os contraexemplos fornecidos esclarecem os limites desses teoremas de anulação. O trabalho também estabelece as bases para futuras investigações sobre singularidades não isoladas por meio das conjecturas propostas.