Local Cohomological Defect and a Conjecture of Mustata-Popa

Resumo Técnico: Defeito Cohomológico Local e uma Conjectura de Mustat¸˘a-Popa

Enunciado do Problema
O artigo investiga o defeito cohomológico local ($lcdef$), um invariante de singularidade para variedades algébricas complexas que atraiu interesse recentemente devido às suas caracterizações topológicas e holomorfas e seu papel em teoremas do tipo Lefschetz. Para uma variedade algébrica complexa $X$ de dimensão $n$ imersa em uma variedade suave $Y$ de dimensão $d$, $lcdef(X)$ é definido como $\max\{q : H^q_X(\mathcal{O}_Y) \neq 0\} - c$, onde $c = d-n$.

Uma fórmula central estabelecida por Mustat¸˘a e Popa [MP22] expressa $lcdef(X)$ em termos dos profundidades (depths) dos complexos Du Bois $\Omega^p_X$:
$$lcdef(X) = n - \min_{0 \le p \le n} \{ \text{depth } \Omega^p_X + p \}.$$
Embora essa fórmula seja independente do imersão, computá-la a priori requer determinar $\text{depth } \Omega^p_X$ para todo $p \le n$. Resultados anteriores por Ogus [Og73] e Dao-Takagi [DT16] estabeleceram que para valores pequenos de $k$ (especificamente $k \le 3$), a condição $\text{depth } \mathcal{O}_X \ge k$ implica $lcdef(X) \le n-k$. No entanto, esse padrão falha para $k > 3$. O artigo visa:

1. Determinar o intervalo mínimo de $p$ necessário para computar $lcdef(X)$.
2. Provar uma conjectura de Mustat¸˘a-Popa referente ao desaparecimento de imagens diretas superiores de formas diferenciais logarítmicas.
3. Fornecer um critério refinado para limitar $lcdef(X)$ que estende os resultados conhecidos de Dao-Takagi e Park-Popa [PP25].

Metodologia
O artigo baseia-se fundamentalmente na teoria de módulos de Hodge mistos (Saito [Sa88, Sa90]). A abordagem técnica central envolve identificar os complexos Du Bois com as partes graduadas de de Rham dos módulos de Hodge mistos triviais $\mathbb{Q}^H_X[n]$.

Principais etapas metodológicas incluem:

• Identificação de Complexos: Utilizar o resultado de Saito que $\Omega^p_X \cong \text{gr}^F_{-p} DR(\mathbb{Q}^H_X[n])[p-n]$. Isso permite a tradução de questões de profundidade sobre complexos Du Bois em questões de desaparecimento sobre as partes graduadas de de Rham de módulos de Hodge mistos.
• Análise da Filtração de Peso: A prova utiliza a filtração de peso $W_\bullet$ em módulos de Hodge mistos. Especificamente, o artigo analisa o objeto de "defeito RHM" $K^\bullet_X$, definido via o triângulo distinguido envolvendo o módulo de Hodge de cohomologia de interseção $IC^H_X$. Uma observação crucial é que, embora $\mathbb{Q}^H_X[n]$ não possua os limites de peso necessários, o objeto de defeito $K^\bullet_X$ (e seu dual) satisfaz restrições de peso específicas ($\le n-1$ e $\ge -n+1$, respectivamente).
• Argumentos de Sequência Espectral: Os autores empregam sequências espectrais que relacionam a cohomologia das partes graduadas de de Rham com a cohomologia dos módulos subjacentes. Um lema técnico fundamental (Proposição 6.5) estabelece um enunciado de desaparecimento abstrato: se as partes graduadas de de Rham desaparecem para índices baixos $p \le m$ e graus cohomológicos altos $j \ge c$, elas também devem desaparecer para um intervalo simétrico de índices altos $p \ge -c - m - w$, desde que o módulo tenha pesos $\ge w$.
• Funções de Perversidade: O artigo introduz uma família de "defeitos de perversidade" $pdef(X, d)$ parametrizados por inteiros $0 \le d \le n$. Estes generalizam $lcdef(X)$ (que corresponde à perversidade média $d=n$) e o defeito construtível (perversidade zero $d=0$). Eles são interpretados via a cohomologia de pequenas vizinhanças perfuradas de pontos em uma estratificação de Whitney.

Contribuições e Resultados Principais

1. Redução de Computação (Teorema A):
   O artigo prova que, para determinar se $lcdef(X) \le n-k$, não é necessário verificar todos os $p$. Basta verificar a condição $\text{depth } \Omega^p_X + p \ge k$ apenas para $p \le \lceil (k-3)/2 \rceil$.

   • Significância: Isso recupera e estende levemente os resultados de Ogus e Dao-Takagi para $k \le 3$ e explica por que o simples padrão envolvendo apenas $\text{depth } \mathcal{O}_X$ falha para $k > 3$.

2. Propagação de Profundidade Geral (Teorema B):
   Um resultado mais geral afirma que, se $\text{depth } \Omega^p_X + p \ge k$ para todo $p \le m$, então a mesma desigualdade vale para todo $p \ge k - m - 2$. Este é o motor que impulsiona a redução no Teorema A.

3. Prova da Conjectura de Mustat¸˘a-Popa (Corolário D):
   O artigo prova a Conjectura 14.1 de [MP22]: Se $\text{depth } \mathcal{O}_X \ge j+2$, então $R^{d-2}f_* \Omega^{d-j}_Y(\log E) = 0$ para uma resolução logarítmica $f: Z \to Y$.

   • Mecanismo: Usando o Teorema B com $m=0$, os autores mostram que $\text{depth } \Omega^0_X \ge j+2$ implica $\text{depth } \Omega^j_X \ge 2$. Como $\text{depth } \Omega^0_X \ge \text{depth } \mathcal{O}_X$, a conjectura segue. Isso estende o conhecimento prévio que era limitado a singularidades isoladas ou singularidades racionais fora de um conjunto finito.

4. Limites Refinados via Defeitos de Perversidade (Teorema F):
   O artigo fornece uma condição necessária e suficiente para $lcdef(X) \le n-k$ que generaliza os critérios de Dao-Takagi e Park-Popa. Especificamente, $lcdef(X) \le n-k$ se e somente se:

   • $\text{depth } \Omega^p_X + p \ge k$ para todo $p \le m$ (para um $m$ fixo), E
   • $pdef(X, k - 2m - 4) \le n - k$.
   • Significância: Esta formulação captura a "falha" do simples padrão de profundidade para $k > 3$ ao introduzir o termo de defeito de perversidade, que mede a cohomologia de vizinhanças perfuradas em relação a funções de perversidade específicas.

5. Fórmulas Explícitas para Casos Específicos:

   • Corolário 7.11 (Teorema E): Se $X$ satisfaz $\text{depth } \Omega^p_X + p \ge n$ para $p \le m-1$ e $\text{depth } \Omega^m_X \le m+3$, então $lcdef(X)$ é explicitamente determinado por $\max\{0, n - \text{depth } \Omega^m_X - m\}$.
   • Corolário 8.5: Para $k$ par, $lcdef(X) \le n-k$ é equivalente a $\text{depth } \Omega^p_X + p \ge k$ para $p \le (k-4)/2$ e o defeito construtível $cdef(X) \le n-k$.

Significância e Alegações
O artigo afirma fornecer uma "imagem completa" do defeito cohomológico local ao:

• Explicar a falha do padrão $\text{depth } \mathcal{O}_X \ge k \implies lcdef(X) \le n-k$ para $k > 3$.
• Provar a conjectura de Mustat¸˘a-Popa em sua total generalidade, removendo as restrições anteriores sobre as singularidades de $X$.
• Oferecer um quadro unificado usando módulos de Hodge mistos e defeitos de perversidade que subsume e melhora os limites existentes (especificamente os de Ogus, Dao-Takagi e Park-Popa).
• Fornecer uma explicação direta para a equivalência entre as caracterizações topológica e holomorfa de $lcdef(X)$, uma questão levantada em [MP22].

Os autores enfatizam que seus resultados são derivados estritamente da teoria de módulos de Hodge mistos e não dependem de novos dados experimentais ou implicações futuras não provadas. O trabalho é apresentado como uma resolução teórica para problemas abertos específicos no estudo de singularidades e teoria de Hodge.