[論文レビュー] Uniform K-stability, Duistermaat-Heckman measures and singularities of pairs

Sébastien Boucksom, Tomoyuki Hisamoto+1 more|arXiv (Cornell University)|Apr 24, 2015

Geometry and complex manifolds参考文献 87被引用数 196

ひとこと要約

本稿は、テスト配置と測度に基づく非アーキメデス的枠組みを導入することで、K安定性の非アーキメデス的定式化を確立した。非アーキメデス的Kähler汎関数の類似を定義し、Duistermaat-Heckman測度とテスト配置を結びつけ、$L^p$-ノルムの消滅がほぼ自明性を意味することを証明した。Y. Odakaの均等K安定性およびペアの特異性に関する結果を再証明し強化し、均等K安定性が最小モデルプログラムにおける特定の特異性の不在と同値であることを示した。

ABSTRACT

The purpose of the present paper is to set up a formalism inspired from non-Archimedean geometry to study K-stability. We first provide a detailed analysis of Duistermaat-Heckman measures in the context of test configurations, characterizing in particular the trivial case. For any normal polarized variety (or, more generally, polarized pair in the sense of the Minimal Model Program), we introduce and study the non-Archimedean analogues of certain classical functionals in K\\"ahler geometry. These functionals are defined on the space of test configurations, and the Donaldson-Futaki invariant is in particular interpreted as the non-Archimedean version of the Mabuchi functional, up to an explicit error term. Finally, we study in detail the relation between uniform K-stability and singularities of pairs, reproving and strengthening Y. Odaka's results in our formalism. This provides various examples of uniformly K-stable varieties.

研究の動機と目的

• テスト配置と計量を用いたK安定性を研究する非アーキメデス的形式的体系の構築。
• Duistermaat-Heckman測度を用いてほぼ自明なテスト配置を特徴づけ、それが正確にデルタ関数に一致することを証明する。
• ドナルドソン＝フタカリー不変量を、明示的な誤差項を含む非アーキメデス的Mabuchi汎関数の類似と解釈する。
• 均等K安定性と最小モデルプログラムにおけるペアの特異性との関係を明確にし、Odakaの結果を再証明および強化する。

提案手法

• テスト配置を用いて$L$のBerkovich解析化上に非アーキメデス的計量を定義する。
• 古典的Kähler汎関数（Mabuchi汎関数を含む）の非アーキメデス的類似を導入する。
• Duistermaat-Heckman測度を用いてテスト配置の$L^p$-ノルムを計算し、その漸近的重み分布を特徴づける。
• 等変Riemann-Rochおよび漸近的Riemann-Rochを適用し、重み多重度の多項式展開を導出する。
• Duistermaat-Heckman測度がデルタ関数であることは、テスト配置がほぼ自明であることと同値であることを証明する。
• 均等K安定性が最小モデルプログラムの意味で特定の特異性の不在を意味することを確立する。

実験結果

リサーチクエスチョン

• RQ1 テスト配置がほぼ自明であるとはいつか？ そのDuistermaat-Heckman測度による特徴づけは？
• RQ2 ドナルドソン＝フタカリー不変量は非アーキメデス的Mabuchi汎関数とどのように関係するか？
• RQ3 均等K安定性と最小モデルプログラムにおけるペアの特異性との正確な関係は？
• RQ4 テスト配置の$L^p$-ノルムはそのDuistermaat-Heckman測度から計算可能か？
• RQ5 均等K安定性が非終等特異性の不在を意味する条件は何か？

主な発見

• テスト配置のDuistermaat-Heckman測度がデルタ関数であることは、その配置がほぼ自明であることと同値である。
• テスト配置の$L^p$-ノルムはそのDuistermaat-Heckman測度によって決定され、ノルムが消えることはほぼ自明性を意味する。
• ドナルドソン＝フタカリー不変量は、$L^p$-ノルムを含む明示的な誤差項を除いて、非アーキメデス的Mabuchi汎関数と等しい。
• 均等K安定性は、任意の対数Fanoペア$(X, \text{diff})$に対して、非終等特異性が存在しないことと同値である。
• 本稿は、非アーキメデス的形式的体系を用いてペアの特異性を分析することで、均等K安定な多様体の新しい例を提供した。
• 非アーキメデス的Mabuchi汎関数が強制的であることは、ペアが均等K安定であることと同値であり、これは強制性予想を一般化する。