[论文解读] (Locally) shortest arcs of special sub-Riemannian metric on the Lie group SO(3)

V. N. Berestovskiĭ, И. А. Зубарева|arXiv (Cornell University)|Oct 6, 2014

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

一句话总结

本文推导了在 SO(3) 上关于 SO(2) 右不变性的左不变子黎曼度量下的显式测地线、最短弧、直径、切点轨迹和共轭集。通过 S² 的单位切丛及高斯-博内定理的几何解释，利用参数公式刻画了所有关键几何对象，并证明直径为 π√3，切点轨迹同胚于 ℝP² ∪ ℝ，共轭集微分同胚于 ℝ。

ABSTRACT

The authors find geodesics, shortest arcs, diameter, cut locus, and conjugate sets for left-invariant sub-Riemannian metric on the Lie group SO(3), under condition that the metric is right-invariant relative to the Lie subgroup $SO(2)\subset SO(3)$.

研究动机与目标

• 确定在左不变度量和 SO(2) 右不变性条件下的子黎曼流形 (SO(3), d) 中最短弧与测地线的结构。
• 计算 (SO(3), d) 的直径，并确定最短弧最大长度。
• 利用左不变性与几何对称性，刻画 (SO(3), d) 中的切点轨迹与共轭集。
• 建立切点轨迹与共轭集的拓扑与微分结构，包括其同胚与微分同胚关系。
• 利用高斯-博内定理与纤维丛几何，提供测地线路径与临界点的详细解析公式。

提出的方法

• 利用 SO(3) 与 S² 的单位切丛 S²₁ 之间的几何识别，其中子黎曼度量为 S² 上 Levi-Civita 连接的水平分布。
• 应用高斯-博内定理，证明 (SO(3), d) 中测地线的投影为 S² 上的等周曲线（具有恒定测地曲率的曲线）。
• 使用限制在分布 D 上的指数映射，并分析 Expₓ 的临界点，以定义共轭集 S(x)。
• 利用度量的左不变性，将所有几何对象约化至单位元处，因此 C(g) = gC(e) 且 S(g) = gS(e)。
• 通过角度参数与参数 β 推导测地线 γ_β(t) 的参数公式，其中 t₁(β) 决定最短弧的长度。
• 应用三角恒等式与不等式（例如 sinψ 和 cosψ 的表达式），分析 t₁(β) 的行为，并确定其在 β² = 1/3 处取得最大值。

实验结果

研究问题

• RQ1 在给定不变性条件下，(SO(3), d) 中测地线与最短弧的显式参数形式是什么？
• RQ2 子黎曼流形 (SO(3), d) 的直径是多少？在 β 的何值下达到？
• RQ3 在 (SO(3), d) 中，切点轨迹 C(e) 的拓扑结构如何？其同胚类型为何？
• RQ4 共轭集 S(e) 的结构如何？其与切点轨迹的关系为何？
• RQ5 C(e) 与 S(e) 的拓扑与微分结构与黎曼几何中的结构有何不同，特别是在包含关系与闭包性质方面？

主要发现

• SO(3), d) 的直径恰好为 π√3，当 β² = 1/3 时达到。
• 切点轨迹 C(e) 同胚于实射影平面 ℝP² 与一条实直线 ℝ 的并集，二者在一点相交。
• 共轭集 S(e) 微分同胚于 ℝ，且由所有满足 β² ≥ 1/3 的元素 γ_β(t₁(β)) 构成。
• 共轭集的闭包 S(e) ∪ {e} 微分同胚于圆周 S¹。
• 切点轨迹去掉共轭集后的闭包，即 C(e) ∣ S(e)，微分同胚于 ℝP²。
• 切点轨迹 C(e) 包含共轭集 S(e)，且二者在 SO(3) 的左乘作用下不变，满足 C(g) = gC(e) 与 S(g) = gS(e)。