[论文解读] Sub-Riemannian structures on 3D Lie groups

Andrei Agrachev, Davide Barilari|arXiv (Cornell University)|Jul 28, 2010

Geometric Analysis and Curvature Flows参考文献 18被引用 5

一句话总结

本文利用微分不变量 $\chi$ 和 $\kappa$，对三维李群上的左 invariant 子黎曼结构进行了完整分类，表明这些不变量在等距意义下完全决定了几何结构。关键结果是显式构造了非同构群 $SL(2)$ 与 $A^{+}(\mathbb{R})\times S^1$ 之间的子黎曼等距映射，证明了不同李群几何结构可产生等谱结构。

ABSTRACT

We give the complete classification of left-invariant sub-Riemannian structures on three dimensional Lie groups in terms of the basic differential invariants. This classifications recovers other known classification results in the literature, in particular the one obtained in [Falbel-Gorodski, 1996] in terms of curvature invariants of a canonical connection. Moreover, we explicitly find a sub-Riemannian isometry between the nonisomorphic Lie groups $SL(2)$ and $A^{+}(\mathbb{R}) imes S^1$, where $A^+(\mathbb{R})$ denotes the group of orientation preserving affine maps on the real line.

研究动机与目标

• 使用内在微分不变量对三维李群上的所有左 invariant 子黎曼结构进行分类。
• 解决当标准不变量相等时，难以区分非等距结构的问题。
• 通过显式子黎曼等距映射建立非同构李群之间的几何等价性。
• 恢复并统一先前的分类结果，包括基于典范联络曲率不变量的分类。
• 证明不变量 $\chi$ 和 $\kappa$ 足够用于对三维李群上归一化的左 invariant 子黎曼结构进行分类。

提出的方法

• 作者使用先前工作中引入的两个基本微分不变量 $\chi$ 和 $\kappa$，对三维李群上的左 invariant 子黎曼结构进行分类。
• 通过缩放对结构进行归一化，使得 $\chi = \kappa = 0$ 或 $\chi^2 + \kappa^2 = 1$，从而消除尺度模糊性。
• 分类问题被简化为对三维李代数的分析，特别关注 $\mathfrak{sl}(2)$，其中存在两种非等价的分布：椭圆型与双曲型。
• 通过坐标变换和矩阵分解，显式构造了全局等距映射 $\Psi: A^+(\mathbb{R}) \times S^1 \to SL(2)$。
• 通过验证 $SL(2)$ 度量的拉回与 $A^+(\mathbb{R}) \times S^1$ 度量一致，且映射在离散核的商空间上定义良好，从而验证了该等距映射。
• 构造过程中使用三角恒等式与双曲恒等式，简化旋转矩阵的复合，并将最终的等距映射表示为 $\rho$、$\theta$ 和 $\varphi = z/2$ 的函数。

实验结果

研究问题

• RQ1 能否使用微分不变量 $\chi$ 和 $\kappa$ 对三维李群上的所有左 invariant 子黎曼结构进行分类？
• RQ2 是否存在非同构的李群，其子黎曼结构彼此等距？
• RQ3 $\mathfrak{sl}(2)$ 上的 Killing 型在区分非等价分布中起什么作用？
• RQ4 如何在 $SL(2)$ 与 $A^+(\mathbb{R}) \times S^1$ 之间显式构造子黎曼等距映射？
• RQ5 $\chi$ 和 $\kappa$ 不变量是否完全决定了三维李群上左 invariant 子黎曼结构的等距类？

主要发现

• 三维李群上左 invariant 子黎曼结构的分类完全由两个不变量 $\chi$ 和 $\kappa$ 决定，这些不变量对这类结构是常数。
• 本文恢复并统一了先前的分类结果，包括基于典范联络曲率不变量的分类。
• 在 $SL(2)$ 与 $A^+(\mathbb{R}) \times S^1$ 之间显式构造了子黎曼等距映射，尽管这两个群作为李群并非同构。
• 该等距映射由公式 $\Psi(\rho,\theta,\varphi) = \frac{1}{\sqrt{ρ\cos\theta}} \begin{pmatrix} \cos\varphi & \sin\varphi \\ \rho\sin(\theta - \varphi) & \rho\cos(\theta - \varphi) \end{pmatrix}$ 给出，其中 $\varphi \in S^1$。
• 映射 $\Psi$ 在商空间 $A^+(\mathbb{R}) \times S^1$ 上定义良好，其核为同构于 $\mathbb{Z}$ 的离散正规子群，确认其为万有覆盖映射。
• 该构造表明，尽管 $SL(2)$ 与 $A^+(\mathbb{R}) \times S^1$ 不是李群同构，但它们是子黎曼等距的，凸显了子黎曼几何的微妙性。