[논문 리뷰] Ricci curvature for metric-measure spaces via optimal transport

John Lott, Cédric Villani|ArXiv.org|2004. 12. 07.

Geometric Analysis and Curvature Flows참고 문헌 1인용 수 9

한 줄 요약

이 논문은 최적 운반과 워셔스타인 공간에서의 이동 볼록성에 기반하여, 측도가 부여된 거리 공간에 대한 새로운 리치 곡률의 개념을 제안한다. 음이 아닌 N-리치 곡률이 측도가 부여된 그로모프-하우스도르프 극한 하에서 보존됨을 입증하고, 기하학적 및 해석적 결과들을 도출하며, 특이점이 있고 비가환적인 설정에서 리치 곡률의 합성적 특성화를 제공한다.

ABSTRACT

We define a notion of a measured length space X having nonnegative N-Ricci curvature, for N finite, or having infinity-Ricci curvature bounded below by K, for K a real number. The definitions are in terms of the displacement convexity of certain functions on the associated Wasserstein space P_2(X) of probability measures. We show that these properties are preserved under measured Gromov-Hausdorff limits. We give geometric and analytic consequences.

연구 동기 및 목표

• 부드러운 리만다이니안 다양체에서의 리치 곡률 개념을 일반적인 거리-측도 공간으로 확장하기 위해.
• 워셔스타인 공간에서의 최적 운반과 이동 볼록성을 이용하여, 아래bound된 합성적 리치 곡률의 개념을 정의하기 위해.
• 결과로 얻어진 공간의 클래스가 측도가 부여된 그로모프-하우스도르프 극한 하에서 닫혀 있음을 보장하여, 컴acts 및 극한 분석이 가능하도록 하기 위해.
• 부드러운 경우에 고전적인 리치 곡률 개념을 회복하고, 비잔연 기하학적 및 해석적 결과들을 도출하기 위해.
• 특이 공간, 예를 들어 극한 공간의 탄성 원뿔이나 리치 곡률의 하한이 존재하는 다양체의 그로모프-하우스도르프 극한 등에서 리치 곡률을 연구하기 위한 프레임워크를 제공하기 위해.

제안 방법

• 거리 공간 $(X,d)$ 상의 보렐 측도의 워셔스타인 공간 $P_2(X)$ 를 정의하고, 거리 $d(x_0,x_1)^2$ 에 기반한 최적 운반 비용으로 유도된 $W_2$ 거리로 장비한다.
• 특히 엔트로피와 거듭제곱 함수와 같은 특정 함수들이 $P_2(X)$ 상에서 이동 볼록성을 보이게 하여 리치 곡률의 하한을 정의한다.
• 워셔스타인 공간에서 엔트로피 함수의 $\frac{1}{N}$-이동 볼록성에 기반하여, $N$-리치 곡률이 아래로 $K$ 에 의해 유계임을 정의함으로써 부드러운 경우를 일반화한다.
• 약한-* 수렴과 이동 볼록성의 안정성에 기반하여, 비음성 $N$-리치 곡률이 측도가 부여된 그로모프-하우스도르프 극한 하에서 보존됨을 보이기 위해 이 이론을 적용한다.
• 부드러운 다양체에서 $P_2(M)$ 상의 형식적 리만 기하학적 구조를 활용하여, 이동 볼록성과 리치 곡률을 연결한다. 오튼과 빌라니의 형식적 계산을 따르는 방식이다.
• 맥캔, 코르데로-에라우스킨, 폰 레네세 등의 다양체에서의 최적 운반 이론 결과를 활용하여, 정의를 거리-측도 공간으로 확장한다.

실험 결과

연구 질문

• RQ1 측도가 부여된 거리 공간에 대해, 고전적인 리만다이니안 개념을 일반화하는 하한이 존재하는 합성적 리치 곡률의 개념을 정의할 수 있는가?
• RQ2 리치 곡률이 하한이 존재하는 측도가 부여된 거리 공간의 클래스는 측도가 부여된 그로모프-하우스도르프 극한 하에서 닫혀 있는가?
• RQ3 워셔스타인 공간에서의 이동 볼록성은 부드러운 경우의 리치 곡률과 어떻게 관련이 있는가?
• RQ4 직접적인 기하학적 및 해석적 결과—예를 들어 지름의 하한과 집중 불등식—은 새로운 정의로부터 유도될 수 있는가?
• RQ5 정의는 탄성 원뿔과 같은 비가환 공간으로 확장될 수 있으며, 이들 역시 리치-정규적인가?

주요 결과

• 비음성 $N$-리치 곡률을 가진 측도가 부여된 거리 공간의 클래스는 측도가 부여된 그로모프-하우스도르프 극한 하에서 닫혀 있으며, 수렴에 대해 안정성을 보장한다.
• 비음성 $N$-리치 곡률을 가진 공간의 탄성 원뿔은 비음성 $N$-리치 곡률을 유지하며, 티처-콜딩의 결과를 일반화한다.
• 정의는 부드러운 리만다이니안 경우에서 고전적인 리치 곡률 하한을 회복하며, 일관성을 검증한다.
• 엔트로피 함수의 $P_2(X)$ 상에서의 이동 볼록성은 하한 리치 곡률의 특성을 특징짓는다. 이는 맥캔의 결과와 오튼–빌라니의 결과를 측도가 부여된 거리 공간으로 확장한다.
• 이 프레임워크를 통해 탈라그랑드 및 로그-소볼레프 유형의 부등식을 통해 지름의 하한과 집중 불등식과 같은 기하학적 결과를 도출할 수 있다.
• 측도의 투영의 약한-* 극한 하에서 이론이 안정되어 있으며, 극한 구성에서의 강건성을 보장한다.