Chow rings, cohomology rings, and point counts of moduli spaces of curves

Resumen Técnico: Anillos de Chow, Anillos de Cohomología y Conteos de Puntos de Espacios Moduli de Curvas

Planteamiento del Problema
Este artículo expositivo investiga tres invariantes estrechamente relacionados de los espacios moduli de curvas: el anillo de Chow $A^*(M)$, el anillo de cohomología $H^*(M)$ y los conteos de puntos sobre cuerpos finitos $\#M(\mathbb{F}_q)$. Los objetos principales de estudio son $M_{g,n}$, el espacio moduli de curvas suaves de género $g$ con $n$ puntos marcados, y $\overline{M}_{g,n}$, su compactificación de Deligne–Mumford mediante curvas estables. El problema central es determinar hasta qué punto estos invariantes son "tautológicos". Específicamente, el artículo aborda tres preguntas:

1. ¿Para qué $(g, n)$ el anillo de Chow (o el anillo de cohomología) está generado por clases tautológicas?
2. ¿Para qué $(g, n)$ el conteo de puntos $\#M_{g,n}(\mathbb{F}_q)$ (o $\#\overline{M}_{g,n}(\mathbb{F}_q)$) es un polinomio en $q$?
3. ¿Cómo se relacionan estos invariantes entre sí, particularmente en presencia de clases no tautológicas o conteos de puntos no polinómicos?

Metodología y Marco de Trabajo
El artículo sintetiza avances recientes en geometría algebraica, geometría aritmética y teoría de la representación. La metodología se basa en establecer un marco riguroso que conecte los tres invariantes:

• Subanillos Tautológicos: El estudio se guía por los subanillos tautológicos $R^*(M) \subset A^*(M)$ y $RH^*(M) \subset H^*(M)$, definidos como los sistemas más pequeños cerrados bajo aplicaciones de empuje (pushforwards) a lo largo de aplicaciones de pegado (gluing) y de olvido (forgetful). Estos están generados por "estratos de frontera decorados" que involucran clases $\psi$ y $\kappa$.
• Invariantes Comparativos: El artículo utiliza la secuencia de excisión para grupos de Chow, el mapa de clase de ciclo $cl: A^*(M) \to H^*(M)$, y la secuencia espectral de pesos de Deligne para relacionar la cohomología de $M_{g,n}$ con la de $\overline{M}_{g,n}$.
• Herramientas Aritméticas: Se emplea la fórmula de la traza de Grothendieck–Lefschetz para vincular los conteos de puntos con las trazas del endomorfismo de Frobenius sobre la cohomología $\ell$-ádica con soporte compacto. El artículo distingue entre cohomología de "tipo Tate" (donde los autovalores son potencias de $q$) y cohomología no-Tate (que involucra formas modulares).
• Conteos de Puntos Equivariantes: Para manejar los estratos de frontera, que involucran cocientes por grupos finitos, el artículo utiliza conteos equivariantes y la fórmula de Getzler–Kapranov, que relaciona los conteos equivariantes de $M_{g,n}$ con los de $\overline{M}_{g,n}$.
• Argumentos Inductivos: Una herramienta metodológica clave es el uso de argumentos inductivos sobre el género y el número de marcadores, apoyándose frecuentemente en la "Propiedad de Generación Chow–Künneth" (CKgP) para descomponer productos de espacios moduli.

Contribuciones Clave y Resultados

1. Relaciones entre Invariantes
El artículo clarifica las condiciones bajo las cuales los invariantes se alinean.

• Si $A^*(\overline{M}_{g,n}) = R^*(\overline{M}_{g,n})$ y el espacio satisface la CKgP, entonces el mapa de clase de ciclo es un isomorfismo, y $\#\overline{M}_{g,n}(\mathbb{F}_q)$ es un polinomio en $q$.
• Por el contrario, si $\#\overline{M}_{g,n}(\mathbb{F}_q)$ es un polinomio, la cohomología es de tipo Tate pura (cohomología impar nula y cohomología par pura), aunque esto no implica automáticamente que el anillo de Chow sea tautológico sin supuestos adicionales.
• Para los espacios moduli abiertos $M_{g,n}$, la relación es más compleja; puede existir cohomología no-Tate incluso si el anillo de Chow es tautológico, y los conteos de puntos pueden no ser polinomios debido a las contribuciones de la cohomología de peso impar.

2. Tautologiedad de los Anillos de Chow y de Cohomología
El artículo examina el estado actual del conocimiento sobre cuándo $A^*(M)$ y $H^*(M)$ están generados por clases tautológicas, resumido mediante tablas para $(g, n)$:

• Género 0: $A^*(M_{0,n})$ es trivial; $A^*(\overline{M}_{0,n})$ es tautológico.
• Género 1: $A^*(M_{1,n}) = R^*(M_{1,n})$ para $n \le 10$. Para $n \ge 11$, $A^*(M_{1,n})$ es de dimensión infinita y no es tautológico debido a la existencia de cohomología impar no nula $H^{11}(M_{1,11})$. Sin embargo, la cohomología par de $M_{1,n}$ sigue siendo tautológica.
• Géneros 2–9: Resultados extensos establecen la tautologiedad para pares específicos de $(g, n)$ (por ejemplo, $g=2, n \le 9$; $g=3, n \le 9$; $g=7, n \le 3$). Estos resultados a menudo dependen de estratificaciones explícitas (por ejemplo, loci hiperelípticos vs. no hiperelípticos) y modelos de curvas como intersecciones completas.
• Clases No Tautológicas: El artículo identifica los loci de doble recubrimiento (curvas bielípticas) como la principal fuente de clases no tautológicas. Para $g+m \ge 12$, la clase del locus de curvas bielípticas es no tautológica. Esto conduce a la conclusión de que $A^*(\overline{M}_{g,n}) \neq R^*(\overline{M}_{g,n})$ para $2g+n \ge 24$ (y límites superiores para $g$ específicos).
• Cohomología en Pesos Bajos: El artículo detalla resultados sobre la anulación de la cohomología impar. $H^k(M_{g,n}) = 0$ para $k$ impar $\le 9$ (excepto $H^{11}(M_{1,11})$). Para $k=11, 13, 15$, se proporcionan descripciones explícitas de la cohomología como representaciones de Galois, que a menudo involucran formas modulares (por ejemplo, la función $\tau$ de Ramanujan para $k=11$).

3. Conteos de Puntos y Polinomialidad

• Conteos de Puntos Polinómicos: El artículo establece que $\#\overline{M}_{g,n}(\mathbb{F}_q)$ es un polinomio en $q$ si y solo si la cohomología es de tipo Tate pura. Esto se confirma para $3g + 2n < 25$.
• No Polinomialidad: Para $M_{g,n}$, los conteos de puntos generalmente no son polinomios cuando la cohomología impar es no nula. El artículo demuestra que $\#\overline{M}_{g,n}(\mathbb{F}_q)$ no es un polinomio en muchos casos donde $2g+n \ge 24$, impulsado por la no anulación de $\chi_k(M_{g,n})$ para $k$ impar.
• Conjetura: El artículo presenta la Conjetura 5.1: $\#\overline{M}_{g,n}(\mathbb{F}_q)$ es un polinomio en $q$ si y solo si $3g + 2n < 25$. Esto ha sido probado para $n=0$ y verificado computacionalmente para $g+n < 150$.
• Polinomialidad Aproximada: Incluso cuando no son estrictamente polinómicos, los conteos de puntos están bien aproximados por polinomios, con correcciones determinadas por los coeficientes de formas modulares (por ejemplo, formas modulares de Siegel).

Significancia y Reivindicaciones
El artículo afirma proporcionar una revisión exhaustiva y de vanguardia de la interacción entre los invariantes algebraicos, topológicos y aritméticos de los espacios moduli de curvas. Su significancia radica en:

1. Unificación: Conecta sistemáticamente la naturaleza tautológica de los anillos de Chow, la estructura de los anillos de cohomología y la aritmética de los conteos de puntos, mostrando cómo los fallos en un dominio (por ejemplo, clases no tautológicas) se manifiestan en otros (por ejemplo, conteos de puntos no polinómicos).
2. Clarificación de Límites: Delimita los rangos precisos de $(g, n)$ donde estos espacios se comportan de manera "bien" (anillos tautológicos, conteos polinómicos) frente a donde exhiben un comportamiento complejo (anillos de Chow de dimensión infinita, cohomología no-Tate).
3. Síntesis de Trabajo Reciente: Consolida resultados de diversos autores (incluyendo a Canning, Payne, Faber, Bergström y otros) para resolver muchas preguntas abiertas en géneros bajos y proporcionar una hoja de ruta clara para los casos desconocidos restantes.
4. Evidencia para Conjeturas: Proporciona evidencia sólida para las conjeturas del programa de Langlands respecto a las representaciones de Galois que aparecen en la cohomología de estos espacios moduli, confirmando específicamente la Conjetura 2.20 para pesos $k \le 15$.

El artículo no pretende resolver el problema general para todos los $g$ y $n$, reconociendo que para géneros grandes, los espacios moduli son de tipo general y las técnicas actuales (que dependen de la uniracionalidad o de estratificaciones explícitas) fallan. En su lugar, ofrece un mapa detallado del territorio conocido y de los obstáculos específicos (como los loci bielípticos y la cohomología impar) que impiden una descripción completa en el caso general.