[논문 리뷰] Sub-Riemannian interpolation inequalities: ideal structures

Davide Barilari, Luca Rizzi|arXiv (Cornell University)|2017. 05. 15.

Geometric Analysis and Curvature Flows참고 문헌 11인용 수 4

한 줄 요약

이 논문은 비자명한 비정상 최소화자가 없는 이상적인 부분리만다이니안 다양체에서 최적 운반의 보간 부등식을 도출한다. 이는 부분리만다이니안 자코비 장과 비틀림 계수를 분석함으로써 이루어지며, 이는 리만다이니안 경우와 근본적으로 다름. 자르 경계를 제곱 거리 함수의 준볼록성 실패 집합으로 특성화하고, 날카운 내재적 보렐-브라스앰프-라이브 및 기하학적 브룬-민코프스키 부등식을 유도하며, 이는 이전 결과를 일반화된 H-형 캐노노 그룹과 분포의 계수가 일정하지 않은 그루신 평면으로 확장한다.

ABSTRACT

We prove that ideal sub-Riemannian manifolds (i.e., admitting no non-trivial abnormal minimizers) support interpolation inequalities for optimal transport. A key role is played by sub-Riemannian Jacobi fields and distortion coefficients, whose properties are remarkably different with respect to the Riemannian case. As a byproduct, we characterize the cut locus as the set of points where the squared sub-Riemannian distance fails to be semiconvex, answering to a question raised by Figalli and Rifford in [Geom. Funct. Anal. (2010) 20: 124]. As an application, we deduce sharp and intrinsic Borell-Brascamp-Lieb and geodesic Brunn-Minkowski inequalities in the aforementioned setting. For the case of the Heisenberg group, we recover in an intrinsic way the results recently obtained by Balogh, Krist\'aly and Sipos in [arXiv:1605.06839], and we extend them to the class of generalized H-type Carnot groups. Our results do not require the distribution to have constant rank, yielding for the particular case of the Grushin plane a sharp measure contraction property and a sharp Brunn-Minkowski inequality.

연구 동기 및 목표

• 비자명한 비정상 최소화자가 없는 다양체에서 부분리만다이니안 기하학에서 최적 운반의 보간 부등식을 수립하는 것.
• 제곱 거리 함수의 준볼록성 실패에 따라 자르 경계를 특성화하는 것.
• 부분리만다이니안 환경에서 날카운 내재적 보렐-브라스앰프-라이브 및 기하학적 브룬-민코프스키 부등식을 도출하는 것.
• 헤이젠베르그 군에 대한 최근 결과를 일반화하여 일반화된 H-형 카노노 그룹으로 확장하는 것.
• 분포의 계수가 일정하지 않은 경우에도 최적의 측도 수축 성질을 제공하는 것.

제안 방법

• 리만다이니안 경우와는 근본적으로 다름을 보이는 부분리만다이니안 자코비 장과 그들의 비틀림 계수 분석.
• 기하 제어 이론을 활용해 이상적인 부분리만다이니안 다양체를 비자명한 비정상 최소화자가 존재하지 않는 것으로 식별.
• 부분리만다이니안 구조에 적응된 곡률-차원 조건을 활용한 최적 운반 이론을 적용해 보간 부등식 도출.
• 내재 기하 분석을 통해 제곱 거리 함수의 준볼록성 실패 집합으로서 자르 경계를 식별.
• 구조적 불변성과 내재적 방법을 통해 헤이젠베르그 군의 결과를 일반화된 H-형 카노노 그룹으로 확장.
• 분포의 계수가 일정하지 않은 조건에서도 그루신 평면에 대해 날카운 측도 수축 성질을 유도.

실험 결과

연구 질문

• RQ1 비자명한 비정상 최소화자가 없는 부분리만다이니안 다양체에서 최적 운반의 보간 부등식을 어떻게 수립할 수 있는가?
• RQ2 부분리만다이니안 기하학에서 자르 경계의 내재적 특성은 무엇이며, 제곱 거리 함수의 준볼록성과는 어떻게 관련되는가?
• RQ3 리만다이니안 근사 없이 부분리만다이니안 환경에서 날카운 보렐-브라스앰프-라이브 및 기하학적 브룬-민코프스키 부등식을 도출할 수 있는가?
• RQ4 헤이젠베르그 군에 대한 결과는 일반화된 H-형 카노노 그룹의 클래스로 얼마나 넓게 일반화할 수 있는가?
• RQ5 분포의 계수가 일정하지 않은 경우 그루신 평면에 대한 날카운 측도 수축 성질과 브룬-민코프스키 부등식은 무엇인가?

주요 결과

• 이상적인 부분리만다이니안 다양체에서 자르 경계는 제곱 거리 함수의 준볼록성 실패가 발생하는 점들의 집합으로 정확히 특성화되며, 피갈리와 리포르의 제기한 질문을 해결한다.
• 부분리만다이니안 자코비 장과 비틀림 계수는 리만다이니안 경우와 근본적으로 다른 구조적 특성을 보이며, 이는 보간 부등식 유도에 필수적이다.
• 일반화된 H-형 카노노 그룹 포함, 이상적인 부분리만다이니안 다양체에 대해 날카운 내재적 보렐-브라스앰프-라이브 및 기하학적 브룬-민코프스키 부등식이 수립된다.
• 외부 임bedding이나 근사 없이도 최근 헤이젠베르그 군 결과를 내재적이고 기하학적으로 자연스러운 방식으로 복원 및 확장한다.
• 그루신 평면에 대해서는 분포의 계수가 일정하지 않음에도 불구하고 날카운 측도 수축 성질과 날카운 브룬-민코프스키 부등식을 도출한다.
• 이 틀은 분포의 계수가 일정하지 않은 일반적인 부분리만다이니안 구조에도 적용 가능하며, 이러한 부등식의 적용 범위를 넓힌다.