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

数学的ゲージ付き線形シグマモデルにおける安定性条件

基本情報

論文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) 場理論は、五次三重体の高種数Gromov-Witten不変量を研究するためにChang-Li-Li-Liuによって導入されました。Chang-Guo-Liは、BCOV Feynman規則、Yamaguchi-Yau多項式性予想、および正則異常方程式を含む複数の予想を証明するために、この理論を成功裏に応用しました。同時に、Fan-Jarvis-Ruanは、ゲージ付き線形σモデル(GLSM)の数学理論を導入し、適切な仮定の下で計数理論を超ポテンシャル付きGIT商と結びつけました。

本論文は、数学GLSMに新しい安定性条件を導入することにより、これら2つの研究の統一的な一般化を提供します。我々は、提案した安定性条件が、モジュライ空間における余次元退化軌跡の分離性と紧性を保証することを証明しました。これはMSP場構造を、トーラス多様体内のCalabi-Yau全体完全交を含む、より一般的なGIT商に一般化します。これは、それらの高種数Gromov-Witten不変量を効率的に計算するための幾何学的プラットフォームを提供することが期待されています。

研究背景と動機

問題背景

MSP理論の限界: MSP理論は当初、五次三重体にのみ適用され、より一般的なCalabi-Yau三重体に推広して高種数Gromov-Witten不変量の構造を研究する必要がありました。
GLSM理論の不完全性: Fan-Jarvis-Ruanのグローバルなゲージ付き線形σモデル理論は広範なGIT商のクラスに適用可能ですが、変分GIT主空間のGLSM不変量を定義する際に安定性条件の選択に困難が生じました。
安定性条件の技術的課題: 余次元退化軌跡の紧性を保証する安定性条件の選択は不変量定義の鍵ですが、既存の方法は特殊すぎる(MSPの有限自己同型条件など)か、良好な持ち上げが欠けていました。

研究動機

本論文の核心的な動機は、既存のMSP理論とGLSM理論を包含しながら、特にトーラス多様体内のCalabi-Yau完全交を含む、より広範な幾何学的対象に推広できる統一的な枠組みを確立することです。

核心的貢献

Ω-安定性条件の導入: 傾斜概念を導入し、R-荷と組み合わせることで準写像安定性を精緻化する新しい安定性条件(Ω-stability)を提案しました。
幾何学的性質の証明: Ω-安定性条件がモジュライ空間の分離性(定理2.4)と紧性(定理2.5)を保証することを証明しました。
理論の統一: MSP理論とGLSM理論を同一の枠組みの下に統一し、MSPはΩ-安定GLSMの特殊な場合となります。
応用の推広: 理論をトーラス多様体内のCalabi-Yau全体完全交に推広し、高種数Gromov-Witten不変量を計算するための幾何学的プラットフォームを提供します。

方法論の詳細

核心概念の定義

R-荷パッケージ(R-charged package)

R-荷パッケージは四元組 $(V, G \leq \Gamma, \varpi, \vartheta)$ から構成されます。ここで:

$V$ は被約群 $\Gamma$ の作用を受けるアフィン概形
$\varpi, \vartheta \in \hat{\Gamma}$ は $\Gamma$ の指標
$G = \ker(\varpi)$ 、 $\varpi$ は同型 $\Gamma/G \cong \mathbb{C}^*$ を誘導

前安定LG-準写像

R-荷パッケージが与えられたとき、種数 $g$ 、 $k$ 点の前安定LG-準写像は以下のように定義されます: $\xi = (C, \Sigma^C, u, \kappa)$ ここで:

$\Sigma^C \subset C$ は $k$ 点種数 $g$ 平衡ねじれ節点曲線
$u: C \to [V/\Gamma]$ は表現可能な射
$\kappa: u^*L_\varpi \to \omega_C^{\log}$ は直線束同型

Ω-安定性条件

Ω-安定性は三元組 $\Omega = (S, A, \vartheta)$ によって定義されます:

$S$ は $R_+$ における非零斉次元素の有限集合
$A \in \mathbb{Q}$ 、 $A > \max_{f \in S}\{\text{slope}(f)\}$ を満たす
$\vartheta$ は前述の通り

斉次元素 $f \in R^k_{\vartheta,c\varpi}$ に対して、以下を定義します:

θ-重み: $\text{wt}_\theta(f) = k$
R-荷: $\text{wt}_R(f) = c$
傾斜: $\text{slope}_\vartheta(f) = c/k$

Ω-安定性条件

前安定LG-準写像 $\xi$ がΩ-安定であるのは、以下を満たす場合に限ります:

Ω-1: $u^{-1}([V(S)/\Gamma])$ は離散的であり、 $(C,\Sigma^C)$ の特殊点と交わりません

Ω-2: 任意の非特殊閉点 $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: $\mathbb{Q}$ -直線束 $u^*L_\vartheta \otimes (\omega_C^{\log})^{\otimes A}$ は正です

技術的革新点

傾斜概念の導入: θ-重みとR-荷を組み合わせることで傾斜を定義し、より精緻な安定性制御を提供します。
壁室構造: 安定性条件はパラメータ $A$ の変化に伴い壁室構造を示し、 $\varepsilon$ -安定準写像理論に類似しています。
局所化技術: 局所価値準則を通じて一般的な場合を射影空間の場合に約化し、等変直線束の両立性を利用します。

主要定理

主定理2.4 (分離性)

スタック $\text{LGQ}^{\Omega}_{g,k}(X,d)$ は有限型の分離Deligne-Mumfordスタックです。

主定理2.5 (紧性)

$V//\theta G$ が射影的であり、 $S$ が完全であると仮定すると、 $\text{LGQ}^{\Omega}_{g,k}(X,d)$ は紧です。

証明戦略

射影空間の場合(第5節)

有限自己同型群: Ω-安定LG-準写像が有限自己同型群を持つことを証明
価値準則: 非約化成分の曲線族を用いて退化を処理
安定化過程: Ω-3に違反する有理尾と橋を収縮することで安定化を実現

一般的な場合への約化(第6節)

有界性: 底曲線と主束族の有界性を証明
局所価値準則: 問題を自明化領域に局所化
射影空間との比較: 射 $\Phi: \text{LGQ}^{\Omega_1}_{g,k}(X,d) \to \text{LGQ}^{\text{pre}}_{g,k}(\mathbb{P}^{N-1},d)$ を構成

応用例

MSP理論の復元

適切なパッケージとΩパラメータを選択することで、五次三重体の安定MSP場理論を復元します:

パッケージ: $(V_1, G \leq \Gamma, \varpi, \vartheta)$ 、ここで $V_1 = \mathbb{C}^5 \times \mathbb{C} \times \mathbb{C}^2$
安定性パラメータ: $\frac{1}{5} < A < \frac{2}{5}$ 、 $S = \{x_1v^2, \ldots, x_5v^2, uv, u^{10}p\}$