[논문 리뷰] Minimal surfaces in $R^3$ with dihedral symmetry

Wayne Rossman|ArXiv.org|2008. 04. 26.

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

한 줄 요약

이 논문은 $ℝ^3$ 내에 이방형 대칭 $D_n \times \mathbb{Z}_2$를 갖는 새로운 잠수된 최소 표면의 가닥을 구성한다. 이 가닥에는 고리수 0 및 고리수 1 이상의 예제들이 포함되며, 고리수 0의 경우는 고리수 0의 예제들이 최대 $2n+1$ 개의 끝을 갖는 경우를 포함한다. 볼록 도메인을 초월하는 방법을 적용한 쌍대 표면 방법을 통해 저자는 이러한 표면의 존재성을 증명하고, 최대 $2n+1$ 개의 끝을 갖는 모든 고리수 0 예제를 분류한다. 두 사이클에 대한 주기 문제는 중간값 정리에 기반한 추론을 통해 해결된다.

ABSTRACT

We construct new examples of immersed minimal surfaces with catenoid ends and finite total curvature, of both genus zero and higher genus. In the genus zero case, we classify all such surfaces with at most $2n+1$ ends, and with symmetry group the natural $\bfZ_2$ extension of the dihedral group $D_n$. The surfaces are constructed by proving existence of the conjugate surfaces. We extend this method to cases where the conjugate surface of the fundamental piece is noncompact and is not a graph over a convex plane domain.

연구 동기 및 목표

• 이론적 배경에 기반해 $ℝ^3$ 내에 유한 총 곡률과 고리수 0 또는 고리수 1 이상의 표면을 갖는 새로운 잠수된 최소 표면을 이방형 대칭 $D_n \times \mathbb{Z}_2$를 사용하여 구성하는 것.
• 쌍대 표면 방법을 볼록 도메인 위에 정의되지 않은 비유한 도메인에서의 쌍대 표면에 적용하는 것.
• 최대 $2n+1$ 개의 끝을 갖는 모든 고리수 0 최소 표면을 대칭군 $D_n \times \mathbb{Z}_2$에 대해 분류하는 것.
• 두 비자명한 주기 사이클을 갖는 표면에 대한 주기 문제를 이론적으로 해결하여 임베딩된 최소 표면의 존재성을 보장하는 것.

제안 방법

• 이방형 대칭을 갖는 기본 조각에 쌍대 표면 구성법을 적용하며, 이는 쌍대 표면이 볼록 도메인 위의 그래프가 아니더라도 가능하다.
• 존재성은 쌍대 표면이 구성 가능하고, 주기 문제를 중간값 정리에 기반한 추론으로 해결할 수 있음을 보여줌으로써 증명된다.
• 이 방법은 Weierstrass 표현과 해석적 1-형식의 적분을 기반으로 하며, Enneper-Weierstrass 매개변수화를 통해 표면을 생성한다.
• 대칭군 $D_n \times \mathbb{Z}_2$는 끝의 구성과 가우스 매핑을 제약하여 주기성과 임베딩 성질을 보장한다.
• 주기 벡터가 매개변수 $\theta$ 또는 $w$ 에 대한 의존성 분석을 통해 연속성과 중간값 정리에 기반해 동시에 0이 됨을 보여준다.
• Osserman 부등식과 끝에서의 가우스 매핑의 행동을 포함한 위상적 및 기하적 제약 조건을 사용하여 불가능한 구성 방식을 배제한다.

실험 결과

연구 질문

• RQ1 쌍대 표면이 볼록 도메인 위의 그래프가 아니면, 이방형 대칭 $D_n \times \mathbb{Z}_2$와 유한 총 곡률을 갖는 새로운 최소 표면를 구성할 수 있는가?
• RQ2 최대 $2n+1$ 개의 끝을 갖는 모든 고리수 0 최소 표면을 대칭군 $D_n \times \mathbb{Z}_2$에 대해 완전히 분류할 수 있는가?
• RQ3 대칭 최소 표면 구성에서 두 비자명한 주기 사이클에 대한 주기 문제를 수치적 방법이 아닌 이론적으로 해결할 수 있는가?
• RQ4 고리수 1 이상의 최소 표면이 $2n$ 개의 고리수 0 끝을 갖고, 이방형 대칭을 가지며, 끝에서의 법선 벡터가 수평 평면과 각도 $\theta$ 를 이룰 수 있는 가닥이 존재하는가?
• RQ5 쌍대 표면 방법을 비볼록 쌍대 도메인과 비임베딩 쌍대 표면을 갖는 표면으로 일반화할 수 있는가?

주요 결과

• 모든 $n \geq 2$ 에 대해, 각 끝이 수평 평면과 각도 $\theta$ 를 이루며, $0 < \theta < \pi/2$ 인 $2n$ 개의 고리수 0 끝을 갖는 $D_n \times \mathbb{Z}_2$ 대칭을 갖는 일차원 매개변수 가닥 ${\cal P}_0(2n,\theta)$ 이 존재한다.
• 모든 $n \geq 2$ 에 대해, 고리수 $n-1$, $2n$ 개의 고리수 0 끝, $D_n \times \mathbb{Z}_2$ 대칭을 갖는 일차원 매개변수 가닥 ${\cal P}_{n-1}(2n,\theta)$ 가 존재하며, 각 끝이 수평 평면과 각도 $\theta$ 를 이룬다.
• 모든 $n \geq 2$ 에 대해, 상수 $c(n)$ 이 존재하여 모든 $w \geq c(n)$ 에 대해, $n$ 개의 무게 1 끝과 두 개의 무게 $w$ 수직 끝을 갖는 고리수 0 최소 표면 ${\cal J}{\cal M}{\cal V}_0(n+2,w)$ 가 존재하며, 이는 $D_n \times \mathbb{Z}_2$ 대칭을 갖는다.
• 최대 $2n+1$ 개의 끝을 갖는 고리수 0 최소 표면의 분류가 완료되었으며, 가능한 유형은 네 가지뿐임을 보여주었다: ${\cal J}{\cal M}_0(n)$, ${\cal A}{\cal W}_0(2n,w)$, ${\cal J}{\cal M}{\cal V}_0(n+2,w)$, 그리고 ${\cal P}_0(2n,\theta)$ 또는 ${\cal A}{\cal A}_0(2n,\theta)$.
• 두 사이클에 대한 주기 문제는 연속성과 중간값 정리에 기반한 추론을 통해 해결되었으며, 표면 구성 과정에서 두 주기 벡터가 동시에 제거됨을 증명하였다.
• 특정 끝 구성(예: $x_3$ 축을 중심으로 180도 회전에 대해 불변인 세 개의 끝)이 불가능한 것은 위상적 및 대칭 제약 조건(예: 180도 회전에 대한 홀수 개의 고정점)을 사용하여 증명되었다.