RCD와 카토 공간의 Gromov Hausdorff 및 내재적 평탄 수렴

초록

본 논문은 비붕괴 RCD(K,N) 공간과 비붕괴 강한 Kato 한계 공간을 대상으로, (ETR)·(LBD) 조건과 거의 모든 점에서 연결된 정규 집합을 가정한다. 두 클래스 모두에 대해 메트릭 전류의 관점에서 방향성을 정의하고, 점지향 Gromov‑Hausdorff 수렴 하에서 방향성이 보존됨을 보이며, 점지향 Gromov‑Hausdorff 한계와 지역 평탄( intrinsic flat ) 한계가 일치함을 증명한다. 주요 결과는 방향성의 유일성(부호만 차이), 비붕괴 경우 전류의 질량이 Hausdorff 측정과 일치함, 그리고 Kato 한계에서도 동일한 구조가 유지된다는 것이다.

상세 분석

논문은 먼저 (ETR) (Essential Topological Regularity)와 (LBD) (Local Bounded Density)라는 두 구조적 가정을 도입한다. (ETR)은 측정공간 (X,d,ℋⁿ)이 전부 측정가능한 정규 집합 R을 포함하고, R의 각 점이 근방에서 ℝⁿ과 위상동형이며 부피가 거의 유클리드와 동일함을 의미한다. (LBD)는 ℋⁿ이 모든 유한 반경 구에 대해 상한을 갖는다는 조건이다. 이러한 가정은 비붕괴 RCD(K,N) 공간과 비붕괴 강한 Kato 한계 공간 모두에 만족한다는 것이 논문의 첫 번째 기술적 공헌이다.

방향성 정의는 Ambrosio‑Kirchheim 전류 이론을 활용한다. 정의 1.1에 따라 (X,d,ℋⁿ)이 전류 T∈I_loc,N(X)를 가지고, 집합(set(T))=X, 질량 측정‖T‖=ℋⁿ, 그리고 경계 ∂T=0이면 방향성이 있다고 한다. 이 정의는 기존의 위상적 방향성(정규 부분이 매니폴드인 경우)이나 Sobolev 형태 기반 정의와 동등함을 보이면서도, 전류의 푸시포워드 표현을 직접 이용해 증명 구조를 단순화한다.

핵심 정리인 Proposition 1.2와 Corollary 1.3은 비붕괴 RCD 공간에서 전류의 강직성을 보여준다. 구체적으로, ∂S가 어떤 구 B_s(x) 안에서 0이면 S는 정수배 k·T와 동일함을 증명한다. 여기서 중요한 도구는 정규점 주변의 δ‑splitting map u:B₁(x)→ℝⁿ을 이용해 B₁(x)를 거의 전부가 bi‑Lipschitz하게 ℝⁿ에 매핑되는 가산 개의 Borel 집합 {U_n}으로 분할하는 Proposition 3.4이다. 이러한 분할을 통해 전류를 유클리드 공간의 전류들의 푸시포워드 합으로 표현하고, 유클리드에서의 지역 상수성 정리(Corollary 2.5)를 적용해 원래 공간에서도 지역 상수성을 얻는다. 정규 집합이 거의 전체에 걸쳐 연결되어 있다는 (a.e.)‑connectedness와 (LBD) 가정이 결합되어 전류의 가중치 함수가 전역적으로 ±1만을 취함을 보인다. 따라서 방향성은 부호 하나만으로 유일하게 정해진다.

Theorem 1.5와 1.6은 위의 정리를 이용해 Gromov‑Hausdorff(pGH) 수렴과 intrinsic flat(IF) 수렴이 일치함을 증명한다. 비붕괴 경우, 각 공간 X_i에 존재하는 전류 T_i는 질량이 ℋⁿ_i와 일치하고 ∂T_i=0이다. Matveev‑Portegies의 L¹‑추정과 δ‑splitting map의 정규성으로부터 T_i의 다중성 함수 θ_{T_i}가 정규점 근방에서 일정함을 보이고, 이를 한계 전류 T에 전달한다. 이후 Bishop‑Gromov 부피 단조성을 이용해 set(T)=X, ‖T‖=ℋⁿ임을 확인한다. 붕괴 경우에는 ℋⁿ_i→0이므로 전류가 0으로 수렴한다. Kato 한계에 대해서도 동일한 논리를 Carron‑Mondello‑Tewodrose의 구조 정리와 결합해 적용한다. 최종적으로, 비붕괴 한계는 N‑차원 integral current space가 되며, GH와 IF 한계가 동일함을 얻는다.

이 논문은 기존 결과(예: Sormani‑Wenger, Matveev‑Portegies, Honda 등)를 일반화하면서도, 전류의 푸시포워드 표현만을 이용해 증명을 단순화한다는 점에서 기술적 혁신을 제공한다. 또한 Kato 한계라는 새로운 약한 곡률 제어 조건 아래에서도 동일한 위상·측정 구조가 유지된다는 사실은, Ricci 하한이 없는 상황에서도 정밀한 기하‑분석이 가능함을 시사한다.