[논문 리뷰] A discontinuous isoperimetric profile for a complete Riemannian manifold

Stefano Nardulli, Pierre Pansu|arXiv (Cornell University)|2015. 06. 16.

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

한 줄 요약

이 논문은 완비적이지만 비콤팩트한 3차원 리만다이내닉 매니폴드에서 연속적이지 않은 등주 프로파일을 갖는 첫 번째 알려진 예를 구성한다. 수축하는 관을 통해 연결된 노름만드의 수열을 이용해, 부피가 1일 때 등주 프로파일이 급격히 떨어지는 매니폴드를 만들었으며, 이는 완비 리만다이내닉 매니폴드에서라도 추가적인 곡률 또는 기하학적 제약 조건이 없으면 등주 프로파일의 연속성이 보장되지 않음을 보여준다.

ABSTRACT

The first known example of a complete Riemannian manifold whose isoperimetric profile is discontinuous is given.

연구 동기 및 목표

• 완비 리만다이내닉 매니폴드가 연속적이지 않은 등주 프로파일을 가질 수 있는지에 대한 열린 문제를 해결하기 위해.
• 최소한의 기하학적 가정 하에 등주 프로파일의 연속성이 성립한다는 추측에 대한 반례를 구성하기 위해.
• 등주 영역의 존재성과 하한 Ricci 곡률 경계가 등주 프로파일의 연속성을 보장하는 데 부족함을 보여주기 위해.
• 노름만드 기하학과 카르노-카라테오도리 메트릭을 활용하여, 비콤팩트 매니폴드에서의 등주 행동에 대한 이해를 확장하기 위해.

제안 방법

• 헤이젠베르크 군의 카르노-카라테오도리 기하학을 이용해, 부피가 $1 + \tau_n$이고 등주 프로파일이 일정하게 아래로 유계인 노름만드 $N_{t_n,\rho_n}$의 분리된 합집합을 구성한다.
• 판수(1983)의 헤이젠베르크 군 내 등주 부등식을 이용해, 각 $N_{t_n,\rho_n}$의 등주 프로파일에 대해 일정한 하한 $c$를 확보함으로써, 작은 부피에 대해 $I_{N_{t_n,\rho_n}}(v) \geq c$임을 보장한다.
• 부피 $w_n$과 면적 $a_n$이 제어된 얇은 관을 통해 연속된 매니폴드를 연결하며, $\sum w_n < 1/2$ 및 $\sum a_n < c/16$가 되도록 선택함으로써, 부피 1에서의 등주 프로파일 하한을 유지한다.
• 부드러움과 제어된 기하학을 확보하기 위해, 수정된 노름만드 $\tilde{N}_n$과 관 $T_n$을 연결합집합 방식으로 결합하여 연결된 매니폴드 $M$을 구성한다.
• 부피 $1 + \alpha_n$인 영역 $D_n = \tilde{N}_n$을 고려함으로써, $\alpha_n \to 0^+$일 때 $I_M(1+\alpha_n) \to 0$임을 보인다.
• 모든 부피 1 영역의 면적을 하한으로 제약함으로써 $I_M(1) \geq c/16 > 0$임을 증명한다. 이는 $\tilde{N}_n$의 하한과 연결 관의 총 면적이 작다는 점을 이용한다.

실험 결과

연구 질문

• RQ1 완비적이며 비콤팩트한 리만다이내닉 매니폴드 중 등주 프로파일이 불연속인 것이 존재하는가?
• RQ2 매니폴드가 완비적이며 유계 기하학을 갖는다고 해도 등주 프로파일이 연속적이지 않을 수 있는가?
• RQ3 완비 매니폴드에서 등주 프로파일의 연속성 확보를 위해 공급되지 않는 볼륨의 비붕괴 조건이 필수적인가?
• RQ4 카르노-카라테오도리 메트릭을 갖는 노름만드를 이용해 등주 프로파일이 불연속인 매니폴드를 구성할 수 있는가?
• RQ5 모든 부피에 대해 등주 영역이 존재한다는 사실이 등주 프로파일의 연속성을 보장하는가?

주요 결과

• 구성된 매니폴드 $M$의 등주 프로파일 $I_M$은 부피 1에서 불연속이며, $\lim_{v \to 1^+} I_M(v) = 0$이다.
• 불연속성에도 불구하고 $I_M(1) \geq c/16 > 0$이며, 여기서 $c$는 헤이젠베르크 군 내 등주 부등식에서 유도된 일정한 하한이다.
• 이 건설은 부피가 $1 + \tau_n$, $\tau_n = 1/n$, $\epsilon_n = \tau_n^3$인 노름만드 $N_{t_n,\epsilon_n}$의 수열을 사용하며, 이는 작은 부피에서 등주 프로파일이 하한으로 유계임을 보장한다.
• 연결 관의 총 부피 $\sum w_n < 1/2$이고 총 면적 $\sum a_n < c/16$이므로, 부피 1 영역의 경계 면적을 하한으로 제약할 수 있다.
• 불연속성은 부피 $1 + \alpha_n$인 영역을 개별 $\tilde{N}_n$ 내에서 선택할 수 있으며 경계 면적이 임의로 작아질 수 있지만, 부피 1 영역은 반드시 여러 구성 요소를 걸쳐야 하므로 연결 관의 상당한 면적을 유산하게 된다는 데 기인한다.
• 결과적으로, 하한 Ricci 곡률 경계와 등주 영역의 존재성만으로는 등주 프로파일의 연속성이 보장되지 않음을 보여주며, 비붕괴 조건의 필요성은 여전히 열려 있다.