[论文解读] 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

一句话总结

本文对实与复 Stiefel 流形上的齐性丛上的测地轨线（g.o.）度量进行了分类，具体针对空间 $ G/H $，其中 $ G = SO(n), U(n) $ 且 $ H $ 为经典群的对角嵌入积。研究证明：对于 $ SO(n)/SO(n_1) imes\cdots\times SO(n_s) $，所有 g.o. 度量均为正规度量（由 Ad-不变内积诱导）；而对于 $ U(n)/U(n_1) imes\cdots\times U(n_s) $，g.o. 度量要么是正规度量，要么是沿正规化子商群中心的一参量形变，具体取决于维度之和是否等于 $ 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.

研究动机与目标

• . 对实与复 Stiefel 流形上的齐性丛上的测地轨线（g.o.）度量进行分类。
• . 将 g.o. 空间的分类扩展至同伦子群 $ H $ 为半单且对角嵌入的情形。
• . 基于同伦表示结构与李代数分解，确定 $ G $-不变黎曼度量在 $ G/H $ 上为测地轨线度量的精确形式。
• . 解决 $ G/H $ 上 g.o. 度量的开放问题，其中 $ H $ 为半单群，重点研究经典群与旗型空间。

提出的方法

• . 利用 $ H $ 在切空间 $ T_o(G/H) $ 上的同伦表示，分析 $ G $-不变度量的结构。
• . 应用正规化子引理，并对李代数 $ \mathfrak{g} = \mathfrak{n} \oplus \mathfrak{p} \oplus \mathfrak{h} $ 进行分解，其中 $ \mathfrak{n} $ 为 $ H $ 的正规化子的李代数。
• . 采用条件 $ [a + X, A X] = 0 $，其中 $ a \in \mathfrak{h} $，$ X \in \mathfrak{m} $，通过表示度量的对称算子 $ 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 $。
• . 应用引理 5.1 计算子模 $ m_{ij} $、$ \mathfrak{su}(n_0) $ 与 $ \mathfrak{z}(\mathfrak{n}) $ 之间的括号，确保与 g.o. 条件的一致性。
• . 通过直接计算括号 $ [a + X, A X] $ 验证所构造的度量形式满足 g.o. 条件，表明其对所有 $ X \in \mathfrak{m} $ 恒为零。

实验结果

研究问题

• RQ1 . 何时 $ G $-不变黎曼度量在 $ SO(n)/SO(n_1)\times\cdots\times SO(n_s) $ 上为测地轨线度量？
• RQ2 . 什么特征刻画了 $ U(n)/U(n_1)\times\cdots\times U(n_s) $ 上的测地轨线度量，特别是当 $ n_1 + \cdots + n_s < n $ 时？
• 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 $ 时）或为沿 $ NG(H)/H $ 中心的一参量形变（当 $ n_1 + \cdots + n_s < n $ 时）。
• . 度量算子 $ A $ 在切空间 $ \mathfrak{p} $ 上的特征值 $ \lambda $ 在所有 $ m_{ij} $ 子模上恒定，意味着 $ A|_\mathfrak{p} = \lambda \text{Id} $，这对 g.o. 条件至关重要。
• . 度量算子 $ A $ 在正规化子部分 $ \mathfrak{n} = \mathfrak{u}(n_0) $ 上具有分块对角形式：在中心 $ \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. 度量。
• . 结果推广了已知情形：Berger 球面 $ U(n)/U(n-1) $ 与复 Stiefel 流形 $ U(n)/U(n-k) $ 均为此处描述的 g.o. 度量的特例。