Higher genus reduced Gromov--Witten invariants via desingularizations of sheaves

Aquí presento un resumen técnico detallado del artículo "Higher Genus Reduced Gromov–Witten Invariants via Desingularizations of Sheaves" (Invariantes de Gromov–Witten reducidos en género superior mediante desingularizaciones de haces), escrito por Alberto Cobos Rabano, Etienne Mann, Cristina Manolache y Renata Picciotto.

1. El Problema

Los invariantes de Gromov–Witten (GW) clásicos de una variedad proyectiva suave $X$ se definen como números de intersección contra la clase fundamental virtual del espacio de módulos de aplicaciones estables $\mathcal{M}_{g,n}(X, d)$. Sin embargo, estos invariantes a menudo incluyen contribuciones de mapas degenerados con dominios reducibles (curvas nodales con componentes de género positivo y grado bajo), lo que complica su interpretación geométrica y su relación con invariantes físicos como los invariantes de Gopakumar–Vafa.

El objetivo es definir invariantes reducidos que descarten estas contribuciones degeneradas, capturando únicamente la contribución de la "componente principal" del espacio de módulos (el cierre del lugar donde la curva fuente es suave).

• Estado del arte: Para géneros $g=1$ y $g=2$, existen construcciones exitosas (Vakil-Zinger, Hu-Li, Chang-Li) que definen estos invariantes reducidos.
• La dificultad: Para género $g \geq 3$, la geometría del espacio de módulos $\mathcal{M}_{g,n}(X, d)$ es extremadamente compleja y no se conocen ecuaciones locales explícitas generales. Los métodos anteriores, que dependen de ecuaciones locales y blow-ups explícitos en el espacio de módulos, no se generalizan fácilmente a género superior.

2. Metodología y Herramientas Principales

La innovación central de este trabajo es evitar la necesidad de ecuaciones locales explícitas del espacio de módulos de aplicaciones estables. En su lugar, los autores utilizan una estrategia basada en la desingularización de haces coherentes sobre el espacio de módulos de curvas y haces de líneas (el stack de Picard, $\text{Pic}_{g,n,d}$).

A. Desingularización y Diagonalización de Haces

El problema geométrico se reduce a mejorar la singularidad de un haz coherente $F$ sobre un stack de Artin integral $P$ (en este caso, el stack de Picard). El haz $F$ típicamente tiene torsión, lo que impide que su cono abeliano asociado sea suave.

Los autores presentan dos construcciones biracionales universales (blow-ups) para transformar $P$ en un nuevo stack $\tilde{P}$ tal que la parte libre de torsión del haz pullback sea localmente libre:

1. Construcción de Rossi (Blow-up de Rossi):

   • Es una versión stacky de la transformación de Nash y el aplanamiento de Raynaud-Gruson.
   • Se define como el cierre de la sección genérica en una Grassmanniana relativa.
   • Propiedad: Hace que la parte libre de torsión $(p^*F)^{tf}$ sea un haz localmente libre. Es la modificación biracional mínima que satisface una propiedad universal.
   • Resultado: Permite definir invariantes reducidos intrínsecamente.

2. Construcción de Hu-Li (Blow-up de Hu-Li):

   • Se basa en la diagonalización de morfismos de haces libres.
   • Se construye mediante una sucesión de blow-ups a lo largo de ideales de Fitting.
   • Propiedad: No solo hace libre la parte torsión, sino que diagonaliza el haz, transformándolo en una unión de haces localmente libres sobre subesquemas cerrados.
   • Ventaja: Proporciona una estructura más rica que permite descomponer la clase fundamental virtual en componentes irreducibles, lo cual es crucial para probar conjeturas de relación entre invariantes GW y GV.

B. Aplicación a Mapas Estables

El espacio de mapas estables a $\mathbb{P}^r$, $\mathcal{M}_{g,n}(\mathbb{P}^r, d)$, se puede ver como un sub-stack abierto de un cono abeliano sobre el stack de Picard $\text{Pic}_{g,n,d}$.

• Los autores aplican las desingularizaciones de Rossi y Hu-Li al stack de Picard ($\text{Pic} \to \tilde{\text{Pic}}$).
• Esto induce una modificación biracional del espacio de mapas estables $\tilde{\mathcal{M}}_{g,n}(\mathbb{P}^r, d)$.
• En este nuevo espacio, el haz de obstrucción (relacionado con $R^1\pi_* L$) se vuelve localmente libre en la componente principal, permitiendo definir una teoría de obstrucción perfecta relativa.

3. Contribuciones Clave

1. Definición en Género Superior: Se define por primera vez una noción de invariantes de Gromov–Witten reducidos para hipersuperficies en espacios proyectivos (y más generalmente, cocientes GIT) en cualquier género $g$, bajo la condición de grado $d > 2g-2$.
2. Independencia del Modelo: Se demuestra que los invariantes reducidos definidos mediante la construcción de Rossi o la de Hu-Li son coincidentes. Esto valida la definición intrínseca de los invariantes reducidos, independientemente de la desingularización específica elegida.
3. Generalización a Cocientes GIT: La metodología se extiende más allá de los espacios proyectivos a cocientes GIT de espacios vectoriales, cubriendo variedades toricas, Grassmannianas y variedades de intersección completa.
4. Conexión con Mapas con Campos (Fields): Se utiliza la construcción de Hu-Li para definir invariantes reducidos a través del espacio de "mapas con campos" (introducido por Chang-Li). Esto permite descomponer la clase fundamental virtual en componentes, facilitando el estudio de las relaciones entre invariantes estándar y reducidos.
5. Comparación con Modelos Previos: En género 1, se demuestra que la construcción de Rossi produce un espacio de módulos diferente (pero biracionalmente equivalente en términos de invariantes) al blow-up clásico de Vakil-Zinger, ofreciendo una perspectiva más geométrica y menos dependiente de ecuaciones locales.

4. Resultados Principales

• Teorema 1.0.2 (Desingularización Universal): Establece la existencia de dos stacks de Artin, $\text{Bl}^R_F P$ (Rossi) y $\text{Bl}^{HL}_F P$ (Hu-Li), que satisfacen propiedades universales para hacer localmente libre la parte libre de torsión de un haz $F$ o para diagonalizarlo, respectivamente.
• Definición de Invariantes Reducidos (Def. 7.4.4): Para una hipersuperficie $X \subset \mathbb{P}^r$ y $d > 2g-2$, los invariantes reducidos se definen como números de intersección contra la clase fundamental virtual de la componente principal del espacio de mapas desingularizado $\tilde{\mathcal{M}}^\circ_{g,n}(X, d)$.
• Teorema 7.5.1 (Estructura de Componentes): El espacio de mapas con campos desingularizado mediante Hu-Li tiene componentes irreducibles que son suaves sobre su imagen en el stack de Picard desingularizado. Esto es fundamental para aplicar técnicas de localización y cosección.
• Conjetura 1.0.4 (Relación GW-GV): El trabajo proporciona el marco geométrico necesario para abordar la conjetura que relaciona los invariantes GW con los invariantes de Gopakumar–Vafa en género superior para variedades Fano y Calabi-Yau, extendiendo resultados previos válidos solo para $g=1, 2$.

5. Significado e Impacto

Este trabajo representa un avance significativo en la geometría algebraica y la teoría de Gromov–Witten por varias razones:

• Superación de Barreras Técnicas: Elimina la dependencia de ecuaciones locales explícitas, que son inmanejables en género alto, reemplazándolas por propiedades universales de desingularización de haces.
• Unificación: Unifica las definiciones de invariantes reducidos para una clase muy amplia de variedades objetivo (cocientes GIT), no solo hipersuperficies.
• Herramienta para Conjeturas: Al proporcionar un espacio de módulos "bueno" (con obstrucciones controladas y componentes suaves) para género superior, habilita la aplicación de métodos algebraicos (como el uso de mapas con campos y localización) para probar conjeturas profundas sobre la estructura de los invariantes cuánticos en todas las dimensiones y géneros.
• Nueva Perspectiva Geométrica: La distinción y comparación entre el blow-up de Rossi y el de Hu-Li enriquece la comprensión de cómo las singularidades de los haces afectan la geometría de los espacios de módulos, ofreciendo nuevas vías para la investigación en teoría de singularidades y geometría biracional de stacks.

En resumen, el artículo establece un marco robusto y general para el estudio de invariantes reducidos en género superior, resolviendo un problema abierto durante décadas y abriendo la puerta a la verificación de conjeturas fundamentales en la teoría de cuerdas y geometría enumerativa.