Supermoduli spaces are non-projected in every genus $g\geq 3$

Resumen Técnico: No Proyectividad de los Espacios de Supermódulos en Género $g \ge 3$

Planteamiento del Problema
El artículo aborda la estructura geométrica global del superstack de módulos $\mathcal{M}^{\varepsilon}_g$ de superficies de super Riemann suaves y sin puntos de punción de género $g$ con paridad de espín $\varepsilon \in \{+, -\}$. Una cuestión central en la supergeometría es si estos espacios de módulos son "proyectados" o "divididos" (split). Un supermanifold es proyectado si admite una retracción sobre su espacio de módulos reducido (el espacio de módulos de curvas de espín, $\mathcal{S}^{\varepsilon}_g$). Es dividido si su haz estructural es isomorfo al álgebra exterior del haz cotangente impar de su reducción.

Si bien la teoría de deformación local para estos espacios no presenta obstrucciones, la existencia de una proyección global está obstruida por una clase de cohomología primaria $\omega_2(\mathcal{M}^{\varepsilon}_g) \in H^1(\mathcal{S}^{\varepsilon}_g, \text{Hom}(\wedge^2 T^- \mathcal{M}^{\varepsilon}_g, T^+ \mathcal{M}^{\varepsilon}_g))$. Trabajos previos establecieron que para $g=2$, ambos componentes de paridad son divididos. Para $g \ge 5$, se conocía la no proyectividad, y el caso del género par $g=4$ fue resuelto. El caso umbral de género $g=3$ (y el caso impar de $g=4$) permanecía abierto. Los autores pretenden demostrar que para cada $g \ge 3$, ambos componentes de paridad son no proyectados y no divididos tanto en la categoría algebraica como en la holomorfa.

Metodología
La demostración procede mediante un argumento de múltiples etapas que combina técnicas de degeneración, teoría de deformación formal y teoremas de comparación algebraico-analítica.

1. Degeneración de la Frontera y Familias de Prueba:
   Los autores construyen un morfismo específico desde un esquema supercentral $Z^{\varepsilon}_{\eta}$ hacia el divisor de frontera de Neveu–Schwarz estable $D$ del espacio de supermódulos estable.

• El Núcleo (Core): El origen se construye sobre una curva de género $h = g-1$ equipada con una característica theta par inefectiva (donde $H^0(C, L) = H^1(C, L) = 0$).
• La Cola (Tail): Se adjunta un componente elíptico en un nodo. La estructura de espín de esta cola determina la paridad $\varepsilon$ de la superficie de género $g$ resultante.
• Distinción de Paridad: Para la paridad par ($\varepsilon=+$), la construcción incluye una marca NS móvil en la cola elíptica para eliminar las obstrucciones invariantes. Para la paridad impar ($\varepsilon=-$), la cola se mantiene constante.
• Clase Central: Utilizando la inefectividad de $L$, los autores muestran que la clase de obstrucción primaria del origen se mapea inyectivamente en el haz tangente de la frontera, produciendo una "clase de comparación central" no nula $c^{\varepsilon}_{\eta}$.

2. Suavizado Formal Transversal:
   Utilizando la teoría de extensiones transversales, los autores extienden el mapa $Z^{\varepsilon}_{\eta} \to D$ formalmente en una dirección transversal a la frontera (suavizando el nodo).

• Construyen una familia formal $\widehat{Y}^{\varepsilon}_{\eta}$ sobre un disco formal, que mapea hacia la completitud formal del superstack ambiente a lo largo de $D$.
• Vanecimiento de la Obstrucción: Un paso técnico clave consiste en demostrar que los grupos de obstrucción para esta extensión se anulan. Al analizar la acción de un grupo finito $A \cong \mu_4$ (que actúa sobre la cola elíptica) y utilizando la dualidad de Serre en el núcleo, demuestran que todas las clases de obstrucción invariantes se anulan para todos los órdenes de la expansión formal. Esto asegura la existencia de un suavizado formal coherente.

3. Localización de Laurent y Eliminación de Polos:
   Para pasar de la frontera al lóbulo suave, se invierte el parámetro de la frontera $t$.

• Los autores analizan el comportamiento de la clase de comparación bajo la localización de Laurent. Prueban que si la clase se anulara tras invertir $t$, la primitiva resultante requeriría un polo.
• Al promediar bajo la involución de paridad y analizar los haces graduados asociados, demuestran que no existen secciones globales invariantes no nulas para potencias negativas del parámetro de la frontera. Por consiguiente, cualquier primitiva debe ser regular, lo que contradice la no nulidad de la clase central. Esto establece que la extensión permanece no dividida en el lóbulo suave.

4. No Nulidad Algebraica:
   Los autores deducen que si la obstrucción primaria se anulara en el espacio de módulos algebraico suave $\mathcal{M}^{\varepsilon}_g$, existiría una división (splitting). Esta división se contraería hacia una división de Laurent de la extensión formal construida, contradiciendo el paso anterior. Así, $\omega^{\text{alg}}_2(\mathcal{M}^{\varepsilon}_g) \neq 0$.

5. Comparación Algebraico-Analítica:
   Para extender el resultado a la categoría holomorfa, los autores demuestran un teorema de comparación general (Teorema 1.2).

• Construyen compactificaciones proyectivas normales de cubiertas de nivel de espín del espacio de módulos donde el complemento tiene codimensión al menos dos (usando la compactificación de Satake del lóbulo de la variedad de Torelli).
• Demuestran que para tales variedades, el mapa de analitificación en $H^1$ es inyectivo. Esto se basa en extender las secciones algebraicas como haces reflexivos coherentes a través del complemento de codimensión dos y aplicar GAGA.
• Esta inyectividad asegura que la no nulidad de la clase algebraica implica la no nulidad de la clase holomorfa.

Contribuciones Clave y Resultados

• Teorema Principal (Teorema 1.1): Para cada género $g \ge 3$ y ambas paridades de espín $\varepsilon \in \{+, -\}$, la clase de obstrucción primaria es no nula tanto en la categoría algebraica como en la holomorfa:
  $$\omega^{\text{alg}}_2(\mathcal{M}^{\varepsilon}_g) \neq 0, \quad \omega^{\text{hol}}_2((\mathcal{M}^{\varepsilon}_g)^{\text{an}}) \neq 0.$$
  Consecuentemente, los espacios de supermódulos suaves y sin punción no son ni proyectados ni divididos.
• Resolución del Umbral de Género 3: El artículo proporciona la primera prueba de la no proyectividad para el género $g=3$, resolviendo el género más bajo donde ocurre este fenómeno.
• Argumento Uniforme: La demostración utiliza un único argumento de degeneración (adjuntar una cola elíptica a un núcleo) que se aplica uniformemente para todo $g \ge 3$ y ambas paridades, diferenciándose solo en el manejo específico de los automorfismos de la cola elíptica.
• Teorema de Comparación: El artículo establece una condición geométrica suficiente (la existencia de una compactificación proyectiva normal con un complemento de codimensión dos) bajo la cual las clases de extensión algebraica permanecen no triviales tras la analitificación, incluso para variedades no propias.

Significancia
El artículo establece una característica fundamental de la geometría global de los espacios de supermódulos: a pesar de tener una teoría de deformación local sin obstrucciones, poseen datos de extensión global no triviales sobre el stack de curvas de espín clásico. Esta obstrucción impide la existencia de una proyección holomorfa global sobre el módulo de curvas de espín para $g \ge 3$.

En el contexto de la teoría de perturbaciones de supercuerdas, donde las amplitudes se definen mediante la integración sobre supermódulos, este resultado implica que la construcción utilizada para el género 2 (que se basa en una proyección global vía la matriz de periodo super) no puede generalizarse a géneros superiores. Si bien el resultado no invalida inmediatamente candidatos específicos de formas modulares para medidas quirales propuestos por otros autores, descarta la existencia de una proyección holomorfa global como base para construcciones análogas. El trabajo clarifica la naturaleza geométrica de la "obstrucción de Green" y confirma que el modelo dividido falla uniformemente en todo el rango estable por encima del género dos.