[논문 리뷰] Optimal transport in Lorentzian synthetic spaces, synthetic timelike Ricci curvature lower bounds and applications

Fabio Cavalletti, Andrea Mondino|arXiv (Cornell University)|2020. 04. 19.

Geometric Analysis and Curvature Flows인용 수 13

한 줄 요약

이 논문은 최적 운반을 통해 루체르티안 프리-길이 공간에서 시간적 리치 곡률 하한을 위한 합성 이론을 수립하며, $\tau$CD$^e$ 및 $\tau$MCP$^e$ 조건을 도입한다. 약한 수렴에 대해 안정성을 증명하고, 체적 비교 및 화이킹 특이점 정리와 같은 고전적 결과를 $C^0$ 계량 및 낮은 정규성의 시공간으로 확장하는 데 응용한다.

ABSTRACT

The goal of the present work is three-fold. The first goal is to set foundational results on optimal transport in Lorentzian (pre-)length spaces, including cyclical monotonicity, stability of optimal couplings and Kantorovich duality (several results are new even for smooth Lorentzian manifolds). The second one is to give a synthetic notion of ``timelike Ricci curvature bounded below and dimension bounded above'' for a measured Lorentzian pre-length space using optimal transport. The key idea being to analyse convexity properties of Entropy functionals along future directed timelike geodesics of probability measures. This notion is proved to be stable under a suitable weak convergence of measured Lorentzian pre-length spaces, giving a glimpse on the strength of the approach we propose. The third goal is to draw applications, most notably extending volume comparisons and Hawking singularity Theorem (in sharp form) to the synthetic setting. The framework of Lorentzian pre-length spaces includes as remarkable classes of examples: space-times endowed with a causally plain (or, more strongly, locally Lipschitz) continuous Lorentzian metric, closed cone structures, some approaches to quantum gravity.

연구 동기 및 목표

• 루체르티안 합성 공간에서 최적 운반 이론의 기초를 구축하며, 순환 단조성과 칸토로비치 이중성 등을 포함한다.
• 시간적 지오데식을 따라 엔트로피 함수의 볼록성에 기반해 '시간적 리치 곡률이 아래로 유계이고 차원이 위로 유계인' 합성 개념을 제안한다.
• 측도가 부여된 루체르티안 프리-길이 공간의 약한 수렴에 대해 합성 곡률 조건의 안정성을 증명한다.
• 체적 비교 및 화이킹 특이점 정리와 같은 고전적 결과를 합성적이고 비스무스한 설정으로 확장한다.
• 이 틀을 $C^0$ 계량, 콘 구조, 양자 중력 모델 등에 적용한다.

제안 방법

• 측도의 $\ell_p$-최적 운반과 역동 계획을 사용하여 루체르티안 프리-길이 공간에서 최적 운반을 체계화한다.
• 확률 측도의 미래 방향 시간적 지오데식을 따라 엔트로피 함수의 볼록성에 기반해 합성 시간적 리치 곡률 하한을 정의한다.
• $\mathsf{TCD}^e_p(K,N)$ 및 $\mathsf{TMCP}^e(K,N)$ 조건을 리치 곡률과 측도 수축 성질의 합성적 대응으로 도입한다.
• 시간 분리 함수 $\tau_x$ 沿해 측도를 분해하여 곡률 조건을 국소화하고 조건부 측도를 분석한다.
• 그로모프의 보조정리와 면적 함수 $A_x(r,v)$ 의 渐近 분석을 적용하여 국소 기하학과 곡률 하한을 연결한다.
• $\mathsf{TMCP}^e(K,N)$ 과 $\mathfrak{s}_{K/(N-1)}$ 함수를 포함하는 일반화된 측도 수축 부등식 간의 동치를 확립한다.

실험 결과

연구 질문

• RQ1 부드럽지 않은 상황에서도 최적 운반 이론이 루체르티안 합성 공간으로 확장될 수 있는가, 특히 순환 단조성과 이중성까지 포함하여?
• RQ2 최적 운반을 통해 비스무스한 루체르티안 공간에서 '시간적 리치 곡률이 아래로 유계'라는 합성 개념을 어떻게 정의할 수 있는가?
• RQ3 제안된 합성 곡률 조건은 측도가 부여된 루체르티안 프리-길이 공간의 약한 수렴에 대해 안정적인가?
• RQ4 체적 비교 및 화이킹 특이점 정리는 $C^0$ 계량 또는 낮은 정규성 기하학을 갖는 시공간으로 확장될 수 있는가?
• RQ5 $\mathsf{TMCP}^e(K,N)$ 합성 조건과 부드러운 시공간에서의 고전적 리치 곡률 하한 $\mathrm{Ric}_g(v,v) \geq -K g(v,v)$ 간의 관계는 무엇인가?

주요 결과

• $\mathsf{TMCP}^e(K,N)$ 조건은 $N \geq n$ 이면 부드러운 시공간에서 $\mathrm{Ric}_g(v,v) \geq -K g(v,v)$ 를 함의하며, $N \to n$ 일 때 극한에서 등호가 성립한다.
• $N > 1$ 이면, 모든 $K \leq c_N / L^2$ 에 대해 $c_N > 0$ 인 $C^0$ 계량, $\mathrm{Ric}_g \geq 0$, 차원 $\leq N-1$, $\tau$-지름 $\leq L$ 인 전역적으로 하이퍼볼릭 시공간은 $\mathsf{TMCP}^e(K,N)$ 를 만족한다.
• $\mathsf{TMCP}^e(K,N)$ 조건은 $\mathsf{wTCD}^e_p(K,N)$ 보다 엄밀히 약한 조건이며, $\mathsf{TMCP}^e(0,N-1)$ 을 만족하지만 $\mathsf{wTCD}^e_p(0,N)$ 을 만족하지 않는 시공간의 존재로 보여진다.
• 엔트로피 함수의 볼록성은 시간적 지오데식을 따라 확률 측도가 이동할 때 합성 시간적 리치 곡률 하한을 특징짓는다.
• $\mathsf{TCD}^e_p(K,N)$ 과 $\mathsf{TMCP}^e(K,N)$ 조건은 측도가 부여된 루체르티안 프리-길이 공간의 약한 수렴에 대해 안정적이다.
• 화이킹 특이점 정리는 합성 프레임워크에서 성립한다: $K > 0$ 인 $\mathsf{TMCP}^e(K,N)$ 는 시공간의 확장 불가능성을 함의한다.