[논문 리뷰] A sufficient condition to a regular set of positive measure on RCD spaces

Yu Kitabeppu|arXiv (Cornell University)|2017. 08. 08.

Geometric Analysis and Curvature Flows참고 문헌 24인용 수 7

한 줄 요약

이 논문은 $\textsf{RCD}^*(K,N)$ 공간에서 정규 집합이 양의 측도를 가질 충분조건을 확립한다: 차원 $k = [N]$에 대해 정규 집합 $\fancyscript{R}_k$가 공집합이 아니면, 그 측도는 양수이다. 핵심 기여는 $\textsf{RCD}$ 공간의 차원을 $\fancyscript{R}_k$가 비어있지 않은 최대 $k$로 정의하고, 이 차원이 지-pointed Gromov-Hausdorff 수렴 하에서 하부 연속성을 보이는 것임.

ABSTRACT

In this paper, we study regular sets in metric measure spaces with bounded Ricci curvature. We prove that the existence of a point in the regular set of the highest dimension implies the positivity of the measure of such regular set. Also we define thee dimension of metric measure spaces and prove the lower semicontinuity of that under the Gromov-Hausdorff convergence.

연구 동기 및 목표

• 메트릭 측도 기하학에서의 근본적인 미해결 문제를 해결하기 위해: $\textsf{RCD}^*(K,N)$ 공간에서 최대 차원의 정규 집합이 양의 측도를 가질 수 있는지 여부를 밝히는 것.
• 최대 $k$에 대해 $\fancyscript{R}_k \neq \emptyset$인 조건을 바탕으로 $\textsf{RCD}^*(K,N)$ 공간에 대한 표준적인 차원의 개념을 정의하고, 리치 극한 공간 이론을 확장하는 것.
• 지-pointed Gromov-Hausdorff 수렴 하에서 이 차원의 하부 연속성을 확립하여 핵심 안정성 성질을 도출하는 것.
• 최적 수송 기법을 통해 $\textsf{RCD}$ 공간에서의 기하 해석학과 기존의 리치 극한 공간 이론 및 해석적 차원 이론 간의 다리를 놓는 것.

제안 방법

• 정규 집합 $\fancyscript{R}_k$의 개념을 사용하며, 이는 접선 콘의 등장이 $\fancyscript{R}^k$와 등장하는 점들로 정의되며, $\textsf{RCD}^*(K,N)$ 공간 내에서의 측도론적 성질을 연구한다.
• 시험 함수의 $L^2$-강수렴 이론과 키엘러 에너지 이론을 적용하여, 에너지의 딜리클레 에너지 행동이 수렴 하에서 어떻게 작용하는지 분석한다.
• 비숍-그로모프 부등식을 적용하여, Gromov-Hausdorff 수렴 하에서 공 위의 측도 수렴을 보장한다.
• 에너지 측도 $\fancyscript{Ch}_{(x,r)}(f)$의 수렴성과 함수의 $\fancyscript{L}^2$-강수렴을 활용하여, 극한 공간으로부터의 정규성 특성을 근사 수열로 옮기는 데 사용한다.
• 지-pointed Gromov-Hausdorff 수렴 하에서 $\textsf{RCD}^*(K,N)$ 조건의 안정성을 적용하여 기하적 성질을 극한에서 수열로 이전한다.
• 에너지 형식에서 거의 정규직교인 기울기의 $k$개 함수의 존재에 의존하며, 이는 $k$차원 접선 기하학의 존재를 암시한다.

실험 결과

연구 질문

• RQ1 어떤 $\textsf{RCD}^*(K,N)$ 공간에서 차원 $k = [N]$인 정규 집합 $\fancyscript{R}_k$가 존재하면, $m(\fancyscript{R}_k) > 0$인지 여부?
• RQ2 정규 집합 $\fancyscript{R}_k$가 비어있지 않은 최대 $k$에 대해 $\textsf{RCD}^*(K,N)$ 공간의 차원을 일관되게 정의할 수 있는가?
• RQ3 지-pointed Gromov-Hausdorff 수렴 하에서 $\textsf{RCD}^*(K,N)$ 공간의 차원은 하부 연속적인가?
• RQ4 정규 집합을 통한 정의된 차원과 $L^2$-섹션을 통한 코탄젠트 번들의 해석적 차원 간의 관계는 어떻게 되는가?

주요 결과

• 어떤 $\textsf{RCD}^*(K,N)$ 공간에서 $k = [N]$에 대해 $\fancyscript{R}_k \neq \emptyset$이면, $m(\fancyscript{R}_k) > 0$임을 보여주며, 최대 정규 집합의 양의 측도를 위한 충분조건을 제공한다.
• $\textsf{RCD}^*(K,N)$ 공간의 차원은 $\fancyscript{R}_k \neq \emptyset$인 최대 $k$로 잘 정의되며, 이는 $m(\fancyscript{R}_k) > 0$인 최대 $k$와 일치한다.
• 지-pointed Gromov-Hausdorff 수렴 하에서 차원은 하부 연속적이다: $\textsf{dim}(X_\fancyscript{infty}) \leq \liminf_{n \to \infty} \textsf{dim}(X_n)$.
• 만약 $N \in \mathbb{N}$이면, $\textsf{dim}(X,d,m) = N-1$이 되는 것과 하우스도르프 차원 $\textsf{dim}_H(X,d) = N-1$이 되는 것이 동치이며, De Philippis와 Gigli의 결과와 결합된다.
• 이 연구에서 정의된 기하 차원은 Han이 제시한 $L^2$-섹션을 통한 해석적 차원과 동치이며, [GPequiv]의 등가성 결과를 통해 이를 입증한다.
• 증명은 극한 공간의 차원이 $k$이면, 충분히 큰 $n$에 대해 근사 공간 $X_n$의 차원도 최소한 $k$ 이상이어야 한다는 점을 보여주며, 이는 양의 측도를 가진 정규 집합의 지속성 때문임.