곡률과 거리의 안정성 직접 증명으로 본 그로모프 정리

초록

이 논문은 곡률 상한과 주입 반경 하한을 가진 완비 리만 다양체 쌍이 작은 그로모프–하우스도프 거리 이하일 때, 두 다양체 사이의 리프시츠 거리가 동일한 상한 함수에 의해 제어됨을 직접적인 방법으로 증명한다. 기존의 복잡한 기술을 배제하고, 조화 좌표와 정규화된 거리 비교를 이용해 Δ_{C,n}(δ) → 0 를 보인다.

상세 분석

논문은 먼저 그로모프–하우스도프 거리와 리프시츠 거리 사이의 관계를 정량화하려는 고전적인 문제를 재조명한다. 기존에는 Gromov의 원래 증명에서 복잡한 체계적 구조와 Alexandrov 공간 이론을 활용했으며, 이후 Perelman·Petrunin 등의 작업에서도 비슷한 고차원 기하학적 도구가 필요했다. 저자는 이러한 배경을 피하고, 완비 Riemannian n‑다양체 V와 W가 동일한 상수 C에 대해 절대 섹션 곡률 |K| ≤ C와 주입 반경 inj ≥ 1/C 를 만족한다는 전제 하에, 두 다양체가 δ 이하의 그로모프–하우스도프 거리로 가깝다면, 존재하는 매끄러운 좌표계(특히 조화 좌표)를 통해 각 점 주변의 기하학적 구조를 정밀히 비교한다. 조화 좌표는 곡률 제한 하에서 C^{1,α} 정규성을 제공하므로, 좌표 변환 함수가 작은 C^0‑노름을 갖는다는 것을 보인다. 이어서 저자는 거리 비교 사슬을 구성한다. 먼저 δ‑근접성으로부터 각 점 x∈V에 대응하는 y∈W를 선택하고, 두 점 사이의 거리 차이를 조화 좌표에서의 거리 함수 차이로 전환한다. 곡률과 주입 반경 제한은 볼록성 및 볼록성 상수의 균일한 하한을 제공해, 거리 차이가 조화 좌표에서의 L^∞‑노름으로 제한됨을 보인다. 이 과정에서 핵심적인 보조정리로 “곡률 제한 하에서 조화 좌표는 δ‑근접성에 대해 Lipschitz 상수를 1+ε(δ) 로 억제한다”는 결과를 도출한다. 결국, 두 다양체 사이에 정의된 매끄러운 사상 f:V→W는 Lipschitz 상수가 1+Δ_{C,n}(δ) 이하이며, Δ_{C,n}(δ) 가 δ→0 일 때 0 으로 수렴함을 증명한다. 중요한 점은 이 증명이 전적으로 Riemannian 기하학의 기본 도구(볼록성, 조화 좌표, 비교 정리)만을 사용한다는 점이다. 따라서 기존 증명에서 요구되던 복잡한 위상학적 전제나 Alexandrov 공간 이론을 회피하면서도 동일한 안정성 결과를 얻는다.