Existence of two embedded minimal spheres in $S^3$ with an arbitrary metric

기술 요약: 임의의 메트릭을 가진 $S^3$ 내 두 개의 임베디드 최소 구(Embedded Minimal Sphere)의 존재성

문제 정의
본 논문은 1982년 S. T. Yau가 제기한 장기 미해결 문제( [44]의 문제 89)를 다룬다. 이 문제는 리만 다양체인 3차원 구($S^3$)가 적어도 네 개의 서로 다른 임베디드 최소 구를 포함한다는 것을 증명할 것을 요구한다. Simon과 Smith [36]는 min-max 이론을 사용하여 40여 년 전에 적어도 하나의 그러한 구가 존재함을 확립했으나, 임의의 리만 메트릭에 대해 두 번째로 구별되는 임베디드 최소 구의 존재성은 여전히 증명되지 않은 상태였다. 여러 개의 구의 존재를 확립했던 이전의 결과들(예: White [43], Haslhofer–Ketover [17])은 양의 리치 곡률(positive Ricci curvature)이나 "범피" 메트릭(bumpy metrics)과 같은 제한적인 가정을 전제로 했다. 본 논문은 이러한 곡률 가정을 제거하고, 임의의 리만 메트릭을 가진 $S^3$에 대해 적어도 두 개의 서로 다른 임베디드 최소 구가 존재함을 증명하는 것을 목표로 한다.

방법론
저자들은 모순에 의한 증명법과 상대적 min-max 구성의 반복적 스킴을 결합하여 사용한다. 핵심 방법론은 다음과 같은 단계들을 포함한다:

1. 유일성 가정: 증명은 $(S^3, g)$가 $\Sigma_0$라고 명명된 단 하나의 임베디드 최소 구를 포함한다고 가정한다. 선행 연구 [40]에 따르면, 만약 $\Sigma_0$가 유일하다면, 이는 약하게 안정적(weakly stable)이어야 하며 "확장되는 근방"(mean curvature vector가 $\Sigma_0$로부터 멀어지는 방향을 향하는 상수 평균 곡률 곡면들로 층을 이룬 근방)을 가져야 한다.

2. 다중 파라미터 스윕아웃(Multi-Parameter Sweepouts)의 구성: 저자들은 $k$차원 심플렉스 $\Delta_k$에 의해 매개되는 연속적인 조각별 매끄러운(piecewise-smooth) 임베디드 구의 가족 $\Phi_\Lambda: \Delta_k \to \mathcal{E}$를 구성한다.

   • 층(Foliation): 이들은 $\Sigma_0$를 중심으로 하는 평균 볼록 층(mean convex foliation) $\Upsilon$를 활용한다.
   • 넥 삽입(Neck Insertion): 파라미터 벡터 $x = (x_1, \dots, x_k) \in \Delta_k$에 대하여, 사상 $\Phi_\Lambda$는 층 $\Upsilon(x_i)$의 슬라이스들을 합치고 이들을 "넥(neck)"으로 연결함으로써 구를 생성한다.
   • 반지름 제어: 이 넥들의 반지름 $\xi_i$는 인접한 파라미터 $x_i$와 $x_{i+1}$ 사이의 거리 및 큰 파라미터 $\Lambda$에 기반하여 재귀적으로 정의된다. 구체적으로, $\xi_i = e^{-\Lambda(x_{i+1}-x_i)}(1-\xi_{i-1})$이다. 이 구성은 두 파라미터가 가까울 때 연결되는 넥이 큰 반지름을 갖지만 높이는 작게 되어, 결과적으로 균등하게 작은 면적 기여를 보장한다.

3. 면적 추정 및 평활화(Smoothing):

   • 저자들은 구성된 가족에 대한 정밀한 면적 상한을 도출한다. 결정적으로, 충분히 큰 $k$와 적절한 $\Lambda$에 대하여, 심플렉스의 내부에서 가족 $\Phi_\Lambda(x)$의 면적은 $k H^2(\Sigma_0)$보다 엄격히 작음을 보인다. 반면 경계에서는 면적이 $(k-1)H^2(\Sigma_0)$보다 엄격히 작다.
   • 저자들은 조각별 매끄러움 문제를 해결하기 위해 가족을 평활화하여, 엄격한 면적 상한을 보존하면서 매끄러운 임베디드 구들의 공간으로의 사상을 얻는다.

4. 반복적 상대적 min-max:

   • 상대적 Simon–Smith min-max 이론(정리 2.2)을 사용하여, 저자들은 하위 심플렉스 상의 스윕아웃과 관련된 min-max 값 $L_k$를 정의한다.
   • 저자들은 Lusternik–Schnirelmann 유형의 논증을 채택한다. 유일성을 가정할 때, $k$번째 스윕아웃의 min-max 값은 반드시 $k H^2(\Sigma_0)$가 되어야 함을 귀납적으로 증명한다.
   • 위상적 장애물(Topological Obstruction): 핵심 요소인 보조정리(Lemma) 6.1은, 만약 min-max 값이 경계값보다 엄격히 작다면(이는 새로운 최소 구의 존재를 의미함), 도메인이 스윕아웃의 호몰로지적 성질에 모순되는 방식으로 수축될 수 있음을 보장하는 위상적 정리이다.

5. 모순:

   • 이 구성은 큰 $k$에 대하여 스윕아웃의 면적이 $k H^2(\Sigma_0)$보다 엄격히 작도록 보장한다.
   • 그러나 유일성 가정하에서의 귀납적 논증은 min-max 값이 정확히 $k H^2(\Sigma_0)$가 되도록 강제한다.
   • 이 모순은 유일성 가정이 거짓임을 시사한다.

주요 기여

• 곡률 가정의 제거: 본 논문은 다수의 최소 구의 존재성을 양의 리치 곡률이나 범피 메트릭이 필요한 경우에서 벗어나, $S^3$ 상의 임의의 리만 메트릭으로 확장하였다. 이는 상당한 일반화이다.
• 반복적 상대적 min-max 스킴: 저자들은 다중 파라미터 구 가족에 대한 상대적 min-max 구성을 사용하는 새로운 반복적 스킴을 개발하였다. 이 접근법은 Simon–Smith 이론이 단일 최소 구을 높은 배수(multiplicity)로 생성할 수 있는(예: $\Sigma_0$가 두 번 계산되는 경우) "정수 배수(integer multiplicity)" 장애물을 극복한다.
• 넥 구성 및 면적 제어: 제어된 넥 반지름을 가진 다중 파라미터 가족의 특정한 구성은 모순 논증에 필수적인 엄격한 면적 상한을 허용한다. 이는 전체 심플렉스로의 연속적인 사상 확장을 유지하면서 면적 제약을 유지하는 어려움을 해결한다.

결과
주요 결과는 정리 A(정리 6.3으로 재진술됨)로 제시된다:

임의의 리만 메트릭 $g$를 가진 $(S^3, g)$에 대해, 적어도 두 개의 서로 다른 임베디드 최소 구가 존재한다.

이 결과는 네 개의 구를 찾는 Yau의 추측을 향한 첫 번째 단계를 확인하며, 메트릭에 대한 기하학적 제한 없이 두 번째 구의 존재성을 확립한다.

의의
본 논문은 이 작업이 일반적인 메트릭에 대해 $S^3$ 상에서 하나 이상의 임베디드 최소 구가 구축된 첫 사례라고 주장한다. 이는 하나의 구를 찾아낸 Simon과 Smith [36]의 초기 결과로부터, 임의의 메트릭에 대한 정수 배수 문제를 해결함으로써 일반적인 문제를 크게 진전시켰다. 저자들은 자신들의 이전 연구 [40]가 다중도-1 정리(multiplicity-one theorem)를 사용하여 양의 리치 곡률 또는 범피 메트릭에 대한 추측을 해결했음을 언급하며, 본 논문은 일반적인 경우로 그 범위를 확장했음을 밝힌다. 특히 반복적 상대적 min-max 구성과 곡률 가정 없이 면적 상한을 다루는 법을 포함하여 개발된 방법론들은, 특정 곡률 조건을 요구하지 않고 유사한 문제들을 조사하는 데 적용될 수 있는 도구로서 제시된다.