[논문 리뷰] The isometry group of an $\mathsf{RCD}^*$-space is Lie

Gerardo Sosa|arXiv (Cornell University)|2016. 09. 07.

Geometric Analysis and Curvature Flows참고 문헌 23인용 수 3

한 줄 요약

이 논문은 미묘한 기하학적 및 측도 이론적 조건 하에서 RCD$^*$-공간의 등장변환군과 측도를 보존하는 등장변환군이 리 군임을 규명한다. 탄성원과 최적 운반 성질을 분석함으로써, 리만 공간과 리치 한계 공간을 일반화하는 RCD$^*$-공간이 부드러운 자동형군을 위한 필요 및 충분 조건을 만족함을 증명하며, 이는 거리측도기하학에서 핵심적인 질문을 해결한다.

ABSTRACT

We give necessary and sufficient conditions that show that both the group of isometries and the group of measure-preserving isometries are Lie groups for a large class of metric measure spaces. In addition we study, among other examples, whether spaces having a generalized lower Ricci curvature bound fulfill these requirements. The conditions are satisfied by RCD*-spaces and, under extra assumptions, by CD-spaces, CD*-spaces, and MCP-spaces. However, we show that the MCP-condition by itself is not enough to guarantee a smooth behavior of these automorphism groups. More generally we show that spaces with good optimal transport properties meet as well the hypotheses.

연구 동기 및 목표

• 측도거리공간의 등장변환군과 측도를 보존하는 등장변환군이 리 군이 되기 위한 필요 및 충분 조건을 규명하는 것.
• RCD$^*$, CD, CD$^*$, MCP와 같은 곡률-차원 조건이 등장변환군의 부드러움을 암시하는지 조사하는 것.
• 최적 운반과 탄성원 구조가 자동형군의 리 군 구조를 보장하는 데서 수행하는 역할을 명확히 하는 것.
• MCP 조건만으로는 리 군 구조를 보장할 수 없음을 보여주는 것, 즉 다른 곡률 경계가 존재하더라도 그렇다.
• 리만 기하학과 알렉산드로프 공간에서 알려진 결과를 일반화된 리치 곡률 경계를 가진 더 넓은 종류의 거리측도공간으로 확장하는 것.

제안 방법

• 소규모 구내에서 비자명한 등장변환의 고정점 집합에 대한 균일한 경계를 포함하는 조건 (a)를 도입하여 군 원소 간의 효과적 분리가 보장되도록 하는 것.
• 탄성원 이론을 적용하며, m-거의 everywhere에서 유클리드 또는 양호한 행동을 보이는 (예: 카르노 군) 탄성원을 가정하여 국소적 군 행동을 통제하는 것.
• 특히 곡률-차원 경계가 있는 공간에서 측도를 보존하는 등장변환을 분석하기 위해 최적 운반 기법을 사용하는 것.
• 이중 측도와 유일한 탄성원에 관한 문헌 결과(예: 르 도네의 정리)를 응용하여 리만 기하학을 초월한 프레임워크를 확장하는 것.
• 투영과 재귀적 운반 추론을 통해 고차원 네크리스를 저차원 경우로 환원하는 것.
• 3개의 영역: $\tilde{x}$에서 $\tilde{x}$로, $M^1$을 통해, 그리고 $A_{x'}$로의 재귀적 기하 운반 구조를 다중 '다이아몬드' 구조에 걸쳐 구성하여 2-네크리스에서 MCP(2,3) 조건을 검증하는 것.

실험 결과

연구 질문

• RQ1 측도거리공간의 등장변환군이 리 군이 되기 위한 조건은 무엇인가?
• RQ2 리치 한계 공간과 가중 리만 공간을 일반화하는 RCD$^*$-공간은 리 등장변환군을 갖는가?
• RQ3 측도 수축 성질(MCP)은 등장변환군이 리 군이 되도록 보장하는 데 충분한가?
• RQ4 최적 운반 성질과 탄성원 정규성은 자동형군의 부드러움을 보장할 수 있는가?
• RQ5 고정점 집합 조건 (a)는 등장변환군의 리 군 구조를 보장하는 데 어떤 역할을 하는가?

주요 결과

• 정리 1.2에 의해 RCD$^*$-공간의 등장변환군과 측도를 보존하는 등장변환군은 모두 리 군임을 증명하였다.
• 정리 1.1의 조건 (a) — 구내에서 고정점 집합에 대한 균일한 경계 — 는 등장변환군이 리 군이 되기 위한 필수 및 충분 조건이다.
• MCP 조건만으로는 리 군 구조를 보장할 수 없음을 반례를 통해 보여주었다. 즉, 무한 네크리스 공간에서 $\text{ISO}(\text{FN}) = \text{ISO}_{\frak{m}}(\text{FN}) = \bigoplus_{\nu=1}^\nu \big\backslash \{ \pm 1 \}$ 이다.
• 2-네크리스에서 MCP(2,3) 조건을 증명하기 위해, 세 영역: $\tilde{x}$에서 $\tilde{x}$로, $M^1$을 통해, $A_{x'}$로의 재귀적 기하 운반 구조를 사용하여 상대 높이 비율을 유지하는 것.
• 첫 번째 구간에서 MCP 부등식을 검증하기 위해 밀도 추정식 $\frac{d\frak{n}_t}{d\frak{m}}(\nu_t) \leq \frac{1}{t^2} \frac{h(x_t,D_1)}{h(x,D_1)} \frac{d\frak{n}_1}{d\frak{m}}(\nu_1)$ 이 사용되었다.
• $t \in [\hat{t},1]$ 에서 $y$-좌표 기준 상대 밀도가 일정하여 문제를 이미 알려진 0-네크리스 경우로 환원하였고, 이 경우는 MCP(2,3)을 만족함이 알려져 있다.