구름프의 박스 거리 추정: 구면·복소 사영공간·특수 직교군 사이의 정량적 비교

초록

본 논문은 Gromov가 정의한 mm-공간 사이의 거리 함수 $\square$ (박스 거리)를 이용해, 차원 $n$ 과 $m$ 인 단위 구면 $\mathbb{S}^n$, $\mathbb{S}^m$, 복소 사영공간 $\mathbb{C}P^n$, $\mathbb{C}P^m$, 그리고 특수 직교군 $SO(n)$, $SO(m)$ 사이의 거리 상한·하한을 명시적으로 계산한다. Colding의 Lemma 5.10을 핵심 도구로 삼아, 두 공간의 체적·거리 구조를 정밀히 비교함으로써 Gromov의 Green book에 남겨진 연습문제에 완전한 해답을 제시한다.

상세 분석

이 연구는 Gromov가 1999년에 도입한 mm‑space(측정‑거리 공간) 위의 거리 함수 $\square$ (이하 박스 거리)의 구체적인 계산 방법을 제시한다는 점에서 의미가 크다. 박스 거리는 두 mm‑space 사이에 존재하는 측정 보존 1‑Lipschitz 매핑을 통해 정의되며, “측정‑거리 구조의 근접성”을 정량화한다. 기존 문헌에서는 주로 위상적·측정적 수렴(예: Gromov–Hausdorff 수렴, 측정 수렴)과 연관된 추상적 성질만 논의되었으나, 실제적인 상한·하한을 구하는 사례는 드물었다.

저자는 T. H. Colding이 제시한 “볼록성 및 체적 비교” 기법, 특히 Lemma 5.10(볼록 집합의 체적이 작은 경우, 거리 함수가 거의 일정함을 보이는 결과)을 활용한다. 구면 $\mathbb{S}^n$과 $\mathbb{S}^m$은 각각 표준 리만 계량을 갖는 고유한 체적 분포를 가지며, 차원에 따라 체적이 급격히 변한다. 저자는 두 구면을 동일한 확률 측정공간 $(