[논문 리뷰] The isoperimetric inequality for a minimal submanifold in Euclidean space

Simon Brendle|arXiv (Cornell University)|2019. 07. 22.

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

한 줄 요약

이 논문은 $ℝ^{n+2}$ 내의 컴act한 $n$-차원 부분다양체에 대해 날카로운 소볼레프 부등식을 확립하며, 이sovolumetric 부등식이 등호로 성립함과 동시에 부분다양체가 평탄한 원판 모양의 공임을 증명한다. 증명은 캘리브레이티드 벡터장 구성과 최적 운반에 기반한 추론을 사용하여 평균 곡률과 가중치 함수를 포함하는 날카로운 부등식을 도출하며, 최소 표면에 대한 기존 결과를 더 높은 코드로 확장하고 오랫동안 제기된 추측을 확인한다.

ABSTRACT

We prove a Sobolev inequality which holds on submanifolds in Euclidean space of arbitrary dimension and codimension. This inequality is sharp if the codimension is at most 2. As a special case, we obtain a sharp isoperimetric inequality for minimal submanifolds in Euclidean space of codimension at most 2.

연구 동기 및 목표

• 유클리드 공간 내 임의의 차원과 코드를 가진 부분다양체에 대해 날카로운 소볼레프 부등식을 증명하기.
• $\mathbb{R}^{n+1}$ 및 $\mathbb{R}^{n+2}$ 내 최소 부분다양체에 대해 등체적 부등식이 성립한다는 오랫동안 제기된 추측을 해결하기.
• 코드가 2 이하인 최소 부분다양체에 대해 등체적 부등식의 등호 조건을 특성화하기.
• 경계가 있는 부분다양체를 포함하여 초표면을 초월한 최소 부분다양체에 대해 고전적 등체적 부등식을 확장하기.
• 부분다양체의 등체적 부등식을 위한 기하학적 분석 및 최적 운반에 기반한 기법을 통합하는 프레임워크 제공하기.

제안 방법

• 함수의 그래디언트의 $L^2$-노름과 부분다양체 위의 평균 곡률 벡터를 포함하는 일반적인 소볼레프 유형 부등식 유도하기.
• 가중치 함수 $f$와 평균 곡률을 포함하는 발산 방정식의 해 $u$를 통해 캘리브레이티드 벡터장 구성하기.
• 반지름이 얇은 애너루스에서 부분다양체 $\Sigma$로의 운반 지도를 사용하여 체적을 비교하고, 등호가 성립하지 않을 경우 모순을 이끌어내기.
• 알렉산드로프-바켈레프-푸키 최대원리 기법을 적용하여 제2 기본형과 $u$의 그래디언트를 통제하기.
• 타원형 정규성 이론을 활용하여 $u$가 $C^{2,\gamma}$임을 보장하고 곡률 및 그래디언트 행동의 엄밀한 분석 가능하게 하기.
• 밀도 추론과 모순을 이용하여 등호 조건이 제2 기본형이 0이 되고 $f$가 일정함을 이끌어내어 평탄한 원판 모양의 공으로 이어지게 하기.

실험 결과

연구 질문

• RQ1 비틀림이 있는 코드를 가진 최소 부분다양체에 대해 고전적 등체적 부등식이 $ℝ^{n+2}$ 내에서 성립하는가?
• RQ2 유클리드 공간 내 임의의 차원과 코드를 가진 부분다양체에 대해 날카로운 소볼레프 부등식을 확립할 수 있는가?
• RQ3 코드가 2 이하인 최소 부분다양체에 대해 등체적 부등식의 등호 조건은 무엇인가?
• RQ4 $ℝ^{n+2}$ 내의 컴팩트한 최소 부분다양체 중에서 등체적 비율을 최소화하는 유일한 최소화자는 평탄한 원판 모양의 공인가?
• RQ5 최적 운반 또는 캘리브레이티드 기하학 기법을 사용하여 최소 부분다양체에 대한 날카로운 기하학적 부등식을 증명할 수 있는가?

주요 결과

• 논문은 $ℝ^{n+2}$ 내의 $n$-차원 부분다양체에 대해 날카로운 소볼레프 부등식을 증명하며, 이때 상수 $n|B^n|^{1/n}$는 최적임을 보였다.
• 등체적 부등식의 등호 조건은 부분다양체가 $n$-차원 아핀 부분공간 내의 평탄한 원판 모양의 공일 때에만 성립한다.
• $\mathbb{R}^{n+2}$ 내 최소 부분다양체에 대해 날카로운 등체적 부등식 $|\partial\Sigma| \geq n|B^n|^{1/n}|\Sigma|^{(n-1)/n}$ 이 성립하며, 등호 조건은 $\Sigma$가 평탄한 원판 모양의 공일 때에만 성립한다.
• 증명은 등호 조건에서 제2 기본형이 식별적으로 0이 되고 가중치 함수 $f$가 부분다양체 위에서 일정함을 보여준다.
• 이 방법은 유일한 최소화자가 원판 모양의 공임을 확인하여 부분다양체 기하학에서 오랫동안 제기된 추측을 해결한다.
• 이 결과는 1921년 칼레만의 최소 표면에 대한 등체적 부등식을 모든 차원과 코드가 2 이하인 경우로 확장한다.