On the Hodge and Tate conjectures for moduli spaces of curves

Resumen Técnico: Sobre las Conjeturas de Hodge y Tate para Espacios de Módulos de Curvas

Enunciado del Problema
Las conjeturas de Hodge y Tate son problemas centrales, aunque en gran medida abiertos, que relacionan la cohomología de variedades algebraicas con ciclos algebraicos. Si bien el progreso ha dependido históricamente de variedades que se mueven en familias no triviales (por ejemplo, variedades abelianas, superficies K3) o poseen endomorfismos especiales, los espacios de módulos de curvas estables, $\mathcal{M}_{g,n}$, presentan un terreno de prueba distinto. Estos espacios no se deforman en familias, sino que forman una colección infinita y discreta con estructuras de Hodge y representaciones de Galois ricas y complicadas. El artículo aborda la verificación de las conjeturas de Hodge y Tate, particularmente en sus formas de coniveau generalizadas, para la cohomología de $\mathcal{M}_{g,n}$. Las formas generalizadas preguntan si estructuras subyacentes específicas en la cohomología (subestructuras de Hodge o subrepresentaciones de Galois) están soportadas en subconjuntos algebraicos de una codimensión predicha, en lugar de preguntar meramente si las clases de grado par surgen de ciclos.

Metodología
El artículo sintetiza cálculos cohomológicos recientes con el marco inductivo establecido por Arbarello y Cornalba. La metodología se basa en tres pilares principales:

1. Estratificación Inductiva del Límite: La estrategia de prueba utiliza la estratificación de $\mathcal{M}_{g,n}$ por tipos topológicos de curvas estables. El divisor límite $\bar{D}_{g,n}$ es una unión disjunta de productos de espacios de módulos más pequeños. Utilizando la secuencia de localización y argumentos de peso, las clases de cohomología en $\mathcal{M}_{g,n}$ se relacionan con clases en espacios de módulos más pequeños y la parte de peso puro de la cohomología interior.
2. Generación Tautológica: Una técnica central es determinar si los grupos de cohomología están generados por clases tautológicas (generadas por clases $\kappa$, $\psi$ y de límite). Si $H^{2k}(\mathcal{M}_{g,n})$ es tautológica, las conjeturas de Hodge y Tate se cumplen para ciclos de codimensión $k$. El artículo emplea "extensiones semi-tautológicas" para controlar la cohomología de alto grado, reduciendo las preguntas a casos base.
3. Inspiración y Clasificación Aritmética: Los resultados están guiados por la clasificación de representaciones automorfas de peso motivico $\le 22$ por Chenevier y Lannes. Esta clasificación predice las estructuras motivicas específicas (por ejemplo, $S_{12}$, $S_{16}$) que aparecen en la cohomología de variedades suaves y propias sobre $\mathbb{Z}$. El artículo utiliza estas predicciones para identificar los lugares de soporte esperados para clases no tautológicas, particularmente en grados impares.
4. Verificación del Caso Base: Los argumentos inductivos requieren una verificación explícita de los casos base para $g$ y $n$ pequeños. Estos se establecen utilizando:
   • Conteo de puntos sobre cuerpos finitos y la fórmula de traza de Behrend–Grothendieck–Lefschetz.
   • La propiedad de generación Chow–Künneth.
   • Construcciones geométricas explícitas (por ejemplo, la descripción de curvas canónicas por Mukai).
   • Teoremas de anulación topológica (por ejemplo, los límites de Harer sobre la dimensión cohomológica virtual).

Contribuciones y Resultados Clave

• Verificación de las Conjeturas en Rangos Específicos: El artículo demuestra que las conjeturas generalizadas de Hodge y Tate se cumplen para $\mathcal{M}_{g,n}$ en un rango sorprendentemente amplio de grados:

  • Codimensión 1 y 2: Se cumple para todo $g, n$.
  • Codimensión 3: Se cumple para todo $n$ y $g \notin \{7, 8, 9\}$.
  • Dimensión $\le 7$: Se cumple para todo $g, n$.
  • Conjetura Generalizada de Hodge: Se cumple para $H^k(\mathcal{M}_{g,n})$ para $k$ par $\le 4$ (todo $g,n$), $k=6$ ($g \notin \{7,8,9\}$), $k$ impar $\le 13$ (todo $g,n$), y $k = 2d-j$ para $0 \le j \le 15$.
  • Conjetura Generalizada de Tate: Se cumple sobre cuerpos finitamente generados $L$ en los mismos rangos, sujeto a condiciones de ordinabilidad sobre la característica $p$ de $L$ (específicamente, $p$ no debe dividir la función $\tau$ de Ramanujan para $S_{12}$ ni los coeficientes de Fourier de la forma cuspidal de peso 16 para $S_{16}$).

• Estructura de los Grupos de Cohomología:

  • Grados Pares: Para grados pares bajos ($k \le 6$, con excepciones para $g \in \{7,8,9\}$ en $k=6$), la cohomología está generada por clases tautológicas.
  • Grados Impares: $H^k(\mathcal{M}_{g,n}) = 0$ para $k$ impar $< 11$. Para $k=11$, la cohomología es una suma directa de torsiones de Tate de $S_{12} := W_{11}H^{11}(\mathcal{M}_{1,11})$, que está relacionada con la forma cuspidal de Ramanujan $\Delta$. Para $k=13$, la cohomología está soportada en divisores (estratos de límite) y consiste en torsiones de Tate de $S_{12}$.
  • Grados Altos: Por dualidad de Poincaré y Lefschetz duro, los resultados para grados bajos implican resultados para grados altos ($2d-k$).

• Estructuras Motivicas: El artículo confirma que las estructuras motivicas que aparecen en $H^*(\mathcal{M}_{g,n})$ hasta peso 15 se alinean con la clasificación de Chenevier–Lannes. Específicamente, la cohomología impar se anula por debajo del grado 11, $H^{11}$ surge de $S_{12}$, y $H^{13}$ surge de torsiones de Tate soportadas en el límite de $S_{12}$.

• Conjeturas sobre Grupos de Chow: El artículo propone la Conjetura de Chow 10, afirmando que el grupo de Chow racional $A^k(\mathcal{M}_{g,n})_\mathbb{Q}$ está generado por ciclos tautológicos para $k \le 10$. Esto implica que la aplicación de clase de ciclo es un isomorfismo para $k \le 10$.

Significado y Afirmaciones
El artículo afirma que la estructura inductiva de la estratificación del límite, combinada con predicciones aritméticas modernas y cálculos explícitos de bajo género, verifica las conjeturas generalizadas de Hodge y Tate en un rango previamente inaccesible.

• Novedad del Enfoque: A diferencia de los enfoques tradicionales que dependen de la variación en familias, este trabajo demuestra que la "unión tautológica y morfismos de olvido" y la estratificación del límite de $\mathcal{M}_{g,n}$ proporcionan una estructura suficiente para verificar estas conjeturas profundas.
• Puente entre Aritmética y Geometría: El artículo destaca cómo las predicciones aritméticas (Chenevier–Lannes) sobre motivos sobre $\mathbb{Z}$ sirven como guía para pruebas geométricas. Los resultados geométricos confirman estas predicciones incondicionalmente para espacios de módulos de curvas.
• Problemas Abiertos: El artículo identifica desafíos específicos restantes, que incluyen:
  • Probar la generación tautológica para $H^6(\mathcal{M}_{g,n})$ cuando $g \in \{7, 8, 9\}$.
  • Verificar la conjetura generalizada de Hodge para $H^{15}(\mathcal{M}_{g,n})$.
  • Investigar el soporte de la cohomología en primos no ordinarios (donde $p | \tau(p)$), donde el coniveau predicho salta.
  • Construir ciclos algebraicos para estructuras motivicas isomorfas que aparecen en diferentes espacios de módulos (por ejemplo, $S_{18}$ en $\mathcal{M}_{1,17}$ y $\mathcal{M}_{2,14}$) sin una explicación geométrica conocida.

El trabajo establece a $\mathcal{M}_{g,n}$ como un terreno de prueba robusto para conjeturas motivicas, proporcionando un "rango sorprendentemente amplio" de casos verificados mientras delimita los límites precisos donde emergen nuevos fenómenos (como clases no tautológicas y primos no ordinarios).