Stability conditions in the mathematical Gauged Linear Sigma Model

Basic Information

• Paper ID: 2312.11174
• Title: Stability conditions in the mathematical Gauged Linear Sigma Model
• Authors: Huai-Liang Chang, Shuai Guo, Jun Li, Wei-Ping Li, Yang Zhou
• Classification: math.AG (Algebraic Geometry)
• Publication Date: December 2023 (arXiv v3: October 15, 2025)
• Paper Link: https://arxiv.org/abs/2312.11174

Abstract

The Mixed-Spin-P (MSP) field theory was introduced by Chang-Li-Li-Liu for quintic threefolds to study their higher genus Gromov-Witten invariants. Chang-Guo-Li successfully applied this theory to prove several conjectures including the BCOV Feynman rules, the Yamaguchi-Yau polynomiality conjecture, and the holomorphic anomaly equation. Simultaneously, Fan-Jarvis-Ruan introduced the mathematical theory of the Gauged Linear Sigma Model (GLSM), which under appropriate assumptions relates counting theory to GIT quotients with superpotentials.

This paper provides a common generalization of both works by introducing new stability conditions in the mathematical GLSM. We prove that our stability conditions ensure separatedness and properness of the degeneracy locus of the cosection in the moduli space. It generalizes the MSP field construction to more general GIT quotients, including Calabi-Yau complete intersections in toric varieties. This is expected to provide a geometric platform for effectively computing their higher genus Gromov-Witten invariants.

Research Background and Motivation

Problem Background

1. Limitations of MSP theory: MSP theory was originally applicable only to quintic threefolds and needs to be generalized to more general Calabi-Yau threefolds to study the structure of their higher genus Gromov-Witten invariants.
2. Incompleteness of GLSM theory: Although Fan-Jarvis-Ruan's GLSM theory applies to a broad class of GIT quotients, it encounters difficulties in choosing stability conditions when defining GLSM invariants for the main space of variation GIT.
3. Technical challenges of stability conditions: How to choose stability conditions to ensure properness of the degeneracy locus of the cosection is key to defining invariants, but existing methods are either too special (such as the finite automorphism condition in MSP) or lack good lifting properties.

Research Motivation

The core motivation of this paper is to establish a unified framework that encompasses both existing MSP and GLSM theories while generalizing to broader geometric objects, particularly Calabi-Yau complete intersections in toric varieties.

Core Contributions

1. Introduction of Ω-stability condition: Proposes a new stability condition (Ω-stability) that refines quasi-map stability by introducing the notion of slope and combining it with R-charges.
2. Proof of geometric properties: Proves that the Ω-stability condition ensures separatedness (Theorem 2.4) and properness (Theorem 2.5) of the moduli space.
3. Theory unification: Unifies MSP theory and GLSM theory under the same framework, with MSP becoming a special case of Ω-stable GLSM.
4. Generalized applications: Extends the theory to Calabi-Yau complete intersections in toric varieties, providing a geometric platform for computing their higher genus Gromov-Witten invariants.

Detailed Methodology

Core Concept Definitions

R-charged Package

An R-charged package consists of a quadruple $(V, G \leq \Gamma, \varpi, \vartheta)$, where:

• $V$ is an affine scheme with action by a reductive group $\Gamma$
• $\varpi, \vartheta \in \hat{\Gamma}$ are characters of $\Gamma$
• $G = \ker(\varpi)$, and $\varpi$ induces an isomorphism $\Gamma/G \cong \mathbb{C}^*$

Pre-stable LG-quasi-maps

Given an R-charged package, a genus $g$, $k$-pointed pre-stable LG-quasi-map is defined as: $\xi = (C, \Sigma^C, u, \kappa)$ where:

• $\Sigma^C \subset C$ is a $k$-pointed genus $g$ balanced twisted nodal curve
• $u: C \to [V/\Gamma]$ is a representable morphism
• $\kappa: u^*L_\varpi \to \omega_C^{\log}$ is a line bundle isomorphism

Ω-stability condition

Ω-stability is defined by a triple $\Omega = (S, A, \vartheta)$:

• $S$ is a finite set of nonzero homogeneous elements in $R_+$
• $A \in \mathbb{Q}$, satisfying $A > \max_{f \in S}\{\text{slope}(f)\}$
• $\vartheta$ as defined previously

For a homogeneous element $f \in R^k_{\vartheta,c\varpi}$, define:

• θ-weight: $\text{wt}_\theta(f) = k$
• R-charge: $\text{wt}_R(f) = c$
• Slope: $\text{slope}_\vartheta(f) = c/k$

Ω-stability Conditions

A pre-stable LG-quasi-map $\xi$ is Ω-stable if and only if it satisfies:

Ω-1: $u^{-1}([V(S)/\Gamma])$ is discrete and disjoint from the special points of $(C,\Sigma^C)$

Ω-2: For any non-special closed point $x \in C$: $\min_{f \in S}\left\{\frac{1}{\text{wt}_\theta(f)}\text{ord}_x(u^*f) + \text{slope}(f)\right\} \leq A$

Ω-3: The $\mathbb{Q}$-line bundle $u^*L_\vartheta \otimes (\omega_C^{\log})^{\otimes A}$ is positive

Technical Innovations

1. Introduction of slope concept: By combining θ-weight and R-charge to define slope, provides finer control of stability.
2. Wall chamber structure: The stability condition exhibits wall chamber structure as the parameter $A$ varies, similar to $\varepsilon$-stable quasi-map theory.
3. Localization techniques: Reduces the general case to the projective space case via the local valuative criterion, using compatibility of equivariant line bundles.

Main Theorems

Main Theorem 2.4 (Separatedness)

The stack $\text{LGQ}^{\Omega}_{g,k}(X,d)$ is a separated Deligne-Mumford stack of finite type.

Main Theorem 2.5 (Properness)

Assume $V//\theta G$ is projective and $S$ is complete. Then $\text{LGQ}^{\Omega}_{g,k}(X,d)$ is proper.

Proof Strategy

Projective space case (Section 5)

1. Finite automorphism groups: Proves that Ω-stable LG-quasi-maps have finite automorphism groups
2. Valuative criterion: Uses families of curves with non-reduced components to handle degenerations
3. Stabilization process: Achieves stabilization by contracting rational tails and bridges violating Ω-3

Reduction to general case (Section 6)

1. Boundedness: Proves boundedness of base curves and principal bundle families
2. Local valuative criterion: Localizes the problem to trivialization regions
3. Comparison with projective space: Constructs morphism $\Phi: \text{LGQ}^{\Omega_1}_{g,k}(X,d) \to \text{LGQ}^{\text{pre}}_{g,k}(\mathbb{P}^{N-1},d)$

Application Examples

Recovery of MSP theory

By choosing appropriate packages and Ω parameters, recovers the stable MSP field theory for quintic threefolds:

• Package: $(V_1, G \leq \Gamma, \varpi, \vartheta)$, where $V_1 = \mathbb{C}^5 \times \mathbb{C} \times \mathbb{C}^2$
• Stability parameters: $\frac{1}{5} < A < \frac{2}{5}$, $S = \{x_1v^2, \ldots, x_5v^2, uv, u^{10}p\}$

LG phase of complete intersections

For smooth complete intersections of $s$ hypersurfaces of degrees $\ell_1, \ldots, \ell_s$ in projective space, constructs the corresponding mixed Landau-Ginzburg/σ-model.

Theoretical Significance and Impact

Mathematical Significance

1. Theory unification: First unifies MSP theory and GLSM theory under the same framework
2. Technical breakthrough: Solves the technical problem of choosing stability conditions for the main space of variation GIT
3. Generalization potential: Establishes foundation for studying Calabi-Yau complete intersections in toric varieties

Application Prospects

1. BCOV Feynman rules: Expected to generalize to more general Calabi-Yau threefolds
2. Holomorphic anomaly equation: Provides tools for studying holomorphic anomaly equations for broader geometric objects
3. Matrix models: Connections with random matrix theory (e.g., GUE matrix models)

Limitations and Future Directions

Current Limitations

1. Non-abelian case: Boundedness proof requires additional work in the non-abelian case (CGL+23)
2. Computational complexity: For general toric variety complete intersections, multiple R-charged package choices exist, and it is unclear which yield BCOV-type results
3. Variation GIT: The theory's behavior when the target space changes via variation GIT is a more difficult problem

Future Directions

1. Fermat singularities: Zhang's ongoing work uses results from this paper to construct MSP moduli spaces
2. Products of projective spaces: For Calabi-Yau complete intersections in products of projective spaces, BCOV Feynman rules can be proved
3. Mixed models: Further connections with mixed models in physics

In-depth Evaluation

Strengths

1. Theoretical innovation: The introduction of Ω-stability condition is a genuine theoretical innovation, cleverly combining geometric and algebraic structures
2. Technical depth: The proofs involve deep algebraic geometry techniques, including variation GIT, moduli space theory, and intersection theory
3. Broad applicability: The theoretical framework has strong universality and can be applied to various geometric situations
4. Clear exposition: The paper is well-structured with sufficient technical details, facilitating understanding and application

Technical Contributions

1. Stability theory: Develops new stability theory, solving long-standing technical problems
2. Moduli space geometry: Provides complete characterization of geometric properties of LG-quasi-map moduli spaces
3. Reduction techniques: Develops systematic methods for reducing general cases to known cases

Impact Assessment

This is an important theoretical work in algebraic geometry, expected to have profound impact on Gromov-Witten theory, mirror symmetry, and mathematical physics. The paper solves fundamental technical problems in the field, laying a solid foundation for subsequent research.

References

The paper cites core literature in the field, including:

• CLLL19, CGLL21, CGL21: Foundational works on MSP theory
• FJR17: Mathematical theory of GLSM
• CFKM14: Stable quasi-map theory
• KL13: Cosection localization techniques