Calabi-Yau Conjecture for Minimal Hypersurfaces in $\mathbb{R}^4$ with bounded geometry

기술 요약: 유계 기하학을 가진 $\mathbb{R}^4$ 내 최소 초곡면의 칼라비-야우 추측

문제 정의
본 논문은 $n \ge 2$인 완전 최소 초곡면 $\Sigma^n \subset \mathbb{R}^{n+1}$에 대한 칼라비-야우 추측을 다룬다. 구체적으로, 완전성(completeness)이 그러한 초곡면이 무한(unbounded)임을 필연적으로 수반하는지, 더 강력하게는 그것이 고유 사상(proper map, 즉 임의의 컴팩트 집합의 역상이 컴팩트인 것)이어야 하는지를 조사한다. 이러한 질문은 $\mathbb{R}^3$ 내의 임베디드 최소 곡면(embedded minimal surfaces)에 대해서는 해결되었으나(유한 위상 또는 양의 주입 반경 조건 하에서 고유성을 증명함), 고차원($n \ge 3$)의 경우 하프-스페이스 정리(half-space theorem)의 실패와 베이어슈트라스 공식(Weierstrass formula)과 같은 해석적 표현의 부재로 인해 여전히 미해결 상태로 남아 있다.

저자들은 $n=3$인 경우에 집중하여, 연결된, 완전한, 임베디드된 최소 초곡면 $\Sigma^3 \subset \mathbb{R}^4$를 고려한다. 핵심 문제는 제2 기본 형식의 유계성 ($\sup_\Sigma |A_\Sigma| < \infty$)과 유한 제2 베티 수 ($b_2(\Sigma; \mathbb{Z}_2) < \infty$)의 결합이 초곡면을 고유하게 만드는지를 결정하는 것이다.

방법론 및 증명 전략
증명은 $\Sigma$가 완전하고, 임베디드되어 있으며, 기하학적 및 위상적 유계 조건을 만족하지만 **고유하지 않다(not proper)**고 가정하는 모순법으로 진행된다.

1. 하프-스페이스/슬랩(Slab) 내 라미네이션(Lamination)으로의 환원:
   [MIR05]의 논증과 안정적인 베른슈타인 추측(Stable Bernstein conjecture)에 관한 최근 결과들([CL24], [CL23], [CLMS26], [CMR24], [Maz24])을 따라, 저자들은 만약 $\Sigma$가 고유하지 않다면, 이를 강제적으로 이동시키거나(rigidly moved) 필요시 팽창시켜(dilated) 열린 하프-스페이스 $U = \{x_4 > 0\}$ 또는 슬랩 $U = \{0 < x_4 < H\}$ 내에 포함된 최소 라미네이션이 되도록 할 수 있음을 확립한다. 이 구성에서 경계 초평면 $\{x_4 = 0\}$은 $\Sigma$의 극한 집합(limit set)에 포함된다.

2. 높이 함수(Height Function) 분석:
   $h = x_4|_\Sigma$를 높이 함수라고 하자. 비고유성 가정 하에서, $h$는 $\Sigma$ 상의 양수이며 상수 함수가 아닌 조화 함수(harmonic function)이고 $\inf_\Sigma h = 0$이다.

   • 곡률 제어: 유계 곡률 가정($|A_\Sigma| \le \Lambda$)은 기울기 추정식 $|\nabla_\Sigma h|^2 \le 2\Lambda h$를 함의한다. 이는 낮은 높이에서 수직 투영이 균등하게 비퇴화(non-degenerate)됨을 보장한다.
   • 그래프 구조: [MIR05]의 보조정리 1.4를 사용하여, 저자들은 하위 레벨 집합(sub-level sets) $\{h < \tau\}$의 연결 성분들이 $\mathbb{R}^3$ 내 도메인 위의 전역 그래프(global graphs)이며 기울기 유계 $|Du| < 1$을 가짐을 보여준다.

3. 위상적 제약 및 비컴팩트 성분:
   유한한 제2 베티 수 $b_2(\Sigma; \mathbb{Z}_2)$를 활용하여, 저자들은 호몰로지 논증(보조정리 2.1)을 통해 레벨 집합 $\{h = c\}$가 오직 유한한 수의 컴팩트 연결 성분만을 가질 수 있음을 보여준다.

   • $\{x_4 = 0\}$이 극한 리프(limit leaf)이므로, $\{h < \tau\}$에는 무수히 많은 서로 다른 성분들이 존재한다.
   • 컴팩트 성분의 유한성에 의해, 저자들은 경계가 비컴팩트 연결 성분 $S \subset \{h = \tau\}$를 포함하고, 낮은 레벨 집합 $\{h = t\}$와 비컴팩트 연결 성분 $\Gamma$로 교차하는 특정 연결 성분 $V \subset \{h < \tau\}$를 식별한다.

4. 전역 립시츠 함수(Global Lipschitz Function)의 구축:
   성분 $V$는 도메인 $D \subset \mathbb{R}^3$ 상의 그래프 $y \mapsto u(y)$이다. 저자들은 함수 $g: \mathbb{R}^3 \to \mathbb{R}$를 $D$ 위에서는 $g(y) = \tau - u(y)$로, 그 외의 영역에서는 $0$으로 정의한다.

   • 립시츠 성질: 기울기 유계 $|Du| < 1$은$g$가 전역적으로 1-립시츠임을 보장한다.
   • 적분 추정치: $\Sigma$의 최소성을 사용하고 컷오프 함수(cutoff function)를 이용한 부분 적분을 통해, 저자들은 다음과 같은 가중 $L^2$ 기울기 유계치를 유도한다:
     $$\int_{\mathbb{R}^3} \frac{|\nabla g(y)|^2}{1 + |y|} \, dy < \infty.$$

5. 모순 도출:
   집합 $S$와 $\Gamma$는 $\mathbb{R}^3$ 내에서 유계되지 않은 연결 집합 $S_0$와 $\Gamma_0$로 투영된다. 함수 $g$는 $S_0$ 위에서 $0$의 값을 가지고,$\Gamma_0$위에서 서로 다른 상수 값$a = \tau - t$를 가진다.

   • $S_0$와 $\Gamma_0$가 유계되지 않은 연결 집합이므로, 이들은 모든 충분히 큰 구(sphere) $\partial B_r(0)$와 교차한다.
   • 립시츠 조건에 의해, 이 구 위에서 $g$는 작은 측지선 캡(geodesic caps) 내에서 $0$근처에서$a$ 근처로 전이되어야 한다.
   • 구 위에서의 디리클레 에너지(Dirichlet energy)에 대한 로그 하한 추정치(참조 [AM26b, Lemma 5.8])를 적용하면, 저자들은 $|\nabla g|^2$의 적분이 큰 구의 외부에서 로그 함수적으로 발산함을 보여준다:
     $$\int_{R_0}^\infty \frac{dr}{(1+r)\log(Cr/\rho_0)} = \infty.$$
     이 발산은 이전에 확립된 유한한 가중 적분값과 모순되며, 따라서 초기 가정(즉, $\Sigma$가 고유하지 않다는 가정)이 거짓임을 증명한다.

주요 기여 및 결과

• 주요 정리: 본 논문은 유계 제2 기본 형식과 유한 제2 베티 수($b_2(\Sigma; \mathbb{Z}_2) < \infty$)를 가진 연결된, 완전한, 임베디드된 최소 초곡면 $\Sigma^3 \subset \mathbb{R}^4$는 고유하다는 것을 증명한다.
• 특정 사례의 해결: 이는 특정한 기하학적 및 위상적 제약 하에서 $\mathbb{R}^4$ 내 임베디드된 최소 초곡면에 대한 칼라비-야우 추측에 대한 첫 번째 긍정적인 답변을 제공한다.
• $\mathbb{R}^3$에 대한 새로운 증명: 이 방법론은 자비에(Xavier)의 하프-스페이스 정리에 의존하지 않고(로젠버그 [Ros01]가 사용했던 방식), 유계 곡률을 가진 $\mathbb{R}^3$ 내 완전 임베디드 최소 곡면의 고유성에 대한 새로운 증명을 제시한다. 이는 $\Sigma^2 \times \mathbb{R}$에 대해 제2 베티 수가 소거된다는 관찰을 통해 달성된다.
• 가정의 필요성: 저자들은 유계 곡률 가정의 미묘함을 명확히 한다. 이 가정이 없다면, 본 정리는 $\mathbb{R}^3$ 내의 모든 완전 임베디드 최소 곡면이 고유하다는 결론을 내리게 되는데, 이는 민크스(Meeks)의 민속적 예시들에 의해 반박될 가능성이 있는 진술이다. 따라서 유계 곡률 조건은 더 강력한 위상적 제약(예: 유한 제1 베티 수)이 부과되지 않는 한 필수적인 것으로 보인다.

의의 및 범위
본 논문은 표준적인 도구들이 실패하는 고차원($n \ge 3$)에서 고유성에 대한 이해를 향한 "첫 번째 답변"을 제공한다고 주장한다. 저자들은 본 결과가 3차원 카테노이드(catenoid), 사이먼스 콘(Simons cone)에 점근하는 예시들, 그리고 $\mathbb{R}^3$ 내의 유계 곡률 최소 곡면과 $\mathbb{R}$의 곱으로 이루어진 표준적인 가족들에 적용됨을 명시한다.

이 연구는 모든 완전 임베디드 최소 초곡면을 위해 $\mathbb{R}^4$ 내의 칼라비-야우 추측을 해결한다고 주장하는 것이 아니다. 또한 유계 곡률이나 유한 베티 수 가정을 제거하는 것도 목표로 하지 않는다. 대신, 유계 기하학, 유한 위상(특히 $b_2$), 그리고 고유성 사이의 엄격한 연결 고리를 확립하며, 고차원에서 고유성의 실패(두 저자가 제시한 유계되지 않은 곡률과 무한한 위상을 가진 예시들에서 나타나는 현상)가 이러한 특정 조건들의 위반과 밀접하게 연관되어 있음을 강조한다.