An introduction to the intersection theory of the moduli space of curves

Resumen Técnico: Una Introducción a la Teoría de Intersección del Espacio de Móduli de Curvas

Planteamiento del Problema
El problema central abordado en este estudio es la comprensión de la teoría de intersección del espacio de módulos de curvas, $M_g$, específicamente respecto a la estructura de su anillo de Chow, $A^*(M_g)$. El autor investiga la relación entre el anillo de Chow completo y el anillo tautológico, $R^*(M_g)$, un subanillo generado por clases que surgen naturalmente de la geometría de la familia universal. El estudio se centra en dos preguntas fundamentales:

1. Generación: ¿Está el anillo de Chow $A^*(M_g)$ generado por clases tautológicas?
2. Relaciones: ¿Cuál es el conjunto completo de relaciones entre las clases tautológicas?

El artículo destaca que, si bien el anillo de Chow está bien comprendido para géneros bajos, la situación se vuelve cada vez más compleja a medida que el género $g$ crece, permaneciendo como una importante área de investigación abierta la existencia de clases no tautológicas en géneros superiores.

Metodología y Marco de Trabajo
El artículo emplea la maquinaria estándar de la geometría algebraica, específicamente la teoría de intersección y los anillos de Chow, adaptados al contexto de los espacios de módulos (a menudo tratados como estáticas de Deligne–Mumford).

• Herramientas Fundamentales: El estudio revisa la definición del grupo de Chow $A_*(X)$ como ciclos módulo equivalencia racional. Utiliza los mapas de pushforward propio ($f_*$) y pullback plano ($f^*$), así como la secuencia de excisión para esquemas abiertos/cerrados. La fórmula de push-pull y las fórmulas de autointersección (vía intersección excedente) son centrales para computar intersecciones.
• Clases Tautológicas: Siguiendo la filosofía de Mumford, las clases tautológicas se definen como aquellas que surgen de la familia universal. Para $M_g$, estas incluyen:
  • Clases $\kappa$: Definidas mediante el pushforward de potencias de la primera clase de Chern de la haz dualizante relativa $\omega_f$ a lo largo de la curva universal $f: C_g \to M_g$.
  • Clases $\lambda$: Definidas como las clases de Chern del haz de Hodge $E = f_*\omega_f$.
  • Clases $\psi$: Definidas en los espacios de módulos con puntos marcados $M_{g,n}$ mediante las secciones de la curva universal.
• Estratificación y Pegado (Gluing): La metodología se apoya fuertmente en la estratificación de los espacios de módulos (por ejemplo, por gonalidad o mediante grafos estables para compactificaciones) y en el uso de secuencias de excisión para relacionar los anillos de Chow de los estratos con el espacio completo. Para las compactificaciones $\overline{M}_{g,n}$, el anillo tautológico se define como el sistema más pequeño de subanillos cerrado bajo pushforwards a lo largo de mapas de pegado (asociados a grafos estables) y mapas de olvido.
• Técnicas Computacionales: El artículo discute el uso de las fórmulas de Porteous para loci de degeneración, Grothendieck–Riemann–Roch para relacionar las clases de Chern de los pushforwards, y descomposiciones de Künneth en cohomología para detectar clases no tautológicas.

Contribuciones Clave y Resultados

1. Estudio del Anillo Tautológico:

   • El artículo examina las conjeturas de Faber respecto a la estructura de $R^*(M_g)$, incluyendo la generación por clases $\kappa$ hasta el grado $\lfloor g/3 \rfloor$, el desvanecimiento en grados $> g-2$, y la existencia de un emparejamiento perfecto en el grado superior.
   • Observa que, si bien las relaciones de Faber–Zagier (conjeturadas por Faber y Zagier y probadas por Pixton y Pandharipane) proporcionan un gran conjunto de relaciones, sigue siendo una pregunta abierta si estas constituyen todas las relaciones. Evidencia computacional reciente (Canning) sugiere que el emparejamiento en el grado $g-2$ no es perfecto para $g=24$, lo que implica que o bien la conjetura de Faber (parte 3) es falsa o las relaciones de Faber–Zagier están incompletas.

2. Resultados de Generación (Cuando $A^*(M_g) = R^*(M_g)$):

   • El artículo confirma que para $2 \le g \le 9$, el anillo de Chow está generado por clases tautológicas ($A^*(M_g) = R^*(M_g)$). Este resultado sintetiza el trabajo de Mumford, Faber, Izadi, Penev–Vakil, y Canning–Larson.
   • Estudio de Caso: Género 3: El autor proporciona un esbozo de prueba detallado para $g=3$. La estrategia consiste en estratificar $M_3$ en el locus hiperelíptico $H$ y el locus de curvas planas suaves $P$.
     • Se demuestra que $H$ tiene un anillo de Chow trivial (racionalmente) mediante su relación con $M_{0,8}/S_8$.
     • $P$ es analizado como una estática de cociente $U/GL_3$, mostrando que su anillo de Chow está generado por las clases de Chern del haz de Hodge (que son tautológicas).
     • Usando la secuencia de excisión, la prueba se reduce a demostrar que la clase fundamental $[H]$ es tautológica. Esto se logra al realizar $H$ como un locus de degeneración de un mapa entre haces vectoriales sobre $C_2$ y aplicando la fórmula de Porteous.

3. Clases No Tautológicas (Cuando $A^*(M_g) \neq R^*(M_g)$):

   • El artículo establece que para $g=12$ y $g \ge 16$, el anillo de Chow no está generado por clases tautológicas.
   • Estudio de Caso: Género 12: El autor detalla la construcción de una clase no tautológica por parte de Van Zelm. La clase en cuestión es la clase fundamental del locus bielíptico $B_{12}$ (curvas que admiten un mapa de grado 2 a una curva elíptica).
     • La prueba utiliza el mapa de pegado $i: M_{1,11} \times M_{1,11} \to M_{12}$.
     • Al realizar el pullback de la clase $[B_{12}]$ vía $i$, se obtiene una clase que involucra la diagonal $\Delta$ en $M_{1,11} \times M_{1,11}$.
     • El argumento se basa en la teoría de Hodge y los componentes de Künneth. Específicamente, $H^{11,0}(M_{1,11}) \neq 0$. La clase de la diagonal tiene un componente no nulo en $H^{11,0} \otimes H^{0,11}$.
     • Se demuestra que las clases soportadas en la frontera de $M_{12}$ (y sus pullbacks) carecen de este tipo de Hodge específico. Dado que las clases tautológicas extraídas vía mapas de pegado deben respetar ciertas restricciones de Hodge (específicamente, no pueden generar el tipo de Hodge de grado impar específico encontrado en la diagonal), $[B_{12}]$ no puede ser tautológica.

Significancia y Reivindicaciones
El artículo se posiciona como una introducción al estado actual de la teoría de intersección de $M_g$. Su significancia radica en:

• Marco Unificador: Conecta ejemplos clásicos (Grassmannianas, estáticas de clasificación $BGL_k$) con la teoría moderna de los espacios de módulos de curvas, ilustrando cómo las clases "tautológicas" surgen naturalmente de propiedades universales.
• Clarificación de los Límites del Conocimiento: Delimita claramente los casos conocidos donde el anillo de Chow es tautológico ($g \le 9$) frente a donde no lo es ($g=12, g \ge 16$), resaltando los géneros específicos ($10, 11, 13, 14, 15$) donde la cuestión permanece abierta.
• Demostración Metodológica: Al esbozar pruebas para $g=3$ (generación) y $g=12$ (no generación), el artículo demuestra las herramientas técnicas específicas requeridas para estos problemas: estratificación y excisión para la generación, y análisis de Künneth de Hodge para la no generación.

El autor afirma modestamente que, aunque el anillo de Chow integral solo se conoce para $g=2$, el anillo de Chow racional se entiende para $g \le 9$, y la existencia de clases no tautológicas se establece para géneros superiores específicos. El artículo no pretende resolver los casos abiertos, sino proporcionar el "sabor de las herramientas de vanguardia" utilizadas para abordarlos.