Moduli spaces of curves with polynomial point counts

Aquí presento un resumen técnico detallado del artículo "Moduli Spaces of Curves with Polynomial Point Counts" de Samir Canning, Hannah Larson, Sam Payne y Thomas Willwacher.

1. El Problema

El trabajo aborda una cuestión fundamental en la geometría algebraica aritmética: determinar cuándo el número de clases de isomorfismo de curvas proyectivas suaves de género $g$ definidas sobre un cuerpo finito $\mathbb{F}_q$ es una función polinómica en $q$.

Sea $N_g(q)$ el número de tales curvas. Se sabe que para géneros bajos ($g=0, 1, 2, 3, 4$), $N_g(q)$ es un polinomio en $q$. La pregunta central es: ¿Hasta qué género $g$ se mantiene esta propiedad de polinomialidad?

Además, los autores extienden este problema a curvas con puntos marcados, denotadas por $N_{g,n}(q)$, preguntando por el menor número de puntos marcados $n$ para el cual la función deja de ser polinómica para un género fijo $g$.

La conexión teórica clave es la Fórmula de la Trazas de Grothendieck-Lefschetz. El conteo de puntos $N_g(q)$ coincide con la traza del elemento de Frobenius actuando en la cohomología $\ell$-ádica con soporte compacto de los espacios de móduli $\mathcal{M}_g$. La función de conteo es polinómica si y solo si la cohomología del espacio de móduli es de tipo Tate (es decir, sus clases de cohomología están generadas por potencias de la clase de Tate, lo que implica que los autovalores de Frobenius son potencias enteras de $q$).

2. Metodología

Los autores combinan técnicas de topología algebraica, teoría de representaciones de grupos simétricos y análisis asintótico de funciones generadoras. Su enfoque se divide en tres pilares metodológicos:

1. Análisis de Cohomología y Estructura de Tipo Tate:

   • Utilizan la fórmula de la traza para relacionar la polinomialidad con la anulación de las características de Euler ponderadas en pesos impares ($\chi_k = 0$ para $k$ impar).
   • Emplean el complejo de grafos de Getzler-Kapranov para estudiar la cohomología de los espacios de móduli abiertos $\mathcal{M}_{g,n}$. Este complejo permite descomponer la cohomología en términos de grafos estables decorados con cohomología de espacios de móduli de menor género.
   • Introducen un concepto de "exceso" (excess) basado en la teoría de representaciones de grupos simétricos para demostrar que, bajo ciertas condiciones ($3g + 2n < 25$), las contribuciones no-Tate se cancelan debido a las simetrías de los grafos estables.

2. Cálculo de Cohomología en Grado 13:

   • Un resultado nuevo y crucial es el cálculo explícito del grupo de cohomología $H^{13}(\mathcal{M}_{g,n})$ para todos los $g$ y $n$.
   • Demuestran que este grupo está generado por imágenes de mapas de empuje de Gysin provenientes de divisores de frontera.
   • Utilizan esta estructura para calcular la característica de Euler ponderada en peso 13 ($\chi_{13}$), que resulta ser no nula en casos donde la característica en peso 11 se anula.

3. Análisis Asintótico de Funciones Generadoras:

   • Para géneros altos, analizan la función generadora de las características de Euler ponderadas en peso 11 ($\chi_{11}(\mathcal{M}_g)$).
   • Derivan una fórmula asintótica precisa para $\chi_{11}(\mathcal{M}_g)$ cuando $g \to \infty$, mostrando que crece superexponencialmente.
   • Realizan cálculos computacionales extensivos (hasta $g=600$ o más) para verificar que la característica de Euler no se anula en el rango intermedio, combinando esto con el análisis asintótico para probar la no anulación para todo $g$ suficientemente grande.

3. Contribuciones Clave y Resultados Principales

A. El Teorema Principal sobre Polinomialidad (Teorema 1.1)

Los autores pruevan que la función $N_g(q)$ es polinómica si y solo si $g \le 8$.

• Para $g \le 8$, la cohomología es de tipo Tate.
• Para $g \ge 9$ (excepto $g=12$), la característica de Euler en peso 11 ($\chi_{11}$) es no nula, lo que rompe la polinomialidad.
• Para el caso excepcional $g=12$, donde $\chi_{11}(\mathcal{M}_{12}) = 0$, demuestran que la característica de Euler en peso 13 ($\chi_{13}$) es no nula ($\chi_{13}(\mathcal{M}_{12}) = -6$), lo que también rompe la polinomialidad.

B. El Umbral para Puntos Marcados (Teorema 1.4)

Resuelven la pregunta de Kedlaya sobre el menor $n$ tal que $N_{g,n}(q)$ no es polinómica.

• La respuesta es el menor entero $n$ tal que $3g + 2n \ge 25$.
• Esto implica que para $g \ge 9$, incluso con $n=0$, la función no es polinómica.
• Para $g < 9$, se necesita un número creciente de puntos marcados para romper la polinomialidad (ej. para $g=1$, falla en $n=11$; para $g=2$, falla en $n=10$).

C. Cohomología de Tipo Tate (Teorema 1.2 y 1.5)

Establecen una equivalencia precisa entre la estructura de la cohomología y la polinomialidad del conteo de puntos:

• La cohomología racional de $\mathcal{M}_g$ es de tipo Tate si y solo si $g \le 8$.
• La cohomología racional de $\mathcal{M}_{g,n}$ es de tipo Tate si y solo si $g=0$ o $3g + 2n < 25$.

D. Cálculo de $H^{13}(\mathcal{M}_{g,n})$ (Teorema 1.7)

Proporcionan una descripción completa y explícita del grupo de cohomología en grado 13, mostrando que está generado por clases provenientes de la frontera y describiendo su estructura como módulo bajo la acción del grupo simétrico $S_n$. Este cálculo es independiente de interés y crucial para manejar los casos excepcionales ($g=12$ y $g=8, n=1$).

4. Significado e Impacto

1. Resolución de una Conjetura de Larga Data: El trabajo cierra definitivamente la cuestión de la polinomialidad para curvas suaves, estableciendo un límite exacto ($g=8$) que había sido una incógnita debido a la complejidad de la cohomología no estable de los espacios de móduli.
2. Avance en la Comprensión de la Cohomología No Estable: Históricamente, se conocían muy pocos grupos de cohomología "no tautológicos" (fuera del anillo tautológico). Este artículo identifica familias infinitas de grupos de cohomología no de tipo Tate (peso 11 y 13) y demuestra cómo su aparición controla el comportamiento aritmético de los espacios de móduli.
3. Método Computacional-Asintótico: La combinación de pruebas asintóticas rigurosas con verificación computacional de alta precisión para rangos intermedios establece un nuevo estándar para probar propiedades de anulación en cohomología de espacios de móduli.
4. Conexión con Estructuras Motívicas: El trabajo refuerza la conexión profunda entre la estructura de Hodge mixta (pesos), las representaciones de Galois y el conteo de puntos sobre cuerpos finitos, mostrando que la "sencillez" aritmética (polinomialidad) es equivalente a la "sencillez" estructural (tipo Tate).

En resumen, el artículo demuestra que la "complejidad" aritmética de los espacios de móduli de curvas aumenta drásticamente a partir del género 9, y que esta complejidad se manifiesta a través de la aparición de cohomología no de tipo Tate en pesos impares específicos (principalmente 11 y 13), lo que impide que el número de curvas sobre cuerpos finitos sea descrito por un polinomio.