[论文解读] Isometry Group of Gromov--Hausdorff Space

Alexander Ivanov, Alexey Avgustinovich Tuzhilin|arXiv (Cornell University)|Jun 6, 2018

Geometric Analysis and Curvature Flows参考文献 9被引用 15

一句话总结

本文提供了对乔治·洛瑟（George Lowther）2015年猜想的严格证明，即格罗莫夫-豪斯多夫空间（Gromov–Hausdorff space）——即所有紧致度量空间在等距关系下的等价类所构成、并配备格罗莫夫-豪斯多夫度量的度量空间——的等距群是平凡的。通过分析具有互异距离的典型有限度量空间附近的局部等距，并利用边构型的置换对称性进行群论论证，作者证明任何等距必须固定所有此类空间，从而得出结论：整个空间唯一的等距是恒等映射。

ABSTRACT

The present paper is devoted to investigation of the isometry group of the Gromov-Hausdorff space, i.e., the metric space of compact metric spaces considered up to an isometry and endowed with the Gromov-Hausdorff metric. The main goal is to present a proof of the following theorem by George Lowther (2015): The isometry group of the Gromov-Hausdorff space is trivial. Unfortunately, the author himself has not publish an accurate text for 2 years passed from the publication of draft (that is full of excellent ideas mixed with unproved and wrong statements) in the https://mathoverflow.net/ blog (see the exact reference in he bibliography).

研究动机与目标

• 严格验证乔治·洛瑟（George Lowther）2015年提出的主张，即格罗莫夫-豪斯多夫空间的等距群是平凡的。
• 修正并形式化洛瑟原始草稿中关于格罗莫夫-豪斯多夫距离在双射中实现的缺陷与错误。
• 确立在典型有限度量空间（所有非零距离互异且三角不等式严格成立）附近的局部等距受置换对称性约束。
• 证明任何全局等距必须固定格罗莫夫-豪斯多夫空间的一个稠密子集，从而推出其为恒等映射。
• 通过分析完全图边构型上对称群作用的正规化子，证明整个空间的等距群是平凡的。

提出的方法

• 使用格罗莫夫-豪斯多夫度量定义紧致度量空间等距类构成的完备、分离、测地度量空间。
• 聚焦于具有互异非零距离且所有三角不等式严格成立的典型 $n$-点度量空间，其构成该空间的稠密子集。
• 利用距离向量与 $\mathbb{R}^N$ 中的线性模型（其中 $N = \binom{n}{2}$）在这些空间附近构造局部标准邻域。
• 通过其在距离向量上诱导的作用分析等距，证明任何等距在限制下为具有置换矩阵 $P$ 的线性映射。
• 利用相邻与非相邻边对的基数比较，证明此类置换 $P$ 必须正规化作用于完全图 $K_n$ 边上的对称群 $G \cong S_n$。
• 利用当 $n \geq 8$ 时，非相邻边对的数量超过相邻边对数量的事实，强制任何此类 $P$ 保持边的相邻性，从而 $P \in G$，意味着该等距由空间点的重标记诱导。

实验结果

研究问题

• RQ1 正如洛瑟所猜想的那样，格罗莫夫-豪斯多夫空间的等距群是否是平凡的？
• RQ2 能否通过几何与群论方法修正并形式化洛瑟2015年草稿中存在缺陷的证明草图？
• RQ3 在典型有限度量空间附近的局部等距在多大程度上约束了全局等距群？
• RQ4 完全图 $K_n$ 中边邻接性的组合结构如何影响格罗莫夫-豪斯多夫空间中等距群的结构？
• RQ5 格罗莫夫-豪斯多夫空间中典型 $n$-点空间的稠密性是否意味着任何固定这些空间的等距必为恒等映射？

主要发现

• 格罗莫夫-豪斯多夫空间的等距群是平凡的，即唯一的等距是恒等映射。
• 当 $n \geq 8$ 时，$K_n$ 中非相邻边对的数量超过相邻边对的数量，具体为 $\#F_0 = \frac{n(n-1)(n-2)(n-3)}{8}$ 与 $\#F_1 = \frac{n(n-1)(n-2)}{4}$，因此 $\#F_0 > \#F_1$。
• 格罗莫夫-豪斯多夫空间的任何等距均诱导距离向量分量的置换 $P$，且该置换正规化作用于 $K_n$ 边上的对称群 $G \cong S_n$。
• 当 $n \geq 8$ 时，此类置换 $P$ 必须保持边的相邻性，因此 $P \in G$，意味着该等距由空间点的重标记实现。
• 由于该等距固定了空间的一个稠密子集（即所有非零距离互异的 $n$-点空间），它在整个空间上必为恒等映射。
• 并集 $\bigcup_{n \geq 8} \mathcal{M}_{[n]}^g$ 在格罗莫夫-豪斯多夫空间 $\mathcal{M}$ 中是稠密的，这使得可从局部行为推出全局结论。