[論文レビュー] Hermitian Curvature Flow

Jeffrey Streets, Gang Tian|ArXiv.org|Apr 25, 2008

Geometry and complex manifolds参考文献 9被引用数 4

ひとこと要約

本稿は、複素多様体上のヘルミート計量のための放物型フローとしてヘルミート曲率フロー（HCF）を導入する。このフローは、計量を歪みと曲率を低減する方向に変化させつつ、複素構造を保存する。第一チャーン類が非正であるケーラー＝アインシュタイン計量の近傍で、短時間存在性、正則性、安定性を確立し、初期摂動が小さい場合に解がケーラー＝アインシュタイン計量に収束することを示す。

ABSTRACT

We define a functional for Hermitian metrics using the curvature of the Chern connection. The Euler-Lagrange equation for this functional is an elliptic equation for Hermitian metrics. Solutions to this equation are related to Kähler-Einstein metrics, and are automatically Kähler-Einstein under certain conditions. Given this, a natural parabolic flow equation arises. We prove short time existence and regularity results for this flow, as well as stability for the flow near Kähler-Einstein metrics with negative or zero first Chern class.

研究の動機と目的

• 複素多様体上のヘリオウト計量のための自然な放物型フローを定義し、非ケーラー設定におけるリッチフローを一般化すること。
• 曲率とねじれの有界性のもとで、フローの短時間存在性と正則性を確立すること。
• 第一チャーン類が非正であるケーラー＝アインシュタイン計量の近傍でのフローの安定性を証明すること。
• フローがヘリオウト条件を保存し、ねじれを低減することを示し、ケーラー計量への収束を示唆すること。

提案手法

• スカラー・チェーン曲率、ねじれノルム、ねじれのトレースを含む関数を定義し、そのオイラー＝ラグランジュ方程式がフローの動機を提供する。
• ヘリオウト曲率フロー（HCF）を、∂g/∂t = -S + Q という発展方程式により導入する。ここで S はチェーン＝リッチ曲率、Q は二次のねじれ項である。
• 適切な関数空間における前もっての推定と逆関数定理を用いて、短時間存在性を証明する。
• 曲率の有界性のもとで、高階微分推定を確立し、最大存在時間は曲率とねじれノルムの爆発に支配されることを示す。
• ホッジ型作用素と複素幾何の道具を用いて、フローをケーラー形式 ω(t) の観点から表現し、複素構造との整合性を示す。
• 部分積分と曲率の恒等式を適用し、|w|² などの幾何的量の発展方程式を導出し、エネルギー推定を可能にする。

実験結果

リサーチクエスチョン

• RQ1 ヘリオウト多様体上で、複素構造を保存し、ケーラー計量へ向かって変化する放物型フローを定義できるか？
• RQ2 任意のヘリオウト初期計量に対して、ヘリオウト曲率フローは短時間存在するか？
• RQ3 第一チャーン類が非正であるケーラー＝アインシュタイン計量の近傍で、フローは安定か？
• RQ4 HCFの静的解は、常にケーラー＝アインシュタインであるか？
• RQ5 ホッジ理論的作用素を用いて、時間発展するケーラー形式 ω(t) の観点からフローを表現できるか？

主な発見

• ヘリオウト曲率フローは、初期曲率とねじれノルムにのみ依存する時間区間で一意に解を有し、明示的な下界 c(n)/max{ |Ω|₀, |∇T|₀, |T|²₀ } を持つ。
• 曲率とねじれの高階微分推定は時間に一様に成り立ち、m 階微分の減衰率は t^{-m/2} のオーダーである。
• 解は最大時間区間 [0, τ) で存在し、τ < ∞ ならば、曲率またはねじれノルムが爆発する必要がある。
• ケーラー＝アインシュタイン計量で c₁ ≤ 0 の近傍では、フローは安定である：このような計量の C∞-摂動は、大域的解を生成し、ケーラー＝アインシュタイン計量に収束する。
• 初期計量がケーラーである場合、HCF はケーラー＝リッチフローに還元され、ケーラー条件を保存する。
• ある条件下で、HCF の静的解はケーラー＝アインシュタインである。これは、フローがヘリオウト計量をケーラー＝アインシュタイン計量へ向かって変化させることを示唆する。