[論文レビュー] Finite generation for valuations computing stability thresholds and applications to K-stability

Yuchen Liu, Chenyang Xu+1 more|arXiv (Cornell University)|Feb 18, 2021

Geometry and complex manifolds被引用数 12

ひとこと要約

本論文は、安定性閾値が (n+1)/n より小さい log Fano 対に対して、閾値を計算する任意の価値関数は、関連する順次的環を有限生成することを証明する。この結果により、高ランク有限生成予想が解決され、一様 K-安定性の同値性が確立され、K-モジュライ空間の正規性および射影性が保証され、代数的手法を用いて特異 log Fano 対に対する Yau-Tian-Donaldson 予想が完成する。

ABSTRACT

We prove that on any log Fano pair of dimension $n$ whose stability threshold is less than $\frac{n+1}{n}$, any valuation computing the stability threshold has a finitely generated associated graded ring. Together with earlier works, this implies: (a) a log Fano pair is uniformly K-stable (resp. reduced uniformly K-stable) if and only if it is K-stable (resp. K-polystable); (b) the K-moduli spaces are proper and projective; and combining with the previously known equivalence between the existence of Kähler-Einstein metric and reduced uniform K-stability proved by the variational approach, (c) the Yau-Tian-Donaldson conjecture holds for general (possibly singular) log Fano pairs.

研究の動機と目的

• log Fano 対における安定性閾値を計算する準単項価値関数の関連する順次的環の有限生成を確立すること。
• 安定性閾値を最小化する価値関数に対する高ランク有限生成予想を解決すること。
• log Fano 対における K-安定性と一様 K-安定性（および K-多様体安定性と縮小された一様 K-安定性）の同値性を証明すること。
• 代数的手法を用いて、log Fano 対の K-モジュライ空間の正規性および射影性を確立すること。
• 特異（一般に）log Fano 対に対する Yau-Tian-Donaldson 予想を代数的技法を用いて完成させること。

提案手法

• 安定性閾値 $\delta(X,\Delta)$ を計算する価値関数 $v$ に対して、$\delta(X,\Delta) < \frac{n+1}{n}$ のとき、$\mathrm{gr}_v R$ の有限生成性を、適合する除数の理論および最小モデルプログラムを用いて証明する。
• [AHLH-S&theta] における $\Theta$-区分化フレームワークを適用し、最適な不安定化結果から K-モジュライ空間の正規性を導出する。
• $\Theta$-区分化および [XZ-CM-positive] における $\mathrm{CM}$ 線分束の正性結果を用いて、K-モジュライ空間の射影性を確立する。
• $\delta$-不変量および $S$-不変量理論を用いて、価値関数およびその関連する順次的環の振る舞いを分析する。
• 特別なテスト配置および崩壊の理論を適用し、$\delta(X,\Delta) \in \mathbb{Q}$ であり、それが除数的価値関数によって達成されることを示す。
• 重み付き吹き上げおよび解体上の交線論を用いて、$A_{X,\Delta}(E)$, $S_{X,\Delta}(E)$, および $T_X(\mathrm{ord}_E)$ などの不変量を計算し、順次的環の $\mathrm{Proj}$ が $\mathbb{Q}$-Fano 多様体であることを確認する。

実験結果

リサーチクエスチョン

• RQ1 log Fano 対 $(X,\Delta)$ に対して $\delta(X,\Delta) < \frac{n+1}{n}$ のとき、安定性閾値 $\delta(X,\Delta)$ を計算する任意の価値関数 $v$ に対して、関連する順次的環 $\mathrm{gr}_v R$ は有限生成であるか？
• RQ2 log Fano 対に対して $\delta(X,\Delta) < \frac{n+1}{n}$ のとき、最適な不安定化予想は代数的に証明可能か？
• RQ3 このような価値関数によって誘導される $\Theta$-区分化は、log Fano 対の K-モジュライ空間の正規性を示唆するか？
• RQ4 K-多様体安定な log Fano 対の K-モジュライ空間における CM 線分束は非常に正であり、これは有限生成性から代数的に従うか？
• RQ5 有限生成性の結果は、特異 log Fano 対に対する Yau-Tian-Donaldson 予想の完全性を示唆するか？

主な発見

• 安定性閾値 $\delta(X,\Delta) < \frac{n+1}{n}$ のとき、任意の価値関数 $v$ に対して関連する順次的環 $\mathrm{gr}_v R$ は有限生成であり、高ランク有限生成予想が証明される。
• 安定性閾値 $\delta(X,\Delta)$ は有理数であり、除数的価値関数によって達成され、最適な不安定化予想が確立される。
• K-モジュライ空間 $M^{\rm Kps}_{n,V,C}$ は正規かつ射影的であり、CM 線分束は非常に正である。
• K-安定性と Kähler-Einstein 計量の存在の代数的同値性を用いて、すべての log Fano 対（特異を含む）に対して Yau-Tian-Donaldson 予想が成立する。
• $t \in [t_n, t_{n+1}]$ のとき、$\mathrm{Proj}$ of $\mathrm{gr}_{v_t} R$ は $\mathbb{Q}$-Fano 多様体であり、$t \in (t_n, t_{n+1})$ のとき $\mathrm{Proj}\, \mathrm{gr}_{v_t} R \cong \mathbb{P}(1, d_n^2, d_{n+1}^2)$ である。これは $\mathbb{P}^2$ の無限個の特別な崩壊を示している。