[논문 리뷰] On bifurcation and local rigidity of triply periodic minimal surfaces in $\mathbb R^3$

Miyuki Koiso, Paolo Piccione외 1명|arXiv (Cornell University)|2014. 08. 01.

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

한 줄 요약

이 논문은 분기 이론을 사용하여 ℝ³ 내에서 무수히 많은 새로운 삼중주기 최소 표면의 존재를 증명한다. 이는 열악한 가족(H, rPD, tP, tD)을 분석하고 특정 순간에서의 분기 존재를 증명함으로써 이루어지며, 대칭에 의해 유도되는 열악성 문제를 다루기 위해 수정된 평균 곡률 함수를 도입한다. 이를 통해 등변 은둔 함수 정리가 적용 가능해지고, 비열악한 경우의 국소 강성도 확인된다.

ABSTRACT

We use bifurcation theory to determine the existence of infinitely many new examples of triply periodic minimal surfaces in $\mathbb R^3$. These new examples form branches issuing from the H-family, the rPD-family, the tP-family, and the tD-family, that converge to some degenerate embedding of the families. As to nondegenerate triply periodic minimal surfaces, we prove a perturbation result using an equivariant implicit function theorem.

연구 동기 및 목표

• 분기 이론을 사용하여 ℝ³ 내에서 무수히 많은 새로운 삼중주기 최소 표면의 존재를 증명하는 것.
• 주변 등장운동(등장운동장)에 의해 유도되는 최소 임bedding의 열악성 문제를 다루는 것.
• 대칭에 의해 유도되는 열악성에도 불구하고 분기 분석이 가능하도록 기능적 프레임워크를 구축하는 것.
• 등변 은둔 함수 정리를 사용하여 비열악한 삼중주기 최소 표면의 국소 강성을 증명하는 것.
• 고전적인 삼중주기 최소 표면 가족(H-가족, rPD-가족, tP-가족, tD-가족)의 특정 분기 순간을 규명하는 것.

제안 방법

• 최소 임bedding에서 정확히 0이 되고, 열악한 최소 임bedding에서도 전사성을 유지하는 수정된 평균 곡률 함수 $\widetilde{\mathcal{H}}$ 를 도입하는 것.
• 인덱스가 0인 프레드홀름 연산자 이론과 스펙트럼 섭동 이론을 사용하여 임베딩 가족의 선형화된 연산자 $A_\mu$ 를 분석하는 것.
• 프레드홀름 연산자에 대한 분기 기준을 적용하며, 이는 임계 매개변수 $\mu_0$ 에서 기저 수가 홀수인 경우를 요구한다.
• 등변 비열악성의 개념을 활용하며, 여기서 모든 자코비 장은 주변 토러스의 등장운동장에서 유래한다.
• 제한된 선형 연산자 $\overline{A}_\mu$ 의 행렬식의 부호를 이용하여 기저 수가 홀수임을 탐지하는 것.
• 문헌 [6]의 수치 데이터를 활용하여 분기 순간을 추정하고, 기저 수가 홀수임을 확인하는 조건을 검증하는 것.

실험 결과

연구 질문

• RQ1 ℝ³ 내의 H-가족, rPD-가족, tP-가족, tD-가족 삼중주기 최소 표면은 분기 점을 갖는가?
• RQ2 선형화된 연산자가 가역적이지 않은 열악한 최소 임bedding 가족에 대해 분기 이론을 적용할 수 있는가?
• RQ3 대칭에 의해 유도되는 열악성 문제를 해결할 수 있는 기능적 프레임워크는 존재하는가?
• RQ4 고전적인 삼중주기 최소 표면 가족의 분기 순간의 수와 위치는 무엇인가?
• RQ5 비열악한 삼중주기 최소 표면이 메트릭의 소규모 변형에 대해 국소적으로 강성을 가지는 조건은 무엇인가?

주요 결과

• H-가족은 정확히 한 개의 분기 순간을 가지며, rPD-가족, tP-가족, tD-가족 각각은 두 개의 분기 순간을 가진다.
• 선형화된 연산자 $A_\mu$ 가 기저 수가 홀수인 특정 매개변수 값에서 분기 발생하며, 이는 제한된 연산자 $\overline{A}_\mu$ 의 행렬식의 부호 변화를 통해 확인된다.
• 수정된 평균 곡률 함수 $\widetilde{\mathcal{H}}$ 는 주변 대칭에 의해 유도된 열악한 최소 임bedding에서도 미분이 전사성을 유지함을 보장한다.
• 등변 비열악한 최소 임bedding의 경우 은둔 함수 정리가 적용되어 이러한 임bedding 주변에서 국소 강성을 증명한다.
• 연속적인 연산자 경로 $A_\mu$ 를 구성하고, 가역 연산자 경로에서 행렬식의 부호가 유지됨을 이용함으로써 분기 분석이 가능해진다.
• 문헌 [6]의 수치 추정치를 활용하여 분기 순간을 충분한 정밀도로 위치시키고, 기저 수가 홀수임을 확인하는 조건을 검증한다.