[論文レビュー] G-uniform stability and K\"{a}hler-Einstein metrics on Fano varieties

Chi Li|arXiv (Cornell University)|Jul 22, 2019

Geometry and complex manifolds参考文献 67被引用数 28

ひとこと要約

本稿は、Q-ファノ多様体に対してG-一様安定性条件を確立し、Q-ファノ多様体がケーラー＝エインシュタイン計量を有するための必要十分条件として、G-一様K-安定性またはDing-安定性であることを証明している。これは、非離散自己同型群をもつ特異ファノ多様体へのYau-Tian-Donaldson予想の拡張である。主な革新は、不変フィルトレーションと非アーケメデス的汎関数を用いたG-一様K-安定性の評価的基準の確立である。

ABSTRACT

Let $X$ be any $\\mathbb{Q}$-Fano variety and $\\mathrm{Aut}(X)_0$ be the identity component of the automorphism group of $X$. Let $\\mathbb{G}$ be a connected reductive subgroup of $\\mathrm{Aut}(X)_0$ that contains a maximal torus of $\\mathrm{Aut}(X)_0$. We prove that $X$ admits a K\\"{a}hler-Einstein metric if and only if $X$ is $\\mathbb{G}$-uniformly K-stable. This proves a version of Yau-Tian-Donaldson conjecture for arbitrary singular Fano varieties. A key new ingredient is a valuative criterion for $\\mathbb{G}$-uniform K-stability.

研究の動機と目的

• 非離散自己同型群をもつQ-ファノ多様体へのYau-Tian-Donaldson予想の拡張。
• Gが恒等成分の再帰的部分群である場合の特異ファノ多様体におけるG-一様K-安定性の定義と分析。
• 不変フィルトレーションと非アーケメデス的汎関数を用いて、G-一様K-安定性およびDing-安定性の評価的基準の確立。
• Q-ファノ多様体上にケーラー＝エインシュタイン計量が存在することと、G-一様K-安定性（またはDing-安定性）が同値であることを証明すること。

提案手法

• テスト配置と非アーケメデス的汎関数、特にM^NAおよびJ^NA_T不変量を用いて、対数ファノ対に対するG-一様安定性条件を導入する。
• G-不変評価とその関連するフィルトレーションを、反 canonical 線束のセクション環上で分析することにより、G-一様K-安定性の評価的基準を構築する。
• 歪みたテスト配置の構成を用いて、不安定化geodesic射を摂動し、L^NA汎関数の一様収束を確立する。
• Darvas-Rubinsteinの原理を用いて、群作用下でのケーラー＝エインシュタイン計量の解析的基準を導出する。
• Gの最大コンパクト部分群Kとそのリー代数の分解を用いて、自己同型群の構造と評価への作用を分析する。
• 再帰的群Gの中心とその最大トーラスTを用いて、非アーケメデス的J汎関数J^NA_Tを定義し、M^NA不変量と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 G-一様K-安定性は、非離散自己同型群をもつQ-ファノ多様体上でケーラー＝エインシュタイン計量の存在を示唆するか？
• RQ2 不変フィルトレーションと対数特異点の高さを用いて、G-一様K-安定性の評価的基準を確立できるか？
• RQ3 G-一様K-安定性、G-一様Ding-安定性、ケーラー＝エインシュタイン計量の存在の間には一様な同値関係が成立するか？
• RQ4 歪みたテスト配置と摂動されたgeodesic射は、非アーケメデス的汎関数の一様収束を証明するためにどのように寄与するか？
• RQ5 最大コンパクト部分群Kとそのリー代数の分解は、ケーラー＝エインシュタイン計量の解析的基準において果たす役割は何か？

主な発見

• Q-ファノ多様体がケーラー＝エインシュタイン計量をもつための必要十分条件は、GがAut(X)_0の連結再帰的部分群で最大トーラスを含む場合、G-一様K-安定性であることである。
• 本稿は、G-一様K-安定性の評価的基準を確立し、すべてのG-不変テスト配置に対してM^NA不変量がJ^NA_T不変量の正の定数倍以上に有界であることを示した。
• G-一様K-安定性とG-一様Ding-安定性の同値性が証明され、これにより特異ファノ多様体への既存結果の拡張が達成された。
• ケーラー＝エインシュタイン計量の存在は、自己同型群が非離散であってもG-一様Ding-安定性と同値であることが示された。
• 証明は、不安定化geodesic射の構成と、歪みたテスト配置を用いたL^NA汎関数の一様収束の達成に依拠している。
• 本稿は、滑らかさや離散的自己同型群の要件を課さない任意の特異ファノ多様体に対して、Yau-Tian-Donaldson予想を一般化した形で確認した。