[論文レビュー] Killing Vector Fields of Constant Length on Riemannian Normal Homogeneous Spaces

Ming Xu, Joseph A. Wolf|arXiv (Cornell University)|Dec 10, 2014

Advanced Differential Geometry Research参考文献 8被引用数 5

ひとこと要約

本稿は、$G$ をコンパクトで連結かつ単純なリー群とするリーマン正規同次空間 $G/H$ における、一定長のキリングベクトル場（クライフ・キリングベクトル場）の分類を行う。このように、このようなベクトル場が存在するのは、$G/H$ が局所的に対称的であり、その万有被覆が奇数次元球面 $S^{2n-1}$ または対称空間 $SU(2n)/Sp(n)$ である場合に限ることを証明し、既知の対称空間に関する結果をより広い同次空間のクラスへと拡張する。

ABSTRACT

Killing vector fields of constant length correspond to isometries of constant displacement. Those in turn have been used to study homogeneity of Riemannian and Finsler quotient manifolds. Almost all of that work has been done for group manifolds or, more generally, for symmetric spaces. This paper extends the scope of research on constant length Killing vector fields to a class of Riemannian normal homogeneous spaces.

研究の動機と目的

• 対称空間を超えてリーマン正規同次空間へと、一定長キリングベクトル場の分類を拡張すること。
• コンパクト単純な $G$ に対して、$G/H$ 上に非ゼロのキリングベクトル場が一定長をとるための必要十分条件を同定すること。
• このようなベクトル場が存在する場合の $G/H$ の構造を、特に対称性および万有被覆空間の観点から特徴づけること。
• 非対称な同次リーマン幾何におけるクライフ・ウルフ移動および一定長キリングベクトル場の理解の空白を解消すること。

提案手法

• $G$ がコンパクト単純で $H$ が閉部分群であるときの自然な再帰的分解 $\mathfrak{g} = \mathfrak{h} \oplus \mathfrak{m}$ を用いる。
• $\mathfrak{m}$ 上における $\mathrm{Ad}(H)$ の作用を分析するため、表現論的技法を適用し、特にルート系と重み空間に注目する。
• ベクトル $v \in \mathfrak{g}$ が CK ベクトル場を定めるための必要十分条件として、任意の $g \in G$ に対して $\|\mathrm{pr}_{\mathfrak{m}}(\mathrm{Ad}(g)v)\|$ が定数であることを使う。
• ルート系の構造とその部分代数 $\mathfrak{h}$ の分析を通じて、非対称な場合に矛盾を導く。
• $\mathfrak{d}_n$ 型リー代数における明示的計算により、一定長のベクトル場が存在するのは $S^{2n-1}$ や $SU(2n)/Sp(n)$ のような特定の構成に限ることを示す。
• 異なるリー型にわたる複数の補題の結果を統合し、一般分類定理を確立する。

実験結果

リサーチクエスチョン

• RQ1 リーマン正規同次空間 $G/H$ が非ゼロのキリングベクトル場を一定長で持つための条件は何か？
• RQ2 一定長キリングベクトル場の分類を、対称空間から一般のリーマン正規同次空間へと拡張可能か？
• RQ3 このような CK ベクトル場が存在する場合、$G/H$ の可能な万有被覆は何か？
• RQ4 $\mathfrak{g}$ と $\mathfrak{h}$ のルート系構造が、一定長キリングベクトル場の存在にどのように制約を加えるか？
• RQ5 $G/H$ が非対称であっても、CK ベクトル場を有することが可能か？

主な発見

• 非ゼロのキリングベクトル場が一定長をとるためには、$G/H$ が局所的にリーマン対称的でなければならない。
• このような空間の万有リーマン被覆は、奇数次元球面 $S^{2n-1}$ または対称空間 $SU(2n)/Sp(n)$ のいずれかである。
• $G = \mathrm{Spin}(2n)$ の場合、空間 $G/H = S^{2n-1}$ は一定長キリングベクトル場を有し、これは $\mathfrak{d}_n$ 系列において唯一そのようなベクトル場を持つ空間である。
• $\mathfrak{f}_4$ 型の場合、ルート系の不整合により、いかなる $H$ の配置に対しても非ゼロの CK ベクトル場は存在しない。
• このようなベクトル場の存在は、$\mathfrak{h}$ に強い構造的制約を加え、特にそのルート系が $\mathfrak{g}$ のものに部分集合として含まれる必要があるが、これは $\mathfrak{g}$ と $\mathfrak{h}$ が特定の対称的配置にある場合にのみ成立する。
• 証明は、特に特定のインデックス集合に3つ以上の要素が存在する場合に根の重複度が一貫しないことを示す、ルート系における背理法に依拠している。