2025-11-21T05:52:15.639753

Stability conditions in the mathematical Gauged Linear Sigma Model

Chang, Guo, Li et al.
The theory of Mixed-Spin-P (MSP) fields was introduced by Chang-Li-Li-Liu for the quintic threefold, aiming at studying its higher-genus Gromov-Witten invariants. Chang-Guo-Li has successfully applied it to prove conjectures including the BCOV Feynman rule, Yamaguchi-Yau's polynomiality conjecture and the Holomorphic Anomaly Equation. Meanwhile, Fan-Jarvis-Ruan introduced a mathematical theory of Gauged Linear Sigma Model (GLSM), associating a counting theory to a GIT quotient with a super-potential, under suitable assumptions. This paper provides a common generalization of both works, by introducing new stability conditions in the mathematical GLSM. We show that our stability condition guarantees the separatedness and properness of the cosection degeneracy locus in the moduli. It generalizes the MSP fields construction to more general GIT quotients, including Calabi-Yau global complete intersections in toric varieties. This hopefully provides a geometric platform to effectively compute their higher-genus Gromov-Witten invariants.
academic

Stability conditions in the mathematical Gauged Linear Sigma Model

基本信息

  • 论文ID: 2312.11174
  • 标题: Stability conditions in the mathematical Gauged Linear Sigma Model
  • 作者: Huai-Liang Chang, Shuai Guo, Jun Li, Wei-Ping Li, Yang Zhou
  • 分类: math.AG (代数几何)
  • 发表时间: 2023年12月 (arXiv v3: 2025年10月15日)
  • 论文链接: https://arxiv.org/abs/2312.11174

摘要

Mixed-Spin-P (MSP) 场理论由Chang-Li-Li-Liu为五次三重引入,旨在研究其高亏格Gromov-Witten不变量。Chang-Guo-Li成功应用该理论证明了包括BCOV Feynman规则、Yamaguchi-Yau多项式性猜想和全纯反常方程在内的多个猜想。同时,Fan-Jarvis-Ruan引入了规范线性σ模型(GLSM)的数学理论,在适当假设下将计数理论与带超势的GIT商联系起来。

本文通过在数学GLSM中引入新的稳定性条件,提供了两项工作的共同推广。我们证明了我们的稳定性条件保证了模空间中余截面退化轨迹的分离性和紧性。它将MSP场构造推广到更一般的GIT商,包括环面簇中的Calabi-Yau全局完全交。这有望提供一个几何平台来有效计算它们的高亏格Gromov-Witten不变量。

研究背景与动机

问题背景

  1. MSP理论的局限性: MSP理论最初只适用于五次三重,需要推广到更一般的Calabi-Yau三重以研究其高亏格Gromov-Witten不变量的结构。
  2. GLSM理论的不完善: Fan-Jarvis-Ruan的GLSM理论虽然适用于广泛的GIT商类,但在定义变分GIT主空间的GLSM不变量时遇到稳定性条件选择困难。
  3. 稳定性条件的技术挑战: 如何选择稳定性条件以保证余截面退化轨迹的紧性是定义不变量的关键,但现有方法要么过于特殊(如MSP中的有限自同构条件),要么缺乏良好提升。

研究动机

本文的核心动机是建立一个统一的框架,既能涵盖已有的MSP理论和GLSM理论,又能推广到更广泛的几何对象,特别是环面簇中的Calabi-Yau完全交。

核心贡献

  1. 引入Ω-稳定性条件: 提出了一种新的稳定性条件(Ω-stability),它通过引入斜率概念并结合R-荷来细化准映射稳定性。
  2. 证明几何性质: 证明了Ω-稳定性条件保证模空间的分离性(Theorem 2.4)和紧性(Theorem 2.5)。
  3. 理论统一: 将MSP理论和GLSM理论统一在同一个框架下,MSP成为Ω-稳定GLSM的特殊情况。
  4. 推广应用: 将理论推广到环面簇中的Calabi-Yau全局完全交,为计算其高亏格Gromov-Witten不变量提供几何平台。

方法详解

核心概念定义

R-荷包(R-charged package)

一个R-荷包由四元组 (V,GΓ,ϖ,ϑ)(V, G \leq \Gamma, \varpi, \vartheta) 组成,其中:

  • VV 是被约化群 Γ\Gamma 作用的仿射概形
  • ϖ,ϑΓ^\varpi, \vartheta \in \hat{\Gamma}Γ\Gamma 的特征标
  • G=ker(ϖ)G = \ker(\varpi)ϖ\varpi 诱导同构 Γ/GC\Gamma/G \cong \mathbb{C}^*

预稳定LG-准映射

给定R-荷包,一个亏格ggkk点预稳定LG-准映射定义为: ξ=(C,ΣC,u,κ)\xi = (C, \Sigma^C, u, \kappa) 其中:

  • ΣCC\Sigma^C \subset Ckk点亏格gg平衡扭曲节点曲线
  • u:C[V/Γ]u: C \to [V/\Gamma] 是可表示态射
  • κ:uLϖωClog\kappa: u^*L_\varpi \to \omega_C^{\log} 是线丛同构

Ω-稳定性条件

Ω-稳定性由三元组 Ω=(S,A,ϑ)\Omega = (S, A, \vartheta) 定义:

  • SSR+R_+ 中非零齐次元素的有限集合
  • AQA \in \mathbb{Q},满足 A>maxfS{slope(f)}A > \max_{f \in S}\{\text{slope}(f)\}
  • ϑ\vartheta 如前所定义

对于齐次元素 fRϑ,cϖkf \in R^k_{\vartheta,c\varpi},定义:

  • θ-权重: wtθ(f)=k\text{wt}_\theta(f) = k
  • R-荷: wtR(f)=c\text{wt}_R(f) = c
  • 斜率: slopeϑ(f)=c/k\text{slope}_\vartheta(f) = c/k

Ω-稳定性条件

一个预稳定LG-准映射 ξ\xi 是Ω-稳定的当且仅当满足:

Ω-1: u1([V(S)/Γ])u^{-1}([V(S)/\Gamma]) 是离散的且与 (C,ΣC)(C,\Sigma^C) 的特殊点不相交

Ω-2: 对任何非特殊闭点 xCx \in CminfS{1wtθ(f)ordx(uf)+slope(f)}A\min_{f \in S}\left\{\frac{1}{\text{wt}_\theta(f)}\text{ord}_x(u^*f) + \text{slope}(f)\right\} \leq A

Ω-3: Q\mathbb{Q}-线丛 uLϑ(ωClog)Au^*L_\vartheta \otimes (\omega_C^{\log})^{\otimes A} 是正的

技术创新点

  1. 斜率概念的引入: 通过结合θ-权重和R-荷定义斜率,提供了更精细的稳定性控制。
  2. 壁室结构: 稳定性条件随参数AA变化展现壁室结构,类似于ε\varepsilon-稳定准映射理论。
  3. 局部化技术: 通过局部价值准则将一般情况约化为射影空间情况,使用等变线丛的兼容性。

主要定理

主定理2.4 (分离性)

LGQg,kΩ(X,d)\text{LGQ}^{\Omega}_{g,k}(X,d) 是有限型的分离Deligne-Mumford栈。

主定理2.5 (紧性)

假设 V//θGV//\theta G 是射影的且 SS 是完全的,则 LGQg,kΩ(X,d)\text{LGQ}^{\Omega}_{g,k}(X,d) 是紧的。

证明策略

射影空间情况(第5节)

  1. 有限自同构群: 证明Ω-稳定LG-准映射具有有限自同构群
  2. 价值准则: 使用非约化分量的曲线族处理退化
  3. 稳定化过程: 通过收缩违反Ω-3的有理尾和桥实现稳定化

一般情况的约化(第6节)

  1. 有界性: 证明底曲线和主丛族的有界性
  2. 局部价值准则: 将问题局部化到平凡化区域
  3. 与射影空间的比较: 构造态射 Φ:LGQg,kΩ1(X,d)LGQg,kpre(PN1,d)\Phi: \text{LGQ}^{\Omega_1}_{g,k}(X,d) \to \text{LGQ}^{\text{pre}}_{g,k}(\mathbb{P}^{N-1},d)

应用实例

MSP理论的恢复

通过选择适当的包和Ω参数,恢复了五次三重的稳定MSP场理论:

  • 包: (V1,GΓ,ϖ,ϑ)(V_1, G \leq \Gamma, \varpi, \vartheta),其中 V1=C5×C×C2V_1 = \mathbb{C}^5 \times \mathbb{C} \times \mathbb{C}^2
  • 稳定性参数: 15<A<25\frac{1}{5} < A < \frac{2}{5}S={x1v2,,x5v2,uv,u10p}S = \{x_1v^2, \ldots, x_5v^2, uv, u^{10}p\}

完全交的LG相

对于射影空间中度数为 1,,s\ell_1, \ldots, \ell_sss个超曲面的光滑完全交,构造了相应的混合Landau-Ginzburg/σ模型。

理论意义与影响

数学意义

  1. 理论统一: 首次将MSP理论和GLSM理论统一在同一框架下
  2. 技术突破: 解决了变分GIT主空间稳定性条件选择的技术难题
  3. 推广潜力: 为环面簇中Calabi-Yau完全交的研究奠定基础

应用前景

  1. BCOV Feynman规则: 有望推广到更一般的Calabi-Yau三重
  2. 全纯反常方程: 为研究更广泛几何对象的全纯反常方程提供工具
  3. 矩阵模型: 与随机矩阵理论的联系(如GUE矩阵模型)

局限性与未来方向

当前局限

  1. 非阿贝尔情况: 有界性证明在非阿贝尔情况下需要额外工作(CGL+23)
  2. 计算复杂性: 对于一般环面簇完全交,存在多种R-荷包选择,尚不清楚哪些能产生BCOV型结果
  3. 变分GIT: 当目标空间通过变分GIT改变时的理论变化是更困难的问题

未来方向

  1. Fermat奇点: Zhang的进行中工作使用本文结果构造MSP模空间
  2. 乘积射影空间: 对于乘积射影空间中的Calabi-Yau完全交,BCOV Feynman规则可以被证明
  3. 混合模型: 与物理中混合模型的进一步联系

深度评价

优点

  1. 理论创新: Ω-稳定性条件的引入是真正的理论创新,巧妙结合了几何和代数结构
  2. 技术深度: 证明涉及深刻的代数几何技术,包括变分GIT、模空间理论和相交理论
  3. 应用广泛: 理论框架具有很强的普适性,可应用于多种几何情况
  4. 写作清晰: 论文结构清晰,技术细节充分,便于理解和应用

技术贡献

  1. 稳定性理论: 发展了新的稳定性理论,解决了长期存在的技术问题
  2. 模空间几何: 对LG-准映射模空间的几何性质给出了完整刻画
  3. 约化技术: 发展了将一般情况约化到已知情况的系统方法

影响力评估

这是代数几何领域的重要理论工作,预期将对Gromov-Witten理论、镜像对称和数学物理产生深远影响。论文解决了该领域的基础性技术问题,为后续研究奠定了坚实基础。

参考文献

论文引用了该领域的核心文献,包括: