Stability conditions in the mathematical Gauged Linear Sigma Model

技术摘要：数学化规范线性 $\sigma$ 模型中的稳定性条件

问题陈述
本文旨在为 Gauged Linear Sigma Model (GLSM) 构建一个稳健的数学框架，以推广现有的理论，特别是针对五次三维流形的 Mixed-Spin-P (MSP) 场论以及针对 LG-quasimaps 的 Fan-Jarvis-Ruan (FJR) 理论。

虽然 MSP 场论成功地在五次三维流形的 Gromov-Witten 理论与量子奇异性理论之间搭建了桥梁，且 FJR 理论为带有超势（super-potential）的 GIT 商提供了计数理论，但这两者都无法完全推广到研究环面簇中 Calabi-Yau 完全交集的高阶亏格 Gromov-Witten 不变量所需的任意变分 GIT (vGIT) 主空间（master spaces）。

一个主要的数学障碍是缺乏一种能够保证模空间——特别是余截面退化点集（cosection degeneracy locus）——具有**分离性（separatedness）和紧致性（properness）**的稳定性条件。之前的尝试，例如 MSP 中特设的有限自同构条件或 FJR 理论中的“良好提升（good lift）”要求，在处理一般的 vGIT 主空间时均会失效（例如，当不稳定点集非平凡地相交，或不存在良好提升时）。若缺乏这些几何性质，则无法通过交截理论定义不变量，也无法有效地利用虚局部化（virtual localization）技术。

方法论
作者引入了一种针对 LG-quasimaps 的新稳定性条件，称为 $\Omega$-稳定性。其方法论如下：

1. 框架设置： 该理论构建于一个 ($R$-带电) 包 $(V, G \leq \Gamma, \varpi, \vartheta)$ 之上，其中 $V$ 是一个仿射方案，$G$ 是一个还原群，$\Gamma$ 是包含 $G$ 的还原群，且具有诱导同构 $\Gamma/G \cong \mathbb{C}^*$ 的特征标 $\varpi$。特征标 $\vartheta$ 在 $G$ 上限制为稳定性参数 $\theta$。
2. $\Omega$-稳定性的定义： 一个预稳定（prestable）LG-quasimap $\xi = (C, \Sigma_C, u, \kappa)$ 被定义为 $\Omega$-稳定的，需满足涉及三元组 $\Omega = (S, A, \vartheta)$ 的三个条件：
   • $\Omega$-1： 基点（base locus）是离散的，且与特殊点不相交。
   • $\Omega$-2： 在非特殊点处满足一个关于不变环中齐次元素集合 $S$ 的斜率条件。对于 $f \in S$，条件为 $\min_{f \in S} \{ \frac{1}{\text{wt}_\theta(f)}\text{ord}_x(u^*f) + \text{slope}(f) \} \leq A$。此处，斜率包含了“R-电荷”（即在纤维上对 $\mathbb{C}^*$ 作用下的权重）。
   • $\Omega$-3： $\mathbb{Q}$-线丛 $u^*L_\vartheta \otimes (\omega_C^{\log})^{\otimes A}$ 是正的。
3. 稳定性分析： 作者分析了稳定性对参数 $S, A$ 和 $\vartheta$ 的依赖关系。他们证明了对于固定的目标空间，改变 $A$ 会产生类似于 $\epsilon$-稳定 quasimaps 的壁与室（wall-and-chamber）结构。他们展示了当 $A \to \infty$ 时，该条件恢复了 FJR 理论中的 $\epsilon = 0^+$ 稳定性。
4. 向射影空间的归约： 为了证明主要定理，作者将一般情况归约为具有各种 R-电荷的射影空间的情况。他们构造了一个从指向一般目标 $X$ 的 $\Omega$-稳定 LG-quasimaps 的模空间到指向射影空间 $\mathbb{P}^{N-1}$ 的 $\Omega$-稳定 LG-quasimaps 的态射，并保持了稳定性条件。
5. 估值判别法（Valuative Criterion）： 通过上述归约，作者应用估值判别法来证明分离性和紧致性。这涉及构造离散估值环上的族扩张、处理非还原特殊纤维（通过吹胀和基变换），以及执行稳定化过程以收缩违反正性条件的有理尾部（rational tails）和桥接（bridges）。

主要贡献与结果
本文确立了关于 $\Omega$-稳定 LG-quasimaps 模堆 $\text{LGQ}^\Omega_{g,k}(X, d)$ 的主要定理：

• 定理 2.4（分离性）： 堆 $\text{LGQ}^\Omega_{g,k}(X, d)$ 是一个分离的 Deligne-Mumford 有限型堆。这解决了以往特设构造中存在的非分离模空间问题。
• 定理 2.5（紧致性）： 若 GIT 商 $V//_\theta G$ 是射影的，且集合 $S$ 是“全满的”（即其共同零点集等于不稳定点集），则堆 $\text{LGQ}^\Omega_{g,k}(X, d)$ 是紧致的。
• MSP 的推广： 该新稳定性条件推广了用于五次三维流形的 MSP 场论构造。通过将理论应用于与五次三维流形相关的关联主空间 $Y$，作者恢复了此前通过特设方法证明的余截面退化点的紧致性。
• 向一般目标的扩展： 该框架适用于环面簇中的 Calabi-Yau 全面交集以及其他以往依赖“良好提升”方法失效的 vGIT 主空间。
• 有界性： 本文提供了关于模空间有界性的证明，解决了先前文献中关于非阿贝尔情形下稳定 quasimaps 有界性的空白（通过引用一篇伴随论文完成完整的非阿贝尔证明）。

意义与主张
作者声称这项工作提供了 MSP 场论与 FJR GLSM 理论的共同推广。通过引入 $\Omega$-稳定性，他们提供了一个几何平台，能够：

1. 保证必要的模空间及其余截面退化点的分离性和紧致性。
2. 为更广泛的目标空间（包括环面簇中的 Calabi-Yau 完全交集）定义计数理论。
3. 为有效计算这些目标的高阶亏格 Gromov-Witten 不变量提供路径，从而可能将 BCOV Feynman rule 和全纯异常方程（Holomorphic Anomaly Equation）等结果从五次三维流形推广出去。

论文指出，虽然构造是通用的，但特定 $R$-电荷包的选择和参数 $A$ 可能会导致不同的枚举理论。它强调，对于某些特定情况（例如 Fermat 奇异性或乘积射影空间的 Calabi-Yau 完全交集），该框架已被用于证明有关 BCOV Feynman rule 和配分函数解析性的猜想。这项工作并不声称立即解决所有高阶亏格问题，而是建立了追求这些问题所需的底层稳定性条件。