[论文解读] The Riemannian geometry of orbit spaces. The metric, geodesics, and integrable systems

Dmitry V. Alekseevsky, Andreas Kriegl+2 more|ArXiv.org|Feb 20, 2001

Advanced Algebra and Geometry参考文献 15被引用 6

一句话总结

本文在李群的适当等距作用的轨道空间 $M/G$ 上发展了黎曼几何，通过 $TM/G$ 上的测地喷射引入测地线与弹道曲线。证明了最小测地线弧是凸的，并表明极化表示中的弹道曲线推广了带有自旋的 Calogero-Moser 系统，尤其在动量具有最大稳定子时，可恢复经典 Calogero-Moser 系统。

ABSTRACT

We investigate the rudiments of Riemannian geometry on orbit spaces $M/G$ for isometric proper actions of Lie groups on Riemannian manifolds. Minimal geodesic arcs are length minimising curves in the metric space $M/G$ and they can hit strata which are more singular only at the end points. This is phrased as convexity result. The geodesic spray, viewed as a (strata-preserving) vector field on $TM/G$, leads to the notion of geodesics in $M/G$ which are projections under $M o M/G$ of geodesics which are normal to the orbits. It also leads to `ballistic curves' which are projections of the other geodesics. In examples (Hermitian and symmetric matrices, and more generally polar representations) we compute their equations by singular symplectic reductions and obtain generalizations of Calogero-Moser systems with spin.

研究动机与目标

• 发展李群适当等距作用下轨道空间 $M/G$ 的黎曼几何。
• 利用 $TM/G$ 上的测地喷射在 $M/G$ 中定义测地线与弹道曲线。
• 研究分层轨道空间中最小测地线弧的凸性。
• 推导对称与极化表示情形下弹道曲线的哈密顿方程。
• 通过奇异辛约化推广带自旋的 Calogero-Moser 系统。

提出的方法

• 将 $C^{ iny ext{infty}}(M/G)$ 定义为 $M$ 上的 $G$-不变光滑函数，将 $\mathfrak{X}(M/G)$ 定义为保持层理想不变的导子。
• 利用提升至 $TM/G$ 的测地喷射 $\Gamma \in \mathfrak{X}(TM)^G$，将测地线定义为与轨道正交的积分曲线的投影。
• 将弹道曲线定义为 $\Gamma$ 在 $TM/G$ 上的任意积分曲线的投影，允许穿越不同层。
• 应用奇异辛约化（Sjamaar-Lerman）推导 $H(n)/SU(n)$ 中弹道曲线的哈密顿方程。
• 将 $Y \in \mathfrak{su}(n)^*$ 分解为根空间，并定义 $Z = \sum_{\lambda} Y_\lambda / \lambda(A)^2$ 以简化动力学。
• 推导弹道运动的方程 $\ddot{A} = \sum_{\lambda} \|Y_\lambda\|^2 / \lambda(A)^3 \cdot \lambda$ 和 $\dot{Y} = -[Y,Z]$。

实验结果

研究问题

• RQ1 对于适当等距作用的度量空间 $M/G$，最小测地线弧的行为如何？
• RQ2 轨道空间 $M/G$ 中弹道曲线的几何与动力学结构是什么？
• RQ3 如何利用 $TM/G$ 上的测地喷射定义跨层的测地线与雅可比场？
• RQ4 $H(n)/SU(n)$ 中弹道曲线的哈密顿形式是什么？它与 Calogero-Moser 系统有何关联？
• RQ5 当 $Y_\mu = 0$ 对某些限制根 $\mu$ 成立时，弹道曲线在奇异层的行为如何？

主要发现

• 在 $M/G$ 中，最小测地线弧是凸的，且仅能在端点处触及更奇异的层，这意味着 $ (M/G)_{\text{reg}} $ 是凸的且稠密的。
• 在 $M/G$ 中的测地线是 $M$ 中 $G$-不变测地线在正交于轨道方向的投影。
• 弹道曲线源于测地喷射在 $TM/G$ 上的任意积分曲线的投影，允许在不同层之间过渡。
• 在 $H(n)/SU(n)$ 情形下，弹道曲线满足 $\ddot{A} = \sum_{\lambda} \|Y_\lambda\|^2 / \lambda(A)^3 \cdot \lambda$ 与 $\dot{Y} = -[Y,Z]$，推广了带自旋的 Calogero-Moser 系统。
• 当 $Y = \sqrt{-1}(cI + w \otimes w^*)$ 且 $c < 0$ 时，系统退化为经典 Calogero-Moser 系统。
• 在 $Y_\mu = 0$ 对 $\mu \in R_0$ 成立的奇异点处，弹道曲线在墙的交集中演化，$Y_\mu$ 保持为零，且动力学由限制在奇异层上的相同方程控制。