[论文解读] Differential properties of spaces of symmetric real matrices

Alberto Dolcetti, Donato Pertici|arXiv (Cornell University)|Jul 3, 2018

Advanced Topics in Algebra参考文献 8被引用 6

一句话总结

本文研究了在迹度量下对称实矩阵的微分几何，重点探讨了正定矩阵的黎曼流形。通过李群表示和对称空间理论，完全刻画了该流形的等距群，表明所有等距变换均源于共轭、转置求逆及其组合，且具有明确的几何解释：分别对应于单位矩阵、行列式为1的子群以及径向测地线的对称性。

ABSTRACT

We study the differential geometric properties of the manifold of non-singular symmetric real matrices endowed with the trace metric; in case of positive definite matrices we describe the full group of isometries

研究动机与目标

• 研究配备迹度量的非奇异对称实矩阵流形的微分几何结构。
• 确定迹度量下正定矩阵黎曼流形的完整等距群。
• 将这些等距变换几何地解释为相对于关键子流形和测地线的对称性。
• 建立等距群与李群表示理论（特别是 $\mathrm{SL}(\mathcal{P}_n)$ 和 $\mathrm{Spin}_n$）之间的联系。
• 与已有关于厄米正定矩阵的研究进行比较和对照，表明实数情形下的每个等距变换均可延拓至复数情形。

提出的方法

• 在 $GL_{n}$ 上使用迹度量 $g_A(V,W) = \mathrm{tr}(A^{-1}VA^{-1}W)$，并将其限制在对称子流形上。
• 分析 $GLSym_n(p)$ 的半黎曼几何，建立其与具有欧氏度量的乘积空间 $SLSym_n(p) \times \mathbb{R}$ 的等距同构。
• 应用 de Rham 分解定理，将 $(\mathcal{P}_n, g)$ 表示为 $SL\mathcal{P}_n \times \mathbb{R}$，从而实现等距分类的简化。
• 运用对称黎曼空间和李群表示理论的工具，对 $SL\mathcal{P}_n$ 的等距变换进行分类。
• 通过在单位元处的等距微分，利用指数映射和群作用将等距变换上移。
• 引入并分析映射 $\varphi$、$\psi$ 和 $\varphi \circ \psi$ 作为几何对称：关于单位矩阵的反射、关于 $SL\mathcal{P}_n$ 的正交对称，以及沿径向测地线 $\{tI_n : t > 0\}$ 的反射。

实验结果

研究问题

• RQ1 在迹度量下，正定对称矩阵流形 $\mathcal{P}_n$ 的完整等距群是什么？
• RQ2 SL\mathcal{P}_n$（行列式为1的正定矩阵）的等距变换与 $\mathcal{P}_n$ 的等距变换有何关系？
• RQ3 能否将 $\mathcal{P}_n$ 的等距变换几何地解释为相对于特定子流形或测地线的反射或对称？
• RQ4 实数正定矩阵的等距变换与复数正定厄米矩阵的等距变换有何关系？
• RQ5 当 $n$ 为偶数时，$\mathrm{Spin}_n$ 的外自同构在等距分类中起什么作用？

主要发现

• 当 $n \neq 2$ 时，等距群 $\mathcal{I}(\mathcal{P}_n, g)$ 同构于 $GL_n^+ \ltimes \mathbb{Z}_2^2$，当 $n$ 为大于2的偶数时具有八个连通分支。
• 当 $n=2$ 时，等距群的单位连通分支同构于 $GL_2^+ / \{\pm I_2\}$，反映出由于非平凡中心导致的商结构。
• 当 $n$ 为奇数时，单位连通分支同构于 $GL_n^+$，且完整等距群具有四个连通分支。
• 所有等距变换完全分类为 $L = \Gamma_M$、$\Gamma_M \circ \varphi$、$\Gamma_M \circ \psi$ 或 $\Gamma_M \circ \varphi \circ \psi$，其中 $\Gamma_M(A) = MAM^T$，且 $\varphi, \psi$ 为特定的对合映射。
• 几何上，$\varphi$ 是关于单位矩阵 $I_n$ 的对称，$\psi$ 是关于超曲面 $SL\mathcal{P}_n$ 的正交对称，而 $\varphi \circ \psi$ 是关于径向测地线 $\{tI_n : t > 0\}$ 的正交对称。
• $(\mathcal{P}_n, g)$ 的每个等距变换均可延拓为厄米正定矩阵空间 $(\mathit{H}_n, g)$ 上的等距变换，确认了与复数情形结果的一致性。