[論文レビュー] A non-Archimedean approach to K-stability

Sébastien Boucksom, Mattias Jönsson|arXiv (Cornell University)|May 28, 2018

Geometry and complex manifolds参考文献 60被引用数 46

ひとこと要約

この論文は非アーキメデス幾何学と psh 測度を用いて K-stability を研究し、adjoint K-stability が adjoint Ding stability と同値であることを証明し、漸近的 Fubini–Study 枠組みを構築する。

ABSTRACT

We study K-stability properties of a smooth Fano variety X using non-Archimedean geometry, specifically the Berkovich analytification of X with respect to the trivial absolute value on the ground field. More precisely, we view K-semistability and uniform K-stability as conditions on the space of plurisubharmonic (psh) metrics on the anticanonical bundle of X. Using the non-Archimedean Calabi-Yau theorem and the Legendre transform, this allows us to give a new proof that K-stability is equivalent to Ding stability. By choosing suitable psh metrics, we also recover the valuative criterion of K-stability by Fujita and Li. Finally, we study the asymptotic Fubini-Study operator, which associates a psh metric to any graded filtration (or norm) on the anticanonical ring. Our results hold for arbitrary smooth polarized varieties, and suitable adjoint/twisted notions of K-stability and Ding stability. They do not rely on the Minimal Model Program.

研究の動機と目的

• 反対canonical bundle 上の非 Archimedean plurisubharmonic metrics の観点から K-stability の問題を動機づけ、定式化する。
• smooth projective variety 上の任意の ample L に対して adjoint K-stability と adjoint Ding stability の同値性を確立する。
• graded norms/filtrations と psh metrics を漸近的 Fubini–Study 演算子を介して結ぶ枠組みを develop する。
• non-Archimedean invariants（log discrepancy と energy など）を用いた adjoint K-stability の valuative 基準を提供する。
• 漸近的 Fubini–Study 演算子の範囲と単射性、filtrations との関係および極限測度との関係を探る。

提案手法

• 非アーキメデス設定における Monge–Ampère energy および Mabuchi/Ding functionals を用いて K-stability の概念を表現する。
• 非アーキメデス Calabi–Yau 定理を用いて Legendre 変換を介して functionals を関連付ける。
• R(X,L) 上の graded norm を psh metric に連結する漸近的 Fubini–Study 演算子を定義・解析する。
• psh metric の supremum graded norm を構築して一方向の逆を確立し、FS 写像がメトリックを回復することを示す。
• adjoint stability の同値性とそれらの Ding 対応物の energy/entropy 比較を通じて証明する。
• valuation x ∈ X^val を検討し、それに関連する energies S(x) および A(x) によって valuative 基準を develop する。

実験結果

リサーチクエスチョン

• RQ1 任意の ample L を持つ smooth projective variety に対して adjoint K-stability は adjoint Ding stability に等価に特徴づけられるか？
• RQ2 非アーキメデス psh metric、Calabi–Yau 定理、Legendre 変換は Mabuchi/Ent および E*/L functionals をどう結びつけるか？
• RQ3 漸近的 Fubini–Study 演算子の作用域はどこまでで、psh metric がその像に入るのはいつか？
• RQ4 section ring 上の graded norms/filtrations は psh metrics にどう対応し、K-stability の基準にどのような影響を与えるか？
• RQ5 adjoint K-stability の valuative 基準は log discrepancies A(x) および energies S(x) の観点で定式化できるか？

主な発見

• L は adjoint 態度で K-semistable であることと adjoint 態度で Ding-semistable であることは同値である。
• L は adjoint 態度で uniform に K-stable であることと adjoint 態度で uniform に Ding-stable であることは同値である。
• psh metric が漸近的 Fubini–Study 演算子の像にあるのは、下から正規化可能な場合である。
• 2つの有界な graded norms は同じ FS metric を誘導する iff they are equivalent; 距離 d1 の具体式が与えられている。
• valuative 基準は adjoint stability の K-semistability、A(x)≥S(x)、および divisorial valuations 条件の間の同値性を示す。
• uniform adjoint stability の場合、非複雑極値で A(x)≥(1+ε)S(x) が Mad(φx) の正性と同値である。