On the volume of K-semistable Fano manifolds

技術的サマリー：K 半安定ファノ多様体の体積について

問題提起
本論文は、$n$ 次元 K 半安定ファノ多様体の反標準体積 $\text{vol}(X) = (-K_X)^n$ を特徴づける問題に取り組んでいる。藤田 ([Fuj18]) は、そのような多様体の最大体積が射影空間 $\mathbb{P}^n$ によってのみ達成される $(n+1)^n$ であることを確立したが、第二に大きい体積の正確な上限は未だ予想の域を出なかった。具体的には、著者らは、任意の K 半安定ファノ多様体 $X \not\cong \mathbb{P}^n$ に対して、体積が $(-K_X)^n \leq 2n^n$ を満たすという予想を検証する。さらに、この等号を達成する多様体を分類しようとする。その候補は、$\mathbb{P}^1 \times \mathbb{P}^{n-1}$ および滑らかな二次超曲面 $Q \subset \mathbb{P}^{n+1}$ であると予想されている。

手法
著者らは、K 安定性理論とファノ多様体上の極小有理曲線の幾何学を結びつける新たなアプローチを採用する。手法は以下の主要な段階を経て進行する。

1. 不変量の定義: 証明は、不変量 $l_X = \min \{(-K_X \cdot C) \mid C \subset X \text{ は極小有理曲線}\}$ に依存する。解析は $l_X$ の値に基づいて層化される。
2. 高次数の場合の分類: $l_X = n+1$ または $l_X = n$ の場合、著者らは既存の分類結果（例：[CMSB02], [Miy04]）を利用して、体積の上限を直接検証する。
3. 自明な法束: $l_X = 2$ かつ極小有理曲線が自明な法束を伴って埋め込まれている場合、著者らは藤田の結果を一般化する。K 半安定ファノ多様体が余次元 $r$ の部分多様体 $Z$（自明な法束を持つ）を含むならば、$(-K_X)^n \leq (-K_{\mathbb{P}^r \times Z})^n$ が成り立つことを証明する。これにより、$X \cong \mathbb{P}^1 \times \mathbb{P}^{n-1}$ の場合の上限が確立される。
4. 重み付けブローアップと評価: 核心的な技術的革新は、残りの場合、すなわち $3 \leq l_X \leq n-1$ の場合および極小有理曲線が特異点を持つ可能性のある場合の処理にある。
   • 著者らは、極小有理曲線に中心を持つ特定の除数的評価 $v_1$ と $v_2$ を構成する。
   • 標準的なブローアップとは異なり、証明は $\mathbb{P}^1$ 上の法束の分裂に適応させたタイプ $(1^{\oplus (d-2)}, 2^{\oplus (n-d+1)})$ の重み付けブローアップを利用する。
   • 曲線の分裂タイプに適応させた局所座標における解析的展開を通じて、準単項評価を定義する。
   • K 半安定性に対する評価基準（定理 2.1）を用いて、これらの評価に関連する体積関数 $\text{vol}(-K_X - xE)$ を解析することで、体積を見積もる。
5. 解析的および組合せ論的見積もり: 証明には、$\delta$-不変量および $S$-不変量の計算から導かれる超越方程式を解くことが含まれる。著者らは、微分積分学、確率論（特にクラメールの傾き）、および数値検証を用いて、中間次数の場合 ($3 \leq d \leq n-1$) における体積の厳密な不等式を確立する。

主要な貢献と結果

• 主要定理（定理 1.1）: 著者らは、$\mathbb{P}^n$ に同型でない任意の $n$ 次元 K 半安定ファノ多様体 $X$ に対して、体積が $(-K_X)^n \leq 2n^n$ を満たすことを証明する。等号が成り立つのは、$X \cong \mathbb{P}^1 \times \mathbb{P}^{n-1}$ または $X$ が滑らかな二次超曲面 $Q \subset \mathbb{P}^{n+1}$ である場合に限られる。
• トーリックの場合（定理 1.2）: この結果は、K 半安定トーリックファノ多様体（特異なものを含む）に拡張され、このクラスに対する「ギャップ仮説」が確認される。
• 凸幾何学の帰結（系 1.3）: ゲルンシュタイン・トーリックファノ多様体と反射的格子多面体との対応を通じて、本論文は鋭い凸幾何学的上限を導き出す。原点に重心を持つ（拡大された単体と同値でない）反射的格子多面体 $P$ に対して、$\text{vol}_{\mathbb{R}^n}(P) \leq 2n^n/n!$ である。
• ODP 予想の検証（定理 4.17）: 著者らは、K 半安定な滑らかなファノ多様体上のファノ円錐に対する ODP（Ordinary Double Point）予想を検証し、円錐の頂点の局所体積が $2n^{n+1}$ 以下であることを示す。等号は二次超曲面上の円錐の場合に限られる。
• 最小体積（命題 4.23）: 本論文は、滑らかなファノ多様体における可能な最小の反標準体積を特定する。$n$ が偶数なら 1、$n$ が奇数なら 2 である。

重要性
本論文は、K 半安定ファノ多様体の第二に大きい体積に関する長年の予想の解決を主張する。その主な重要性は、K 安定性と極小有理曲線の間に確立された新たな接続にある。これらの曲線の法束の分裂に適応させた重み付けブローアップを導入することで、著者らは標準的なブローアップやトーリック分類のみのような従来の手法では完全には対処できなかった特異点や中間次数に関連する困難を克服した。

この研究は、$\mathbb{P}^1 \times \mathbb{P}^{n-1}$ と $Q$ という 2 つの異なるタイプの多様体のみが第二に大きい体積を達成するという「神秘的」な特徴に対する満足のいく説明を提供し、この現象を極小有理曲線の幾何学と結びつける。さらに、この結果は、アラケロフ幾何学（算術的ファノ多様体の高さの上限）および凸幾何学（反射的多面体の上限）において即座に応用可能である。証明は本質的に代数幾何学的であることが指摘されており、ケーラー・アインシュタイン計量への以前の解析的アプローチとは区別される。