Stability theory over toroidal or Novikov type base and Canonical modifications

技術要約：トーリック型またはノビコフ型の基底上の安定性理論と標準的な修正

問題設定
本論文は、代数幾何学における幾何学的不変量理論（GIT）の安定性と退化の枠組みを一般化する必要性に取り組んでいる。古典的には、ヒルベルト・ムンプフォードの判定法は、1パラメータ部分群（$\mathbb{G}_m$）に沿った退化、すなわちアフィン直線 $\mathbb{A}^1$ 上の等質的な族を研究することによって、簡約群 $G$ の下での対象 $X$ の安定性を分析する。現代的な安定性理論（K-安定性、$\Theta$-層状構造など）において、これらの退化はしばしばテスト構成（test configurations）や $\Theta$-層状構造を通じて符号化される。

しかし、既存の文献には、「非有理的」な退化の例が存在する。例えば、klt特異点が非有理的なリッチ平坦コーンへ退化する場合、ケーラー・リッチフローがソリトンへ収束する場合、あるいは負の重みを持つ変形が漸近的に円錐状のカラビ・ヤウ多様体へ至る場合などが挙げられる。これらは、現在の1パラメータ（$\mathbb{G}_m$）の枠組みにはうまく適合しない。これらの現象は、より高次のランクや非有理的な方向を必要とするが、現在は断片的かつ非標準的な方法で扱われている。本論文は、族の基底を $\mathbb{A}^1$（または $\mathbb{G}_m$）から高次元のトーリック多様体やノビコフ型の環へと一般化することで、これらのケースを統一的に扱うことを目指している。

手法と枠組み
著者は、トーリック基底およびその解析的な類似物上の族のための一般化された枠組みを導入している。

1. 一般化されたテスト構成: 本論文では、「一般化されたテスト構成」を、アフィン・トーリック多様体 $U_\tau$（ここで $\tau$ は有理多面錐である）またはその極限上の等質的な族として定義する。これにより、標準的なテスト構成、R-テスト構成、および負の重みを持つ変形を含む様々な既存の概念が統一される。
2. ノビコフ型の環とスペクトラム: 非有理的な方向を厳密に扱うために、著者は非有理ベクトル $\xi \in N_\mathbb{R}$ に関連するモノイド環から構成されるノビコフ型の環 $A_\xi$ とそのスペクトラム $\Delta_\xi$ を利用する。本論文は、大域的なN-スペクトラム $\Delta^{gl}_\xi$ が $\xi$ を含むアフィン・トーリック多様体 $U_\tau$ の射影極限として見なせること、および局所的なN-スペクトラム $\Delta_\xi$ が特定の素イデアルにおける茎の完備化に対応することを確立している。これは、特定の有理近似を選択することと比較して、退化のための「より標準的な」基底を提供する。
3. 高次 $\Theta$-層状構造: Halpern-Leistner, Alper, Halpern-Leistner, Heinloth による研究 ([HL14], [AHLH23]) を拡張し、「高次 $\Theta$-層状構造」を定義する。標準的な $\Theta$-層状構造が $\Theta = [\mathbb{A}^1/\mathbb{G}_m]$ に沿った退化に対応するのに対し、高次 $\Theta$-層状構造は、ランク $r$ のトーラス $T$ による $\Theta_\tau = [U_\tau/T]$ に沿った退化に対応する。
4. 基本修正: 中核となる技術的ツールは「基本 $\tau$-修正（elementary $\tau$-modification）」である。これは、スタックへの写像を持つ族の不定性を解消するために、基底の特定のトーリック修正（錐 $\tau \times \mathbb{R}_{\geq 0}$ における吹出しまたは分割）を構成することを含む。

主要な貢献と結果

• 高次 $\Theta$-半安定減少定理 (Theorem 3.5):
  中心的な結果は、[AHLH23] の半安定減少定理を高ランクの設定へと一般化するものである。これは、商スタック $\mathcal{M}$ への射 $f: \text{Spec}(R) \to \mathcal{M}$ が高次 $\Theta$-層状構造 $Z^+$ へ退化する場合、離散付値環 $R \to R'$ の有限次拡大と、新しい閉点が $Z^+$ の外側を写すような族の修正が存在することを述べている。

  • 標準性: 群がトーラスである場合、その修正は錐を縮小することを除いて一意であることが示され、退化に対する標準的な「改善」を提供する。
  • ノビコフ極限: 射影極限を取ることにより、この結果はノビコフ・スペクトラム $\Delta_\xi$ 上の族へと拡張され、非有理的な退化に対する標準的な対象を提供する。

• 複素解析的類似物 (Corollary 3.13):
  本論文は、収束するノビコフ環を用いた、解析スタックへの正則写像に関する解析的な半安定減少定理のバージョンを確立している。これにより、代数的な枠組みと複素解析幾何学（例：ケーラー幾何学）の間の溝を埋めている。

• 反復的半安定減少 (Theorem 3.15):
  著者は「高次 $\Theta$-層状構造」（スタックによる高次層状構造の有限なフィルタレーション）への結果を一般化する。修正定理を反復的に適用することで、ハードナー・ノーマルソン・フィルタレーションを高ランクの文脈へと一般化し、不安定領域の補集合に対する半安定減少を達成することができる。

• 退化の統一:
  本フレームワークは、文献における以下の具体的な例を包含することが示されている：

  • 体積最小化値（volume-minimizing）を持つ評価関数を介した、klt特異点からK-半安定なファノ・コーンへの退化。
  • ケーラー・リッチフローの極限から生じるR-テスト構成の中心的ファイバー。
  • 漸近的に円錐状のカラビ・ヤウ多様体への負の重みを持つ変形。

意義と主張
本論文は、これまで文献中でバラバラに見えていた「非有理的な方向」における退化を扱うための「統一的な方法」を提供すると主張している。高次 $\Theta$-層状構造とノビコフ型の基底を導入することで、著者はこれらの現象を単一の理論的枠組み内の標準的な対象として再定式化している。

著者は、本結果が [AHLH23] の主要な定理（特に半安定減少に関して）を部分的に回収していることを明記しているが、それとは異なるアプローチを用いている。証明は、[AHLH23] の元のスタック論的な定理に依存するのではなく、明示的なスキーム論的手法（具体的には、トーリック吹出しと剛性議論を含む補題 3.8）に依拠している。これは、ランク1の場合に対する代替的な証明を提供し、それを高ランクへと拡張するものである。

本論文は、基礎的な枠組みとして位置付けられている。カラビ・ヤウ・コーンのモジュライ空間の固有性や、バブリング・ケーラー計量の構成といった特定の問題への応用については、本論文ではなく、随伴論文 ([Od24a], [Od24c]) で議論されている。著者は [BHLINK25] による最近の研究との重複を認めつつも、手法の明確な違いを強調している。本論文は、より「ミニマリスティック」なスキーム論的アプローチを用い、半安定減少の結果を再証明しているのに対し、[BHLINK25] は派生スタック論に依拠し、[AHLH23] の定理へと帰着させている。