Urysohn 폭과 거시 스칼라 곡률에 대한 새로운 반례

초록

본 논문은 차원 4 이상에서 Gromov가 제시한 “양의 스칼라 곡률을 가진 리만 다양체는 코-차원 2 Urysohn 폭이 일정 상수 이하”라는 거시적 가설이 거짓임을 보인다. 핵심은 큰 hypersphericity 반경을 가진 기반 다양체 위의 원형 번들을 이용한 새로운 폭 추정식과, ‘ruling’이라는 개념을 통해 원형 번들의 전체 공간에 양의 거시 스칼라 곡률을 부여하는 방법이다. 또한 Urysohn 폭이 Cheeger‑Gromov 붕괴 극한에서 연속이 아님을 증명한다.

상세 분석

논문은 먼저 Gromov의 원래 추측(양의 스칼라 곡률 → 코‑차원 2 Urysohn 폭 ≤ C/σ)을 정밀히 재해석하고, 이를 거시적 버전(모든 단위 구의 부피가 충분히 작을 때 동일한 폭 제한이 존재한다)으로 전환한다. 저자들은 이 거시적 추측이 차원 4 이상에서 성립하지 않음을 보이기 위해 두 가지 주요 도구를 개발한다. 첫 번째는 ‘Z₂‑hypersphericity’라는 정량적 지표와 원형 번들의 코‑차원 2 Urysohn 폭 사이의 하한 관계이다. 구체적으로, Pin⁻ 구조를 가진 (d‑1)‑차원 기반 다양체 M에 대해, 원형 번들 E→M에 적합한 ‘adapted metric’를 부여하면 UW_{d‑2}(E) ≥ ½ HS(M;ℤ₂) 가 성립한다. 여기서 HS는 ℤ₂‑계수로 정의된 hypersphericity 반경이며, Pin⁻ 가정이 없으면 반례가 존재함을 저자는 예시를 들어 설명한다. 두 번째 도구는 ‘λ‑small ruling’이라는 새로운 기하학적 구조이다. 이는 각 점을 지나는 지름 ≤ λ 인 2‑구의 패밀리와, 이 구들이 특정 2‑코호몰로지 클래스 ω와 1‑대1 대응한다는 조건을 포함한다. 이러한 ruling이 존재하면, 해당 ω에 대응하는 원형 번들의 전체 공간은 충분히 작은 원섬유 반경 ε 를 택했을 때 거시적 스칼라 곡률 mscal ≥ σ 를 만족하도록 조정할 수 있다. 즉, ruling은 양의 거시 스칼라 곡률을 만들기 위한 ‘규칙적인’ 구조를 제공한다. 저자들은 이 두 결과를 결합해, HS(M_n;ℤ₂) 가 n 에 비례하고 동시에 3/2‑small ruling을 갖는 일련의 기반 다양체 M_n을 구성한다. 구체적인 두 가지 건설법이 제시된다. 첫 번째는 Z₂‑enlargeable, Pin⁻ 구조를 가진 (d‑1)‑차원 다양체 N을 커버링하고, 그 위에 S²×S^{d‑3} 를 연결합하여 작은 ruling을 만든다. 두 번째는 Balitskiy가 만든 비정향 4‑차원 예시를 이용해, 스켈레톤의 정상링크를 통해 ruling을 얻는 방법이다. 이렇게 만든 M_n 위에 원형 번들을 취하고, ε 를 충분히 작게 잡아 adapted metric을 부여하면, 최종적으로 mscal ≥ σ 이면서 UW_{d‑2}(E_n) ≳ n 인 d‑차원 폐곡면 E_n을 얻는다. 따라서 차원 4 이상에서 거시적 Urysohn 폭 추측은 반례가 존재함을 입증한다. 논문은 또한 Urysohn 폭이 Cheeger‑Gromov 붕괴 과정에서 연속이 아니며, 이는 기존의 폭‑볼륨 관계에 대한 직관을 깨뜨리는 중요한 부수 결과임을 강조한다.