[論文レビュー] Stable Pairs and Coercive Estimates for The Mabuchi Functional

Sean Timothy Paul|arXiv (Cornell University)|Aug 20, 2013

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

ひとこと要約

本稿は代数幾何における（半）安定対の概念を導入し、結果式と超判別式を用いた安定性の数値的基準を確立する。線形的に正規な射影多様体が安定であることは、Bergman計量空間上でMabuchi汎関数が適切に定義されていることと同値であり、任意のBergman空間上でMabuchi汎関数の適切性が成り立つならば、自己同型群が有限であることが示され、ケーラー＝アインシュタイン計量やマツシマの定理に依存しない安定性の新しい基準が得られる。

ABSTRACT

We show that a projective manifold is stable if and only if the Mabuchi energy is proper on the space of algebraic metrics. We show that stability implies finite automorphism group.

研究の動機と目的

• 射影的多様体の文脈において、幾何的不変量理論を用いて（半）安定対を定義し、特徴づけること。
• 結果式と超判別式に基づく安定性の数値的基準を確立すること。
• Bergman計量上のMabuchi汎関数の適切性と極小化された多様体の安定性を結びつけること。
• 任意のBergman空間上でMabuchi汎関数の適切性が成り立つならば、極小化多様体の自己同型群が有限であることを示すこと。
• Tianのアルファ不変量を用いて、ケーラー＝アインシュタイン計量やMatsushimaの定理に依存せずに、Fano多様体における自己同型群の有限性を示す新しい独立した基準を提供すること。

提案手法

• 線形的に正規な多様体 $ X \subset \mathbb{P}^N $ の結果式 $ R $ と超判別式 $ \Delta $ に対する $ G = SL(N+1,\mathbb{C}) $ の作用を通じて（半）安定対の概念を導入する。
• Hilbert-Mumfordの基準を用いて、対 $ (R^{\deg \Delta}, \Delta^{\deg R}) $ の安定性を定義し、これにより多様体 $ X $ の安定性と関連付ける。
• 有理写像の等変拡張の理論を応用し、Bergman空間内の退化が安定性条件とどのように関係するかを明らかにする。
• $ J_{\omega} $-汎関数とMabuchi汎関数 $ \nu_{\omega} $ を用いて、Bergman計量空間 $ \mathcal{B} $ 上での適切性条件を定式化する。
• Tianの収束結果 $ \overline{\bigcup_k \frac{1}{k}\mathcal{B}_k} = \mathcal{H}_\omega $ を $ C^2 $位相で用い、有限レベルの安定性を全計量空間の適切性へ拡張する根拠を提供する。
• Hilbert-Mumfordの半安定性と対の安定性を、等価条件の詳細な表を用いて比較する。

実験結果

リサーチクエスチョン

• RQ1 線形的に正規な射影的多様体 $ X \subset \mathbb{P}^N $ が、その結果式と超判別式に関して（半）安定と見なされるのはいつか？
• RQ2 $ SL(N+1,\mathbb{C}) $ の作用下での対 $ (R^{\deg \Delta}, \Delta^{\deg R}) $ の安定性に関する明確な数値的基準は何か？
• RQ3 極小化多様体に関連するBergman計量空間 $ \mathcal{B} $ 上でMabuchi汎関数が適切に定義されるのはどのような条件下か？
• RQ4 Bergman計量空間 $ \mathcal{B} $ 上でMabuchi汎関数が適切に定義されていると、自己同型群 $ \operatorname{Aut}(X,\mathbb{L}) $ が有限であることはどのように示されるか？
• RQ5 ケーラー＝アインシュタイン計量の存在を仮定せず、Matsushimaの定理を用いずに、Fano多様体の自己同型群の有限性を示すことは可能か？

主な発見

• 線形的に正規な射影的多様体 $ X \subset \mathbb{P}^N $ が安定であることは、Mabuchi汎関数 $ \nu_{\omega} $ がBergman計量空間 $ \mathcal{B} $ 上で適切に定義されていることと同値であり、すなわちすべての $ \varphi_\sigma \in \mathcal{B} $ に対して $ \nu_{\omega}(\varphi_\sigma) \geq C_1 J_\omega(\varphi_\sigma) + C_2 $ が成り立つことである。
• Mabuchi汎関数が任意の $ \mathcal{B}_k $ 上で適切に定義されていれば、自己同型群 $ \operatorname{Aut}(X,\mathbb{L}) $ は有限である。ケーラー＝アインシュタイン計量の存在を仮定する必要はない。
• Fano多様体 $ X $ に対して、Tianのアルファ不変量が $ \alpha(X) > \frac{n}{n+1} $ を満たすならば、$ \operatorname{Aut}(X) $ は有限であり、Matsushimaの定理とは独立に成立する。
• Bergman計量空間 $ \mathcal{B} $ 上でのMabuchi汎関数の適切性は、$ \mathcal{B} $ 内のすべての退化においても適切性が成り立つことと同値であり、同様に下からの有界性についても同様の同値性が成り立つ。
• Fano多様体の漸近的安定性が成り立つならば、適切性不等式における列 $ \{C_k\} $ が下から有界であれば、ケーラー＝アインシュタイン計量が存在する。
• $ \frac{1}{k}\mathcal{B}_k $ が $ C^2 $ 位相で $ \mathcal{H}_\omega $ に収束することにより、有限レベルの安定性結果を全Kähler計量空間へ拡張することが正当化される。