[論文レビュー] Isometry Group of Gromov--Hausdorff Space

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

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

ひとこと要約

この論文は、Gromov–Hausdorff空間（コンパクトな距離空間の等長同値類からなる空間にGromov–Hausdorff距離を備えたもの）の等長群が自明であるというGeorge Lowtherによる2015年の予想を厳密に証明する。一般の有限距離空間（すべての非ゼロ距離が相異なるもの）の周囲における局所的等長写像を分析し、辺構成の置換対称性に関する群論的議論を用いることで、任意の等長写像がこうした空間をすべて固定することを示し、結果として空間全体の唯一の等長写像は恒等写像であることが結論づけられる。

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).

研究の動機と目的

• Gromov–Hausdorff空間の等長群が自明であるというGeorge Lowtherの2015年の主張を厳密に検証すること。
• 特にGromov–Hausdorff距離が双射において達成されるという点に関して、Lowther元々のドラフトに存在するギャップや誤りを是正・形式化すること。
• すべての非ゼロ距離が相違し、すべての三角不等式が厳密な一般の有限距離空間（距離空間のすべての非ゼロ距離が相異なるもの）の周囲における局所的等長写像が、置換対称性によって制約されることを確立すること。
• 任意のグローバル等長写像が、Gromov–Hausdorff空間の稠密部分集合を固定することを示し、それが恒等写像であることを示すこと。
• 完全グラフの辺構成に対する対称群作用の正規化群を分析することで、空間全体の等長群が自明であることを示すこと。

提案手法

• コンパクトな距離空間の等長同値類からなる空間にGromov–Hausdorff距離を定義し、それが完備で分離可能かつ測地的距離空間であることを用いる。
• すべての非ゼロ距離が相違し、すべての三角不等式が厳密な一般の$n$点距離空間に注目し、それが空間において稠密な部分集合をなすことを示す。
• 距離ベクトルと$\mathbb{R}^N$上の線形モデル（$N = \binom{n}{2}$）を用いて、こうした空間の周囲に局所的標準近傍を構成する。
• 等長写像を距離ベクトルへの誘導作用を通じて分析し、任意の等長写像が置換行列$P$を持つ線形写像に制限されることを示す。
• 隣接する辺のペアと非隣接の辺のペアの個数の比較を用いて、このような置換$P$が完全グラフ$K_n$の辺に作用する対称群$G \cong S_n$を正規化することを証明する。
• $n \geq 8$では、非隣接辺ペアの数が隣接辺ペアの数を上回ることを用い、任意の$P$が隣接性を保存することを示し、したがって$P \in G$となる。これにより、等長写像は空間の点の再ラベル化によって誘導されることが示される。

実験結果

リサーチクエスチョン

• RQ1 Lowtherが予想したように、Gromov–Hausdorff空間の等長群は自明であるか？
• RQ2 Lowtherの2015年ドラフトにおける不完全な証明スケッチは、幾何学的および群論的手法を用いて是正・形式化可能か？
• RQ3 一般の有限距離空間の周囲における局所的等長写像は、グローバル等長群をどの程度制約するか？
• RQ4 $K_n$における辺の隣接性の組合せ論は、Gromov–Hausdorff空間における等長群の構造にどのように影響するか？
• RQ5 一般の$n$点空間がGromov–Hausdorff空間に稠密に分布していることから、それらを固定する任意の等長写像は恒等写像でなければならないか？

主な発見

• Gromov–Hausdorff空間の等長群は自明であり、唯一の等長写像は恒等写像である。
• $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$となる。
• Gromov–Hausdorff空間の任意の等長写像は、完全グラフ$K_n$の辺に作用する対称群$G \cong S_n$を正規化する距離ベクトル成分の置換$P$を誘導する。
• $n \geq 8$では、このような置換$P$は辺の隣接性を保存しなければならず、したがって$P \in G$となる。これにより、等長写像は空間の点の再ラベル化によって誘導される。
• 等長写像が空間の稠密部分集合（すべての距離が相異なる一般の$n$点空間）を固定するため、空間全体にわたって恒等写像でなければならない。
• $\bigcup_{n \geq 8} \mathcal{M}_{[n]}^g$はGromov–Hausdorff空間$\mathcal{M}$において稠密であり、これにより局所的性質からグローバルな結論が導かれる。