[论文解读] Metric spaces with unique tangents

Enrico Le Donne|arXiv (Cornell University)|Dec 10, 2010

Advanced Differential Geometry Research参考文献 1被引用 5

一句话总结

该论文证明，在具有双倍测度的测地度量空间中，几乎所有点处的唯一切空间必为配备子芬希尔特度量的卡诺群，从而将普雷萨的切测度现象推广至度量空间。关键结果表明，切空间的唯一性蕴含等距齐性，且在测地假设下，迫使切空间成为具有卡诺-卡拉西奥多里距离的卡诺群。

ABSTRACT

We are interested in studying doubling metric spaces with the property that at some of the points the metric tangent is unique. In such a setting, Finsler-Carnot-Caratheodory geometries and Carnot groups appear as models for the tangents. The results are based on an analogue for metric spaces of Preiss's phenomenon: tangents of tangents are tangents.

研究动机与目标

• 研究在几乎所有点处切空间唯一的双倍测度度量空间中切空间的结构。
• 将普雷萨关于切测度的现象推广至度量空间及切点空间的设定。
• 在假设切空间唯一性的前提下，刻画可能的切空间，特别是在测地度量空间中的情况。
• 证明唯一切空间必为等距齐性空间，且在测地假设下，必为配备子芬希尔特度量的卡诺群。
• 建立空间的双利普希茨齐性蕴含所有切空间彼此双利普希茨等价于同一齐性空间，最终为卡诺群。

提出的方法

• 通过将普雷萨关于切测度的定理推广至度量空间，定义切点空间为缩放空间 $(X, \rho_i d, x)$ 沿 $\rho_i \to \infty$ 的格罗莫夫-豪斯多夫极限。
• 利用度量与测度的双倍性质，通过格罗莫夫-豪斯多夫收敛性保证切极限的存在性与紧致性。
• 证明对于 $\mu$-几乎处处的 $x$，在 $x$ 处任意切空间的切空间本身也是 $x$ 处的切空间，从而建立普雷萨现象的度量类比。
• 利用 $x$ 处切空间的唯一性，推导出切空间 $Y$ 是等距齐性的，即其等距群在 $Y$ 上作用传递。
• 应用贝雷斯特夫斯基定理，得出测地且等距齐性的度量空间可实现为商空间 $G/H$ 上的子芬希尔特度量。
• 利用切空间具有锥结构（在伸缩下不变）的事实，并应用米切尔定理，得出切空间必为卡诺群。

实验结果

研究问题

• RQ1 若双倍测度测地度量空间在几乎所有点处的切空间唯一，则其几何结构必须具有何种特征？
• RQ2 普雷萨关于切测度的度量类比现象如何推广至点状度量空间的设定？
• RQ3 在何种条件下，切空间的唯一性蕴含切空间的等距齐性？
• RQ4 在具有唯一切空间的测地、双倍、测度度量空间中，其切空间能否被刻画为配备子芬希尔特度量的卡诺群？
• RQ5 双利普希茨齐性在约束此类度量空间中切空间结构方面起何种作用？

主要发现

• 对于 $\mu$-几乎处处的 $x$，若 $\operatorname{Tan}(X,x)$ 仅含一个元素，则该切空间 $Y$ 必为等距齐性空间，即其等距群在 $Y$ 上作用传递。
• 在测地、双倍、测度度量空间且切空间唯一的情况下，几乎所有点处的切空间为卡诺群 $\mathbb{G}$，其配备左不变的子芬希尔特度量，且水平分布为李代数的第一层。
• 切空间继承锥结构，且由于其在伸缩下不变并具有唯一切空间，故必等距同构于卡诺群。
• 切空间的等距群为李群，且该空间等距同构于该群关于紧致稳定子子群的商空间 $G/H$。
• 原空间的双利普希茨齐性蕴含所有点处的切空间彼此双利普希茨等价于同一齐性空间，最终为卡诺群。
• 该结果推广了经典结果，包括格莱森、蒙哥马利-齐平、贝雷斯特夫斯基、米切尔及马尔格里斯-莫斯特的成果至具有唯一切空间的度量空间设定。