[論文レビュー] The Calabi functional on a ruled surface

Gábor Székelyhidi|arXiv (Cornell University)|Mar 19, 2007

Geometry and complex manifolds参考文献 12被引用数 6

ひとこと要約

本稿では、種数2の曲線上のルールド表面におけるカルビ機能の最小化を、運動量構成を用いて対称性を持つ計量を分析することで研究する。特定の極化に対して、最小化列は多様体を、完全な極値計量に収束する部分または無限に長い円筒に退化する部分に分割することが示され、明確な閾値 m ≈ 18.9 および m ≈ 5.03 が得られる。

ABSTRACT

We study the Calabi functional on a ruled surface over a genus two curve. For polarisations which do not admit an extremal metric we describe the behaviour of a minimising sequence splitting the manifold into pieces. We also show that the Calabi flow starting from a metric with suitable symmetry gives such a minimising sequence.

研究の動機と目的

• 極値計量をもたない与えられたケーラー類において、ルールド表面上のカルビ機能の振る舞いを理解すること。
• 極値計量を許容しないケーラー類における最小化列の構造を特徴づけること。
• 対称初期計量に対するカルビフローの長時間存在および収束を確立すること。
• スカラー曲率の凹性を介して、カルビ機能の最小化をテスト配置およびフタキ不変量と結びつけること。
• 極値計量が存在しない場合でも、対称計量から出発するカルビフローが最小化子を生成することを証明すること。

提案手法

• S^1-不変ケーラー計量を、[0,m] 上の滑らかな関数 φ によるパrametrization として、運動量構成を用いる。
• スカラー曲率 S(ω_φ) を φ に関する2階微分作用素として表現し、カルビ機能の明示的計算を可能にする。
• φ 上でのスカラー曲率の L^2-ノルムを関数的とみなし、Euler-Lagrange 方程式 φ S(φ)'' = 0 を得る。ただし S(φ)'' は負である。
• 退化（部分区間で φ が消える）を許容する形で最小化子を明示的に構成し、計量の分割または崩壊に対応させる。
• ドナルドソンのモーメント写像解釈およびテスト配置を用いて、カルビ機能の下界を評価する。
• カルビフローを動的アプローチとして用い、φ_t に対する H^2 および C^2-推移的評価を用いて、最小化子への長時間存在および収束を証明する。

実験結果

リサーチクエスチョン

• RQ1 与えられたケーラー類に極値計量が存在しない場合、ルールド表面におけるカルビ機能はどのように振る舞うか？
• RQ2 極値計量が存在しない場合、最小化列の計量は幾何的分解の観点からどのように振る舞うか？
• RQ3 極値計量が存在しない場合でも、対称初期データに対するカルビフローは最小化子に収束するか？
• RQ4 スカラー曲率プロファイルの凹性は、最小化子の特徴づけおよび極値計量の障害をどのように特定するか？
• RQ5 テスト配置およびフタキ不変量は、非極値の場合のカルビ機能の下限とどのように関係するか？

主な発見

• 0 < m < k_1 ≈ 18.9 のとき、多様体は極値計量をもつ。これは Tønnesen-Friedman の先行結果と整合的である。
• k_1 ≤ m ≤ k_2(k_2 + 2) で k_2 ≲ 5.03 のとき、最小化列は表面を2つの部分に分割し、それぞれが完全な極値計量に収束する。
• m > k_2(k_2 + 2) ≈ 37.6 のとき、最小化列は3つの部分に分割され、2つは完全な極値計量に収束し、残りの1つは無限に細く長い円筒のファイブレーションに退化する。
• 対称計量（運動量構成を介して）から出発するカルビフローは、すべての時間に対して存在し、カルビ機能の最小化子に収束する。
• スカラー曲率の L^2-ノルム（カルビ機能）は、区分的線形凸関数から導かれるテスト配置のフタキ不変量によって下から抑えられる。
• カルビフローに沿って、モーメントプロファイル φ_t に対して一様な C^2-有界性が確立され、リッチ曲率の制御を通じて長時間存在が保証される。