[論文レビュー] CM Stability And The Generalized Futaki Invariant II

Sean Timothy Paul, Gang Tian|ArXiv.org|Jun 20, 2006

Geometry and complex manifolds被引用数 16

ひとこと要約

本稿では、極小化されたKエネルギーの1パラメータ部分群に 沿う漸近展開における一般化されたFutaki不変量が、極小化されたKエネルギーの主要項であることを確立している。Mabuchi Kエネルギーを精錬されたCM極性の特異なヘッケルメトリックと解釈することで、Kエネルギーの正規性が一般化されたFutaki不変量が厳密に負であることを示し、代数的安定性とケーラー＝アインシュタイン幾何学を結びつける。

ABSTRACT

The Mabuchi K-energy map is exhibited as a singular metric on the refined CM polarization of any equivariant family $\mathbf{X}\overset{p}{ o} S$. Consequently we show that the generalized Futaki invariant is the leading term in the asymptotics of the reduced K-energy of the generic fiber of the map $p$. Properness of the K-energy implies that the generalized Futaki invariant is strictly negative.

研究の動機と目的

• 極小化されたKエネルギーと一般化されたFutaki不変量との間の明確な漸近的関係を、極小化された多様体の族において確立すること。
• Mabuchi Kエネルギーが、ある代数的ラインバンドル上の特異なヘッケルメトリックとして解釈可能であることを示すこと。
• Kエネルギーの正規性が一般化されたFutaki不変量が厳密に負であることを示し、解析的安定性と代数的不変量を結びつけること。
• 1パラメータ部分群における精錬されたCMラインバンドルの重みを用いて、一般化されたFutaki不変量の理解を精緻化すること。
• 一般化されたFutaki不変量を一貫した代数的幾何的構造に埋め込むことで、CM安定性の枠組みを拡張すること。

提案手法

• 著者たちは、平坦な族 $\mathbf{X} \to S$ の基底 $S$ 上のラインバンドル $\mathbb{L}_1$ を、チャウ形式、コhomologyの行列式、およびヒルベルト点の重みを組み合わせることで精錬されたCM極性として定義する。
• 彼らは、Mabuchi Kエネルギーが双対 $\mathbb{L}_1^{-1}$ 上の特異なヘッケルメトリックに対応することを示し、特異点集合以外でのメトリックの振る舞いを記述する連続関数 $\Psi_S$ を導入する。
• 1パラメータ部分群 $\lambda$ に沿うベルグマン汎関数 $\varphi_{\lambda(t)}$ の漸近的解析を用い、$|t| \to 0$ のときの展開 $\nu_{\omega|_{\mathbf{X}_z}}(\varphi_{\lambda(t)}) = F_1(\lambda)\log|t|^2 + O(1)$ を得る。ここで $F_1(\lambda)$ は一般化されたFutaki不変量として特定される。
• Moser反復法と、Sobolev定数 $\mathcal{C}(\varphi_t)$ に一様な有界性を課えた精錬されたSobolev不等式を用い、$\mathbb{P}^N$ 内の射影的部分多様体の最小性を活用する。
• 鍵となるステップは、Kエネルギーが下から有界（正規）であるならば、一般化されたFutaki不変量が厳密に負でなければならないことを示すことである。これは、退化における振幅とエネルギーの制御の振る舞いを用いて達成される。
• 2つの場合を分析する：(i) 限界サイクル $X^{\lambda(0)}$ が非特異的（reduced）である場合（→ $\mathrm{Osc} \to \infty$）、(ii) 非特異的でない場合（→ $\Psi \to -\infty$）。両者とも、Kエネルギーの正規性のもとで $F_1(\lambda) < 0$ が強制される。

実験結果

リサーチクエスチョン

• RQ1 一般化されたFutaki不変量は、極小化された多様体の族における1パラメータ部分群に沿うKエネルギーの漸近的性質とどのように関係しているか？
• RQ2 Mabuchi Kエネルギーは、代数的ラインバンドル上のメトリックとして解釈可能であるか？ もしそうならば、どのラインバンドルか？
• RQ3 精錬されたCM極性 $\mathbb{L}_1$ は、一般化されたFutaki不変量をどのように符号化しているか？
• RQ4 Kエネルギーの正規性が一般化されたFutaki不変量が厳密に負であることを示すために必要な条件は何か？
• RQ5 限界サイクル $X^{\lambda(0)}$ の成分の重複度は、Kエネルギーの漸近的性質と $F_1(\lambda)$ の符号にどのように影響を与えるか？

主な発見

• 一般化されたFutaki不変量 $F_1(\lambda)$ は、極小化されたKエネルギーの漸近展開における主要項である：$|t| \to 0$ のとき $\nu_{\omega|_{\mathbf{X}_z}}(\varphi_{\lambda(t)}) = F_1(\lambda)\log|t|^2 + O(1)$。
• Mabuchi Kエネルギーは、精錬されたCM極性の双対 $\mathbb{L}_1^{-1}$ 上の特異なヘッケルメトリックとして実現され、関数 $\Psi_S$ がその特異的振る舞いを符号化する。
• Kエネルギーの正規性が、すべての1パラメータ部分群 $\lambda$ に対して一般化されたFutaki不変量が厳密に負であることを示す：$F_1(\lambda) < 0$。
• 限界サイクル $X^{\lambda(0)}$ が非特異的でない場合、$\Psi_S(\lambda(t)) \to -\infty$ となるが、Kエネルギーが下から有界であるのは $F_1(\lambda) < 0$ の場合に限る。この条件は正規性仮定によって強制される。
• Sobolev定数 $\mathcal{C}(\varphi_t)$ は、複素次元 $n$ のみに依存する定数 $\delta(n)$ で一様に有界であり、これによりMoser反復法を用いて $L^p$ ノルムを制御し、$L^\infty$ 界を導出できる。
• 限界サイクル $X^{\lambda(0)}$ が非特異的かつ重複度1のとき、$t \to 0$ のとき $\mathrm{Osc}_X(\varphi_t)$ は無限大に発散する。Kエネルギーの正規性のもとで、この発散は $F_1(\lambda) < 0$ を強制する。