[論文レビュー] Curvature homogeneous signature (2,2) manifolds

Corey Dunn, Peter Gilkey+1 more|ArXiv.org|Aug 23, 2004

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

ひとこと要約

本稿では、実解析関数 f(y) を用いて定義される、一般化平面波多様体と呼ばれる、完全で4次元の符号型(2,2)の擬リーマン多様体の族を構成する。これらの多様体は1-曲率同調的ではあるが、必ずしも同調的ではない。また、豊富な幾何的性質を示しており、空間的および時間的両方のジョルダン・オッサーマーおよびイワノフ＝ペトロヴァである。さらに、そのキリング代数は完全に分類されている。主な貢献は、多様な対称性および曲率性質を持つこのような多様体の明示的構成であり、非可換対称空間、同調的だが非可換、非同調的だが1-曲率同調的である例を含む。

ABSTRACT

We exhibit a family of generalized plane wave manifolds of signature (2,2). The geodesics in these manifolds extend for infinite time (i.e. they are complete), they are spacelike and timelike Jordan Osserman, and they are spacelike and timelike Jordan Ivanov-Petrova. Some are irreducible symmetric spaces. Some are homogeneous spaces but not symmetric. Some are 1-curvature homogeneous but not homogeneous. All are 0-modeled on the same irreducible symmetric space. We determine the Killing vector fields for these manifolds.

研究の動機と目的

• 実解析関数 f(y) を用いて、符号型(2,2)の一般化平面波多様体を構成・分析すること。
• これらの多様体が可換、同調的、または1-曲率同調的であるための条件を特定すること。
• キリングベクトル場を分類し、各多様体クラスの等長群の構造を同定すること。
• 多様体の幾何的性質、特に完全性、曲率同調性、およびジャコビ作用素と曲率作用素のジョルダン標準形条件を調査すること。
• 非同調的であるが1-曲率同調的であるような多様体が存在することを示し、リーマン的結果と対比すること。

提案手法

• 実解析関数 f(y) を用いて、R^4 上に擬リーマン計量 g_f を定義し、g_f(∂_x,∂_x) = -2f(y), g_f(∂_x,∂_x̃) = g_f(∂_y,∂_ỹ) = 1 とする。
• 曲率テンソルの k 階共変微分を計算し、∇^k R_f(∂_x,∂_y,∂_y,∂_x; ∂_y,…,∂_y) = f^{(k+2)}(y) であることを示す。
• 点における曲率ジェットのモデル (U^k) を用いて k-曲率同調的性を定義し、局所等長型を特定する。
• キリング方程式を解き、フローと同型を用いて得られるリー代数構造を解析することで、キリング理論を応用する。
• 点における安定化代数を解析し、特別な f（例えば指数関数的またはべき乗関数）に対して明示的なキリング場を構成することで、等長群の次元を分類する。
• 測地線が完全であり、任意の点における指数写像が全微分同相であることを用いて、多様体の大域的性質を確立する。

実験結果

リサーチクエスチョン

• RQ1 実解析関数 f(y) がどのようなものであるとき、一般化平面波多様体 (R^4, g_f) は可換であるか？
• RQ2 (R^4, g_f) が同調的であるのはいつか？ その等長群の構造はいかなるものか？
• RQ3 (R^4, g_f) が1-曲率同調的だが局所的に同調的でないのはどのような条件の下か？
• RQ4 (R^4, g_f) のジャコビ作用素および反対称曲率作用素が、空間的および時間的接ベクトルバンドル上で定数ジョルダン標準形をとるのはいつか？
• RQ5 このような多様体におけるキリングベクトル場の完全な分類は何か？ また、それは f にどのように依存するか？

主な発見

• 任意の点において (R^4, g_f) のすべての測地線は完全であり、指数写像は全微分同相である。
• 多様体 (R^4, g_f) が可換であるための必要十分条件は f^{(3)} ≡ 0 である。
• 多様体が同調的であるための必要十分条件は f(y) = a e^{λy} または f(y) = a(y+b)^c（a, λ, b, c は定数）の形である。
• f^{(2)} ≠ 0 ならば、(R^4, g_f) は空間的および時間的両方のジョルダン・オッサーマーおよびジョルダン・イワノフ＝ペトロヴァである。
• f^{(2)} ≠ 0 かつ f が指数関数的またはべき乗関数の形でない場合、(R^4, g_f) は1-曲率同調的だが同調的ではない。
• f が指数関数的またはべき乗関数でない場合、キリング代数の次元は2である。f(y) = a e^{λy} ならば次元は6に増加し、f(y) = y^2 ならば次元は8に増加する。