[논문 리뷰] An overview on the proof of the splitting theorem in non-smooth context

Nicola Gigli|arXiv (Cornell University)|2013. 05. 21.

Geometric Analysis and Curvature Flows참고 문헌 41인용 수 8

한 줄 요약

이 논문은 ${\sf RCD}(0,N)$ 거리측도공간의 비가속 설정에서 Cheeger-Colding-Gromoll 분할 정리에 대한 간결하고 자가 포함된 증명을 제공한다. 최적 운반, 소볼레프 미분법, 열 흐름 추정치 등의 도구를 활용하여, 임의의 지오데식 선을 포함하는 이러한 공간이 $\mathbb{R}$와 ${{\/sf RCD}}(0,N-1)$ 공간의 곱으로 등장하는 등장 및 측도를 유지하는 분할을 한다. $N<2$일 경우 차원은 1로 감소한다. 이 결과는 합성 리치 곡률 경계를 통한 특이 공간으로 고전적 분할 정리를 확장한다.

ABSTRACT

We give a quite detailed overview on the proof of the Cheeger-Colding-Gromoll splitting theorem in the abstract framework of spaces with Riemannian Ricci curvature bounded from below.

연구 동기 및 목표

• 비가속 설정인 ${\sf RCD}(0,N)$ 공간에서 분할 정리에 대한 짧고 종합적인 증명을 제공하는 것.
• 고전적 Cheeger-Colding-Gromoll 분할 정리를 합성 리치 곡률이 아래로 유계인 거리측도공간으로 일반화하는 것.
• 지오데식 선을 포함하는 공간에서 등장 및 측도를 유지하는 곱의 구조를 확립하는 것.
• 비가속 기하학에서 곡률-차원 조건과 열 흐름의 역할을 명확히 하는 것.
• $N\geq 2$일 경우 몫공간이 ${\sf RCD}(0,N-1)$ 성질을 갖는다는 것을 보여주는 것, 또는 $N\in[1,2)$일 경우 점으로 붕괴한다는 것을 보여주는 것.

제안 방법

• 최적 운반과 엔트로피 볼록성에 의한 ${\sf RCD}(0,N)$ 조건을 통해 하한 리치 곡률 경계의 합성적 표현을 활용한다.
• 이중성과 Poincaré 성질을 갖는 거리측도공간에서 초최소화자에 대한 강한 최대원리를 적용한다.
• ${\sf RCD}(K,\infty)$ 공간에서 열 흐름에 대한 가우시안 열핵 추정치와 Bakry-Émery 수축 추정치를 활용한다.
• 버세만 함수의 기울기 흐름이 측도와 딜레클 에너지를 모두 유지함을 이용한다.
• ${\sf RCD}(K,\infty)$ 공간의 곱의 구조를 적용하여 지오데식 계획을 올리고 곱에서 곡률 경계를 검증한다.
• $N'$차원 하우스도르프 측도의 고려를 통해 $\mathcal{H}^{N'}(B_R(x_0))=0$임을 보여 $N'\in(N,2)$일 때 차원 감소를 유도한다.

실험 결과

연구 질문

• RQ1 합성 하한 리치 곡률 경계를 갖는 비가속 거리측도공간에서 분할 정리가 성립하는가?
• RQ2 고전적 분할 결과는 $\mathbb{R}$를 포함하는 ${\sf RCD}(0,N)$ 공간으로 확장될 수 있는가?
• RQ3 분할 후 몫공간의 차원은 무엇이며, 원래의 $N$과 어떻게 관련이 있는가?
• RQ4 열 흐름과 최적 운반 기법은 비가속 설정에서 정규성과 곡률 추정치를 어떻게 가능하게 하는가?
• RQ5 어떤 조건에서 몫공간이 ${\sf RCD}(0,N-1)$ 성질을 상속하는가?

주요 결과

• $(X,{\sf d},\mathfrak{m})$가 지오데식 선을 포함하는 ${\sf RCD}(0,N)$ 공간이라면, 이는 곱 거리 ${\sf d}^2 = {\sf d}'^2 + |t-s|^2$를 갖는 $\mathbb{R} \times X'$와 등장 및 측도를 유지하는 것으로 나타난다.
• $N \geq 2$일 경우 몫공간 $(X',{\sf d}',\mathfrak{m}')$은 ${\sf RCD}(0,N-1)$ 공간이다.
• $N \in [1,2)$일 경우 몫공간 $X'$는 단일 점이어야 하며, 이는 공간이 $\mathbb{R}$와 등장함을 의미한다.
• 버세만 함수의 기울기 흐름은 측도와 딜레클 에너지를 모두 유지하므로 등장 분할이 보장된다.
• $X$의 공집합에서의 $N'$차원 하우스도르프 측도는 $N' \in (N,2)$일 때 0이 되며, 이는 몫공간의 차원이 최대 $N-1$이 되도록 강제한다.
• 확률측도 공간에서 기하급수적 경로를 따라 엔트로피의 $N'$-볼록성에 기반한 증명은 불등식 $\rho_t^{-1/(N'-1)} \geq (1-t)\rho_0^{-1/(N'-1)} + t\rho_1^{-1/(N'-1)}$를 거의 모든 곳에서 유도한다.