[논문 리뷰] Isometry Group of Gromov--Hausdorff Space

Alexander Ivanov, Alexey Avgustinovich Tuzhilin|arXiv (Cornell University)|2018. 06. 06.

Geometric Analysis and Curvature Flows참고 문헌 9인용 수 15

한 줄 요약

이 논문은 2015년 조지 로우더가 제기한 추측을 엄밀하게 증명한다. 즉, 고르모프–하우스도르프 공간—이sov메트리 관계에 대해 모듈러된 컴팩트 메트릭 공간들의 공간으로, 고르모프–하우스도르프 메트릭을 지닌 공간—의 등장사상군이 자명하다는 것이다. 서로 다른 거리들을 가진 일반적인 유한 메트릭 공간 주변의 국소 등장사상들을 분석하고, 간선 구성의 순열 대칭성에 기반한 군론적 추론을 통해, 임의의 등장사상이 이러한 모든 공간을 고정시켜야 한다고 보여주며, 그로 인해 전체 공간의 유일한 등장사상은 항등사상임을 결론짓는다.

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

연구 동기 및 목표

• 고르모프–하우스도르프 공간의 등장사상군이 자명하다는 조지 로우더의 2015년 주장에 대해 엄밀한 검증을 수행한다.
• 로우더의 원래 초안에서 발견된 오류와 빈자리들을 수정하고 형식화한다. 특히, 이sov메트리 변환에 대한 고르모프–하우스도르프 거리의 도달 조건에 관한 부분을 중심으로 한다.
• 모든 비영인 거리가 서로 다르고 삼각부등식이 엄격하게 성립하는 일반적인 유한 메트릭 공간 주변의 국소 등장사상이 순열 대칭성에 의해 제약을 받는다는 것을 입증한다.
• 임의의 전역 등장사상이 고밀도 부분공간을 고정해야 하며, 이는 등장사상이 항등사상임을 의미함을 보인다.
• 완전 그래프 $K_n$의 간선 구성에 대한 대칭군 작용의 정규화군 분석을 통해 전체 공간의 등장사상군이 자명하다는 것을 보인다.

제안 방법

• 고르모프–하우스도르프 메트릭을 사용하여 컴팩트 메트릭 공간들의 등장사상류로 이루어진 완비, 분리 가능, 기하학적 메트릭 공간을 정의한다.
• 모든 비영인 거리가 서로 다르고 모든 삼각부등식이 엄격한 $n$-점 메트릭 공간에 초점을 맞추며, 이러한 공간들은 공간의 고밀도 부분집합을 이룬다.
• 거리 벡터와 $\mathbb{R}^N$ 상의 선형 모델을 사용하여 이러한 공간 주변의 국소 표준 이웃을 구성한다. 여기서 $N = \binom{n}{2}$이다.
• 거리 벡터에 대한 등장사상의 유도된 작용을 분석하여, 임의의 등장사상이 순열 행렬 $P$를 갖는 선형 변환으로 제약됨을 보인다.
• 인접한 간선 쌍과 비인접한 간선 쌍의 수를 비교하여, $K_n$의 간선에 작용하는 대칭군 $G \cong S_n$에 대해 이러한 순열 $P$가 정규화함을 증명한다.
• 특히 $n \geq 8$일 경우, 비인접 간선 쌍의 수가 인접 간선 쌍의 수를 초과함을 보이며, 이는 임의의 such $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$이다.
• 고르모프–하우스도르프 공간의 임의의 등장사상은 $K_n$의 간선에 작용하는 대칭군 $G \cong S_n$에 대해 정규화하는 거리 벡터 성분의 순열 $P$를 유도한다.
• $n \geq 8$일 경우, 이러한 순열 $P$는 간선의 인접성을 유지해야 하며, 따라서 $P \in G$임을 유도하며, 이는 등장사상이 공간의 점들을 재라벨링하는 방식으로 작용함을 의미한다.
• 등장사상이 고밀도 부분공간(모든 거리가 서로 다른 $n$-점 공간)을 고정하므로, 전체 공간에서 항등사상이어야 한다.
• 모든 $n \geq 8$에 대해 $\bigcup_{n \geq 8} \mathcal{M}_{[n]}^g$ 는 고르모프–하우스도르프 공간 $\mathcal{M}$ 에서 고밀도이므로, 국소적 행동에서 전역적 결론을 이끌 수 있다.