Stability conditions in the mathematical Gauged Linear Sigma Model

技術要約：数学的ゲージ・リニア・シグマ・モデルにおける安定性条件

問題の所在
本論文は、既存の理論、具体的には五次三次元多様体に対するMSP（Mixed-Spin-P）場理論および、LG-quasimaps（Landau-Ginzburg quasimaps）のFJR（Fan-Jarvis-Ruan）理論を一般化する、ロバストな数学的枠組みとしてのゲージ・リニア・シグマ・モデル（GLSM）を定義するという課題に取り組んでいる。

MSP場は、五次三次元多様体に対してグロモフ・ウィッテン理論と量子特異点理論の架け橋として成功している一方で、FJR理論はスーパーポテンシャルを伴うGIT商の計数理論を提供している。しかし、どちらの枠組みも、トーリック多様体内のカラビ・ヤウ完全交差の高次種数グロモフ・ウィッテン不変量を研究するために必要とされる、任意のvGIT（variation of GIT）マスター空間の一般化には完全には対応できていない。

主要な技術的障害は、モジュライ空間、特に**コーセクション退化軌跡（cosection degeneracy locus）の分離性（separatedness）および固有性（properness）**を保証する安定性条件の欠如である。MSPにおけるad hocな有限自己同型条件や、FJR理論における「グッド・リフト（good lift）」の要求といった従来の試みは、一般的なvGITマスター空間（例えば、不安定軌跡が非自明に交差する場合や、グッド・リフトが存在しない場合）においては成立しない。これらの幾何学的性質が欠如していると、交差理論を通じて不変量を定義したり、仮想局所化（virtual localization）の手法を効果的に利用したりすることができない。

手法
著者らは、LG-quasimapsに対する$\Omega$-安定性と呼ばれる新しい安定性条件を導入する。その手法は以下の通りである：

1. フレームワークの設定： 理論は、アフィンスキーム $V$、簡約群 $G \leq \Gamma$、および $\Gamma/G \cong \mathbb{C}^*$ を誘導する指標 $\varpi$ を持つ $(R\text{-電荷を持つ})$ パッケージ $(V, G \leq \Gamma, \varpi, \vartheta)$ に基づいて構築される。ここで、$\Gamma$ は $G$ を含む簡約群であり、$\vartheta$ は $G$ 上の安定性パラメータ $\theta$ を制限する。
2. $\Omega$-安定性の定義： プレスタブル（prestable）なLG-quasimap $\xi = (C, \Sigma_C, u, \kappa)$ は、三重項 $\Omega = (S, A, \vartheta)$ に関して以下の3つの条件を満たすとき、$\Omega$-安定であると定義される：
   • $\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$-安定quasimapと同様の壁と部屋（wall-and-chamber）構造を生み出すことを示す。$A \to \infty$ のとき、この条件がFJR理論の $\epsilon = 0^+$ 安定性を回収することを示す。
4. 射影空間への還元： 主定理を証明するために、著者らは一般的なターゲットから、様々なR-電荷を持つ射影空間への$\Omega$-安定LG-quasimapsのモジュライへの射影写像を構成することで、一般の場合を射影空間のケースへと還元する。これにより、安定性条件を保存する。
5. バルアティブ判定法（Valuative Criterion）： 還元を用いて、分離性と固有性を証明するためにバルアティブ判定法を適用する。これには、離散付値環上の族の延長の構成、非簡約な特殊ファイバーのブローアップおよびベースチェンジによる処理、そして正値性を満たさない有理的なテイル（rational tails）やブリッジを縮退させる安定化プロセスの実行が含まれる。

主要な貢献と結果
本論文は、$\Omega$-安定LG-quasimapsのモジュライ・スタック $\text{LGQ}^\Omega_{g,k}(X, d)$ に関する以下の主要な定理を確立している：

• 定理 2.4（分離性）： スタック $\text{LGQ}^\Omega_{g,k}(X, d)$ は、**有限型の分離なデリニュ・モドゥレ・スタック（Deligne-Mumford stack）**である。これは、従来のad hocな構成に見られた非分離なモジュライ空間の問題を解決するものである。
• 定理 2.5（固有性）： GIT商 $V//_\theta G$ が射影的であり、かつ集合 $S$ が「フル（full）」（すなわち、その共通零点集合が不安定軌跡である）である場合、スタック $\text{LGQ}^\Omega_{g,k}(X, d)$ は**固有（proper）**である。
• MSPの一般化： この新しい安定性条件は、五次三次元多様体に対するMSP場構成を一般化する。五次三次元多様体に関連するマスター空間 $Y$ にこの理論を適用することで、著者らは、以前ad hocな手法によって示されていたコーセクション退化軌跡の固有性を回収している。
• 一般ターゲットへの拡張： この枠組みは、従来の「グッド・リフト」を必要とする手法が失敗した、トーリック多様体内のカラビ・ヤウ・グローバル完全交差およびその他のvGITマスター空間に適用可能である。
• 有界性： 本論文は、非アーベルの場合における安定quasimapsの有界性に関する先行文献のギャップに対処し、有界性の証明を提供している（非アーベルの完全な証明については、付随する論文を参照）。

意義と主張
著者らは、本研究がMSP場理論とFJR GLM理論の共通の一般化を提供するものであると主張している。$\Omega$-安定性を導入することで、以下の性質を持つ幾何学的プラットフォームを提供している：

1. モジュライ空間およびそのコーセクション退化軌跡に必要な分離性と固有性を保証する。
2. より広いクラスのターゲット（カラビ・ヤウ完全交差を含む）に対する計数理論の定義を可能にする。
3. これらのターゲットに対する高次種数のグロモフ・ウィッテン不変量を効果的に計算するための経路を提供し、五次三次元多様体を超えてBCOVファインマン・ルールやホロモルフィック・アノマリー方程式の結果を拡張できる可能性を開く。

論文では、構成自体は一般的であるが、特定の$R$-電荷を持つパッケージおよびパラメータ $A$ の選択によって、異なる計数理論が生じる可能性があることを注記している。また、特定のケース（例：フェルマー特異点や、射影空間の積におけるカラビ・ヤウ完全交差）において、この枠組みがすでにBCOVファインマン・ルールや分配関数の解析性に関する予想を証明するために活用されていることを強調している。本研究は、直ちにすべての高次種数の問題を解決することを主張するものではなく、それらを追求するために必要な基礎的な安定性条件を確立するものである。