技術要約：部分旗多様体のニュートン・オクンコフ体とクラスター代数

1. 問題設定と動機

本論文は、部分旗多様体 ($G/P$) 内のシューベルト多様体に対するニュートン・オクンコフ体の構成と分類を扱う。既約な組合せモデル（プラビックグラフ、配線図など）を用いた、同次空間におけるニュートン・オクンコフ体の基礎的な例の研究は進んでいるが、これらの手法では通常、単一の多様体に対して有限個の多面体しか得られない。

著者らは、クラスター代数の仕組みを利用して、ニュートン・オクンコフ体の「族（family）」を構築することを目指している。中心となる問いは、支配的なクラスター代数が**無限型（infinite type）**である場合、この手法によって、整数アフィン変換またはシンプレクト同相写像の観点から見て、互いに非等価な無限個の幾何学的対象（具体的には、ニュートン・オクンコフ多面体、トーリック退化、および単調ラグランジュ・トーラス）が得られるか否かである。著者らおよび他者による先行研究 [CKKP25] は、完全旗多様体 ($G/B$) においてはこのことを確立したが、本論文は、より一般的な設定である部分旗多様体 ($G/P$) およびシューベルト多様体 ($X^K_w$) へとこの理論を拡張するものである。

2. 手法

2.1. クラスター代数による構成

著者らは、シューベルト多様体 $X^K_w \subseteq G/P$ に付随する、単行列細胞の座標環 $C[U^-_w]$ に備わるクラスター代数構造を利用する。

• シードの生成: 弱ブルート順序の元 $w$ の簡約表現に対し、代数的に独立な変数（一般化マイナー）と拡張交換行列 $\varepsilon_0$ からなる初期シード $s_0$ を定義する。
• 値（Valuations）: クラスター代数 $\mathcal{A}(w)$ の各シード $s$ に対し、ドミナンス順序に基づく値 $v_s$ を構成する。この値は、斉次線束 $L^K_\lambda$ 上の切断環に適用される。
• ニュートン・オクンコフ体: ニュートン・オクンコフ体 $\Delta_s$ は、正規化された値半群の凸包として定義される。多面体の族 $\{\Delta_s\}$ は、クラスター代数のシードによって添字付けられる。

2.2. $G/B$ から $G/P$ への拡張

完全旗多様体 $G/B$ のニュートン・オクンコフ体と、部分旗多様体 $G/P$ のそれらを関連付けることが重要な技術的ステップである。

• 射影射 $\phi: X_w \to X^K_w$ （ここで $X_w \subseteq G/B$）を用いることで、著者らは値半群および結果として得られるニュートン・オクンコフ体が同型であることを示す（補題 4.1、定理 4.3）。
• これにより、$G/B$ のケースで確立された「トロピカル化されたクラスター構造」（[FO25]）を $G/P$ の設定へと継承することが可能となる。具体的には、一族の多面体はトロピカル化されたクラスター変形の下で変換される。

2.3. 多面体を区別するための基準

整数アフィン変換の範囲内で、一族が（互いに異なる）無限個の相異なる多面体を含むことを証明するために、著者らは [CKKP25] から適応させた洗練された基準（定理 4.14）を適用する。この基準には、以下の3つの条件の検証が必要である：

1. 不動点: すべての反復的なトロピカル化クラスター変形の下で固定される、多面体の内部にある有理点が存在すること。
2. 非負性: すべての多面体 $\Delta_s$ が半空間 $u_j \geq 0$ に含まれるような凍結インデックス $j$ が存在すること。
3. 多重度: 特定の凍結変数に対応する拡張交換行列の成分が $-\infty$ に発散するようなシードの列が存在すること。

3. 主な貢献と結果

3.1. 構成と構造的性質 (Proposition A / Theorem 4.3)

著者らは、部分旗多様体 $X^K_w$ におけるニュートン・オクンコフ体の族 $\{\Delta_s\}$ を構成する。彼らは以下を証明する：

• 各基礎となる値半群は飽和しており、有限生成である。
• 各 $\Delta_s$ は有理多面体であり、その整数点は**双対標準基底（dual canonical basis）**の拡張 $g$ ベクトルの集合に対応する。
• この族はトロピカル化されたクラスター構造を持つ。
• 系 B: これは $X^K_w$ 上のトーリック退化および完全可積分系の族をもたらす。

3.2. 双対標準基底の非負性 (Theorem 5.1 / Proposition E)

区別基準に必要な非負性条件の証明は、極めて重要な技術的貢献である。

• 結果: 単純リー型の場合、対応する双対標準基底の全要素の拡張 $g$ ベクトルの成分が非負となるような、特定の凍結変数（インデックス $I \setminus K$ による）が存在する。
• 手法: 直接的な環論的計算の代わりに、著者らは**モノイダル圏的カテゴリー化（monoidal categorification）**を採用する。彼らは、対称型クイーバー・ヘッケ・環（KLR環）上の次数付き加群の圏における、単純加群および行列式加群の構造的性質を利用する [KKKO18, KKOP21, KKOP23, KN25]。このアプローチにより、局所化後の双対標準基ックの要素において、関連する凍結変数が分母に現れないことが示される。

3.3. 無限の相異性 (Theorem C / Theorem 4.11)

単純リー型 ($A, D, E$) において、支配的なクラスター代数 $\mathcal{A}(w_K)$ が無限型である場合、ニュートン・オクンコフ多面体の族は、無限個の互いに非等価な多面体（整数アフィン変換によって結ばれないもの）を含む。

• 手法: 著者らは、弱ブルート順序と標識された交換行列を用いて、クラスター代数の有限型と無限型の分類を行う。無限変形型の最小のケースを特定し、有限変形型の部分クイーバーに特定の標識された凍結頂点を追加することで、無限変形型のクイーバーが生成されることを示す。これにより、矢の多重度が発散するシードの列が存在することが保証され、多重度条件が満たされる。

3.4. シンプレクティック幾何学への応用 (Theorem D / Theorem 4.12)

線束 $L^K_\lambda$ が反標準束であるとき、著者らは $G/P$ における単調ラグランジュ・トーラスの族を構成する。

• 結果: クラスター代数が無限型であれば、無限個の異なる単調ラグランジュ・トーラスが存在する（シンプレクト同相写像によって結ばれないもの）。
• 構成: これらのトーラスは、系 B で構成された完全可積分系の下での、ニュートン・オクンコフ多面体の中心上のファイバーである。

4. 意義と主張

本論文は、単一の射影多様体上で、従来の組合せモデル（プラビックグラフなど）では達成できなかった、無限個の異なる幾何学的対象を生成するための系統的かつ制御された手法を提供することを主張している。

• 統一: 部分旗多様体のニュートン・オクンコフ体の構成をクラスター代数の枠組みと統合し、完全旗多様体に関する先行研究を拡張した。
• シンプレクティック幾何学: クラスター代数によって制御されるシンプレクティック幾何学的対象への関心の高まりに応え、部分旗多様体における新しい無限クラスの単調ラグランジュ・トーラスを提供した。
• 技術的進展: $\mathbb{Q}$-Gorenstein 条件を仮定せずに、フル次元の多面体に適用できるようにニュートン・オクンコフ多面体を区別するための基準を洗練させ、局所化の設定における双対標準基底の非負性を証明するためにモノイダル圏的カテゴリー化を成功裏に適用した。

著者らは、結果は単純リー型について証明されているが、同様の結果は対称型に対しても成立すると予想している。ただし、現在の証明は、現在対称型においてのみ利用可能なモノイダル圏的カテゴリー化の結果に依存している。