Universal compactified Jacobians: cohomological invariance and boundary combinatorics

1. Planteamiento del Problema

El artículo aborda el estudio de las Jacobianas universalmente compactificadas, denotadas como $J^d_{g,n}(\sigma) \to \mathcal{M}_{g,n}$, sobre el espacio de módulos de curvas estables $\mathcal{M}_{g,n}$. Estos espacios fueron introducidos por Pagani y Tommasi como extensiones suaves y finas de las Jacobianas universales no compactificadas.

El problema central surge de la siguiente tensión:

• Dependencia Combinatoria: La construcción de $J^d_{g,n}(\sigma)$ depende crucialmente de dos parámetros: el grado $d \in \mathbb{Z}$ y una condición de estabilidad $\sigma$ (un objeto puramente combinatorio). Diferentes elecciones de $\sigma$ producen espacios que, como pilas de Deligne-Mumford, no son necesariamente isomorfos.
• Invariancia Cohomológica Sorprendente: Un teorema previo de Migliorini–Shende–Viviani implica que la cohomología (con coeficientes racionales) de estos espacios es independiente tanto del grado $d$ como de la elección de $\sigma$.
• La Paradoja Geométrica: Desde el punto de vista de la geometría del borde (boundary geometry), esta invariancia es contraintuitiva. La estratificación de estos espacios depende de $\sigma$; diferentes condiciones de estabilidad seleccionan diferentes conjuntos de estratos (celdas) en el borde. No es obvio por qué la suma de las contribuciones cohomológicas de estos conjuntos de estratos distintos debería ser idéntica.

El objetivo del paper es proporcionar una prueba combinatoria directa de esta invariancia, evitando depender de teoremas profundos de descomposición (como el Teorema de Descomposición) y demostrando explícitamente cómo se emparejan las contribuciones de los estratos.

2. Metodología

Los autores emplean una estrategia que combina teoría de Hodge, geometría algebraica de pilas y combinatoria de grafos estables.

A. Reducción a Características de Euler de Hodge

Utilizando el Teorema de Rigidez (Schmid) extendido a pilas (Proposición 2.2), demuestran que para probar la isomorfía de las estructuras de Hodge mixtas, basta con probar la independencia de la característica de Euler de Hodge con soporte compacto ($\chi_c$) respecto a $d$ y $\sigma$.

B. Estratificación por Tipo Topológico

Descomponen el espacio $J^d_{g,n}(\sigma)$ en una unión disjunta de estratos indexados por triples $(\Gamma, \Gamma_0, d)$:

• $\Gamma$: Un grafo estable de tipo $(g, n)$.
• $\Gamma_0 \subseteq \Gamma$: Un subgrafo conexo que contiene todos los vértices.
• $d$: Una función de grado sobre los vértices.

Cada estrato es un fibrado de toros sobre un producto de Jacobianas universales de curvas no singulares de menor género, módulo un grupo de automorfismos finito. La fórmula clave (Lema 3.4) permite calcular $\chi_c$ sumando las contribuciones de cada estrato, ponderadas por la acción del grupo simétrico $S_n$.

C. Prueba Combinatoria del Emparejamiento

El núcleo de la demostración es el Lema 3.7. Los autores prueban que, para cualquier par de condiciones de estabilidad $\sigma$ y $\sigma'$ (invariantes bajo un subgrupo $S_\lambda$), y para cada par fijo de grafos $(\Gamma, \Gamma_0)$, existe una biyección equivariante entre los conjuntos de grados admisibles:
$$\{d : (\Gamma, \Gamma_0, d) \in \sigma\} \longleftrightarrow \{d' : (\Gamma, \Gamma_0, d') \in \sigma'\}$$
Esta biyección se construye utilizando:

1. Identidad de Bézout: Para traslaciones en el grupo de Picard del grafo.
2. Teorema de Dirichlet sobre primos en progresiones aritméticas: Para demostrar que la multiplicación por un primo grande induce una biyección en los grupos de Picard de grafos.

Al demostrar que las contribuciones de los estratos correspondientes bajo esta biyección son isomorfas (debido a la invariancia de las Jacobianas no compactificadas, Proposición 2.5), se concluye que la suma total es independiente de $\sigma$ y $d$.

3. Contribuciones Clave y Resultados Principales

Teorema Principal (Teorema 1.2)

Para todo $2g-2+n > 0$, grados $d, d'$ y condiciones de estabilidad $\sigma, \sigma'$, existe un isomorfismo de estructuras de Hodge:
$$H^*(J^d_{g,n}(\sigma); \mathbb{Q}) \cong H^*(J^{d'}_{g,n}(\sigma'); \mathbb{Q})$$
Este isomorfismo es compatible con la acción de $S_n$ (o subgrupos $S_\lambda$ si las condiciones son invariantes).

• Significado: Proporciona una prueba combinatoria directa de un resultado que anteriormente dependía de teoremas de descomposición profundos.

Algoritmo de Computación (Sección 3.5)

El método no solo prueba la invariancia, sino que ofrece un algoritmo para calcular los polinomios de Hodge-Deligne de $J^d_{g,n}(\sigma)$, asumiendo que se conocen las características de Euler equivariantes de los espacios no compactificados $J_{g',n'}$. Esto reduce el problema a la enumeración de grafos estables y el cálculo de grupos de automorfismos.

Resultados del Apéndice

• Jeremy Feusi (Teorema A.1): Caracteriza cuándo dos Jacobianas universales $J^d_{g,n}$ y $J^{d'}_{g,n}$ son isomorfas de manera equivariante bajo $S_n$. La condición es $d \equiv d'$ o $-d \equiv d' \pmod{\gcd(2g-2, n)}$.
• Qizheng Yin (Teorema A.2): Demuestra que en el grupo de Grothendieck de variedades $K_0(\text{Var}_{\mathbb{C}})$, las clases $[J^d_g]$ y $[J^{d'}_g]$ no son siempre iguales. Son iguales si y solo si $d' \equiv \pm d \pmod{2g-2}$. Esto contrasta con la invariancia cohomológica, mostrando que la estructura de variedad es más fina que la estructura cohomológica.

4. Significado e Impacto

1. Puente entre Combinatoria y Geometría: El trabajo demuestra que fenómenos profundos de invariancia cohomológica en espacios de módulos complejos pueden entenderse y probarse mediante un análisis combinatorio detallado de la estructura del borde.
2. Independencia de la Estructura de Hodge: Confirma que, aunque los anillos de cohomología (producto cup) dependen de la estabilidad (como se sabe por trabajos previos de Bae-Maulik-Shen-Yin), la estructura de Hodge subyacente es intrínseca al espacio de módulos de curvas, no a la compactificación específica elegida.
3. Herramientas Computacionales: La metodología de estratificación y el algoritmo propuesto abren la puerta al cálculo explícito de invariantes para géneros bajos ($g \le 2$) y proporcionan un marco para futuros cálculos en géneros más altos.
4. Distinción entre Categorías: Los resultados del apéndice subrayan la diferencia sutil entre la invariancia en cohomología (donde $d$ y $\sigma$ no importan) y la invariancia en el grupo de Grothendieck de variedades (donde sí importan), aclarando la jerarquía de invariantes en geometría algebraica.

En resumen, el paper resuelve una conjetura de invariancia mediante una construcción explícita de biyecciones combinatorias entre los estratos de diferentes compactificaciones, ofreciendo una comprensión más profunda de la geometría de las Jacobianas universales.