[論文レビュー] CM Stability of Projective varieties

Sean Timothy Paul|arXiv (Cornell University)|Jun 21, 2012

Geometry and complex manifolds参考文献 21被引用数 7

ひとこと要約

本稿は、ヒルベルト多様体上の新しいCM極性を介して、バーグマン計量上のマブーチエネルギーの有界性について、多面体的組合せ論的基準を確立する。これにより、射影的多様体のCM半安定性が、マブーチエネルギーが下から有界であることと同値であることを証明する。本稿は、線分束のグローバル生成対 $(\mathscr{L}_R, \mathscr{L}_\Delta)$ を導入し、この対に関する半安定性がマブーチエネルギーの下界有界性を特徴づけることを示し、解析的および代数幾何的安定性条件を統一する。

ABSTRACT

We develop the connection between equivariant completions of algebraic homogeneous spaces of reductive groups and lower bounds for the Mabuchi energy of a polarized manifold over the space of Bergman metrics. We provide a new definition of Tian's CM Polarization and discuss its properties.

研究の動機と目的

• 射影空間内の軌道間の $G$-不変写像が、それらのザリスキ閉包上で正則写像に拡張できるための必要十分条件を提供すること。
• 射影埋め込みの幾何学的および組合せ論的不変量を用いて、バーグマン計量上でのマブーチエネルギーの有界性を特徴づけること。
• ヒルベルト多様体上に新しいCM極性 $(\mathscr{L}_R, \mathscr{L}_\Delta)$ を定義し、そのグローバル生成性を証明すること。
• $[X]$ が $(\mathscr{L}_R, \mathscr{L}_\Delta)$-半安定であることと、$(X, \omega_{FS}|_X)$ のマブーチエネルギーがバーグマン計量の空間上で下から有界であることとが同値であることを確立すること。
• マブーチエネルギーが全空間 $\mathcal{H}_\omega$ のKähler計量上で下から有界であることと、バーグマン計量の空間 $\mathcal{B}$ 内のすべての解析的曲線上で下から有界であることとが同値であることの証明。

提案手法

• ヒルベルト多様体上に可逆層の対 $(\mathscr{L}_R, \mathscr{L}_\Delta)$ を構成し、新しいCM極性を定義する。
• 幾何的不変量理論を適用して、この極性の半安定領域を解析し、それがヒルベルト多様体の局所的閉部分多様体の有限個の和集合であることを示す。
• Kodaira埋め込み $X \to \mathbb{P}^{N_k}$ の $k$-次の漸近的挙動を用いて、マブーチエネルギーと $SL(N_k+1,\mathbb{C})$ の軌道閉包の幾何学的性質を関連付ける。
• グラスマン多様体内での距離関数 $d_g(\overline{\mathcal{O}}_{R(k)\Delta(k)}, \overline{\mathcal{O}}_{R(k)})$ を導入し、対数微分を用いて安定性を定量化する。
• 再帰的代数群の有限次元表現論の定理を応用し、判別式、結果式、Kエネルギー写像を軌道構造の不変量として解釈する。
• 解析的数値基準を確立する：マブーチエネルギーが $\mathcal{B}$ 上で下から有界であることと、$\mathcal{B}$ 内のすべての解析的曲線上で下から有界であることとが同値である。

実験結果

リサーチクエスチョン

• RQ1 射影空間内の軌道間の $G$-不変写像が、それらの軌道のザリスキ閉包上で正則写像に拡張できるのはどのような条件下か？
• RQ2 滑らかな射影的多様体 $X \subset \mathbb{P}^N$ に対して、$(X, \omega_{FS}|_X)$ のマブーチエネルギーがバーグマン計量の空間上で下から有界であるための幾何的条件は何か？
• RQ3 ヒルベルト多様体上のCM極性を明示的に構成する方法は何か？ また、そのグローバル生成性の性質は何か？
• RQ4 $(\mathscr{L}_R, \mathscr{L}_\Delta)$-半安定性とマブーチエネルギーの有界性の正確な関係は何か？
• RQ5 バーグマン計量の空間内のすべての解析的曲線上でマブーチエネルギーが有界であるならば、それが全空間上でも有界であると結論づけられるか？

主な発見

• $(X, \omega_{FS}|_X)$ のマブーチエネルギーがバーグマン計量の空間上で下から有界であることと、$[X]$ がヒルベルト多様体上の対 $(\mathscr{L}_R, \mathscr{L}_\Delta)$ に関して半安定であることとは同値である。
• $(\mathscr{L}_R, \mathscr{L}_\Delta)$ はグローバル生成であり、$(\mathscr{L}_R, \mathscr{L}_\Delta)$-半安定領域はヒルベルト多様体の局所的閉部分多様体の有限個の和集合である。
• マブーチエネルギーが全空間 $\mathcal{H}_\omega$ のKähler計量上で下から有界であることと、バーグマン計量の空間 $\mathcal{B}$ 内のすべての解析的曲線上で下から有界であることとは同値である。
• マブーチエネルギーの漸近的公式における誤差を制御する列 $\{M(k)\}_{k \geq 1}$ は有界であると予想されており、この有界性が漸近的半安定性とマブーチエネルギーの有界性の同値性を示す。
• 判別式は滑らかな極限サイクル形成と可換である。これは安定性解析における重要な技術的結果である。
• 再帰的代数群の有限次元表現論を用いて、カルビ・フタキの特徴とマブーチエネルギーを一般化し、それらが軌道閉包と不変量の文脈において自然に現れることを示した。