[論文レビュー] Stability and coercivity for toric polarizations

Tomoyuki Hisamoto|arXiv (Cornell University)|Oct 25, 2016

Geometry and complex manifolds参考文献 36被引用数 33

ひとこと要約

本稿では、一般の極化多様体上の等変極化に対して一様安定性条件を確立し、再帰的自己同型群の中心に基づく縮約ノルムを導入して一様K安定性を一般化する。トーリックな設定において、Kエネルギー（Fanoの場合にはDエネルギー）の強制性が一様安定性と同値であることを証明し、Dエネルギーの強制性がKähler-Einstein計量の存在を示すことを示す。群論的還元を用いて、有限でない自己同型群を持つ場合にもYau-Tian-Donaldson予想を拡張する。

ABSTRACT

We introduce uniform K-stability and its relationship with the coercivity property of the K-energy functional, for general polarized manifolds. Since the automorphism groups are not necessarily finite, size of the norm measuring uniformity should be reduced with respect to the group action. About this point we explain that it is enough to take the reduced norm for a single sub-torus, actually the center, in the cscK problem. Our main theorem then describes the slope of the reduced J-functional along any torus-equivariant test configuration. In the toric case it is shown that the uniform stability is indeed equivalent to the coercivity of the K-energy. In the Fano manifolds case existence of the KE metric implies the uniform stability.

研究の動機と目的

• 再帰的自己同型群の中心へのノルムの縮約を用いて、有限でない自己同型群を持つ極化多様体への一様K安定性の拡張を図ること。
• トーラス等変テスト配置に沿った縮約J汎関数の勾配公式を確立すること。
• トーリックな設定において、Kエネルギー（Fanoの場合にはDエネルギー）の強制性が一様安定性を示すことの証明。
• 再帰的部分群Gに対してDエネルギーの強制性が、Fano多様体上にG不変Kähler-Einstein計量の存在を示すこと。
• 連続的対称性が存在する状況において、強制性と一様安定性を結びつけることで、Yau-Tian-Donaldson予想を一般化すること。

提案手法

• 固定されたトーラス$ T $の有理数1パラメータ部分群の下で下限を取ることにより、非アーベル的J汎関数$ J_T^{ ext{NA}} $を導入する。
• 汎関数$ F $の$ G $-強制性を、$ F(\varphi) \geq \varepsilon \inf_{g \in C(G)} J(\varphi_g) - C $で定義する。ここで$ C(G) $は再帰的群$ G $の中心を表す。
• トーラス等変テスト配置に沿った縮約J関数の勾配公式を用いて、代数的安定性と解析的エネルギー増加の関係を結ぶ。
• Berman-Berndtssonらの変分法を適用し、$ K $-不変計量上でのDエネルギーの強制性が最小化子の存在を示し、それが滑らかなKähler-Einstein計量であることを示す。
• 1パラメータ部分群に沿ったDエネルギーの勾配がFutaki特性に一致することを用い、多重調和性および群作用による不変性を活用して、臨界点が滑らかであることを示す。
• Dエネルギーが$ G = K^\mathbb{C} \subseteq \operatorname{Aut}(X, -K_X) $に対して強制的であるならば、最小化子は$ K $-不変Kähler-Einstein計量であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 再帰的自己同型群の中心へのノルムの縮約を用いて、無限大の自己同型群を持つ極化多様体に対して一様K安定性を一般化できるか？
• RQ2 トーリックな場合に、Kエネルギー汎関数の強制性が一様安定性と同値であるか？
• RQ3 再帰的部分群$ G $に対してDエネルギーの強制性が、Fano多様体上に$ G $-不変Kähler-Einstein計量の存在を示すか？
• RQ4 トーラス等変テスト配置に沿った縮約J汎関数の勾配を明示的に計算し、安定性の特徴づけに用いることができるか？
• RQ5 一般に$ G $が全自己同型群でない場合であっても、中心$ C(G) $がcscK問題における強制性条件を制御するために十分か？

主な発見

• トーリック多様体では、一様K安定性がKエネルギー汎関数の強制性と同値である。
• Fanoの場合、再帰的部分群$ G = K^\mathbb{C} $に対してDエネルギーの強制性が、$ K $-不変Kähler-Einstein計量の存在を示す。
• 縮約非アーベル的J汎関数$ J_T^{\text{NA}} $は、$ \mu \in N_\mathbb{Q} $における下限として定義され、群還元下での安定性解析を可能にする。
• トーラス等変テスト配置に沿った縮約J関数の勾配は、非アーベル的エネルギー汎関数を用いて計算される。
• Dエネルギーの強制性は、関連する汎関数が群$ G $に沿って定数であることを示し、変分法により滑らかな最小化子が得られる。
• 中心$ C(G) $は、Dエネルギーの勾配が中心にのみ依存することと、最小化子が$ G $に関して不変であることから、強制性条件を制御するために十分である。