[論文レビュー] Extremal Kähler metrics

Gábor Székelyhidi|arXiv (Cornell University)|May 19, 2014

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

ひとこと要約

この論文は、カラビの極値ケーラー計量に関する最近の進展を調査し、その存在と代数幾何的安定性（K-安定性および$̂{K}$-安定性）の間の予想的な関係を確立する。ルールド多様体上でテスト配置を用いて、カルビ functional の下界公式における等号を証明し、最小化列が完全な極値計量または崩壊するファイブレーションに分解されることを示す。極限におけるフィルトレーションが最大の不安定化を達成する。

ABSTRACT

This paper is a survey of some recent progress on the study of Calabi's extremal Kähler metrics. We first discuss the Yau-Tian-Donaldson conjecture relating the existence of extremal metrics to an algebro-geometric stability notion and we give some example settings where this conjecture has been established. We then turn to the question of what one expects when no extremal metric exists.

研究の動機と目的

• 極値ケーラー計量の存在と、K-安定性および$̂{K}$-安定性などの代数幾何的安定性条件との関係を明確化すること。
• 極値計量が存在しない場合のカルビ functional の最小化列の挙動を調査すること。
• 不安定性下でのケーラー多様体の幾何的分解を、3次元多様体の幾何化に類似した形で理解すること。
• テスト配置およびその極限を用いて、カルビ functional の下界公式における等号を確立すること。

提案手法

• 定数スカラー曲率からのずれを測るため、カルビ functional $\mathrm{Cal}(\omega) = \int_M (S(\none) - \underline{S})^2 \omega^n$ を用いる。
• ルールド多様体 $M = \mathbb{P}(\mathcal{O} \oplus \mathcal{O}(1))$ 上の genus 2 曲線の上での最小化列の計量を明示的に構成するために、モーメント構成を適用する。
• カルビ functional の下界を実現するため、増加する指数を持つテスト配置 $\chi_i$ の系列を構成する。
• 計量のポイント付き極限を分析し、$M \setminus S_0$ および $M \setminus S_\infty$ 上での完全な極値計量、または崩壊する円ファイブレーションを同定する。
• テスト配置 $\chi_i$ の極限として得られる極限フィルトレーション $\chi$ を導入し、安定性不等式における上界を達成する。
• 等号が安定性予想において成立することを示すために、公式 $\lim_{i\to\infty} \|S(\omega_i) - \underline{S}\|_{L^2} = \lim_{i\to\infty} -c_n \frac{\mathrm{Fut}(\chi_i)}{\|\chi_i\|}$ を用いる。

実験結果

リサーチクエスチョン

• RQ1 ケーラー類が極値計量をもつための代数幾何的安定性条件は何か？
• RQ2 極値計量が存在しない場合、カルビ functional の最小化列はどのように振る舞うか？
• RQ3 テスト配置を用いてカルビ functional の下界が達成可能か？また、安定性予想において等号が成立するか？
• RQ4 不安定な場合に、幾何的分解または崩壊現象はどのように生じるか？
• RQ5 テスト配置の極限として最大の不安定化を達成するフィルトレーションは存在するか？その役割は何か？

主な発見

• genus 2 曲線上のルールド多様体 $M = \mathbb{P}(\mathcal{O} \oplus \mathcal{O}(1))$ において、すべての極化 $L$ に対して、下界公式 (23) において等号が成立する。
• $m < k_1$ のとき、最小化列はケーラー類 $\Omega_m$ 内で極値計量に収束する。
• $k_1 \leq m \leq k_2$ のとき、ポイント付き極限は $M \setminus S_0$ および $M \setminus S_\infty$ 上での完全な極値計量をもたらし、体積の加法性が成り立つ。
• $m > k_2$ のとき、極限には崩壊する円ファイブレーションと完全な極値計量が含まれ、合計体積は元の体積より厳密に小さい。
• テスト配置 $\chi_i$ の指数は無限大に近づき、$M$ のコピーの鎖への次第な崩壊を示している。
• $\chi_i$ の極限として極限フィルトレーション $\chi$ が存在し、安定性不等式における上界を達成する。これはハーデル＝ナラシムハン分解に類似した役割を果たす。