[論文レビュー] Totally geodesic submanifolds in Riemannian symmetric spaces

Sebastian Klein|ArXiv.org|Oct 24, 2008

Advanced Algebra and Geometry参考文献 8被引用数 4

ひとこと要約

本稿は、ランク2のすべての非可約リーマン多様体的対称空間における完全な完全測地的部分多様体の分類を提供し、ChenおよびNaganoによる先行分類の不正確さを是正する。曲率不変性と代数的技法を用いて、接空間解析および明示的な幾何的構成（反射的、極座標的、測地線的）により、すべての such 部分多様体を同定する。各対称空間タイプについて詳細なリストを提示する。

ABSTRACT

In the first part of this expository article, the most important constructions and classification results concerning totally geodesic submanifolds in Riemannian symmetric spaces are summarized. In the second part, I describe the results of my classification of the totally geodesic submanifolds in the Riemannian symmetric spaces of rank 2.

研究の動機と目的

• ChenおよびNaganoが以前に提示したランク2の対称空間における完全測地的部分多様体の誤った分類を是正すること。
• 非可約リーマン多様体的対称空間のランク2におけるすべての完全測地的部分多様体の完全かつ正確な分類を提供すること。
• 曲率不変接空間を介してこのような部分多様体を系統的に同定する方法を確立すること。
• 反射的、極座標的、測地線的部分多様体などの幾何的構成を用いて部分多様体を特徴付けること。
• ランク2の対称空間におけるCartan埋め込みおよび対称部分空間に関する結果を検証し、拡張すること。

提案手法

• 線形部分空間 U ⊂ T_pM が完全測地的部分多様体に接するための代数的基準を適用：すべての u,v,w ∈ U に対して R(u,v)w ∈ U が成り立つこと。
• 完全測地的部分多様体の剛性を用いる：ある点における接空間が同一であれば、部分多様体も同一である。
• 幾何的構成を用いる：等長変換（特に対合）の固定点集合、極座標（M_+）、測地線（M_-）、および中心体（centrosomes）。
• 対称空間をそのリー群構造 G/K として分析し、K = Fix(σ) のとき、f: G/K → G, gK ↦ σ(g)g⁻¹ というCartan埋め込みを用いる。これは完全測地的埋め込みをもたらす。
• 対称空間のタイプとそれに対応するルート系およびSatake図を分析することで、部分多様体を分類する。
• 既知の分類と照合し、特に E_6/F_4 および G_2/SO(4) のような空間について、先行研究の誤りを是正する。

実験結果

リサーチクエスチョン

• RQ1 すべての非可約リーマン多様体的対称空間のランク2における完全測地的部分多様体の完全な集合は何か？
• RQ2 ChenおよびNaganoによるランク2の対称空間の分類が誤りである理由は何か？また、どのような部分多様体が見逃されていたか？
• RQ3 反射的、極座標的、測地線的部分多様体は、ランク2空間における完全測地的部分多様体の分類にどのように寄与するか？
• RQ4 どの対称空間が最大ランクの完全測地的部分多様体を有するか？それらはどのように特徴づけられるか？
• RQ5 Cartan埋め込みは完全測地的部分多様体を実現するために果たす役割は何か？また、曲率不変接空間とはどのように関係するか？

主な発見

• すべての非可約対称空間のランク2における完全測地的部分多様体の分類は、現在完全かつ是正済みであり、ChenおよびNaganoによる先行研究の誤りを解消した。
• E_6/F_4 において、完全測地的部分多様体には、κ=1/4 のカイリー射影平面 OP²、κ=1/4 のハイパークォータニオン射影空間 IH P³、および特定の半径の球面の積が含まれる。
• G_2/SO(4) において、部分多様体には srr=√3 の SU(3)/SO(3)、半径 1 と 1/√3 の 2-球面の積、および κ=3/4 のカイリー射影平面 CP² が含まれる。
• SU(3) において、分類には srr=1 の SU(3)/SO(3)、半径 1 と √3 の 3-球面と円の積、および κ=1/4 の複素射影平面 CP² が含まれる。
• K = Fix(σ) のとき、Cartan埋め込み f: G/K → G はすべての対称空間に対して完全測地的埋め込みであり、SU(3)/SO(3) や G_2/SO(4) における主要な例を生成する。
• 中心体（pole の中点の集合）として定義される構成は、連結な完全測地的部分多様体をもたらし、分類における幾何的意義を裏付ける。