[논문 리뷰] Closed self-shrinking surfaces in $\mathbb{R}^3$ via the torus

Niels Martin Møller|arXiv (Cornell University)|2011. 11. 30.

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

한 줄 요약

이 논문은 캐포울레아스의 최소 곡면 이론에 영감을 얻은 접합 구조를 통해 둥근 2차원 구와 안제넨트의 자가수축 토러스의 합집합을 비틀림 없이 다듬음으로써, $ℝ^3$ 내에서 높은 종수 $g = 2k$를 가진 폐쇄적이고 임베딩된 평균 곡률 자가수축 표면을 구성한다. 결과적으로 얻어진 표면은 순서 $2g$의 회전 대칭성을 가지며, 두 알려진 자가수축 표면의 합집합으로 수렴하고, 정량적 안정성 추정과 $ε$-지오데식 곡선에 가까운 경계 조건을 이용하여 존재성이 증명된다.

ABSTRACT

We construct many closed, embedded mean curvature self-shrinking surfaces $Σ_g^2\subseteq\mathbb{R}^3$ of high genus $g=2k$, $k\in \mathbb{N}$. Each of these shrinking solitons has isometry group equal to the dihedral group on $2g$ elements, and comes from the "gluing", i.e. desingularizing of the singular union, of the two known closed embedded self-shrinkers in $\mathbb{R}^3$: The round 2-sphere $\mathbb{S}^2$, and Angenent's self-shrinking 2-torus $\mathbb{T}^2$ of revolution. This uses the results and methods N. Kapouleas developed for minimal surfaces in \cite{Ka97}--\cite{Ka}.

연구 동기 및 목표

• 기존의 구와 안제넨트의 토러스 외에 $ℝ^3$ 내에서 새로운 폐쇄적이고 임베딩된 평균 곡률 자가수축 표면을 구성하기 위해.
• 최소 곡면 이론에서 캐포울레아스의 접합 기법을 평균 곡률 흐름 내 자가수축 표면의 맥락으로 확장하기 위해.
• 대칭성과 제어된 수렴을 갖는 고종수 자가수축 표면의 존재성을 확립하기 위해.
• 접합 절차를 가능하게 하기 위해, 왜곡된 토러스 위에서 선형화된 안정성 연산자의 비퇴화 조건(N1')과 안정성 추정을 검증하기 위해.

제안 방법

• 최소 곡면의 비틀림 기법을 적응하여, 둥근 구와 안제넨트의 토러스를 그들의 교차 곡선을 따라 접합함으로써 자가수축 표면을 구성한다.
• 토러스와 대칭 평면의 교차 원주에 대해 노이만 경계 조건을 사용하여 반사 후에도 매끄럽게 유지되도록 보장한다.
• 왜곡된 토러스 위에서 안정성 연산자 $ℜ = \Delta + |A|^2 + \operatorname{Ric}(\nu,\nu)$ 의 정량적 추정을 활용하여 비퇴화성과 해의 존재성을 검증한다.
• 에르고딕 오차 전파를 제어하기 위해 그론발-벨만 부등식을 적용하여, 근사 표면 상의 $δ$-근접 고유함수와 $η$-지오데식 곡선을 제어한다.
• 테스트 함수와 근사 오차($\varepsilon_i^{B/T}, \delta_i^{B/T}$)의 경계를 사용하여 자코비 장의 위치를 철저한 수치적 검증을 통해 확인한다. 오차 수준은 $10^{-1}$에서 $10^{-3}$ 수준이다.
• 하우스도르프 수렴과 교차 원환면 외부에서의 국소적 매끄러운 수렴을 확립한다.

실험 결과

연구 질문

• RQ1 폐쇄적이고 임베딩된 고종수 자가수축 표면을 기존의 구와 안제넨트 토러스 외에 $ℝ^3$ 내에서 구성할 수 있는가?
• RQ2 대칭성과 안정성 추정에 기반한 접합 기법이 특정 이면 대칭성을 갖는 임베딩 자가수축 표면을 도출할 수 있는가?
• RQ3 왜곡된 토러스 위에서 노이만 조건 하에 선형화된 안정성 연산자의 비퇴화성이 검증될 수 있는가?
• RQ4 접합 프레임워크 내에서 $δ$-고유함수와 $η$-지오데식 곡선의 존재를 보장하기 위해 필요한 정량적 추정은 무엇인가?
• RQ5 결과적으로 얻어진 표면은 $ℝ^2$와 $ℝ^2$의 합집합으로 어떻게 수렴하는가?

주요 결과

• 각 충분히 큰 짝수 종수 $g = 2k$, $k \in \mathbb{N}$에 대해, $ℝ^3$ 내에 종수 $g$를 가진 컴팩트하고 임베딩되며 매끄러운 자가수축 표면 $\Sigma_g^2$ 가 존재한다.
• 구성된 표면 $\Sigma_g^2$ 는 순서 $2g = 4k$인 이면군에 대해 불변하다.
• 수열 $\{\Sigma_g^2\}$ 은 하우스도르프 수렴을 통해 $ℝ^2 \cup \mathbb{T}^2$ 로 수렴하며, 두 교차 원환면 외부에서는 국소적 매끄러운 수렴을 보인다.
• 존재성은 왜곡된 토러스 위에서 안정성 연산자 $ℜ$ 의 노이만 비퇴화 조건 (N1') 과 오차 항의 정량적 제어를 통해 검증된다.
• 그론발-벨만 부등식과 테스트 함수의 철저한 수치적 검증을 통해, 그림에 나타난 자코비 장의 위치가 $ℓ(10^{-1})$에서 $ℓ(10^{-3})$ 오차 범위 내에서 정확하다는 것이 확인된다.
• 초기 조건이 일치하도록 보장함으로써, $|G'(1/2) - g'(1/2)| \leq 813|U(0) - u(0)| + 86\varepsilon_1^B + 3\varepsilon_2^B + \frac{95}{27}\delta_1^B + (\sqrt{2} - a_0)\delta_2^B$ 와 유사한 경계 조건을 확보함으로써 접합이 성공한다.