미니맥스 자유경계 최소표면의 위상 제어

초록

본 논문은 평균볼록 경계가 있는 3차원 콤팩트 리만 다양체에서 미니맥스 방법으로 얻어지는 자유경계 최소표면의 위상을 정량적으로 제어한다. 첫 번째 베티 수와 새롭게 정의한 ‘genus 복잡도’와 ‘boundary 복잡도’가 미니맥스 수열에서 하한 연속임을 보이며, 전자는 기존 결과에 없던 새로운 정보이다. 또한 전향 가능한 경우 두 복잡도의 합도 하한 연속임을 증명한다. 이를 바탕으로 자유경계 최소 디스크, Morse index 5 표면, 그리고 유클리드 단위구에서 임의의 개수의 경계 성분을 갖는 자유경계 최소 트리노이드를 변분적으로 구축한다.

상세 분석

이 연구는 자유경계 최소표면(free boundary minimal surface)의 위상적 특성을 미니맥스(min‑max) 이론과 결합해 새로운 정량적 제어를 제공한다. 먼저 저자들은 M을 평균볼록(mean convex) 경계를 가진 3차원 콤팩트 리만 다양체로 설정한다. 이러한 가정 하에서는 모든 자유경계 최소표면이 ‘properly embedded’—즉, 경계와 정확히 교차하고 내부는 매끄럽게 매립된 형태—임을 보장한다. 기존 Almgren–Pitts·Marques–Neves 프레임워크에서는 최소표면의 genus나 boundary component 수에 대한 일반적인 상한을 얻기 어려웠다. 특히 Li(2015)는 추가 가정 없이는 이러한 위상적 제어가 불가능함을 지적했었다.

저자들은 이를 극복하기 위해 두 가지 새로운 복잡도 개념을 도입한다. ‘genus 복잡도 g(Σ)’는 각 연결 성분의 genus를 적절히 가중합한 값으로, 비정향 성분에 대해서는 (genus‑1)/2를 더한다. ‘boundary 복잡도 b(Σ)’는 경계가 비어 있지 않은 각 연결 성분에 대해 β₀(∂Σ)‑1을 합산한다. 이 정의는 β₁(Σ)=2g(Σ)+b(Σ)+(# 비정향 경계 성분)이라는 관계를 만족한다(부록 A.3).

핵심 정리는 Theorem 1.8과 Theorem 1.9이다. Theorem 1.8은 미니맥스 수열 {Σ_j}가 varifold 의미에서 Γ에 수렴할 때, 첫 번째 베티 수 β₁와 genus 복잡도 g가 하한 연속임을 보인다: β₁(Γ) ≤ lim inf β₁(Σ_j), g(Γ) ≤ lim inf g(Σ_j). 이는 기존에 알려진 genus에 대한 하한(식 (2))을 포함하면서, β₁라는 새로운 위상량을 제어한다는 점에서 혁신적이다.

전향 가능한 경우(Theorem 1.9)에는 더욱 강력한 결과가 얻어진다. 즉, g(Γ)+b(Γ) ≤ lim inf