[論文レビュー] Geodesic orbit metrics in a class of homogeneous bundles over real and complex Stiefel manifolds

Andreas Arvanitoyeorgos|arXiv (Cornell University)|Jan 1, 2021

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

ひとこと要約

本稿は、実および複素スタイーベル多様体上の同次バンドルにおける測地線軌道（g.o.）計量を分類する。特に、$ G = SO(n), U(n) $ で $ H $ が古典的群の対角埋め込みの積であるような空間 $ G/H $ に対して、$ SO(n)/SO(n_1) imes\cdots\times SO(n_s) $ の場合、すべてのg.o.計量は正規（$ \mathrm{Ad} $-不変内積によって誘導される）であると証明する。一方、$ U(n)/U(n_1) imes\cdots\times U(n_s) $ の場合、計量は正規であるか、正規計量の中心に沿った1パラメータ変形である。その条件は、次元の和が $ n $ に等しいかどうかによる。

ABSTRACT

Geodesic orbit spaces (or g.o. spaces) are defined as those homogeneous Riemannian spaces (M= G/ H, g) whose geodesics are orbits of one-parameter subgroups of G. The corresponding metric g is called a geodesic orbit metric. We study the geodesic orbit spaces of the form (G/H, g), such that G is one of the compact classical Lie groups SO(n), U (n) , and H is a diagonally embedded product H1× ⋯ × Hs, where Hj is of the same type as G. This class includes spheres, Stiefel manifolds, Grassmann manifolds and real flag manifolds. The present work is a contribution to the study of g.o. spaces (G/H, g) with H semisimple. © 2021, The Author(s), under exclusive licence to Springer Nature B.V.

研究の動機と目的

• . 実および複素スタイーベル多様体上の同次バンドルにおける測地線軌道（g.o.）計量の分類。
• . 時空固定部分群 $ H $ が半単純かつ対角的に埋め込まれる場合に、g.o.空間の分類を拡張すること。
• . 時空表現の構造とリー代数の分解に基づいて、$ G/H $ 上の $ G $-不変リーマン計量が測地線軌道であるための正確な形を特定すること。
• . $ H $ が半単純である場合のg.o.計量に関する未解決問題を、古典的群およびフラッグ型空間に焦点を当てて解消すること。

提案手法

• . $ H $ の時空表現を用いて、$ T_o(G/H) $ 上の接空間における $ G $-不変計量の構造を分析する。
• . 正規化子の補題とリー代数 $ \mathfrak{g} = \mathfrak{n} \oplus \mathfrak{p} \oplus \mathfrak{h} $ の分解を適用する。ここで $ \mathfrak{n} $ は $ H $ の正規化子のリー代数である。
• . $ a \in \mathfrak{h} $、$ X \in \mathfrak{m} $ に対して $ [a + X, A X] = 0 $ という条件を用い、計量を表す対称作用素 $ A $ を通じてg.o.計量を特徴付ける。
• . $ \mathfrak{u}(n_0) = \mathfrak{z}(\mathfrak{n}) \oplus \mathfrak{su}(n_0) $ の分解を用い、$ A|_\mathfrak{p} = \lambda \text{Id} $ および $ A|\mathfrak{n} $ が中心上では固有値 $ \mu $、$ \mathfrak{su}(n_0) $ 上では固有値 $ \lambda $ を持つブロック対角形式であることを証明する。
• . Lemma 5.1 を適用して、部分空間 $ m_{ij} $、$ \mathfrak{su}(n_0) $、$ \mathfrak{z}(\mathfrak{n}) $ 間の括弧積を計算し、g.o.条件と整合することを保証する。
• . 直接的に括弧積 $ [a + X, A X] $ を計算することで、構築された計量形式がすべての $ X \in \mathfrak{m} $ に対してゼロになることを確認し、g.o.計量を満たすことを検証する。

実験結果

リサーチクエスチョン

• RQ1 . $ SO(n)/SO(n_1)\times\cdots\times SO(n_s) $ 上の $ G $-不変リーマン計量が測地線軌道計量であるのはいつか？
• RQ2 . $ n_1 + \cdots + n_s < n $ のとき、$ U(n)/U(n_1)\times\cdots\times U(n_s) $ 上の測地線軌道計量はどのように特徴づけられるか？
• RQ3 . 正規化子と時空表現は、このクラスの同次バンドルにおけるg.o.計量の存在および形にどのように影響を与えるか？
• RQ4 . このクラスの空間におけるすべてのg.o.計量は、必ず正規計量または正規計量の変形であるか？
• RQ5 . $ NG(H)/H $ の中心は、g.o.計量の分類において果たす役割は何か？

主な発見

• . $ G/H = SO(n)/SO(n_1)\times\cdots\times SO(n_s) $ で $ n_j > 1 $ の場合、$ G $-不変計量が測地線軌道であるための必要十分条件は、それが正規であること、すなわち $ \mathfrak{so}(n) $ 上の $ \mathrm{Ad} $-不変内積によって誘導されることである。
• . $ G/H = U(n)/U(n_1)\times\cdots\times U(n_s) $ の場合、$ G $-不変計量が測地線軌道であるための必要十分条件は、$ n_1 + \cdots + n_s = n $ のとき正規計量であること、または $ n_1 + \cdots + n_s < n $ のとき $ NG(H)/H $ の中心に沿った1パラメータ変形である正規計量であることである。
• . 計量作用素 $ A $ の接空間 $ \mathfrak{p} $ 上での固有値 $ \lambda $ はすべての $ m_{ij} $ 部分空間にわたって一定であり、$ A|_\mathfrak{p} = \lambda \text{Id} $ であることが示され、これはg.o.条件に不可欠である。
• . 正規化子部 $ \mathfrak{n} = \mathfrak{u}(n_0) $ 上の計量作用素 $ A $ はブロック対角形式をとる：中心 $ \mathfrak{z}(\mathfrak{n}) $ 上では $ \mu \text{Id} $、$ \mathfrak{su}(n_0) $ 上では $ \lambda \text{Id} $ であり、$ \lambda $ は $ \mathfrak{p} $ 上の固有値と一致する。
• . 証明により、構築された計量形式がすべての $ X \in \mathfrak{m} $ に対して $ [a + X, A X] = 0 $ を満たすことが示され、これがg.o.計量であることを確認した。
• . 結果は既知のケースを一般化する：ベルジャー球 $ U(n)/U(n-1) $ および複素スタイーベル多様体 $ U(n)/U(n-k) $ は、ここに記載されたg.o.計量の特別な場合である。