[논문 리뷰] Min-max theory for constant mean curvature hypersurfaces

Xin Zhou, Jonathan J. Zhu|arXiv (Cornell University)|2017. 07. 25.

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

한 줄 요약

이 논문은 차원이 7 이하인 닫힘 리만다이만포탄에서 임의의 주어진 평균곡률 $c$를 갖는 일정 평균곡률(CMC) 초곡면을 구성하기 위한 최소-최대 이론을 수립한다. $\mathcal{A}^c$-함수를 기반으로 한 변분 접근법을 사용하여, 모든 $c \in \mathbb{R}$에 대해 비자명하고, 매끄럽고, 닫혀 있으며, 거의 임베딩된 CMC 초곡면이 존재함을 증명한다. $c \neq 0$일 경우 다중도가 1임을 보장하며, 아르놀트-노빅표의 추측의 고차원 버전을 해결한다.

ABSTRACT

In this paper, we develop a min-max theory for the construction of constant mean curvature (CMC) hypersurfaces of prescribed mean curvature in an arbitrary closed manifold. As a corollary, we prove the existence of a nontrivial, smooth, closed, almost embedded, CMC hypersurface of any given mean curvature $c$. Moreover, if $c$ is nonzero then our min-max solution always has multiplicity one.

연구 동기 및 목표

• 닫힘 리만다이만포탄에서 주어진 평균곡률를 갖는 일정 평균곡률(CMC) 초곡면을 구성하기 위한 최소-최대 이론을 개발하는 것.
• 다른 많은 이전 연구에도 불구하고 여전히 열려 있던, 주어진 평균곡률 $c$에 대해 닫힘 CMC 초곡면의 존재 문제를 해결하는 것.
• 최소-최대 구성이 $c \neq 0$일 경우 다중도가 1인 해를 얻음을 보장함으로써, 최소 경우($c=0$)와는 뚜렷이 대비되는 결과를 도출하는 것. 최소 경우에서는 다중도가 1이라는 것이 아직 추측에 머물러 있다.
• 최소 초곡면에서의 최소-최대 프레임워크를 $\mathcal{A}^c$-함수를 변분 함수로 사용하여 CMC 설정으로 확장하는 것.

제안 방법

• $\mathcal{A}^c$-함수, 즉 $\operatorname{Area} - c \operatorname{Vol}$로 정의된 함수를 CMC 초곡면의 라그랑주 승수 함수로 사용한다.
• 전체 다각형이 최소화자임으로 인해 최소화가 실패하는 문제를 피하기 위해, 정수 코어런트의 연속적인 가족 위에서 $\mathcal{A}^c$-함수에 대해 최소-최대 절차를 적용한다.
• 초기 스위프아웃의 연속적인 변형을 벡터장에 의해 수행한 후, 정수 코어런트 공간에서 연속적인 가족을 생성하기 위해 보간을 수행한다.
• 핵심 기술적 단계로, [60, 정리 5.1]의 보간 결과를 사용하여 질량과 플랫 노름이 통제된 새로운 코어런트 가족을 생성함으로써, 임계점으로 수렴함을 보장한다.
• 정상적인 변형체에 대한 좋은 교체 성질에 의존하여 국소적 교체 방법을 통해 정규성 제어를 가능하게 한다.
• 최소-최대 값의 호모토피 불변성과 연속성 증명을 통해, 극한 변형체가 $\mathcal{A}^c$-함수에 대해 정상적인 정수 변형체임을 증명한다.

실험 결과

연구 질문

• RQ1 주어진 닫힘 리만다이만포탄에서 평균곡률 $c$에 대해, 비자명하고, 매끄럽고, 거의 임베딩된 CMC 초곡면이 존재하는가?
• RQ2 최소화가 실패함에도 불구하고, $\mathcal{A}^c$-함수에 대해 최소-최대 방법이 비자명한 CMC 초곡면을 성공적으로 적응시킬 수 있는가?
• RQ3 최소-최대 구성이 $c \neq 0$일 경우 다중도가 1인 해를 얻는가? 이는 최소 경우($c=0$)와 어떻게 다를까?
• RQ4 최소 초곡면의 정규성 이론과 일치하는 변분 접근법을 통해, 차원이 7 이하인 범위에서 CMC 초곡면의 존재를 확립할 수 있는가?
• RQ5 이 최소-최대 프레임워크를 통해 $S^2$ 위의 주어진 지오데식 곡률을 갖는 닫힌 곡선에 대한 아르놀트-노빅표 추측이 고차원에서 해결되었는가?

주요 결과

• 모든 닫힘 리만다이만포탄 $M^{n+1}$에 대해 $3 \leq n+1 \leq 7$ 이고, 모든 $c \in \mathbb{R}$에 대해, 비자명하고, 매끄럽고, 닫혀 있으며, 거의 임베딩된 초곡면 $\Sigma^n$이 일정 평균곡률 $c$를 갖는다.
• $c \neq 0$일 경우 최소-최대 해는 다중도가 1임이 보장되며, 이는 최소 경우($c=0$)와는 뚜렷이 대비되는데, 그 경우 다중도가 1이라는 것은 여전히 추측에 머물러 있다.
• $\mathcal{A}^c$-함수를 통한 최소-최대 구성은 비자명한 임계점을 성공적으로 탐지하며, 항상 전체 다각형 $M$을 최소화자로 내보내는 직접 최소화의 실패를 극복한다.
• 이 방법은 특이점 집합의 여차원이 최소 7 이상인 곳을 제외하고는 정규(매끄러운)인 정수 변형체를 생성한다. 이는 최소 초곡면의 정규성 이론과 일치한다.
• 연속적인 변형과 보간에 대해 강건하여, 극한이 원하는 CMC 초곡면을 생성하는 연속적인 코어런트 가족의 존재를 보장한다.
• 이 결과는 지오데식 곡률가 주어진 닫힌 곡선에 대한 아르놀트-노빅표 추측의 고차원 버전을 완전히 해결한다.