[論文レビュー] Testing log K-stability by blowing up formalism

Yuji Odaka, Song Sun|arXiv (Cornell University)|Dec 6, 2011

Geometry and complex manifolds参考文献 17被引用数 13

ひとこと要約

この論文は、コーン角 $2\pi\beta$ における $2\beta\to 0$ の極限において、対 $(X,D)$ のためのドナルドソン＝フタカイ不変量の公式を一般化することで、K安定性の理論を対数的設定へと拡張する。対数的K安定性が $(X,(1-\beta)D)$ の半対数特異点性を示すことを確立し、対数的カルビ・ヤウおよび対数的正則な対に関して、対数的K安定性と半対数特異点性が同値であることを証明する。これは、コーン特異点を伴うケーラー＝アインシュタイン計量に関する結果の代数的双対を提供する。

ABSTRACT

We study logarithmic K-stability for pairs by extending the formula for Donaldson-Futaki invariants to log setting. We also provide algebro-geometric counterparts of recent results of existence of Kahler-Einstein metrics with cone singularities.

研究の動機と目的

• 対数的K安定性の理論を、コーン角 $2\pi\beta$ を持つ対数的対 $(X,D)$ に拡張すること。
• 境界除集合 $D$ を持つ対に対して、対数的設定におけるドナルドソン＝フタカイ不変量の公式を一般化すること。
• コーン特異点を伴うケーラー＝アインシュタイン計量に関する最近の結果の代数的双対を確立すること。
• 対数的K半安定性が $(X,(1-\beta)D)$ の半対数特異点性を示すことを証明し、特異点の観点から対数的K安定性を特徴づけること。
• ブロー・アップの形式的記述とテスト配置を用いて、最小モデルプログラム（MMP）の枠組みと対数的K安定性を統合すること。

提案手法

• 理想の不変量と不備の値を含む修正された公式を導入することで、ドナルドソン＝フタカイ不変量を対数的対に適応する。
• 対数的解消と否定性補題を用いて、理想に関するブロー・アップにおける正規化被覆の挙動を分析する。
• S_2 条件と理想の整閉包を用いて、K安定性の定義と整合性を保証する。
• テスト配置をモデル化し、対数的DF不変量を計算するために、$X \times \mathbb{A}^1$ 上のフラッグ理想 $\mathcal{J}$ を構成する。
• 特異点を分析し、不安定性を導出するために、$\pi: B \to (X, (1-\beta)D)$ を用いた半対数特異点モデルを用いる。
• 特に $\mathcal{L}^{n-1} \cdot E^2 < 0$ のとき、$r$ における対数DF不変量の先頭係数を用いて不安定性を検出する。

実験結果

リサーチクエスチョン

• RQ1 コーン角 $2\pi\beta$ を持つ対 $(X,D)$ に対して、ドナルドソン＝フタカイ不変量をどのように対数的設定に一般化できるか？
• RQ2 対数的K安定性と対 $(X,(1-\beta)D)$ の特異点との間の正確な関係は何か？
• RQ3 コーン特異点を伴うケーラー＝アインシュタイン計量に関する結果の代数的双対は、対数的K安定性を用いて確立可能か？
• RQ4 対数的K半安定性が $(X,(1-\beta)D)$ の半対数特異点性を示すための条件は何か？
• RQ5 最小モデルプログラム（MMP）の枠組みは、ブロー・アップの形式的記述を通じて、対数的K安定性とどのように関係するか？

主な発見

• 不備と理想の値を含む公式を用いて、対数的ドナルドソン＝フタカイ不変量が対 $(X,D)$ に拡張され、対数的設定における安定性のテストが可能になる。
• コーン角 $2\pi\beta$ を持つ対数的K半安定性は、$(X,(1-\beta)D)$ が半対数特異点的であることを示し、絶対的状況における結果を一般化する。
• 対数的 $\mathbb{Q}$-ファノ多様体では、$\beta > 0$ のとき、対数的K半安定性は、$(X,(1-\beta)D)$ がカワマタ対数特異点的（klt）であることを示す。
• 対数的カルビ・ヤウの場合、$((X,D),L)$ が対数的K半安定であることは、$(X,(1-\beta)D)$ が半対数特異点的であることと同値である。
• 対数的正則な対に関しては、対数的K安定性、対数的K半安定性、および $(X,(1-\beta)D)$ の半対数特異点性が同値である。
• 従来の解析的手法により得られた結果（例：[Ber10]、[Bre11]、[JMR11]）の代数的証明を提供し、対数的設定におけるヤウ＝チアン＝ドナルドソン予想を強化する。