Resumen Técnico: Teorema de Soporte de Jacobianas Compactificadas Universales

1. Enunciado del Problema

El artículo aborda la estructura geométrica y cohomológica de la jacobiana compactificada universal $\overline{\mathcal{J}}^{d,\phi}_{g,n}$ sobre el pila de móduli de curvas estables marcadas $\mathcal{M}_{g,n}$. Si bien se sabe que la cohomología de estos espacios es invariante bajo la elección del grado $d$ y las condiciones de estabilidad no degeneradas $\phi$ (demostrado por Migliorini–Shende–Viviani [MSV21]), la geometría se vuelve significativamente más compleja cuando $\phi$ es degenerada. En el caso degenerado, la presencia de haces estrictamente semiestables introduce singularidades severas sobre las estratificaciones frontera de $\mathcal{M}_{g,n}$.

El problema central es determinar el soporte de los sumandos directos que aparecen en la descomposición BBDG (Beilinson–Bernstein–Deligne–Gabber) del empuje directo derivado del complejo de cohomología de intersección, $R\overline{\pi}_* IC(\overline{\mathcal{J}}^{d,\phi}_{g,n})$, donde $\overline{\pi}$ es el mapa de olvido hacia la base. Específicamente, el autor busca demostrar que cada sumando directo tiene soporte completo sobre la base $\mathcal{M}_{g,n}$, extendiendo el "teorema de soporte" conocido para fibraciones de Hitchin y jacobianas no degeneradas a este entorno universal más singular.

2. Metodología

El artículo emplea dos enfoques metodológicos distintos para establecer el resultado principal:

Enfoque A: Teorema de Soporte de Ngô Generalizado

La prueba principal sintetiza técnicas de la teoría de fibraciones abelianas débiles y haces perversos equivariantes.

1. Rigidificación y Espacios de Módulos Buenos: La aplicación directa del teorema de soporte de Ngô se ve obstaculizada porque la pila de la jacobiana compactificada universal no es propia sobre $\mathcal{M}_{g,n}$, y la acción de traslación natural del grupo de Picard relativo no desciende al espacio de móduli grueso debido a los automorfismos. Para resolver esto, el autor trabaja con el espacio de módulos bueno relativo $\overline{\mathcal{J}}^{d,\phi}_{g,n}$, que rigidifica los automorfismos verticales mientras preserva la base $\mathcal{M}_{g,n}$.
2. Cambio de Base: Para evitar sutilezas técnicas relacionadas con pilas de cociente finitas, el morfismo se cambia de base a lo largo de una cubierta étales finita $B \to \mathcal{M}_{g,n}$ (un espacio de estructura de nivel de Teichmüller), resultando en una variedad suave $B$.
3. Verificación de Hipótesis: El autor verifica que la terna $(\widetilde{\mathcal{J}}^{d,\phi}_B, P, B)$, donde $P$ es la variedad de Picard relativa, forma una fibra abeliana débil en el sentido de Maulik y Shen [MS23]. Esto implica verificar:
   • Propiedad y dimensión pura de las fibras.
   • Estabilizadores afines para la acción del grupo.
   • $\delta$-regularidad: Una condición que relaciona la codimensión de las estratificaciones en la base con la dimensión de la parte afín del grupo estabilizador.
4. Teorema de Descomposición: Utilizando el teorema de soporte generalizado (Teorema 2.2), el autor demuestra que cualquier soporte $Z$ de la descomposición debe satisfacer $\text{codim } Z \leq \delta_Z$. Combinado con la $\delta$-regularidad, esto fuerza a que $Z$ sea toda la base.
5. Descenso: El resultado se desciende de la cubierta $B$ de vuelta a $\mathcal{M}_{g,n}$ utilizando el formalismo de la categoría derivada equivariante.

Enfoque B: Variación de Condiciones de Estabilidad

Se proporciona una segunda prueba independiente para el caso $n \geq 1$ (y adaptada para $n=0$ mediante vecindades étales).

1. Cruce de Muros: El autor utiliza la estructura de muros y cámaras del espacio de estabilidad $V^d_{g,n}$. Para una condición de estabilidad degenerada $\phi$, se elige una condición no degenerada cercana $\phi'$.
2. Morfismo Propio: Una inclusión de pilas de móduli induce un morfismo propio y sobreyectivo $r: \mathcal{J}^{d,\phi'}_{g,n} \to \mathcal{J}^{d,\phi}_{g,n}$ entre sus espacios de módulos buenos relativos.
3. Reducción: Dado que $\mathcal{J}^{d,\phi'}_{g,n}$ es suave (para $\phi'$ no degenerado), su complejo de intersección es un haz constante desplazado. El teorema de soporte conocido para jacobianas no degeneradas [MSV21] se aplica al empuje directo de este haz constante.
4. Argumento de Sumando Directo: Se demuestra que el complejo de intersección $IC(\mathcal{J}^{d,\phi}_{g,n})$ es un sumando directo del empuje directo del haz constante desde el lado no degenerado. En consecuencia, las propiedades de soporte del caso no degenerado se transfieren al caso degenerado.

3. Contribuciones y Resultados Clave

Teorema Principal (Teorema 1.1)

El artículo demuestra que para enteros $g, n \geq 0$ con $2g-2+n > 0$, y para el espacio de módulos bueno relativo $\overline{\mathcal{J}}^{d,\phi}_{g,n}$ sobre $\mathcal{M}_{g,n}$:

1. Soporte Completo: Cada sumando directo del empuje directo derivado $\overline{\pi}_* IC(\overline{\mathcal{J}}^{d,\phi}_{g,n})$ tiene soporte completo sobre $\mathcal{M}_{g,n}$.
2. Descomposición Explícita: Existe un isomorfismo en la categoría derivada acotada de módulos de Hodge mixtos sobre $\mathcal{M}_{g,n}$:
   $$\overline{\pi}_* IC(\overline{\mathcal{J}}^{d,\phi}_{g,n}) \simeq \bigoplus_{i=0}^{2g} IC\left(\mathcal{M}_{g,n}, (\wedge^i R^1\gamma_* \mathbb{Q}_{C_{g,n}})\right)[-i+g]$$
   donde $\gamma: C_{g,n} \to \mathcal{M}_{g,n}$ es la curva universal.

Corolarios

• Espacio de Módulos Grueso (Corolario 1.2): La propiedad de soporte completo se cumple para el empuje directo del complejo de intersección del espacio de módulos grueso $J$ de $\overline{\mathcal{J}}^{d,\phi}_{g,n}$.
• Invarianza Topológica (Corolario 1.3): Los grupos de cohomología de intersección $IH^*(\overline{\mathcal{J}}^{d,\phi}_{g,n}, \mathbb{Q})$ son isomorfos como estructuras de Hodge $\mathbb{Q}$ para cualquier par de enteros $d, d'$ y cualquier par de condiciones de estabilidad $\phi, \phi'$ (degeneradas o no degeneradas). Esto extiende la invarianza conocida de los grupos de cohomología al entorno degenerado.

4. Significado y Afirmaciones

El artículo afirma proporcionar un teorema de soporte completo para la jacobiana compactificada universal, un resultado que anteriormente se veía obstaculizado por la complejidad de las estratificaciones frontera y la falta de una acción de grupo propia sobre el espacio de módulos grueso.

• Síntesis Metodológica: El trabajo adapta con éxito la maquinaria del teorema de soporte de Ngô (desarrollado originalmente para la fibración de Hitchin) a los móduli de curvas. Resuelve la obstrucción de la no-propiedad y los grupos de automorfismos utilizando el espacio de módulos bueno relativo y las categorías derivadas equivariantes.
• Manejo de la Degeneración: El artículo aborda explícitamente el caso de condiciones de estabilidad degeneradas, donde la geometría es singular y existen haces estrictamente semiestables. Demuestra que, a pesar de estas singularidades, la invarianza topológica de la cohomología de intersección persiste.
• Independencia de las Pruebas: Al proporcionar dos pruebas distintas, una que depende del teorema de soporte generalizado para fibraciones abelianas débiles y la otra de la variación de condiciones de estabilidad, el autor refuerza la robustez del resultado.
• Motivación para Trabajo Futuro: Los resultados motivan la pregunta de si el "anillo de cohomología intrínseco" (una degeneración de la estructura del anillo de cohomología definida para condiciones no degeneradas) puede extenderse al entorno de condiciones de estabilidad degeneradas.

El autor mantiene un tono modesto respecto al alcance, señalando que, si bien los grupos de cohomología son invariantes, la estructura del anillo de cohomología generalmente depende de las elecciones de $d$ y $\phi$, y el artículo no resuelve la estructura del anillo para el caso degenerado.