[論文レビュー] The Cross Curvature Flow of 3-manifolds with Negative Sectional Curvature

Bennett Chow, Richard S. Hamilton|ArXiv.org|Aug 31, 2003

Geometric Analysis and Curvature Flows参考文献 9被引用数 11

ひとこと要約

本稿は、負の断面曲率をもつ3次元多様体に対するクロス曲率フロー（XCF）を導入し、フローがすべての時間に対して存在し、正規化後に双曲的計量に収束すると提案している。アインシュタインテンソルの体積に対する単調性公式を確立し、定曲率からのずれを測る積分的尺度が単調に減少することを証明しており、XCFがこのような計量を双曲的へと発展させることへの支援的証拠を提供している。

ABSTRACT

We introduce a geometric evolution equation for 3-manifolds with sectional curvature of one sign which is in some sense dual to the Ricci flow. On a closed 3-manifold with negative sectional curvature, we establish short time existence and a pair of monotonicity formulas for solutions to the flow. One of these formulas shows that, provided the solution exists for all time, the metric approaches hyperbolic in an integral sense. Long time existence is still an open problem.

研究の動機と目的

• 負の断面曲率をもつ3次元多様体に対する新しい幾何的フローであるクロス曲率フロー（XCF）を提案すること。
• 発展作用素の記号と可積分性条件を用いて、XCFの短期間の存在を確立すること。
• XCFの下でアインシュタインテンソルの体積が非減少であることを証明し、長期的存続および収束の予想を支持すること。
• 定曲率からのずれを測る積分的尺度（J）がXCFの下で非増加であることを示し、双曲的計量への収束を示唆すること。
• 閉じた3次元多様体において、負の断面曲率をもつ計量が正規化後に双曲的計量に収束するという予想に対する解析的証拠を提供すること。

提案手法

• XCFは ∂g_ij/∂t = 2h_ij として定義され、h_ij はアインシュタインテンソル P_ij から導かれるクロス曲率テンソルである。
• クロス曲率テンソル h_ij は h_ij = (det P^{kℓ}/det g^{kℓ}) V_ij として構成され、V_ij は P^{ij} の逆行列である。
• 発展作用素の記号を用い、発散恒等式 h^{ij}∇_i h_jk = ½ h^{ij}∇_k h_ij を用いて、L(h_ij) = 0 である可積分性条件を検証することで、短期間の存在を証明した。
• P^{ij} および det P の発展方程式を導出し、∂/∂t P^{ij} = ∇_k∇_ℓ(P^{kℓ}P^{ij} - P^{ik}P^{jℓ}) - det P g^{ij} - H P^{ij} であることを示した。
• テンソル T^{ijk} を無限小成分に分解することにより、単調性公式を確立し、∫(det P)^η dμ の時間微分に非負の項が現れることを導いた。
• log det P に最大値原理の推定を適用し、det P → 0 ならば H → ∞ であることを示し、曲率の崩壊を示唆したが、フローが有界でなければ特異性は生じない。

実験結果

リサーチクエスチョン

• RQ1 閉じた3次元多様体において、負の断面曲率をもつ場合に、クロス曲率フローはすべての時間に対して存在するか？
• RQ2 クロス曲率フローは正規化後に双曲的計量に収束するか？
• RQ3 アインシュタインテンソルの体積はクロス曲率フローの下で非減少か？
• RQ4 定曲率からのずれを測る積分的尺度はXCFの下で単調に減少するか？
• RQ5 最大値原理を用いて、双曲的になる以前の特異性を排除できるか？

主な発見

• 記号の非負固有値および可積分性条件の検証により、負の断面曲率をもつ閉じた3次元多様体において、XCFは短期間の存在が保証された。
• XCFの下でアインシュタインテンソルの体積 ∫(det P)^1/2 dμ は非減少であり、等号が成り立つのは計量が双曲的である場合に限る。
• XCFの下で積分量 J = ∫(P/3 - (det P)^{1/3}) dμ は非増加であり、等号が成り立つのは計量が定曲率をもつ場合に限る。
• J の時間微分は、テンソル T^{ijk} の無限小成分を含む負定値の式によって上から抑えられ、単調減少が確認された。
• 最大値原理の推定により、フローに沿って det P → 0 ならば H → ∞ であることが示され、曲率の崩壊を示唆したが、フローが有界であれば特異性は生じない。
• フローはアインシュタインテンソルの符号を保存し、負の断面曲率の下で h_ij の正定値性を維持する。