[論文レビュー] Stability of Valuations: Higher Rational Rank

Chi Li, Chenyang Xu|arXiv (Cornell University)|Jul 18, 2017

Geometry and complex manifolds参考文献 65被引用数 10

ひとこと要約

この論文は、klt特異点上の正規化体積を最小化する準単項式評価が、K-安定な対数Fano円雉特異点への退化から生じることを確立し、そのような最小化子はスケーリングを除いて一意的であることを示している。この結果は、ケーラー＝エインシュタインFano多様体のGromov–Hausdorff極限における計量接空間の標準的性に関するDonaldson–Sunの予想を裏付けるものである。

ABSTRACT

Given a klt singularity $x\in (X, D)$, we show that a quasi-monomial valuation $v$ with a finitely generated associated graded ring is the minimizer of the normalized volume function $\widehat{ m vol}_{(X,D),x}$, if and only if $v$ induces a degeneration to a K-semistable log Fano cone singularity. Moreover, such a minimizer is unique among all quasi-monomial valuations up to rescaling. As a consequence, we prove that for a klt singularity $x\in X$ on the Gromov-Hausdorff limit of Kähler-Einstein Fano manifolds, the intermediate K-semistable cone associated to its metric tangent cone is uniquely determined by the algebraic structure of $x\in X$, hence confirming a conjecture by Donaldson-Sun.

研究の動機と目的

• klt特異点における正規化体積関数の最小化子の幾何的性質を同定すること。
• ケーラー＝エインシュタインFano多様体のGromov–Hausdorff極限における計量接空間の一意性に関するDonaldson–Sunの予想を解決すること。
• 体積最小化理論を除法的評価から、より高い有理ランクの準単項式評価へと拡張すること。
• 体積最小化子とK-安定な対数Fano円雉特異点への退化との間の対応関係を確立すること。
• スケーリングを除いて、そのような最小化子が準単項式評価の中で一意的であることを証明すること。

提案手法

• klt特異点における正規化体積関数とその最小化子の使用。
• 高ランク評価の解析に向けた凸幾何学とNewton–Okounkov体の技法の応用。
• [BCHM10] を根拠として、弱極小モデルと最小モデルプログラム（MMP）に基づく退化の構成。
• T-代数的多様体におけるテスト配置とFutaki不変量の解析を通じたK-安定性の研究。
• 関連する順次環と有限生成性の仮定を用いて、対数Fano円雉特異点から一般のklt特異点へと移行すること。
• Sasakian–Einstein幾何学とリッチ平坦ケーラー円雉計量の結果を代数的設定に応用すること。

実験結果

リサーチクエスチョン

• RQ1 有理ランクが高い準単項式評価が、klt特異点上の正規化体積関数の最小化子であるのはいつか？
• RQ2 このような最小化子は、退化を通じて特異点にどのような幾何的構造を誘導するか？
• RQ3 体積最小化子から生じるK-安定な対数Fano円雉特異点は、特異点の代数的構造によって一意に定まるか？
• RQ4 ケーラー＝エインシュタインFano多様体のGromov–Hausdorff極限の計量接空間は、代数的データから一意に再構成可能か？
• RQ5 有限生成性とT-代数的多様体は、高ランクにおける体積最小化子の分類にどのように寄与するか？

主な発見

• 準単項式評価 $ v $ が正規化体積 $ \widehat{\rm vol}_{(X,D),x} $ を最小化するための必要十分条件は、それがK-安定な対数Fano円雉特異点への退化を誘導することである。
• 中心が $ x $ であるすべての準単項式評価の中で、最小化子はスケーリングを除いて一意的である。
• ケーラー＝エインシュタインFano多様体のGromov–Hausdorff極限であるklt特異点 $ x \in X $ に対して、関連する計量接空間は、$ x \in X $ の代数的構造によって一意に定まる。これはDonaldson–Sunの予想を裏付ける。
• 関連する順次環の有限生成性を仮定することで、これまでの除法的評価に関する研究を、より高い有理ランクの準単項式評価へと一般化した。
• $ D_{k+1} $-特異点の明示的例は、最小化子が重みベクトルによって誘導され、Futaki不変量がゼロである厳密に半安定な特異点へと退化することを示している。
• T-代数的多様体と多面体的除法子を用いて構成された特別なテスト配置は正のFutaki不変量をもたらし、中心特異点のK-安定性を確認している。