Equivalence of intrinsic and extrinsic area bounds for minimal surfaces

기술적 요약: 최소 곡면의 내재적 및 외재적 면적 경계의 동등성

문제 제기
본 논문은 최소 부분다양체 이론에서 내재적 및 외재적 기하학적 경계 간의 관계에 관한 근본적인 공백을 다룬다. 구체적으로, 유계인 내재적 면적 밀도 (내재적 측지선 공에 대한 부피 성장) 를 갖는 완비 연결 매끄럽게 매장된 최소 부분다양체 $\Sigma^d \hookrightarrow \mathbb{R}^N$가 반드시 유계인 외재적 면적 밀도 (주변 공간의 유클리드 공에 대한 부피 성장) 를 갖는지를 조사한다.

내재적 거리가 항상 유클리드 거리보다 크거나 같다는 사실로 인해 부등식 $M^{int}_R \leq M^{ext}_R$은 자명하지만, 그 역방향은 중요한 장애물이 되어왔다. 이러한 동등성의 부재는 외재적으로 유계인 면적 (정적 적분 바리폴드) 에 대한 잘 정립된 이론과 대조적으로, 내재적 면적 경계를 갖는 최소 매장의 일반적 컴팩트성 이론의 발전을 저해해 왔다. 이 공백은 특히 "안정적 베른슈타인 추측"과 안정적 최소 초곡면의 곡률 추정에서 두드러지는데, 내재적 경계에 대한 $n=6$의 경우가 Schoen, Simon, Yau 의 선구적인 작업 [SSY75] 이후로 열려 있었다.

방법론
저자 Enric Florit-Simon 은 단조성 공식과 점근적 기하학적 분석을 결합하여 동등성을 확립한다.

1. 내재적 단조성 공식: 핵심 기술적 도구는 내재적 면적 밀도 $M^{int}_R(\Sigma)$에 대한 단조성 공식이다. [Yau75] 의 계산에 영감을 받고 [Cho21] 에서 지적된 바에 따라, 저자는 최소 부분다양체의 경우 두 반경 사이의 내재적 면적 밀도 차이가 내재적 거리 $r_\Sigma(x)$와 유클리드 거리 $|x|$의 차이, 그리고 평균 곡률 벡터를 포함하는 적분으로 제어됨을 보여주는 항등식 (Lemma 2.1) 을 유도한다. 최소 곡면 ($H_\Sigma \equiv 0$) 의 경우, 이는 $M^{int}_R$이 단조 비감소함을 의미한다.
2. 밀도 핀칭 및 현 - 호 (Chord-Arc) 추정: 증명은 "밀도 핀칭" 논증 (Lemma 2.3) 을 활용한다. 이는 내재적 면적 밀도가 스케일 간에 크게 증가하지 않는다면 (즉, $M^{int}_{8R} - M^{int}_R$이 작다면), 원환 영역에서 내재적 및 외재적 계량이 점근적으로 비교 가능함 (현 - 호 추정: $|x| \leq r_\Sigma(x) \leq (1+\epsilon)|x|$) 을 보여준다.
3. 점근적 동등성: 내재적 밀도의 단조성과 현 - 호 추정을 결합함으로써, 저자는 내재적 밀도가 유계이면 매장이 적절 (proper) 해야 하며, 외재적 밀도가 동일한 점근적 극한을 공유해야 함을 증명한다.
4. 블로우업 분석: 곡률 추정 (Theorem 1.4) 에의 적용을 위해, 논문은 표준적인 스케일링 논증 (블로우업) 을 사용한다. 곡률 경계가 성립하지 않는다고 가정하면, 재스케일링된 매장의 수열을 구성한다. 균일한 내재적 면적 경계와 단조성 공식은 극한 최소 초곡면의 존재를 보장한다.

주요 기여 및 결과

• Theorem 1.1 (면적 경계의 동등성): 주요 결과는 임의의 완비 연결 매끄럽게 매장된 최소 부분다양체 $\Sigma^d \hookrightarrow \mathbb{R}^N$에 대해 $R \to \infty$일 때 내재적 및 외재적 면적 밀도의 극한이 존재하고 서로 같음을 확립한다:
  $$\lim_{R\to\infty} M^{int}_R(\Sigma, p) = \lim_{R\to\infty} M^{ext}_R(\Sigma, p) \in [\omega_d, \infty]$$
  따라서, $\Sigma$가 유계인 내재적 면적 밀도를 갖는 것은 유계인 외재적 면적 밀도를 갖는 것과 동치이다. 유계인 경우, 매장이 적절함도 또한 보여진다.

• Theorem 1.3 ($n=6$ 공백의 해결): Theorem 1.1 을 외재적 경계 하에서 $n=6$에 대한 매장 요구사항을 제거한 Bellettini 의 최근 획기적인 작업 [Bel25] 과 결합함으로써, 논문은 안정적 최소 초곡면에 대한 차원적 공백을 해결한다. 이는 유계인 내재적 면적 밀도를 갖는 완비 연결 매끄럽게 매장된 양면 안정적 최소 초곡면 $\Sigma^6 \hookrightarrow \mathbb{R}^7$이 평면 초평면이어야 함을 증명한다.

• Theorem 1.4 (국소 곡률 추정): 논문은 유계인 내재적 면적 밀도를 갖는 $n=6$ 차원의 안정적 최소 초곡면에 대한 국소 곡률 추정을 확립한다. 구체적으로, $|B^\Sigma_R(p)| \leq \Lambda R^6$이면, 제 2 기본 형식은 더 작은 공에서 $|II_\Sigma| \leq C/R$을 만족한다. 이는 Schoen, Simon, Yau 가 시작한 [SSY75] 곡률 추정의 그림을 완성한다.

의의 및 주장
본 논문은 안정적 최소 초곡면의 분류에서 오랜 기간 존재해 온 장애물을 해결했다고 주장한다.

• 차원적 공백의 폐쇄: 본 작업 이전에는 $\mathbb{R}^7$ 전체 안정적 최소 매장들의 평면성은 $n \leq 5$의 경우 ([SSY75] 를 통해) 와 $n=6$의 경우 외재적 면적 경계 또는 매장 가정 하에서만 알려져 있었다. Theorem 1.3 은 $n=6$ 결과를 내재적 설정으로 확장하여 $n \geq 7$에 대한 알려진 반례들 (Simons 의 원뿔) 과 일치시킨다.
• 컴팩트성 이론: 내재적 및 외재적 경계의 동등성은 내재적 면적 경계로 정의된 최소 매장에 정적 적분 바리폴드의 강력한 컴팩트성 이론 (Allard 의 정리 [All72]) 을 적용할 수 있는 경로를 제공한다. 이는 이전까지 이 특정 클래스에는 사용 불가능했던 도구였다.
• 고차원 전략: 저자는 Theorem 1.3 이 고차원에서의 "안정적 베른슈타인 추측"에 대한 전략을 검증한다고 제안한다: 안정적 최소 초곡면이 내재적 면적 경계를 만족함을 증명하여, 그 분류를 평면 초평면 사례로 축소하는 것이다. 이 접근법은 최근 작업들 [CL24, CLMS, Maz24] 에서 $n=2, 3, 4, 5$에 대해 이미 성공적이었으며, 현재 논문은 $n=6$에 대한 장애물을 제거한다.

본 논문은 $n=6$ 사례의 해결과 면적 밀도의 동등성에 대한 수학적 함의를 넘어 새로운 실험적 응용이나 향후 방향을 제안하지 않는다. 논문은 내재적 기하학적 제약과 외재적 해석적 도구를 연결하는 필수적인 이론적 다리로서 그 기여를 규정한다.