[논문 리뷰] Stable complete embedded minimal surfaces in $\mathbb H^1$ with empty characteristic locus are vertical planes

Donatella Danielli, Nicola Garofalo외 2명|ArXiv.org|2009. 03. 25.

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

한 줄 요약

이 논문은 헤이젠베르크 군 $ℂ^1$에서 $C^2$이고 완전하며 임베딩된 최소 표면이 특성 구역이 비어 있을 경우, 수직 평면이어야 한다고 규명한다. 증명은 비평면 최소 표면으로부터 내재적 그래프 스트립을 구성하고, 안정성 분석을 위해 제2변분 공식을 적용하는 데 기반한다. 주요 기여는 안정한 최소 표면에 대한 고전적 버진스테인 정리의 부분 리만 기하학적 유사 정리이다.

ABSTRACT

In the recent paper \cite{DGNP} we have proved that the only stable $C^2$ minimal surfaces in the first Heisenberg group $\Hn$ which are graphs over some plane and have empty characteristic locus must be vertical planes. This result represents a sub-Riemannian version of the celebrated theorem of Bernstein. In this paper we extend the result in \cite{DGNP} to $C^2$ complete embedded minimal surfaces in $\mathbb H^1$ with empty characteristic locus. We prove that every such a surface without boundary must be a vertical plane.

연구 동기 및 목표

• 완전히 임베딩된 최소 표면에 대해 $ℂ^1$ 내에서 $xy$-평면 위의 그래프가 아닌 경우에도 부분 리만 기하학적 버진스테인 정리를 확장하기.
• 특성 구역이 비어 있는 $ℂ^1$ 내에서 유일한 안정적이고 완전하며 임베딩된 $H$-최소 표면은 수직 평면임을 증명하기.
• 비특성 조건 하에 비평면적이고 안정적이며 완전하고 임베딩된 $H$-최소 표면이 존재하지 않음을 확립하기.
• 비평면적이고 완전하며 임베딩된 $H$-최소 표면이 반드시 불안정해야 하며, 이를 제2변분 분석을 통해 보여주기.

제안 방법

• 표면 위의 점 주변의 국소적 매개변수화를 구성하기 위해, 표면의 내재 기하학에 기반한 사상 $π$를 사용하여 $ℝ \times J$에서 $ℂ^1$로의 사상 정의하기.
• 다른 미분동형사상 $Ψ$의 역함수를 통해 유도된 $s = s(u,v)$를 이용해 $ψ(u,v) = F(s) + uG(s)$로 정의된 내재적 그래프 스트립 정의하기. 이는 표면이 수직 평면 위의 국소적 그래프로 표현됨을 보장한다.
• 부분 리만 기하학적 환경에서 면적 함수의 제2변분 공식을 적용하여 표면의 안정성 분석하기.
• 함수 $v(u,s)$가 $s$에 대해 단조 증가하고, 사상 $Ψ$가 가역임을 이용하여 그래프 표현이 잘 정의되고 정칙함을 보장하기.
• 비평면 표면이 반드시 내재적 그래프 영역을 포함함을 증명하여, 안정성 기준의 적용 가능성을 확보하기.
• 제2변분 공식과 함수 $F, G, \sigma, \Psi$의 구조에 기반해, 이러한 비평면 표면이 안정성을 위반함을 보여 모순을 유도하기.

실험 결과

연구 질문

• RQ1 특성 구역이 비어 있는 $ℂ^1$ 내에서 비평면적이고 완전하며 임베딩된 $H$-최소 표면이 존재할 수 있는가?
• RQ2 안정성 조건이 부분 리만 기하학적 환경에서 이러한 표면이 평면이 되도록 강제하는가?
• RQ3 특성 구역이 $ℂ^1$ 내에서 비평면 최소 그래프의 존재에 미치는 구조적 역할은 무엇인가?
• RQ4 비평면 내재 그래프에서 면적 함수의 제2변분은 $ℂ^1$에서 어떻게 행동하는가?
• RQ5 모든 비평면적이고 완전하며 임베딩된 $H$-최소 표면은 수직 평면 위의 내재적 그래프로 국소적으로 표현될 수 있는가?

주요 결과

• 특성 구역이 비어 있고 $C^2$이며 완전하고 임베딩된 $H$-최소 표면이 수직 평면이 아닌 경우, 반드시 수직 평면 위의 내재적 그래프 스트립을 포함한다.
• 이러한 그래프 스트립의 존재는 제2변분 공식에 의해 불안정성을 암시하며, 안정성 가정과 모순된다.
• 비평면적이고 비특성 조건을 만족하는 표면는 $F'(s)^2 - 2\sigma'(s)G'(s) < 0$의 부호 조건과 그로 인한 최소화되지 않는 행동으로 인해 안정성이 불가능하다.
• 사상 $\Psi: \mathbb{R} \times J \to \mathbb{R}^2$는 그 이미지 위로 미분동형사상이므로 그래프 표현이 정칙하고 가역적임을 보장한다.
• 내재적 그래프 매개변수화 $\Phi(u,v)$는 헤이젠베르크 군 내 곡선의 좌측 불변 이동으로 표면을 복원함으로써 기하학적 구조를 확인한다.
• 특성 구역이 비어 있고 안정적이며 완전하고 임베딩된 $H$-최소 표면이 존재하는 유일한 경우는 수직 평면이며, 이는 고전적 버진스테인 정리의 부분 리만 기하학적 유사 정리로 확립된다.