[논문 리뷰] A topological splitting theorem for weighted Alexandrov spaces

Kazuhiro Kuwae, Takashi Shioya|arXiv (Cornell University)|2009. 03. 30.

Geometric Analysis and Curvature Flows참고 문헌 29인용 수 5

한 줄 요약

이 논문은 가중치가 부여된 아르케메드로프 공간에서 무한소 비숍-그로몰 비교 조건을 만족할 경우, 직선이 존재하면 공간이 $ M' \times \mathbb{R} $와 위상적으로 동형임을 증명하는 위상적 분할 정리를 수립한다. 주요 기여는 측度론적 리치 곡률 하한을 통해 체거-그로몰 분할 정리를 특이 공간으로 확장한 것으로, 리만다이프만에서 비음성 바크리-에메리 리치 곡률 조건을 만족하는 경우 추가적인 정규성 조건 하에서 등장하는 등장 분할을 도출한다.

ABSTRACT

Under an infinitesimal version of the Bishop-Gromov relative volume comparison condition for a measure on an Alexandrov space, we prove a topological splitting theorem of Cheeger-Gromoll type. As a corollary, we prove an isometric splitting theorem for Riemannian manifolds with singularities of nonnegative (Bakry-Emery) Ricci curvature.

연구 동기 및 목표

• 측도가 무한소 비숍-그로몰 체적 비교 조건을 만족하는 아르케메드로프 공간에 대해 위상적 분할 정리를 수립하는 것.
• 클래식하게 정의되지 않은 리치 곡률을 가진 특이 공간으로 체거-그로몰 분할 정리를 일반화하는 것.
• 적절한 측도 조건 하에서 비음성 바크리-에메리 리치 곡률을 가진 리만다이프만에서 등장 분할을 증명하는 것.
• 비미분 가능 메트릭 측도 공간에서 측도 수축 성질과 기하학적 강성 간 격차를 메우는 것.
• 약한 위츠엔보크 공식의 형태를 사용해 특이성을 가진 가중치 공간으로 알려진 리치 곡률 하한 결과를 확장하는 것.

제안 방법

• 특이 공간에서 리치 곡률 하한을 대체하기 위해 무한소 비숍-그로몰 조건 BG(κ,N)을 도입한다.
• 측도론적 체적 성장 비교를 가능하게 하기 위해 부분집합 $ W_{p,t} \subset M $ 위에서 반경 확장 사상 $ \Phi_{p,t} $를 정의한다.
• 상대적으로 컴act 부분집합에서 BG(0,N) 조건을 사용하여 부세만 함수 $ b_\pm $의 하모닉성(즉, $ \mu $-하모닉성)을 유도한다.
• 바크리-에메리 리치 곡률 $ \operatorname{Ric}_{N,\mu} $에 대한 일반화된 위츠엔보크 공식을 적용하여 정규 부분에서 $ \operatorname{Hess}b_+ = 0 $ 및 $ \langle \nabla V, \nabla b_+ \rangle = 0 $을 도출한다.
• 부세만 함수 $ b_+ $의 정규성과 지오데식선을 따라의 선형성에 기반해 측도 기반 곰포-하우스도르프 수렴 하에서의 안정성과 근사 기법을 활용하여 위상적 분할을 결론짓는다.
• N = \infty 경우는 라플라스 비교와 $ \operatorname{Ric}_{\infty,\mu} \geq 0 $ 조건을 통해 다루며, $ \operatorname{Hess}b_+ = 0 $ 및 $ \partial_t^2 V = 0 $을 증명하여 $ V $ 가 직선을 따라 일정함을 보인다.

실험 결과

연구 질문

• RQ1 가중치가 부여된 아르케메드로프 공간에서 측도론적 조건이 무엇일 경우 직선의 존재가 위상적 분할을 유도하는가?
• RQ2 클래식하게 정의되지 않은 리치 곡률을 가진 특이 공간으로 체거-그로몰 분할 정리를 확장할 수 있는가?
• RQ3 측도에 대해 BG(0,N) 조건이 성립할 경우, 비음성 바크리-에메리 리치 곡률을 가진 리만다이프만에서 등장 분할이 성립하는가?
• RQ4 일반화된 위츠엔보크 공식이 비미분 가능 설정에서 분할 정리 증명에 어떻게 기여하는가?
• RQ5 N = \infty 일 경우 잠재 함수 $ V $ 는 등장 분할을 보장하기 위해 어떤 역할을 하는가?

주요 결과

• 완전한 아르케메드로프 공간 $ M $ 가 각 상대적으로 컴팩트 부분집합 $ \Omega $ 에서 BG(0,N_Ω) 조건을 만족하는 측도 $ \mu $ 를 지닌다면, 직선이 존재하면 $ M $ 은 어떤 메트릭 공간 $ M' $ 과의 곱 $ M' \times \mathbb{R} $ 과 위상적으로 동형이다.
• 차원 $ n $ 인 리만다이프만에서 $ \mu $ 가 리만다이프만 체적 측도이고 $ \operatorname{Ric}_{N,\mu} \geq 0 $ 이며 $ \operatorname{Ric} \geq (N-1)\kappa $ 조건을 만족할 경우, $ N < \infty $ 일 때 공간은 $ M' \times \mathbb{R} $ 로 등장 분할된다.
• 부세만 함수 $ b_+ $ 와 $ b_- $ 는 정규 부분 $ M \setminus S_M $ 에서 $ \mu $-하모닉이며, 그 헤시안이 0이므로 지오데식선을 따라 선형적이다.
• 등장 분할에서 각 직선 $ \{x\} \times \mathbb{R} $ 에서 잠재 함수 $ V $ 는 $ \partial_t^2 V = 0 $ 과 유계성에 의해 일정하다.
• N = \infty 경우, $ \Omega \setminus (S_M \cup \text{Cut}_p \cup \{p\}) $ 에서의 라플라스 비교 $ \Delta_\mu r_p \geq -\frac{N_\Omega - 1}{r_p} $ 는 BG(0,N_Ω) 를 유도하며, 이는 위상적 분할을 가능하게 한다.
• 일반화된 위츠엔보크 공식을 $ \operatorname{Ric}_{\infty,\mu} \geq 0 $ 에 적용하면 $ \operatorname{Hess}b_+ = 0 $ 과 $ \operatorname{Ric}_{\infty,\mu}(\nabla b_+, \nabla b_+) = 0 $ 이 도출되며, 이는 무한차원 경우의 등장 분할을 확인한다.