[論文レビュー] The Kähler-Ricci flow on manifolds with negative holomorphic curvature

Freid Tong|arXiv (Cornell University)|May 9, 2018

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

ひとこと要約

この論文は、負の全純セクション曲率を持つ完備非コンパクトケーラー多様体上で、正規化されたケーラー・リッチフローの長時間存在および滑らかな収束を確立する。初等的な最大値原理の技法を用いて、負のスカラー曲率をもつ完備ケーラー・アインシュタイン計量への収束を証明し、Kähler錐の数値的特徴付けや擬有界座標チャートといった高度な解析的道具に依存せずに、WuとYauの結果を再現する。

ABSTRACT

We study the behaviour of the normalized Kähler-Ricci flow on complete Kähler manifolds of negative holomorphic sectional curvature. We show that the flow exists for all time and converges to a Kähler-Einstein metric of negative scalar curvature, recovering a result of Wu and Yau.

研究の動機と目的

• 全純セクション曲率が負の定数以上に有界な非コンパクト設定へのケーラー・リッチフローの応用を拡張すること。
• 全純セクション曲率が負で、完備非コンパクトケーラー多様体上に負のスカラー曲率をもつケーラー・アインシュタイン計量が存在することを、WuとYauの結果として再現すること。
• 先行研究で用いられたような、Kähler錐の数値的特徴付けや擬有界座標チャートといった高度な道具に依存しないこと。
• 最大値原理と放物型PDEの推定のみを用いて、曲率およびその微分の均一な界を確立すること。
• 正規化されたケーラー・リッチフローが、負のリッチ曲率をもつ完備ケーラー・アインシュタイン計量へ滑らかに収束することを確立すること。

提案手法

• 初期計量 ω₀ が有界な曲率と負の全純セクション曲率をもつものとして、正規化されたケーラー・リッチフロー方程式 ∂ₜω(t) = -Ric(ω(t)) - ω(t) を用いる。
• 有界曲率をもつ完備多様体上で放物型PDEに適用可能な非コンパクト版の最大値原理を適用し、本質的に最大値が初期に達成されたり、勾配が消え、時間微分が非負になることを保証する。
• 全純セクション曲率に適応されたSchwarz補題型推定を用いて、進化する計量 ω(t) と初期計量 ω₀ 間の均一な下界を確立する。
• Sₖ = |∇ᵏT|² の進化方程式を用い、T = ∇T のノルムに関する帰納法的議論により、曲率テンソルおよびその共変微分の均一な界を導出する。
• Kählerポテンシャル φ(t) の進化を用いて C⁰ 収束を示し、その後 φ の均一な Cᵏ 界を介して C⁴ 収束に高める。これにより計量の C⁴ 収束が得られる。
• Sₖ = |∇ᵏT|² に対して最大値原理を適用し、再帰的界を導出し、最終的に曲率テンソルおよびその微分の均一な Cᵏ 界を証明する。

実験結果

リサーチクエスチョン

• RQ1 正規化されたケーラー・リッチフローを用いて、負の全純セクション曲率をもつ完備非コンパクトケーラー多様体上にケーラー・アインシュタイン計量が存在することを証明できるか？
• RQ2 フローは時間経過とともに負の全純セクション曲率条件を保存するか？ そして、高度な解析的道具に依存せずにこれを示せるか？
• RQ3 非コンパクト設定において、最大値原理と放物型PDE推定のみを用いて、曲率およびその微分の均一な界を確立できるか？
• RQ4 このような多様体上での正規化されたケーラー・リッチフローは、常に存在し、滑らかにケーラー・アインシュタイン計量へ収束するか？
• RQ5 Kähler錐の数値的特徴付けや擬有界座標チャートに依存せずに、ケーラー・アインシュタイン計量への収束を確立できるか？

主な発見

• 有界曲率と全純セクション曲率が −κ|η|⁴ 以上に有界な完備ケーラー多様体上では、正規化されたケーラー・リッチフローがすべての時間にわたって存在する。
• フローは滑らかに完備ケーラー・アインシュタイン計量 ω_KE へ収束し、Ric(ω_KE) = −ω_KE を満たす。
• 極限計量 ω_KE は初期計量 ω₀ と均一に同値であり、定数 C が B と κ のみに依存して C⁻¹ω₀ ≤ ω_KE ≤ Cω₀ を満たす。
• ω_KE における曲率テンソルのすべての共変微分は、ω_KE のノルムで均一に有界であり、|∇ˡ_ω_KE Rm(ω_KE)|_ω_KE ≤ Cₗ を満たす。ここで Cₗ は B と κ のみに依存する定数である。
• フローの収束は C⁴ スムーズであり、Kählerポテンシャル φ(t) は C⁴ で極限 φ_∞ へ収束する。この φ_∞ が極限ケーラー・アインシュタイン計量を定義する。
• 証明はDemailly-PaunのKähler錐の数値的特徴付けや擬有界座標チャートを用いず、初等的な最大値原理の議論に依存している。