[論文レビュー] The Backward behavior of the Ricci and Cross Curvature Flows on SL(2,R)

Xiaodong Cao, John Guckenheimer+1 more|arXiv (Cornell University)|Jun 23, 2009

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

ひとこと要約

本稿では、SL(2,ℝ)多様体上のリッチおよびクロス曲率フローの最大解が、一般的に後向き時間方向にヘイゼンベルク型の部分リーマン幾何から出発することを確立している。局所的に同型な3次元多様体における曲率の時間発展の常微分方程式（ODE）解析を用いて、一般の初期条件のもとで、スケーリングされた計量が有限な後向き時間特異点に近づくにつれて、ヘイゼンベルク群の計量に一様収束することを証明し、幾何的フロー分野における長年の未解決問題を解決した。

ABSTRACT

This paper is concerned with properties of maximal solutions of the Ricci and cross curvature flows on locally homogeneous three-manifolds of type SL(2,R). We prove that, generically, a maximal solution originates at a sub-Riemannian geometry of Heisenberg type. This solves a problem left open in earlier work by two of the authors.

研究の動機と目的

• 先行研究で未解決のまま残っていた、SL(2,ℝ)多様体上におけるリッチおよびクロス曲率フローの後向き挙動を解明すること。
• SL(2,ℝ)上でのこれらのフローの一般解が、有限な後向き時間特異点に近づくにつれて、ヘイゼンベルク型の部分リーマン計量から出発することを示すこと。
• すべての局所的に同型な3次元多様体に対する後向き漸近的挙動の分類を完成させるために、SL(2,ℝ)の場合を解決すること。
• Bianchi型の他のタイプと比較してより複雑な力学を示す、SL(2,ℝ)設定における曲率発展を記述するODE系の解析を行うこと。

提案手法

• SL(2,ℝ)の普遍被覆上の左不変計量を用いて、局所的に同型な3次元多様体上でのリッチおよびクロス曲率フローをODE系に還元すること。
• 曲率変数 (a, c) と角度パラメータ θ を用いたODE系 (3.4) の解析において、極座標に類似した座標 (r, θ) を導入し、特異点近傍でのフロー挙動を研究すること。
• ベクトル場比較技術の適用：補助的ベクトル場 Y を構成し、横断性および軌道の分離性を示し、非軸上軌道が原点に近づかないことを証明すること。
• 不変多様体理論と漸近解析を用いて、2次元の錐 S₀ が (0,1) に前方漸近的である軌道の集合であることを特定し、ヘイゼンベルク極限に対応すること。
• r軸およびθ軸上にないすべての軌道が原点に近づかないことを示すために、(θ,r) 平面上で X-軌道が Y-軌道の strictly 上方 に位置することを証明すること。
• 対称性と座標変換を用いて、B < C の対称ケースに結果を拡張し、タイプ (b) のすべての局所的に同型な3次元多様体における後向き挙動の完全な分類を達成すること。

実験結果

リサーチクエスチョン

• RQ1 SL(2,ℝ)多様体上におけるリッチおよびクロス曲率フローの後向き挙動は、他のBianchi型と同様に、ヘイゼンベルク型の部分リーマン計量に収束するか？
• RQ2 SL(2,ℝ)の場合における曲率発展を記述するODE系の構造は何か？ 他の単純な同型ケースとはどのように異なるか？
• RQ3 原点（特異計量に対応）に近づく軌道は、r軸またはθ軸上にあるもの以外に存在するか？
• RQ4 一般解の後向き極限は、自然な部分リーマン計量を備えたヘイゼンベルク群として特徴付けられるか？

主な発見

• SL(2,ℝ)多様体上の一般初期計量に対して、後向き時間特異点は有限であり、T_b < ∞ が成り立つ。
• 区間 (−T_b, 0) 上で定義された正の関数 r(t) が存在し、t → −T_b のとき r²(t)g(t) がヘイゼンベルク型の部分リーマン計量に一様収束する。
• 極限計量空間の任意の点における接錐は、標準的な部分リーマン構造を備えた3次元ヘイゼンベルク群 H₃ に等長である。
• ODE系 (3.7) のうち、原点に漸近する軌道は r軸上またはθ軸上にあるものに限られ、他のいかなる軌道も原点に近づかない。
• (a,c)-平面上のフローラインは、ヘイゼンベルク極限に収束する解の集合に対応する2次元錐 S₀ によって分離されている。
• 解析により、一般初期データに対して後向き極限が普遍的であることが確認され、タイプ (b) のすべての局所的に同型な3次元多様体における後向き挙動の分類が完成した。