[논문 리뷰] Sharp isoperimetric comparison on non-collapsed spaces with lower Ricci bounds

Gioacchino Antonelli, Enrico Pasqualetto외 2명|arXiv (Cornell University)|2022. 01. 13.

Geometric Analysis and Curvature Flows인용 수 10

한 줄 요약

이 논문은 비가속 RCD(K,N) 공간에서 하한이 있는 리치 곡률을 가진 경우에 대해 날카운 이소페리메트릭 비교 정리와 차원적으로 볼록하지 않은 이소페리메트릭 프로파일 성질을 증명한다. 이는 전통적인 정규성 이론에 의존하지 않는 새로운 제1 및 제2변분 추정을 사용하고, 면적 최소화 수열의 점근적 질량 분해를 결합함으로써 달성된다. 핵심 기여는 이소페리메트릭 집합에서의 거리 함수에 대한 날카운 라플라스 비교 정리를 제공함으로써, 매끄럽고 비콤팩트인 설정에서도 새로운 결과를 이끌어내는 데 있다.

ABSTRACT

This paper studies sharp isoperimetric comparison theorems and sharp dimensional concavity properties of the isoperimetric profile for non smooth spaces with lower Ricci curvature bounds, the so-called $N$-dimensional ${ m RCD}(K,N)$ spaces $(X,\mathsf{d},\mathscr{H}^N)$. The absence of most of the classical tools of Geometric Measure Theory and the possible non existence of isoperimetric regions on non compact spaces are handled via an original argument to estimate first and second variation of the area for isoperimetric sets, avoiding any regularity theory, in combination with an asymptotic mass decomposition result of perimeter-minimizing sequences. Most of our statements are new even for smooth, non compact manifolds with lower Ricci curvature bounds and for Alexandrov spaces with lower sectional curvature bounds. They generalize several results known for compact manifolds, non compact manifolds with uniformly bounded geometry at infinity, and Euclidean convex bodies.

연구 동기 및 목표

• 콤팩트 리만 다양체에서의 날카운 이소페리메트릭 비교 정리를 비콤팩트이자 비매끄러운 공간으로 확장하여, 하한이 있는 리치 곡률 조건을 만족하는 경우에 적용 가능하게 한다.
• 비콤팩트 공간에서 이소페리메트릭 영역의 존재하지 않음과 정규성 부족의 과제를 극복한다.
• 전통적인 정규성 이론에 의존하지 않는 제1 및 제2변분의 면적 추정을 위한 새로운 방법을 개발한다.
• 낮은 정규성 조건 하에서 이소페리메트릭 집합의 거리 함수에 대한 라플라스 비교 정리를 수립한다.
• 균일한 볼의 부피 하한 조건 하에서, 지표 측정 Gromov–Hausdorff 수렴에 따른 이소페리메트릭 영역의 Gromov–Hausdorff 안정성과 수렴성을 증명한다.

제안 방법

• RCD(K,N) 공간에서 이소페리메트릭 집합의 면적에 대한 새로운 제1 및 제2변분 추정을 도입하여, 전통적인 정규성 이론의 필요성을 피한다.
• 면적 최소화 수열에 대한 점근적 질량 분해 결과를 사용하여 무한대에서의 행동을 제어한다.
• 이소페리메트릭 집합의 경계에서의 부호가 있는 거리 함수에 대한 날카운 라플라스 비교 정리를 수립한다.
• 비콤팩트 공간에서 이소페리메트릭 영역의 존재하지 않음을 다루기 위해 농도-콤팩턴스 추론 기법을 적용한다.
• 유한한 경계 길이 집합 이론을 RCD(K,N) 공간에서 활용하며, 여기서 경계의 (N−1)차원 하우스도르프 측도와 경계 길이가 일치함을 이용한다.
• 균일한 평균 곡률 장벽과 경계의 하우스도르프 수렴 조건 하에서, 지표 측정 Gromov–Hausdorff 수렴에 따른 이소페리메트릭 영역의 안정성을 증명한다.

실험 결과

연구 질문

• RQ1 하한이 있는 리치 곡률 조건을 만족하는 비콤팩트이고 비매끄러운 RCD(K,N) 공간으로 날카운 이소페리메트릭 비교 정리를 확장할 수 있는가?
• RQ2 이러한 공간에서 정규성 이론에 의존하지 않고 제1 및 제2변분의 면적을 어떻게 추정할 수 있는가?
• RQ3 비콤팩트 설정에서 면적 최소화 수열 분석에 있어 점근적 질량 분해의 역할은 무엇인가?
• RQ4 단위 볼의 부피에 대한 균일한 하한 조건 하에서, 이소페리메트릭 영역의 균일한 지름 하한을 유도할 수 있는가?
• RQ5 지표 측정 Gromov–Hausdorff 수렴에서, 어떤 조건 하에 이소페리메트릭 영역이 하우스도르프 거리 수렴을 보이는가?

주요 결과

• 낮은 정규성 조건 하에서, 이소페리메트릭 집합의 경계에서의 거리 함수에 대한 날카운 라플라스 비교 정리가 수립되었으며, 이는 낮은 정규성 조건에서 기존의 제1 및 제2변분 추론 기법을 대체한다.
• 모든 RCD(KR⁻²,N) 공간에서 R-볼의 부피에 대한 균일한 하한 조건이 만족될 경우, 부피 ≤ C(K,N,v₀)Rᴺ 인 이소페리메트릭 영역의 지름은 C(K,N,v₀) × 그 부피의 N제곱근으로 유계가 된다.
• K=0 이고 AVRs 가 A>0 로 하한이 있을 경우, 임의의 이소페리메트릭 영역 E 에 대해 diam(E) ≤ C(0,N,Aωₙ) ℋᴺ(E)¹ᐟᴺ 이 성립한다.
• 단위 볼의 부피에 대한 균일한 하한 조건이 만족될 경우, 지표 측정 Gromov–Hausdorff 수렴 하에서 이소페리메트릭 영역의 평균 곡률 장벽은 균일하게 유계가 된다.
• 볼의 부피에 대한 균일한 하한 조건 하에서 지표 측정 Gromov–Hausdorff 수렴이 이루어질 경우, 이소페리메트릭 영역은 L¹ 수렴을 보이며, 그 경계는 하우스도르프 거리 수렴을 하며, 극한 집합은 이소페리메트릭이다.
• 매끄러운 경우에서 [83, Lemma 4.9]의 결과를 개선하여, 가정 (H)를 제거하고 단지 단위 볼의 하한 부피 조건만으로도 비매끄러운 RCD 공간으로 일반화한다.