Local Cohomological Defect and a Conjecture of Mustata-Popa

Resumen Técnico: Defecto Cohomológico Local y una Conjetura de Mustat¸˘a-Popa

Planteamiento del Problema
El artículo investiga el defecto cohomológico local ($lcdef$), un invariante de singularidad para variedades algebraicas complejas que ha atraído interés recientemente debido a sus caracterizaciones topológicas y holomorfas y su papel en los teoremas de tipo Lefschetz. Para una variedad algebraica compleja $X$ de dimensión $n$ embebida en una variedad suave $Y$ de dimensión $d$, $lcdef(X)$ se define como $\max\{q : H^q_X(\mathcal{O}_Y) \neq 0\} - c$, donde $c = d-n$.

Una fórmula central establecida por Mustat¸˘a y Popa [MP22] expresa $lcdef(X)$ en términos de las profundidades de los complejos Du Bois $\Omega^p_X$:
$$lcdef(X) = n - \min_{0 \le p \le n} \{ \text{depth } \Omega^p_X + p \}.$$
Resultados previos de Ogus [Og73] y Dao-Takagi [DT16] establecieron que para valores pequeños de $k$ (específicamente $k \le 3$), la condición $\text{depth } \mathcal{O}_X \ge k$ implica $lcdef(X) \le n-k$. Sin embargo, este patrón falla para $k > 3$. El artículo tiene como objetivo:

1. Determinar el rango mínimo de $p$ requerido para computar $lcdef(X)$.
2. Probar una conjetura de Mustat¸˘a-Popa relativa al desvanecimiento de las imágenes directas superiores de las formas diferenciales logarítmicas.
3. Proporcionar un criterio refinado para acotar $lcdef(X)$ que extienda los resultados conocidos de Dao-Takagi y Park-Popa [PP25].

Metodología
El artículo se basa fundamentalmente en la teoría de módulos de Hodge mixtos (Saito [Sa88, Sa90]). El núcleo del enfoque técnico consiste en identificar los complejos Du Bois con las piezas graduadas de de Rham de el módulo de Hodge trivial $\mathbb{Q}^H_X[n]$.

Pasos metodológicos clave incluyen:

• Identificación de Complejos: Utilizando el resultado de Saito $\Omega^p_X \cong \text{gr}^F_{-p} DR(\mathbb{Q}^H_X[n])[p-n]$. Esto permite la traslación de preguntas de profundidad sobre los complejos Du Bois hacia preguntas de desvanecimiento sobre las piezas graduadas de de Rham de los módulos de Hodge mixtos.
• Análisis de la Filtración de Peso: La prueba aprovecha la filtración de peso $W_\bullet$ en los módulos de Hodge mixtos. Específicamente, el artículo analiza el objeto "defecto RHM" $K^\bullet_X$, definido mediante el triángulo distinguido que involucra al módulo de Hodge de cohomología intermedia $IC^H_X$. Una observación crucial es que, si bien $\mathbb{Q}^H_X[n]$ no posee los límites de peso necesarios, el objeto de defecto $K^\bullet_X$ (y su dual) satisface restricciones de peso específicas ($\le n-1$ y $\ge -n+1$ respectivamente).
• Argumentos de Sucesiones Espectrales: Los autores emplean sucesiones espectrales que relacionan la cohomología de las piezas graduadas de de Rham con la cohomología de los módulos subyacentes. Un lema técnico clave (Proposición 6.5) establece un enunciado de desvanecimiento abstracto: si las piezas graduadas de de Rham se desvanecen para índices bajos $p \le m$ y grados cohomológicos altos $j \ge c$, también deben desvanecerse para un rango simétrico de índices altos $p \ge -c - m - w$, siempre que el módulo tenga pesos $\ge w$.
• Funciones de Perversidad: El artículo introduce una familia de "defectos de perversidad" $pdef(X, d)$ parametrizados por enteros $0 \le d \le n$. Estos generalizan a $lcdef(X)$ (que corresponde a la perversidad media $d=n$) y al defecto constructible (perversidad cero $d=0$). Estos se interpretan mediante la cohomología de vecindarios punteados pequeños de un punto en una estratificación de Whitney.

Contribuciones Clave y Resultados

1. Reducción de la Computación (Teorema A):
   El artículo demuestra que para determinar si $lcdef(X) \le n-k$, no es necesario verificar todos los $p$. Basta con verificar la condición $\text{depth } \Omega^p_X + p \ge k$ solo para $p \le \lceil (k-3)/2 \rceil$.

   • Significancia: Esto recupera y extiende ligeramente los resultados de Ogus y Dao-Takagi para $k \le 3$ y explica por qué el simple patrón que involucra únicamente a $\text{depth } \mathcal{O}_X$ falla para $k > 3$.

2. Propagación General de Profundidad (Teorema B):
   Un resultado más general establece que si $\text{depth } \Omega^p_X + p \ge k$ para todo $p \le m$, entonces la misma desigualdad se cumple para todo $p \ge k - m - 2$. Este es el motor que impulsa la reducción en el Teorema A.

3. Prueba de la Conjetura de Mustat¸˘a-Popa (Corolario D):
   El artículo demuestra la Conjetura 14.1 de [MP22]: Si $\text{depth } \mathcal{O}_X \ge j+2$, entonces $R^{d-2}f_* \Omega^{d-j}_Y(\log E) = 0$ para una resolución logarítmica $f: Z \to Y$.

   • Mecanismo: Usando el Teorema B con $m=0$, los autores muestran que $\text{depth } \Omega^0_X \ge j+2$ implica $\text{depth } \Omega^j_X \ge 2$. Dado que $\text{depth } \Omega^0_X \ge \text{depth } \mathcal{O}_X$, la conjetura se sigue. Esto extiende el conocimiento previo que estaba limitado a singularidades aisladas o singularidades racionales fuera de un conjunto finito.

4. Límites Refinados mediante Defectos de Perversidad (Teorema F):
   El artículo proporciona una condición necesaria y suficiente para $lcdef(X) \le n-k$ que generaliza los criterios de Dao-Takagi y Park-Popa. Específicamente, $lcdef(X) \le n-k$ si y solo si:

   • $\text{depth } \Omega^p_X + p \ge k$ para todo $p \le m$ (para un $m$ fijo), Y
   • $pdef(X, k - 2m - 4) \le n - k$.
   • Significancia: Esta formulación captura el "fallo" del simple patrón de profundidad para $k > 3$ al introducir el término del defecto de perversidad, que mide la cohomología de los vecindarios punteados respecto a funciones de perversidad específicas.

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

   • Corolario 7.11 (Teorema E): Si $X$ satisface $\text{depth } \Omega^p_X + p \ge n$ para $p \le m-1$ y $\text{depth } \Omega^m_X \le m+3$, entonces $lcdef(X)$ está determinado explícitamente por $\max\{0, n - \text{depth } \Omega^m_X - m\}$.
   • Corolario 8.5: Para $k$ par, $lcdef(X) \le n-k$ es equivalente a $\text{depth } \Omega^p_X + p \ge k$ para $p \le (k-4)/2$ y el defecto constructible $cdef(X) \le n-k$.

Significancia y Reivindicaciones
El artículo afirma proporcionar una "imagen completa" del defecto cohomológico local al:

• Explicar el fallo del patrón $\text{depth } \mathcal{O}_X \ge k \implies lcdef(X) \le n-k$ para $k > 3$.
• Probar la conjetura de Mustat¸˘a-Popa en su total generalidad, eliminando las restricciones previas sobre las singularidades de $X$.
• Ofrecer un marco unificado utilizando módulos de Hodge mixtos y defectos de perversidad que subsume y mejora los límites existentes (específicamente los de Ogus, Dao-Takagi y Park-Popa).
• Proporcionar una explicación directa para la equivalencia entre las caracterizaciones topológica y holomorfa de $lcdef(X)$, una cuestión planteada en [MP22].

Los autores enfatizan que sus resultados se derivan estrictamente de la teoría de los módulos de Hodge mixtos y no dependen de nuevos datos experimentales o implicaciones futuras no probadas. El trabajo se presenta como una resolución teórica a problemas abiertos específicos en el estudio de las singularidades y la teoría de Hodge.