[논문 리뷰] The isoperimetric problem via direct method in noncompact metric measure spaces with lower Ricci bounds

Gioacchino Antonelli, Stefano Nardulli외 1명|Virtual Community of Pathological Anatomy (University of Castilla La Mancha)|2022. 01. 10.

Nonlinear Partial Differential Equations인용 수 5

한 줄 요약

이 논문은 하한 Ricci 곡률을 가진 비콤팩트 $ΝΓΔ(K,N)$ 공간에서 최소화 수열에 대한 구조 정리를 수립하며, 이러한 수열이 무한대에서의 점지적 Gromov–Hausdorff 수렴에서 유한 개의 등주 영역으로 분해됨을 증명한다. 주요 기여는 일반화된 컴팩트니스 결과와 최소화 수열이 질량 손실 없이 수렴함을 보장하는 동치 조건을 제시한 것으로, 이는 미분기하학적 구조가 없고 비콤팩트인 측도 공간에 대해 합성 Ricci 곡률 하한이 있는 경우에도 직접 방법을 확장한다.

ABSTRACT

We establish a structure theorem for minimizing sequences for the isoperimetric problem on noncompact $\mathsf{RCD}(K,N)$ spaces $(X,\mathsf{d},\mathcal{H}^N)$. Under the sole (necessary) assumption that the measure of unit balls is uniformly bounded away from zero, we prove that the limit of such a sequence is identified by a finite collection of isoperimetric regions possibly contained in pointed Gromov--Hausdorff limits of the ambient space $X$ along diverging sequences of points. The number of such regions is bounded linearly in terms of the measure of the minimizing sequence. The result follows from a new generalized compactness theorem, which identifies the limit of a sequence of sets $E_i\subset X_i$ with uniformly bounded measure and perimeter, where $(X_i,\mathsf{d}_i,\mathcal{H}^N)$ is an arbitrary sequence of $\mathsf{RCD}(K,N)$ spaces. An abstract criterion for a minimizing sequence to converge without losing mass at infinity to an isoperimetric set is also discussed. The latter criterion is new also for smooth Riemannian spaces.

연구 동기 및 목표

• 고전적 컴팩트니가 실패하는 비콤팩트 측도 공간에서 하한 Ricci 곡률을 가진 등주 영역의 존재성을 다루는 것.
• 부드러운 리만다이너만이 아닌 특이적이고 비콤팩트한 $ΝΓΔ(K,N)$ 공간으로 등주 문제에 대한 직접 방법을 일반화하는 것.
• 최소화 수열에서의 질량 손실을 무한대에서 분석하고, 이러한 수열의 극한 구조를 규명하는 것.
• 최소화 수열이 무한대로 질량이 유출되지 않고 $L^1$에서 강한 수렴을 보이게 하는 조건을 제공하는 것.
• 무한대에서의 등주 프로파일과 공간의 점지적 Gromov–Hausdorff 극한의 기하학 사이의 연결 고리를 설정하는 것.

제안 방법

• 측도와 경계 길이가 일관되게 유계인 $ΝΓΔ(K,N)$ 공간에서 집합 수열에 대한 일반화된 컴팩트니스 정리를 도입한다.
• 집합 수열을 수렴하는 부분과 무한대에서 산산이 흩어지는 부분으로 분해하기 위해 농도-콤팩트니스 원리를 적용한다.
• 무한대에서 발산하는 점 수열의 점지적 Gromov–Hausdorff 극한을 이용해 극한 등주 영역을 식별한다.
• 이상한 극한 공간에서의 집합 집합들의 총 경계 길이의 하한으로서 무한대에서의 등주 프로파일 $I^{∞}_{X}$를 정의한다.
• 큰 공 안에서 경계 기여를 제어하기 위해 컷오프 함수와 경계 길이 분해를 포함한 변분적 접근을 사용한다.
• 질량 손실이 무한대에서 발생할 경우 등주 프로파일에서 엄격한 부등식이 성립한다는 가정을 반증을 통해 최소화 수열의 전컴팩트 수렴을 위한 동치 조건을 수립한다.

실험 결과

연구 질문

• RQ1 비콤팩트 $ΝΓΔ(K,N)$ 공간에서 등주 문제의 최소화 수열이 무한대에서 질량 손실 없이 수렴하는 조건은 무엇인가?
• RQ2 비콤팩트 측도 공간에서 질량이 무한대로 유출될 경우 최소화 수열의 구조는 어떻게 분해될 수 있는가?
• RQ3 무한대에서의 등주 프로파일과 환경 공간의 이론적 극한 공간의 기하학 사이의 정확한 관계는 무엇인가?
• RQ4 합성 Ricci 곡률 하한이 있는 비미분가능하고 비콤팩트 공간으로 등주 문제에 대한 직접 방법을 확장할 수 있는가?
• RQ5 비콤팩트 $ΝΓΔ(K,N)$ 공간에서 최소화 수열이 $L^1$에서 등주 영역로 강한 수렴을 보이게 하는 조건은 무엇인가?

주요 결과

• 비콤팩트 $ΝΓΔ(K,N)$ 공간에서 임의의 최소화 수열의 극한은 각각 무한대에서의 점지적 Gromov–Hausdorff 극한에 포함된 유한 개의 등주 영역의 합집합이다.
• 이러한 영역의 수는 최소화 수열의 측도에 대해 선형적으로 유계이다.
• 최소화 수열이 무한대에서 질량 손실 없이 $L^1$에서 강한 수렴을 보일 조건은 모든 $V_1 + V_2 = V$에 대해 $I_X(V) = I_X(V_1) + I^{∞}_X(V_2)$를 만족함과 동치이다.
• 무한대에서의 등주 프로파일 $I^{∞}_X$는 무한대에서의 모든 이론적 극한 공간의 분리 합집합의 등주 프로파일과 일치한다.
• 단지 단위 공의 측도가 0으로부터 일관되게 떨어져 있음을 가정함으로써 등주 영역의 존재성이 보장되며, 이는 미분 가능성이나 이론적 대칭성의 부재에도 불구하고 성립한다.
• 이 논문은 심지어 부드러운 리만다이너 다양체의 맥락에서도 새로운 컴팩트니 조건을 제공한다.