[论文解读] A characterization of sub-riemannian spaces as length dilatation structures constructed via coherent projections

Marius Buliga|arXiv (Cornell University)|Oct 28, 2008

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

一句话总结

本文通过长度膨胀结构与一致投影，提出了辛流形几何的内在、公理化表征，表明正则辛流形的典型几何特征——如卡诺群切结构——可仅从12条最小公理推导得出，而无需依赖微分几何。该方法通过将膨胀作为基本结构，推广了格罗莫夫的内在观点，利用一致投影与调制膨胀结构，统一了度量与代数切行为。

ABSTRACT

We introduce length dilatation structures on metric spaces, tempered dilatation structures and coherent projections and explore the relations between these objects and the Radon-Nikodym property and Gamma-convergence of length functionals. Then we show that the main properties of sub-riemannian spaces can be obtained from pairs of length dilatation structures, the first being a tempered one and the second obtained via a coherent projection. Thus we get an intrinsic, synthetic, axiomatic description of sub-riemannian geometry, which transforms the classical construction of a Carnot-Caratheodory distance on a regular sub-riemannian manifold into a model for this abstract sub-riemannian geometry.

研究动机与目标

• 发展一种不依赖流形底层微分结构的内在、综合且坐标无关的辛流形几何公理化体系。
• 证明正则辛流形空间的关键几何特征——尤其是幂零切群结构——可由膨胀结构与一致投影推导得出。
• 通过一组最小公理，统一辛流形几何中的度量（卡诺-卡塔迪欧里距离）与代数（卡诺群）结构。
• 证明Radon-Nikodym性质与长度泛函的Gamma-收敛性自然编码于长度膨胀结构框架之中。
• 对西伯特对齐齐哈尔李群的表征进行推广，以度量-膨胀结构框架替代群论条件。

提出的方法

• 引入长度膨胀结构的概念，其编码了近似自相似性，并诱导出具有锥形群结构的度量切丛。
• 将调制膨胀结构定义为一种改进形式，确保长度泛函收敛且与Radon-Nikodym性质相容。
• 引入一致投影作为关联两种膨胀结构的机制：一种为调制结构，另一种通过投影导出，用于建模辛流形几何中的非可积分布。
• 通过迭代膨胀与投影构造短曲线，并证明当尺度参数 ε → 0 时，逼近曲线一致收敛于极限曲线。
• 应用广义查沃条件，确保一致投影在度量空间中生成稠密曲线，从而模拟辛流形流形中的水平曲线。
• 证明极限结构中曲线的长度是逼近结构中长度的极限，且长度泛函收敛的误差项阶为 O(ε)。

实验结果

研究问题

• RQ1 是否可仅通过卡诺-卡塔迪欧里距离与膨胀结构完全表征辛流形几何，而无需引入微分几何？
• RQ2 如何从度量与一族膨胀结构内在地推导出辛流形流形在某一点的切空间结构（即卡诺群）？
• RQ3 何种条件可确保逼近曲线的长度泛函收敛于极限结构中的真实长度？
• RQ4 一致投影在膨胀结构之间的关系如何建模辛流形几何中的非可积分布？
• RQ5 Radon-Nikodym性质在连接辛流形空间的度量与代数结构方面起何作用？

主要发现

• 本文确立了正则辛流形可完全由涉及长度膨胀结构与一致投影的12条公理表征，且不涉及微分几何。
• 证明了正则辛流形任意点的切空间为卡诺群，其可内在地由膨胀结构与一致投影框架推导得出。
• 极限结构中曲线的长度是通过一致投影构造的逼近曲线长度的极限，且误差项的收敛速率受 O(ε) 限制。
• 该构造确保当尺度参数 ε → 0 时，逼近曲线以一致方式收敛于极限曲线，且收敛性在参数 λ 上一致。
• 该框架自然编码了Radon-Nikodym性质，通过长度泛函在缩放下的行为，将度量与代数结构联系起来。
• 证明广义查沃条件足以保证由一致投影生成的稠密曲线存在，从而确保内在几何完整捕捉了空间的全部水平连通性。