[论文解读] Blowups and blowdowns of geodesics in Carnot groups

Eero Hakavuori, Enrico Le Donne|arXiv (Cornell University)|Jun 25, 2018

Advanced Differential Geometry Research被引用 6

一句话总结

该论文证明，在Carnot群的子黎曼几何中，测地线经过s次迭代切线（即爆破）后收敛于直线，其中s为群的幂零步数。此外，还证明测地线的爆缩（渐近极限）位于低秩子群中，从而通过幂零模型中的无穷小分析，证明了测地线的局部正则性。

ABSTRACT

This paper provides some partial regularity results for geodesics (i.e., isometric images of intervals) in arbitrary sub-Riemannian and sub-Finsler manifolds. Our strategy is to study infinitesimal and asymptotic properties of geodesics in Carnot groups equipped with arbitrary sub-Finsler metrics. We show that tangents of Carnot geodesics are geodesics in some groups of lower nilpotency step. Namely, every blowup curve of every geodesic in every Carnot group is still a geodesic in the group modulo its last layer. Then as a consequence we get that in every sub-Riemannian manifold any $s$ times iterated tangent of any geodesic is a line, where $s$ is the step of the sub-Riemannian manifold in question. With a similar approach, we also show that blowdown curves of geodesics in sub-Riemannian Carnot groups are contained in subgroups of lower rank. This latter result is also extended to rough geodesics.

研究动机与目标

• 通过分析测地线的无穷小和渐近行为，建立子黎曼与子芬斯勒流形中测地线的局部正则性结果。
• 研究任意子芬斯勒度量下Carnot群中测地线的切锥（爆破）与渐近锥（爆缩）的结构。
• 证明在s步子黎曼流形中，任意测地线的s重迭代切线均为直线，从而推进了长度极小化曲线的正则性问题。
• 证明在子黎曼Carnot群中，测地线的爆缩曲线包含于低秩子群中，该结果可推广至粗测地线。
• 通过在Engel群中构造一条无限非直线测地线（其与任意直线的Hausdorff距离无界），证明主要结果的最优性。

提出的方法

• 通过Carnot群中的膨胀δ₁/h定义爆破曲线，利用非交换差商，得到一致1-Lipschitz的曲线，并在紧集上一致收敛。
• 应用Ascoli-Arzelà定理，提取爆破曲线收敛子列，将切线集合定义为该类序列的极限，即 Tang(γ, t̄)。
• 在Engel群（步数为4）中使用显式坐标表达式，分析测地线分量的渐近行为，特别是水平与垂直坐标。
• 通过分析关键分量（如w(t)）的导数，证明扰动的指数衰减，从而证明在幂零极限下爆破曲线的有界性。
• 利用左不变标架结构与Campbell-Baker-Hausdorff公式，推导出4步Carnot群中测地线分量的显式表达式。
• 通过Hausdorff距离与共轭不变性导出矛盾，证明某些测地线不可能位于任意直线的有限邻域内。

实验结果

研究问题

• RQ1 子黎曼Carnot群中测地线的迭代切锥具有何种结构？
• RQ2 Carnot群中测地线的爆缩（渐近极限）能否从几何上加以刻画？
• RQ3 Carnot群中的测地线是否可能与某条直线保持有限Hausdorff距离？若不能，这对正则性意味着什么？
• RQ4 测地线的爆破与爆缩极限如何与群的幂零步数及分层结构相关联？
• RQ5 关于s重迭代切线为直线的结果，其最优性如何？

主要发现

• 在s步子黎曼流形中，任意测地线的s重迭代切线均为直线，确认了在无穷小极限下具有强正则性。
• 任意Carnot群中测地线的爆破曲线是模其最后一层后的商群中的测地线，揭示了切锥中的递归结构。
• 子黎曼Carnot群中测地线的爆缩曲线包含于低秩子群中，该结论可推广至粗测地线。
• 在Engel群（步数为4）中存在一条显式的无限非直线测地线，其与任意直线的Hausdorff距离无界，表明主定理中对商群投影的必要性。
• 所构造测地线的水平分量呈指数衰减，垂直分量在爆破下保持有界，从而证实了存在非线性且不可逼近的测地线。
• 仅当参考直线与渐近方向对齐时，爆破曲线与该直线的乘积才保持有界；若需多个方向，则会导致矛盾，从而证明了不可逼近性。