Existence of free boundary minimal disks in convex regions

기술 요약: 볼록 영역 내 자유 경계 최소 디스크의 존재성

문제 정의
본 논문은 엄격한 평균 볼록 경계(strictly mean convex boundary)를 가진 컴팩트 리만 3차원 다양체에서 임베디드된 자유 경계 최소 디스크(free boundary minimal disks)의 존재성과 다중성을 다룬다. 1982년 $S^3$ 내에 네 개의 서로 다른 임베디드된 최소 구체가 존재한다는 야우(Yau)의 추측에 동기를 부여받아, 저자들은 3차원 볼($B^3$)에 대한 유사한 문제를 조사한다. 구체적으로, 이들은 엄격한 평균 볼록 경계를 가진 임의의 $B^3$와 위상동형인 다양체에서 적어도 세 개의 서로 다른 임베디드된 자유 경계 최소 디디스크가 존재함을 증명하고자 한다. 최소한 하나의 디스크가 존재한다는 사실은 그뤼터-요스트(Grüter-Jost)와 리(Li)에 의해 확립되었고, 두 번째 디스크는 해슬호퍼-케토버(Haslhofer-Ketover)에 의해 확립되었으나, 세 번째 디스크의 존재성은 유클리드 공간 내의 엄격한 볼록 도메인에 대해서도 여전히 중요한 미해결 문제로 남아 있다.

방법론
저자들은 자유 경계 설정에 적응된 정교화된 사이먼-스미스(Simon–Smith) 민맥스(min-max) 이론을 중심으로 하는 기하학적 해석학 도구들의 조합을 사용한다. 핵심적인 방법론적 혁신은 다음과 같다:

1. 단일 중복도 정리 (Multiplicity One Theorem): 주요 해석적 도구는 자유 경계 사이먼-스미스 민맥스 이론을 위한 새로운 단일 중복도 정리이다. 저자들은 디스크에 의한 스윕아웃(sweepouts)의 호모토피 클래스에 대해, 결과로 나타나는 최소 곡면이 중복도 1로 불안정한 양면 성분(two-sided components)을 가짐을 증명한다. 이는 경계 근처에서 0이 되는 정교하게 선택된 함수 $h$를 사용하여 주어진 평균 곡률 범함수에 대한 일련의 민맥스 문제를 해결함으로써 달성된다. 이를 통해 저자들은 새로운 경계 정칙성 이론을 개발할 필요 없이 내부 정칙성 이론을 직접 적용할 수 있었다.
2. 원통형 다양체 구성 (Cylindrical Manifold Construction): 민맥스 과정이 (볼록한 볼의 내부에서 발생할 수 있는) 닫힌 최소 구체가 아닌 자유 경계 디스크를 생성하도록 하기 위해, 저자들은 송(Song)의 구성을 활용한다. 저자들은 경계 $\partial M$으로부터 시작하는 평균 곡률 흐름(mean curvature flow)을 분석한다. 만약 이 흐름이 소멸되지 않는다면, 이는 안정적인 최소 구체들로 수렴한다. 저자들은 이 안정적인 구체들에 원통형 끝단(cylindrical ends)을 부착하여 비컴팩트 다양체를 만든다. 저자들은 이 원통형 다양체 내에서의 디스크에 의한 스윕아웃에 대한 민맥스 폭(width)이 유계임을 입증하며, 이를 통해 최대 원리(maximum principle)를 거쳐 원래 다양체 내에 자유 경계 최소 디스크가 존재함을 강제한다.
3. 루스텐니크-슈나이더 이론 (Lusternik–Schnirelmann Theory): 세 개의 서로 다른 곡면을 확립하기 위해, 저자들은 실수 사영 공간 상의 뒤틀린 번들(twisted bundles)로 매개변수화된 3차원 볼의 세 가지 특정한 비자명한 스윕아웃을 구성한다. 저자들은 다양체가 유한한 수의 최소 곡면만을 포함한다는 조건 하에서, 이 세 가지 스윕아웃과 관련된 민맥스 폭이 엄격하게 증가함($L(P_1) < L(P_2) < L(P_3)$)을 루스텐니크-슈나이더 이론을 사용하여 보여준다.

주요 결과
본 논문은 다음의 주요 정리들을 확립한다:

• 정리 1.1 (해의 다중도): $(M^3, \partial M, g)$가 엄격한 평균 볼록 경계를 가진 리만 3-볼이고, 퇴화된 안정적 최소 구체나 자유 경계 최소 디스크가 존재하지 않는다고 가정하자. 그러면 적어도 세 개의 서로 다른 임베디드된 부분 다양체(최소 구체 또는 자유 경계 최소 디스크)가 존재한다.
  • 따름정리: 만약 $(M^3, g)$가 비음의 리치 곡률을 가진 엄격한 볼록 도메인(예: $\mathbb{R}^3$ 내의 컴팩트 볼록 볼)이라면, 적어도 세 개의 서로 다른 임베디드된 자유 경계 최소 디스크를 갖는다.
• 정리 1.2 (구조적 이분법): 엄격한 평균 볼록 경계를 가진 임의의 리만 3-볼에 대하여, 적어도 하나의 임베디드된 자유 경계 최소 디스크가 존재한다. 또한, 이 다양체는 다음 두 가지 대안 중 하나를 만족한다:
  1. 닫힌 침투적(immersed) 최소 곡면을 포함하지 않거나; 또는
  2. 임베디드된 안정적 최소 구체를 포함한다.
• 정리 1.3 (단일 중복도 정리): 매끄러운 경계를 가진 컴팩트 리만 3-다양체에서, 폭이 경계 면적보다 엄격히 큰 스윕아웃의 호모토피 클래스에 대해, 민맥스 극한은 서로 소인 최소 곡면들의 집합으로 구성된다. 만약 어떤 성분이 양면적이고 불안정하다면, 그 중복도는 정확히 1이다. 만약 어떤 성분이 단면적(one-sided)이라면, 그 연결된 이중 피복(connected double cover)은 안정적이다.

의의 및 주장
저자들은 본 연구가 특정 비퇴화 가정 하에서 3-볼에 대한 야우 추측의 유사 형태를 해결한다고 주장한다. 본 논문의 의의는 다음과 같다:

• 다중성 문제 해결: 비퇴화 가정을 가진 엄격한 볼록 도메인에서 적어도 세 개의 서로 다른 자유 경계 최소 디스크가 존재함을 증명하였으며, 이는 이전에 미해결 상태였던 결과이다.
• 기술적 진보: 저자들은 자유 경계 사이먼-스미스 설정에 대한 견고한 단일 중복도 정리를 제공한다. 핵심적인 기술적 기여는 주어진 평균 곡률 함수들이 경계로부터 떨어진 내부 영역에만 지지집합(support)을 갖도록 선택될 수 있다는 관찰이며, 이를 통해 새로운 경계 정칙성 추정치를 개발하는 고된 작업 없이 기존의 내부 정칙성 이론을 직접 적용할 수 있게 하였다.
• 구조적 통찰: 이분법 결과(정리 1.2)는 자유 경계 디스크의 존재성과 다양체 내의 닫힌 최소 구체 또는 안정적 최소 구체의 존재성 사이의 관계를 명확히 한다.

논문은 이 결과가 "범프(bumpy)" 메트릭(모든 최소 곡면이 비퇴화적인 일반적인 메트릭)과 비음의 리치 곡률을 가진 엄격한 볼록 도메인에 대해 성립하지만, 비퇴화 가정이 없는 $\mathbb{R}^3$ 내의 일반적인 엄격한 볼록 도메인에 대한 일반적인 경우에 대해서는 여전히 미해결 과제로 남아 있음을 강조한다. 결과들은 다양체가 퇴화된 안정적 최소 구체나 자유 경계 최소 디스크를 포함하지 않는다는 가정에 의존한다.