[논문 리뷰] From volume cone to metric cone in the nonsmooth setting

Nicola Gigli, Guido De Philippis|arXiv (Cornell University)|2015. 12. 09.

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

한 줄 요약

이 논문은 ${\sf RCD}^{*}(K,N)$ 공간에서 체적 원 구조—공의 측도가 원의 것처럼 스케일링되는 것—가 전체 메트릭 원 구조를 암시함을 증명한다. 기울기 흐름, 부스만 유형 함수, 그리고 불러올리기 분석을 통해 저자들은 만약 어떤 점 중심의 공의 측도가 원과 유사하게 스케일링된다면, 그 공간은 낮은 차원의 ${\sf RCD}^{*}(N-2,N-1)$ 공간 위의 메트릭 원 구와 국소적으로 등장하는 것으로 밝혀낸다. 이는 고전적 결과를 매끄럽지 않은 설정으로 일반화한 것이다.

ABSTRACT

We prove that `volume cone implies metric cone' in the setting of RCD spaces, thus generalising to this class of spaces a well known result of Cheeger-Colding valid in Ricci-limit spaces.

연구 동기 및 목표

• 리치-한계 공간에서의 고전적 '체적 원이 메트릭 원을 암시한다'는 정리를 ${\sf RCD}^{*}(K,N)$ 공간의 매끄럽지 않은 설정으로 확장하는 것.
• 공간이 매끄럽지 않더라도 어떤 점 주변의 공의 측도 스케일링 성질이 국소적 메트릭 원의 구조를 암시함을 입증하는 것.
• 재스케일링과 불러올리기 기법을 통해 원의 구면 횡단면이 자체적으로 ${\sf RCD}^{*}(N-2,N-1)$ 공간임을 보이는 것.
• 결과를 링형 영역으로 일반화하여, 체적 링형 영역 스케일링이 원의 해당 링형 영역과의 국소 등장성을 암시함을 증명하는 것.

제안 방법

• 공간 내 측도와 에너지의 진화를 분석하기 위해 부스만 유형 함수 $\rm b(x)$ 의 기울기 흐름을 사용하는 것.
• ${\sf RCD}^{*}$ 공간의 맥락에서 메트릭 측도 공간 위의 미분해석학 도구의 적용.
• 측도와 거리의 기하학적 구조를 분석하기 위해 $S_{{\sf R}/2}({\sf O})$ 에서 유도된 거리와 측도를 갖는 재스케일링된 구면 $Z$ 를 정의하는 것.
• 중심점에서의 불러올리기 분석을 통해 재스케일링된 구면 $Z$ 가 ${\sf RCD}^{*}(N-2,N-1)$ 조건을 만족함을 확인하는 것.
• 구면 $Z$ 위의 메트릭 원 $Y$ 를 구성하고, $X$ 와 $Y$ 의 링형 영역을 등거리 및 측도 보존 사상으로 비교하는 것.
• 케터러의 원에 대한 리치 곡률 하한에 관한 결과를 활용하여 공간의 기하학적 구조를 확인하는 것.

실험 결과

연구 질문

• RQ1 공의 측도가 원과 유사하게 스케일링된다는 조건이 매끄럽지 않은 ${\sf RCD}^{*}(K,N)$ 설정에서 공간이 국소적으로 메트릭 원 구와 등거리임을 암시하는가?
• RQ2 이러한 체적 원의 구면 횡단면이 자연스러운 ${\sf RCD}^{*}(N-2,N-1)$ 기하학적 구조를 지닌다는 것을 입증할 수 있는가?
• RQ3 공 $S_{{\sf R}/2}({\sf O})$ 가 두 개 이상의 점을 포함할 경우, 공간의 정확한 기하학적 및 측도 이론적 구조는 무엇인가?
• RQ4 체적 링형 영역이 원과 유사하게 스케일링될 경우 결과가 어떻게 링형 영역으로 일반화되는가?
• RQ5 비볼록성에도 불구하고 동일한 기법을 사용하여 원의 구면이 ${\sf RCD}^{*}(N-1,N)$ 공간임을 보일 수 있는가?

주요 결과

• 만약 $S_{{\sf R}/2}({\sf O})$ 가 오직 한 점만 포함한다면, $({\rm X},{\sf d})$ 는 구간 $[0,\text{diam}({\rm X})]$ 또는 $[0,\infty)$ 와 등거리이며, 측도는 $c x^{N-1} dx$ 와 일치한다.
• 만약 $S_{{\sf R}/2}({\sf O})$ 가 두 점을 포함한다면, $({\rm X},{\sf d})$ 는 국소적으로 $(-{\sf R},{\sf R})$ 와 등거리인 1차원 리만 다양체이며, 측도 $c |x|^{N-1} dx$ 를 유지한다.
• 만약 $S_{{\sf R}/2}({\sf O})$ 가 두 개 이상의 점을 포함한다면, $B_{\sf R}({\sf O})$ 는 ${\sf RCD}^{*}(N-2,N-1)$ 공간 $Z$ 를 바탕으로 한 메트릭 원 구 $Y$ 의 반지름 ${\sf R}$ 인 공과 국소적으로 등거리이며, 이 등거리성은 $\bar{B}_{{\sf R}/2}({\sf O})$ 에서 측도를 보존한다.
• 재스케일링된 구면 $Z$ 는 $S_{{\sf R}/2}({\sf O})$ 에서 유도된 거리와 측도를 갖는 것으로 정의되며, ${\sf RCD}^{*}(N-2,N-1)$ 조건을 만족한다.
• 결과는 링형 영역으로도 확장된다: 만약 링형 영역의 체적이 원과 유사하게 스케일링된다면, 링형 영역은 재스케일링된 구면 위의 원의 해당 링형 영역과 국소적으로 등거리이다.
• 증명은 곡률 매개변수로 스케일링된 거리의 $\cos$ 또는 $\cosh$ 를 사용해 정의된 부스만 유형 함수 $\rm b(x)$ 와 기울기 흐름 기법에 의존한다.