Topology of the Vakil--Zinger moduli space

Aquí presento un resumen técnico detallado del artículo "Topología del espacio de móduli de Vakil–Zinger" de Terry Dekun Song, basado en el documento proporcionado.

1. Problema y Contexto

El artículo aborda la topología racional del espacio de móduli desingularizado de aplicaciones estables de género uno, denotado como $\widetilde{\mathcal{M}}_{1,n}(\mathbb{P}^r, d)$. Este espacio fue construido por Vakil y Zinger ([VZ08]) como una resolución de singularidades del componente principal del espacio de aplicaciones estables $\overline{\mathcal{M}}_{1,n}(\mathbb{P}^r, d)$.

El problema central radica en la complejidad estructural de estos espacios:

• El espacio de aplicaciones estables estándar $\overline{\mathcal{M}}_{1,n}(\mathbb{P}^r, d)$ es reducible debido a que las estratificaciones donde la curva núcleo (subcurva de género uno) se contrae tienen dimensiones excesivas.
• La desingularización de Vakil-Zinger, $\widetilde{\mathcal{M}}_{1,n}(\mathbb{P}^r, d)$, es un stack de Deligne-Mumford suave y propio, pero su estructura de homología/cohomología es difícil de caracterizar debido a la interacción entre la geometría de las curvas estables, las aplicaciones a $\mathbb{P}^r$ y las condiciones de alineación central.
• Existe una necesidad de describir explícitamente los generadores de su homología racional y las relaciones entre ellos, extendiendo técnicas previamente desarrolladas para curvas estables ($\mathcal{M}_{g,n}$) a espacios de aplicaciones.

2. Metodología

El autor emplea una combinación sofisticada de técnicas de geometría algebraica, topología y teoría de filtraciones de peso:

• Estratificación por Gráficos Alineados Centralmente: Se utiliza la estratificación de $\widetilde{\mathcal{M}}_{1,n}(\mathbb{P}^r, d)$ definida por Ranganathan–Santos-Parker–Wise ([RSPW19]) mediante "gráficos alineados centralmente" (centrally aligned graphs). Estos gráficos codifican la estructura de la curva (núcleo de género uno, colas racionales) y una alineación de niveles que bloquea ciertos vértices.
• Secuencia Espectral de Homología de Borel-Moore: Se construye una secuencia espectral basada en la filtración por estratos:
  $$E_1^{p,q} = \bigoplus_{\dim \widetilde{\mathcal{M}}_{[G,\rho]}=p} H^{BM}_{p+q}(\widetilde{\mathcal{M}}_{[G,\rho]}) \Rightarrow H_{p+q}(\widetilde{\mathcal{M}}_{1,n}(\mathbb{P}^r, d))$$
• Filtración de Peso y Truncamiento: Dado que el espacio es suave y propio, la homología es pura de peso. El autor utiliza la filtración de peso de Hodge para truncar la secuencia espectral. Esto permite aislar las clases de "peso puro" (que generan la homología) y las clases de "peso off-by-one" (que generan las relaciones).
• Descomposición de Künneth y Espacios de Aplicaciones Parametrizadas: Se descomponen los estratos en productos fibrados de:
  1. Estratos de curvas alineadas centralmente ($\mathcal{M}^{cen}_{1,n}$).
  2. Aplicaciones de género cero con vectores tangentes prescritos que satisfacen una propiedad de factorización (dependencia lineal).
  3. Aplicaciones estables de género cero.
     Se estudia la cohomología de estos componentes individuales, especialmente el espacio de aplicaciones parametrizadas con derivadas prescritas, utilizando técnicas de Farb-Wolfson.

3. Contribuciones Clave

El trabajo proporciona una descripción algebraica completa de la homología racional del espacio desingularizado:

1. Generadores de la Homología (Teorema A): Se identifica un conjunto explícito de generadores para $H_*(\widetilde{\mathcal{M}}_{1,n}(\mathbb{P}^r, d))$. Estos generadores provienen de:

   • Clases tautológicas y pullbacks de la homología de $\mathcal{M}_{1,m}$ (incluyendo formas modulares cuspales).
   • Clases de hiperplano ($\hat{H}_Q$) y polarización relativa ($\Theta$) de los haces de Picard.
   • Clases $\psi$ de los vértices de género cero (colas racionales).
   • Clases fundamentales de los estratos de frontera.
   • Estos generadores se pueden visualizar como gráficos duales alineados centralmente decorados con clases de homología de Borel-Moore.

2. Relaciones entre Generadores (Teorema B): Se describen las relaciones que anulan combinaciones de generadores. Estas relaciones son multiplicativamente generadas por:

   • Relaciones pullback de $\mathcal{M}^{cen}_{1,n}$ (relaciones de WDVV, relaciones de Getzler y relaciones de clases $\psi$ derivadas de la alineación central).
   • Relaciones de Punto Base (Basepoint Relations): Nuevas relaciones derivadas de la contracción de colas racionales a puntos base en el núcleo de género uno. Estas surgen de considerar mapas de pares que "colapsan" las colas racionales a puntos base en un espacio de cuasi-aplicaciones.

3. Cálculo del Grupo de Picard Racional (Corolario F): Se demuestra que el grupo de Picard racional está generado por las clases $\Theta$, $\hat{H}_Q$ y los divisores de frontera, y que el mapa de clase de ciclo es un isomorfismo.

4. Resultados Principales

• Homología Par: La homología par de $\widetilde{\mathcal{M}}_{1,n}(\mathbb{P}^r, d)$ es puramente tautológica y está controlada por la teoría de Gromov-Witten de género cero y la teoría reducida de género uno.
• Conjeturas de Hodge y Tate (Corolario D): Se verifica que las conjeturas de Hodge y Tate se cumplen para este espacio. Esto implica que todas las clases de cohomología par de grado par son algebraicas.
• Vanishing de Cohomología Impar:
  • Se recupera el resultado de Fontanari: $H^k(\widetilde{\mathcal{M}}_{1,n}(\mathbb{P}^r, d)) = 0$ para $k$ impar y $k < 11$.
  • Se determina que la primera cohomología impar no nula ocurre en grado $k=11$ (asociada a formas modulares de peso 12) y solo si el grado $d$ y la dimensión del espacio proyectivo $r$ son suficientemente grandes (ej. $d \ge 11$).
  • Se calculan los grados exactos donde aparece la cohomología impar en función de $d$ y $r$.
• Estructura de Hodge: Las estructuras de Hodge impares presentes en la cohomología son productos de la estructura de Tate $L$ y las estructuras $S_{k+1}$ correspondientes a formas modulares cuspales de $SL_2(\mathbb{Z})$.

5. Significado e Impacto

Este trabajo representa un avance significativo en la comprensión topológica de los espacios de móduli de aplicaciones estables de género uno:

• Unificación de Técnicas: Combina exitosamente la teoría de filtraciones de peso (antes aplicada principalmente a curvas estables) con la geometría combinatoria de los espacios de aplicaciones (gráficos alineados).
• Resolución de Conjeturas: Proporciona la primera verificación completa de las conjeturas de Hodge y Tate para una familia de espacios de móduli de aplicaciones de género uno desingularizados.
• Herramienta para Cálculos Futuros: La descripción explícita de generadores y relaciones (especialmente las "relaciones de punto base") ofrece un marco computacional para calcular polinomios de Poincaré y clases de Grothendieck equivariantes, algo que anteriormente era inalcanzable debido a la complejidad de las singularidades.
• Generalización: Las técnicas desarrolladas no solo se aplican a $\widetilde{\mathcal{M}}_{1,n}(\mathbb{P}^r, d)$, sino que también se extienden a los grupos de homología de peso puro de las aplicaciones estables estándar $\mathcal{M}_{1,n}(\mathbb{P}^r, d)$ y sugieren vías para estudiar espacios de género superior (como $\mathcal{M}_{2,n}$) y cuotientes estables.

En resumen, el artículo establece una base sólida para el estudio algebraico y topológico de los espacios de móduli de género uno, transformando un problema geométrico complejo en una estructura algebraica manejable mediante el uso de estratificaciones combinatorias y filtraciones de peso.