Stability conditions in the mathematical Gauged Linear Sigma Model

Resumen Técnico: Condiciones de Estabilidad en el Modelo de Sigma Lineal Gauged Matemático

Planteamiento del Problema
El artículo aborda el desafío de definir un marco matemático robusto para el Modelo de Sigma Lineal Gauged (GLSM) que generalice las teorías existentes, específicamente la teoría de campos de Spin-Mixto-P (MSP) para tresvariedades quinticas y la teoría de Fan-Jarvis-Ruan (FJR) de LG-quasimaps.

Si bien los campos MSP logran conectar la teoría de Gromov-Witten con la teoría de singularidades cuánticas para la quíntica, y la teoría FJR proporciona una teoría de conteo para cocientes GIT con superpotenciales, ninguno de estos marcos se generaliza plenamente a las variaciones de GIT (vGIT) de los espacios maestros necesarios para estudiar los invariantes de Gromov-Witten de género superior de intersecciones completas de Calabi-Yau en variedades toricas.

Un obstáculo técnico primordial es la falta de una condición de estabilidad que garantice la separación y la compacidad del espacio de módulos, particularmente del locus de degeneración de la cosección. Los intentos previos, como la condición ad hoc de automorfismos finitos en MSP o el requisito de "buen levantamiento" (good lift) en la teoría FJR, fallan para los espacios maestros de vGIT generales (por ejemplo, donde los loci inestables se intersectan de manera no trivial o donde no existen buenos levantamientos). Sin estas propiedades geométricas, no es posible definir invariantes mediante la teoría de intersección o utilizar técnicas de localización virtual de manera efectiva.

Metodología
Los autores introducen una nueva condición de estabilidad denominada $\Omega$-estabilidad para los LG-quasimaps. La metodología procede de la siguiente manera:

1. Configuración del Marco: La teoría se construye sobre un paquete (con carga-$R$) $(V, G \leq \Gamma, \varpi, \vartheta)$, donde $V$ es un esquema afín, $G$ es un grupo reductivo, y $\Gamma$ es un grupo reductivo que contiene a $G$ con un carácter $\varpi$ que induce un isomorfismo $\Gamma/G \cong \mathbb{C}^*$. El carácter $\vartheta$ se restringe a un parámetro de estabilidad $\theta$ en $G$.
2. Definición de $\Omega$-Estabilidad: Un LG-quasimap preestable $\xi = (C, \Sigma_C, u, \kappa)$ se define como $\Omega$-estable si satisface tres condiciones involucrando una terna $\Omega = (S, A, \vartheta)$:
   • $\Omega$-1: El locus base es discreto y disjunto de puntos especiales.
   • $\Omega$-2: Una condición de pendiente en puntos no especiales involucrando un conjunto finito $S$ de elementos homogéneos en el anillo de invariantes. Para $f \in S$, la condición es $\min_{f \in S} \{ \frac{1}{\text{wt}_\theta(f)}\text{ord}_x(u^*f) + \text{slope}(f) \} \leq A$. Aquí, la pendiente incorpora la "carga-$R$" (el peso bajo la acción de $\mathbb{C}^*$ en las fibras).
   • $\Omega$-3: El fibrado $\mathbb{Q}$-lineal $u^*L_\vartheta \otimes (\omega_C^{\log})^{\otimes A}$ es positivo.
3. Análisis de la Estabilidad: Los autores analizan la dependencia de la estabilidad sobre los parámetros $S$, $A$ y $\vartheta$. Demuestran que, para un blanco fijo, la variación de $A$ crea una estructura de pared y cámara (wall-and-chamber) similar a la de los $\epsilon$-estables quasimaps. Muestran que, conforme $A \to \infty$, la condición recupera la estabilidad $\epsilon = 0^+$ de la teoría FJR.
4. Reducción al Espacio Proyectivo: Para probar los teoremas principales, reducen el caso general al caso de espacios proyectivos con diversas cargas-$R$. Construyen un morfismo desde el módulo de LG-quasimaps $\Omega$-estables hacia un blanco $X$ al módulo de LG-quasimaps $\Omega$-estables hacia un espacio proyectivo $\mathbb{P}^{N-1}$, preservando las condiciones de estabilidad.
5. Criterio Valuativo: Utilizando la reducción, aplican el criterio valuativo para probar la separación y la compacidad. Esto implica construir extensiones de familias sobre anillos de valoración discreta, manejar fibras especiales no reducidas mediante soplados (blow-ups) y cambios de base, y realizar un proceso de estabilización para contraer colas racionales (rational tails) y puentes que violen la condición de positividad.

Contribuciones Clave y Resultados
El artículo establece los siguientes teoremas principales respecto al stack de módulos $\text{LGQ}^\Omega_{g,k}(X, d)$ de los LG-quasimaps $\Omega$-estables:

• Teorema 2.4 (Separación): El stack $\text{LGQ}^\Omega_{g,k}(X, d)$ es un stack de Deligne-Mumford separado de tipo finito. Esto resuelve el problema de los espacios de módulos no separados encontrados en construcciones ad hoc previas.
• Teorema 2.5 (Compacidad): Si el cociente GIT $V//_\theta G$ es proyectivo y el conjunto $S$ es "completo" (es decir, su locus de vacío común es el locus inestable), entonces el stack $\text{LGQ}^\Omega_{g,k}(X, d)$ es compacto (proper).
• Generalización de MSP: La nueva condición de estabilidad generaliza la construcción de campos MSP para la tresvariedad quíntica. Al aplicar la teoría al espacio maestro $Y$ asociado a la quíntica, los autores recuperan la compacidad del locus de degeneración de la cosección, lo cual se había demostrado previamente mediante métodos ad hoc.
• Extensión a Blancos Generales: El marco es aplicable a intersecciones completas globales de Calabi-Yau en variedades toricas y otros espacios maestros de vGIT donde los métodos anteriores (que requerían "buenos levantamientos") fallaron.
• Acotación: El artículo proporciona una prueba de la acotación del espacio de módulos, abordando una laguna en la literatura previa respecto a la acotación de los quasimaps estables en el caso no abeliano (haciendo referencia a un artículo complementario para la prueba completa del caso no abeliano).

Significado y Reivindicaciones
Los autores sostienen que este trabajo proporciona una generalización común de la teoría de campos MSP y la teoría GLSM de FJR. Al introducir la $\Omega$-estabilidad, proporcionan una plataforma geométrica que:

1. Garantiza la separación y compacidad necesarias de los espacios de módulos y sus loci de degeneración de la cosección.
2. Permite la definición de teorías de conteo para una clase más amplia de espacios blanco, incluyendo intersecciones completas de Calabi-Yau en variedades toricas.
3. Ofrece una vía para computar eficazmente invariantes de Gromov-Witten de género superior para estos blancos, extendiendo potencialmente resultados como la regla de Feynman de BCOV y la Ecuación de Anomalía Holomorfa más allá de la tresvariedad quíntica.

El artículo señala que, si bien la construcción es general, la elección específica del paquete de carga-$R$ y el parámetro $A$ pueden conducir a diferentes teorías enumerativas. Destaca que, para ciertos casos (por ejemplo, singularidades de Fermat o intersecciones completas de Calabi-Yau en productos de espacios proyectivos), este marco ya ha sido utilizado para probar conjeturas relativas a la regla de Feynman de BCOV y la analiticidad de las funciones de partición. El trabajo no pretende resolver todos los problemas de género superior de inmediato, sino que establece las condiciones de estabilidad fundamentales necesarias para abordarlos.