[논문 리뷰] Geodesically complete spaces with an upper curvature bound

Alexander Lytchak, Koichi Nagano|arXiv (Cornell University)|2018. 04. 14.

Advanced Topology and Set Theory인용 수 7

한 줄 요약

이 논문은 상한 곡률 유계를 가진 지측적으로 완비되고 국소적으로 컴acts한 거리공간(이하 GCBA 공간)의 기초적인 기하학적 및 위상수학적 성질을 수립한다. 위상차원과 하우스도르프 차원이 일치함을 증명하고, 각 차원에서 조밀하고 열려 있으며 비라플라스-정규성 조건을 만족하는 부분집합을 특정하며, 거리 함수가 거의 어디서나 두 번 미분 가능하다는 것을 보이며, 알렉산드로프 기하학의 핵심 결과들을 상한 곡률 유계 설정으로 확장한다.

ABSTRACT

We study geometric and topological properties of locally compact, geodesically complete spaces with an upper curvature bound. We control the size of singular subsets, discuss homotopical and measure-theoretic stratifications and regularity of the metric structure on a large part.

연구 동기 및 목표

• 지측적으로 완비되고 국소적으로 컴팩트한 거리공간에 상한 곡률 유계가 있는 경우에 대한 구조 이론을 개발하여, 알렉산드로프 기하학의 결과를 확장한다.
• 특히 하한 곡률 유계가 없을 경우의 정규성 부족과 계층 구조 통제의 부재 문제를 다룬다.
• 알렉산드로프 기하학과 리만 기하학의 결과들과 유사하게, 이러한 공간에 대해 호모토피적, 측도론적, 해석학적 계층화를 수립한다.
• 위상차원이 하우스도르프 차원과 일치하며, 정규 부분집합이 조밀하고 비라플라스-유사하게 유클리드 공간과 동치임을 증명한다.
• 곡률 유계와 거리 함수의 정규성 분석을 통해 거리 함수가 거의 어디서나 두 번 미분 가능하다는 것을 증명한다.

제안 방법

• 지측적으로 완비되고 국소적으로 컴팩트하며 분리 가능하고 상한 곡률 유계를 가진 공간의 클래스인 GCBA 공간을 도입하고, 그 국소적 및 전반적 구조를 연구한다.
• 점에서의 탄젠트 공간의 차원이 k인 점들의 집합으로서 k차원 부분집합 $X^k$을 정의하고, $X^k$ 안에 조밀하고 열려 있으며 비라플라스-정규성 조건을 만족하는 부분집합 $M^k$가 존재함을 증명한다.
• 지측 완비성과 곡률 유계를 이용해 특이점 집합의 크기를 통제하여, $\bar{X}^k \setminus M^k$의 하우스도르프 차원이 $k-1$ 이하임을 보인다.
• DC-함수 이론과 거리 차트 구성 기법을 적용해 거리 함수의 정규성을 분석하고, 거의 어디서나 두 번째 미분 가능성을 증명한다.
• 비교 기하학과 곡률 유계를 활용해 작은 구 안에서의 각도와 거리 왜곡을 추정하고, 핵심 보조정리에서 $o(r)$ 및 $o(r^2)$ 추정을 이끌어낸다.
• 지측 완비성의 안정성과 유클리드 공간으로의 비라플라스-임bedding 존재성을 활용해 정규성 조건을 확립한다.

실험 결과

연구 질문

• RQ1 GCBA 공간의 위상차원이 하우스도르프 차원과 일치하는가?
• RQ2 각 차원에서 조밀하고 열려 있으며, 유클리드 공간 $\mathbb{R}^k$와 국소적으로 비라플라스-유사한 정규 부분집합을 식별할 수 있는가?
• RQ3 GCBA 공간의 k차원 부분집합 내에서 특이점 집합의 크기와 구조는 어떠한가?
• RQ4 거리 함수는 GCBA 공간에서 거의 어디서나 두 번 미분 가능한가? 이를 보장하는 조건은 무엇인가?
• RQ5 곡률 유계는 거리 차트의 정규성과 거리 함수의 미분 가능성에 어떤 영향을 미치는가?

주요 결과

• GCBA 공간의 위상차원은 하우스도르프 차원과 일치하며, 이는 유클리드 볼과 위상동형인 열린 부분집합들의 차원의 상한과 일치한다.
• 각 $k$에 대해 $k$차원 부분집합 $X^k$는 조밀하고 열려 있으며, 유클리드 공간 $\mathbb{R}^k$와 국소적으로 비라플라스-유사한 부분집합 $M^k$를 포함한다. 이때 $\bar{X}^k \setminus M^k$의 하우스도르프 차원은 $k-1$ 이하이다.
• $M^k$는 모든 탄젠트 공간이 $\mathbb{R}^k$와 등급인 점들을 포함하도록 선택할 수 있으며, $M^k \setminus \mathcal{R}_k$의 하우스도르프 차원은 $k-2$ 이하이다.
• 다양체 $M^k$는 모든 볼록 함수가 $\mathrm{DC}$-함수인 유일한 $\mathrm{DC}$-아틀라스를 가진다.
• 거리 함수는 거의 어디서나 두 번 미분 가능하며, 곡률 및 거리 정규성 조건 하에서 두 번째 차수 테일러 전개가 $o(d(x,y)^2)$까지 성립한다.
• 두 번째 미분 가능성의 증명은 곡률 유계를 활용해 각도 추정을 $o(\sqrt{r})$에서 $o(r)$로 향상시키며, 이로 인해 거리 전개에서 $o(r^2)$ 추정을 확보한다.