[论文解读] Curvature of sub-Riemannian spaces

Marius Buliga|ArXiv.org|Nov 26, 2003

Geometric Analysis and Curvature Flows参考文献 12被引用 6

一句话总结

本文通过基于度量轮廓的可度量性（rectifiability）概念，引入了一种子黎曼空间的度量曲率定义，该概念源自Gromov-Hausdorff距离。该方法利用齐次模型对曲率进行分类，证明了在三维接触流形中，曲率类决定了等距同构，并识别出一个三维的齐次接触群族与一个二维的非群齐次空间族。

ABSTRACT

To any metric spaces there is an associated metric profile. The rectifiability of the metric profile gives a good notion of curvature of a sub-Riemannian space. We shall say that a curvature class is the rectifiability class of the metric profile. We classify then the curvatures by looking to homogeneous metric spaces. The classification problem is solved for contact 3 manifolds, where we rediscover a 3 dimensional family of homogeneous contact manifolds, with a distinguished 2 dimensional family of contact manifolds which don't have a natural group structure.

研究动机与目标

• 为子黎曼流形定义一种不依赖于非欧几里得设定下易误导的微分几何的曲率概念。
• 利用齐次度量空间对子黎曼曲率进行分类，特别关注三维接触流形。
• 建立曲率类（通过度量轮廓的可度量性定义）决定三维齐次接触群等距同构的结论。
• 通过展示所有证明都探测相同的底层度量轮廓结构，阐明为何米切尔定理的多个证明复杂度相当。
• 证明度量轮廓构造是内在且纯粹度量的，避免了子黎曼几何中的微分几何伪影。

提出的方法

• 将度量轮廓定义为某一点附近缩放度量球之间的Gromov-Hausdorff距离。
• 将曲率定义为度量轮廓的可度量性类，利用缩放距离的渐近行为。
• 应用Pansu导数与Carnot群结构分析子黎曼空间的无穷小几何。
• 使用特权坐标与内在膨胀线性化点附近的度量结构。
• 应用Ball Box定理将子黎曼距离与水平与垂直分量上的欧氏范数进行比较。
• 应用Baker-Campbell-Hausdorff公式近似群运算，并比较左不变结构中的距离。

实验结果

研究问题

• RQ1 子黎曼几何中的曲率能否在不依赖微分几何（在非可积设定下可能产生误导）的前提下进行定义？
• RQ2 度量轮廓在统一米切尔定理的多个证明中起到什么作用？
• RQ3 如何对三维齐次接触流形的曲率类进行分类？
• RQ4 两个具有相同曲率类的三维子黎曼群是否必然等距同构？
• RQ5 在曲率方面，三维齐次接触群族与二维非群齐次空间族有何区别？

主要发现

• 子黎曼空间的曲率被定义为其度量轮廓的可度量性类，提供了一种纯粹度量、非微分几何的曲率概念。
• 对于三维齐次接触流形，曲率分类产生一个三维群族（例如 SO(3)、SL(2,R)、E(1,1)）和一个二维非群齐次空间族。
• 本文证明了具有相同曲率类的两个三维子黎曼群是等距同构的，建立了强有力的刚性结果。
• 假设 $ d_1( ho_ ho x, ho_ ho y) - d_2( ho_ ho x, ho_ ho y) = o( ho^2) $ 蕴含相同的李括号，表明曲率决定了代数结构。
• 度量轮廓构造解释了米切尔定理多个证明在结构上的相似性与同等复杂性，因为它们都探测了相同的渐近度量结构。
• 使用Baker-Campbell-Hausdorff公式与Ball Box定理，能够精确比较幂零模型中的距离，证实曲率捕捉了完整的局部几何。