[논문 리뷰] Measure rigidity of synthetic lower Ricci curvature bound on Riemannian manifolds

Bang-Xian Han|arXiv (Cornell University)|2019. 02. 03.

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

한 줄 요약

이 논문은 경계를 가진 리만다이니안 다양체에서 합성 하한 리치 곡률 경계에 대해 측도 강성 조건을 확립한다. CD(K,∞) 조건이 영역의 길항 볼록성과 유일하게 로그-준연속 참조 측도가 이동 볼록성을 지지함을 증명한다. L¹ 최적 운반과 바크리-에메리 미분법을 사용하여, 엔트로피 함수가 K-이동 볼록성을 가지는 유일한 측도는 로그-볼록 측도임을 보이며, 이는 Rⁿ 및 그 이상의 차원 자유 설정에서 오랫동안 남아있던 추측을 해결한다.

ABSTRACT

In this paper we investigate Lott-Sturm-Villani's synthetic lower Ricci curvature bound on Riemannian manifolds with boundary. We prove several measure rigidity results for some important functional and geometric inequalities, which completely characterize ${ m CD}(K, \infty)$ condition and non-collapsed ${ m CD}(K, N)$ condition on Riemannian manifolds with boundary. In particular, using $L^1$-optimal transportation theory, we prove that ${ m CD}(K, \infty)$ condition implies geodesical convexity.

연구 동기 및 목표

• 유계 영역 Ω ⊂ (M,g)에서 CD(K,∞) 조건이 Ω의 길항 볼록성과 Vol_g에 대한 측도의 절대 연속성을 유도함을 증명하는 것.
• 경계가 있는 리만다이니안 다양체에서 합성 CD(K,∞) 설정 하에서 엔트로피의 이동 볼록성이 성립하는 참조 측도의 집합을 특성화하는 것.
• 차원 자유 설정에서, 심지어 Rⁿ에서도 로그-(준)연속 측도만이 엔트로피의 K-이동 볼록성을 유도함을 증명하는 것.
• CD(K,∞) 조건이 (Ω, d_Ω, m)에서 m|∂Ω = 0임을 유도하고, (Ω, d_Ω, m)이 무한소 힐버트 공간이면서 RCD(K,∞) 조건을 만족함을 증명하는 것.
• 비볼록성을 가정할 경우 모순을 이끌어내기 위해 비볼록성에서 유도된 L¹ 최적 운반과 조건부 측도의 정규성을 사용하여 길항 볼록성을 증명하는 것.

제안 방법

• 바크리-에메리의 수정된 리치 텐서와 경계의 제2 기본형을 조합하여 경계가 있는 다양체에서 측도 기반 리치 텐서를 개발한다.
• 비매끄러운 거리 측도 공간 도구를 적용하여 (Ω, d_Ω, m)에서 경계가 있는 경우의 Γ-미분법과 Γ₂-부등식을 정의한다.
• 푸비니 정리와 조건부 측도의 정규성을 사용하여 워샤르스탄 공간 내 길항 세그먼트에서 L¹ 최적 쌍을 구성한다.
• 사이클릭적으로 단조인 쌍(Cpl^{1,2}_σ, Cpl^{1,3}_σ)을 구성하여 밀도가 균일하게 유계인 W₂(Ω, d_Ω) 내 길항 세그먼트를 도출한다.
• 라우흐의 비교 정리를 적용하여 길항 내 지지의 체적 성장을 유계하고, 비볼록성을 가정할 경우 모순을 이끌어낸다.
• 논문 [27]의 보조정리 3.1을 적용하여 W₂(Ω, d_Ω) 내 길항을 균일하게 유계인 밀도를 가진 길항으로 올리며, σ^n ≳ σ를 통해 모순을 이끌어낸다.

실험 결과

연구 질문

• RQ1 CD(K,∞) 조건 하에서 경계가 있는 리만다이니안 다양체에서 바크리-에메리의 Γ-미분법의 올바른 공식화는 무엇인가?
• RQ2 경계가 있는 리만다이니안 다양체에서 합성 CD(K,∞) 설정 하에서 엔트로피의 K-이동 볼록성을 만족하는 참조 측도 m = e^{-V}Vol_g는 어떤 것인가?
• RQ3 CD(K,∞) 조건이 (Ω, d_Ω, m)에서 Ω가 내재 거리 d_Ω에 대해 길항 볼록임을 유도하는가?
• RQ4 측도 m은 반드시 Vol_g에 대해 절대 연속이며, 경계에서 0이 되는가?
• RQ5 매끄럽거나 비붕괴 조건을 가정하지 않고도 L¹ 최적 운반을 사용하여 CD(K,∞) 조건으로부터 길항 볼록성을 증명할 수 있는가?

주요 결과

• CD(K,∞) 조건이 (Ω, d_Ω, m)에서 영역 Ω가 d_Ω-길항 볼록임을 유도한다.
• 측도 m는 V가 리프시츠일 때 e^{-V}Vol_g 형태여야 하며, m|∂Ω = 0이어야 한다.
• 로거-(준)연속 측도는 리만다이니안 다양체에서 엔트로피 함수가 K-이동 볼록성을 가지는 유일한 참조 측도이며, 심지어 차원 자유 설정에서도 마찬가지이다.
• CD(K,∞) 조건은 (Ω, d_Ω, m)가 무한소 힐버트 공간이면서 RCD(K,∞) 조건을 만족함을 유도한다.
• 비볼록성을 가정할 경우 체적 성장 σ^n ≳ σ를 통해 유도된 모순은 지지의 길항 성장 속도가 너무 느리지 않음을 보여주며, 이는 길항 볼록성을 증명한다.
• 이 작업은 차원 자유 CD(K,∞) 조건에 대해 처음으로 측도 강성 결과를 제공하며, 심지어 Rⁿ에서도 유효하다.