[논문 리뷰] On the structure of RCD spaces with upper curvature bounds

Vitali Kapovitch, Martin Kell외 1명|arXiv (Cornell University)|2019. 08. 19.

Geometric Analysis and Curvature Flows참고 문헌 34인용 수 6

한 줄 요약

이 논문은 알렉산드로프 의미에서 상부 곡률 상한을 가진 RCD 공간에 대한 종합적인 구조 이론을 수립하며, 이러한 공간이 경계를 가진 위상수학적 다양체임을 증명한다. 이 공간의 내부는 정규점들로 구성되며, 정규 집합은 연속적이고 유계 변동성을 가진 리만계량을 지닌 $C^1$-매끄러운 다양체로서 원래의 거리 구조를 유도한다. 경계는 곰보-하우스도르프 접선 콘을 통해 정의된 기하학적 경계와 일치한다.

ABSTRACT

We develop a structure theory for RCD spaces with curvature bounded above in Alexandrov sense. In particular, we show that any such space is a topological manifold with boundary whose interior is equal to the set of regular points. Further the set of regular points is a smooth manifold and is geodesically convex. Around regular points there are DC coordinates and the distance is induced by a continuous BV Riemannian metric.

연구 동기 및 목표

• 알렉산드로프 의미에서 상부 곡률 상한을 가진 $\rCD$ 공간에 대한 구조 이론을 개발하기 위해.
• 정규 집합과 그 기하학적 및 위상수학적 성질을 특성화하기 위해.
• 이러한 공간에서 다양체 경계와 기하학적 경계 간의 동치성을 확립하기 위해.
• 정규 집합 위의 거리 함수가 연속적이고 유계 변동성을 가진 리만계량에 의해 유도됨을 증명하기 위해.
• 이러한 공간에 대해 약한 비압착 추측을 검증하여 밀도 함수가 거의 어디서나 일정함을 보여주기 위해.

제안 방법

• 기하학적 차원과 공간의 경계를 정의하기 위해 곰보-하우스도르프 접선 콘을 사용하기 위해.
• 정규 집합에서의 정규성과 계량 구조를 분석하기 위해 DC 미적분학과 BV 함수를 적용하기 위해.
• 정규 점 주변에 DC 좌표를 구성하여 국소적 $C^1$-구조를 확립하기 위해.
• 최적의 운반과 무한소 힐베르트성 조건을 사용하여 RCD 조건이 곡률 상한을 유도함을 보장하기 위해.
• 차원에 대한 귀납법을 사용하여 최대 반경을 가졌거나 반대점이 존재하는 공간의 강성 결과를 증명하기 위해.
• 비압축 RCD 공간과 $\rCAT(1)$ 공간의 결과를 활용하여 전역적 위상수학적 및 계량적 성질을 도출하기 위해.

실험 결과

연구 질문

• RQ1 알렉산드로프 의미에서 상부 곡률 상한을 가진 $\rCD(K,N)$ 공간이 동시에 $\rCAT(\kappa)$일 경우의 위상수학적 및 기하학적 구조는 무엇인가?
• RQ2 이러한 공간에서 정규점의 집합은 다양체의 내부와 경계와 어떻게 관련되어 있는가?
• RQ3 정규 집합 위의 거리 함수는 연속적이고 유계 변동성을 가진 리만계량으로 표현될 수 있는가?
• RQ4 정규 집합 위의 밀도 함수가 일정해지는 조건은 무엇이며, 이는 약한 비압축 추측과 어떻게 관련되어 있는가?
• RQ5 공간이 최대 반경을 가지거나 반대점을 포함할 경우 어떤 강성 성질이 나타나는가?

주요 결과

• 공간 $X$는 기하학적 차원 $n = \dim_{\text{geom}} X$ 에 대해 경계를 가진 위상수학적 $n$-다양체이다.
• 공간 $X$의 내부는 정규점들의 집합 $\mathcal{R}_n$ 과 일치하며, $k \neq n$ 인 모든 다른 정규 집합 $\mathcal{R}_k$ 는 공집합이므로 $\mathcal{R} = \mathcal{R}_n$ 이다.
• 정규 집합 $\mathcal{R}$ 은 지오데식적으로 볼록하며, $\mathcal{R}$ 내의 지오데식은 국소적으로 연장 가능하다.
• 정규 집합은 원래의 거리 구조를 유도하는 연속적이고 유계 변동성을 가진 리만계량을 지닌 $C^1$-다양체 구조를 가진다.
• 다양체 경계 $\partial X$ 는 접선 콘을 통해 정의된 기하학적 경계 $\boldsymbol{\partial}X$ 와 일치한다.
• 약한 비압축 케이스에서는 밀도 함수 $f(x) = \lim_{r \to 0} \frac{m(B_r(x))}{\omega_n r^n}$ 이 $X$ 위에서 $m$-거의 어디서나 일정하다.