[论文解读] Dilatation structures in sub-riemannian geometry

Marius Buliga|ArXiv.org|Aug 31, 2007

Geometric Analysis and Curvature Flows参考文献 13被引用 17

一句话总结

本文证明了正规子黎曼流形自然地具有膨胀结构，从而为子黎曼几何提供了内在的几何框架。通过利用贝尔艾什证明存在的法标架，作者表明子黎曼几何中所有关于切空间和微分学的经典结果，均可直接由膨胀结构的抽象形式系统推出，从而最小化对经典微分几何工具的依赖。

ABSTRACT

Based on the notion of dilatation structure arXiv:math/0608536, we give an intrinsic treatment to sub-riemannian geometry, started in the paper arXiv:0706.3644 . Here we prove that regular sub-riemannian manifolds admit dilatation structures. From the existence of normal frames proved by Bellaiche we deduce the rest of the properties of regular sub-riemannian manifolds by using the formalism of dilatation structures.

研究动机与目标

• 通过膨胀结构提供子黎曼几何的内在处理方式，独立于经典微分几何。
• 证明在正规子黎曼流形中法标架的存在性，意味着存在与卡诺-卡拉西奥多里距离相容的膨胀结构。
• 表明子黎曼切空间的所有基本性质均可由膨胀结构的公理直接推出，从而减少对光滑流形结构的依赖。
• 建立沃多皮亚诺夫的切丛构造与膨胀结构抽象框架之间的对应关系。
• 通过证明一旦法标架存在，其余结果即可由内在几何公理推出，从而最小化在证明基础结果时对微分学的使用。

提出的方法

• 本文使用由一族满足特定公理（A1–A4）的膨胀映射定义的膨胀结构形式系统，来模拟无穷小几何。
• 它依赖于贝尔艾什证明的正规子黎曼流形中法标架的存在性，通过指数映射和齐次坐标构造膨胀结构。
• 关键方程涉及通过膨胀映射对距离进行缩放：$ \frac{1}{\varepsilon} d(\delta^x_\varepsilon u, \delta^x_\varepsilon v) $，当 $ \varepsilon \to 0 $ 时收敛到极限，从而定义切空间结构。
• A4公理（$ \Delta^x_\varepsilon $ 运算的收敛性）的证明依赖于法标架中P映射导出的系数 $ a_i^\varepsilon $ 的一致收敛性。
• 构造过程中使用了法标架定义中属性(b)的第一部分和第二部分，以确保缩放距离和运算的一致收敛性。
• 该方法通过在局部利用膨胀诱导的群运算定义切空间，避免了全局微分结构，其方式类似于沃多皮亚诺夫的方法，但仅需满足框架所需的光滑性，无需更强的光滑性要求。

实验结果

研究问题

• RQ1 子黎曼切空间的基础结构能否在不依赖经典微分几何的前提下推导出来？
• RQ2 在正规子黎曼流形中法标架的存在性是否意味着存在与卡诺-卡拉西奥多里距离相容的膨胀结构？
• RQ3 子黎曼几何的关键结果（如切空间为卡诺群）能否作为膨胀结构抽象公理的直接推论？
• RQ4 在弱正则性假设下，膨胀结构的形式系统与沃多皮亚诺夫的切丛方法相比有何异同？
• RQ5 在子黎曼几何中，通过仅使用卡诺-卡拉西奥多里距离和膨胀结构，能在多大程度上最小化对微分学的依赖？

主要发现

• 正规子黎曼流形具有膨胀结构，通过证明法标架通过形式系统的公理诱导出此类结构而得以证实。
• 当 $ \varepsilon \to 0 $ 时，缩放距离 $ \frac{1}{\varepsilon} d(\delta^x_\varepsilon u, \delta^x_\varepsilon v) $ 的极限收敛到有限值，从而定义出行为良好的切空间结构。
• 膨胀结构的公理A4成立：当 $ \varepsilon \to 0 $ 时，运算 $ \Delta^x_\varepsilon(u,v) $ 一致收敛到极限，从而保证了切空间上局部群运算的存在性。
• 系数 $ a_i^\varepsilon = \varepsilon^{-\deg X_i} P_i(\varepsilon^{\deg X_j} v_j, \varepsilon^{\deg X_k} u_k, x) $ 收敛到有限极限 $ a^0 $，且在紧集上一致收敛，确保了构造的稳健性。
• 一旦法标架被确立，所有关于子黎曼切空间的经典结果（如切空间为卡诺群）均被证明是膨胀结构公理的直接推论。
• 该框架提供了一种最小化、内在化的替代经典微分几何的方法，显著减少了在基础证明中对光滑流形结构的依赖。