Stationary and stable varifolds with singularities

1. 문제 제기 (Problem Statement)

• 배경: Allard 의 정적 적분 바리폴드 (stationary integral varifold) 에 대한 내부 정칙성 정리 이후, 특이점 집합의 차원과 구조에 대한 연구가 활발히 진행되어 왔습니다.
• 핵심 난제: 정적 적분 바리폴드의 특이점 집합 크기에 대한 상한을 증명하는 데 있어 가장 큰 장애물은 **평탄한 특이점 (flat singularities) 으로 수렴하는 매끄러운 부분의 위상 (topology)**입니다. 즉, 평평한 점 (평면의 두 배 복제) 에 무한한 위상 (예: 무한한 종수) 이나 특이 구조가 모일 수 있는지 여부가 열려 있는 문제였습니다.
• 목표: 계량 (metric) 의 정밀도가 $C^{1, \alpha}$ ($\alpha \in [0, 1)$) 일 때, 평탄한 특이점 (원점) 으로 수렴하는 무한한 위상 구조를 가진 정적 및 안정적인 바리폴드가 실제로 존재함을 증명하는 것입니다.

2. 주요 결과 (Key Results)

논문은 두 가지 주요 정리를 증명합니다.

• 정리 1.1 (정적 바리폴드):

  • 임의의 $\alpha \in [0, 1)$에 대해, $C^{1, \alpha}$ 계량 $g$와 $m$차원 적분 커런트 $T$가 존재합니다.
  • $T$는 원점을 제외한 단위 구 $B_1(0) \setminus \{0\}$에서 최소 면적 (minimal) 로 매몰된 표면 $\Sigma$에 의해 정의됩니다.
  • 특이점: 원점에서의 접선 원뿔 (tangent cone) 은 평면의 두 배 ($2 \mathbb{R}^m \times \{0\}$) 입니다.
  • 위상: 임의의 작은 반지름 $r$에 대해, $\Sigma \cap B_r(0) \setminus \{0\}$의 종수 (genus) 는 무한대입니다. 즉, 무한히 많은 "고리" (catenoidal necks) 가 원점으로 수렴합니다.

• 정리 1.2 (안정적인 바리폴드):

  • 임의의 $\alpha \in [0, 1)$에 대해, $C^{1, \alpha}$ 계량 $g$와 정적이며 안정적인 (stable) $m$차원 적분 바리폴드 $V$가 존재합니다.
  • $V$는 원점을 제외한 영역에서 최소 면적이며, 원점과 일련의 분리된 구면 $\gamma_k$를 제외합니다.
  • 구조: $\gamma_k$는 원점으로 수렴하며, 각 $\gamma_k$ 주변에서 표면은 세 개의 연결 성분이 $2\pi/3$ 각도로 만나는 "부유 원반 (floating disk)" 구조를 가집니다.
  • 접선 원뿔: 원점에서의 접선 원뿔 역시 평면의 두 배 ($2 \mathbb{R}^m \times \{0\}$) 입니다.
  • 의미: 이는 Bellettini 의 최근 연구 [3] 에서 제시된 $H^{n-2}$ 유한성 조건이 최적일 수 있음을 시사하며, $H^{n-1}$ 유한성만으로는 특이점의 제어가 불가능함을 보여줍니다.

3. 방법론 (Methodology)

저자들은 점근적 접합 (asymptotic gluing) 기법과 보정 형식 (calibration form) 을 이용한 계량 변형을 사용합니다.

3.1. 기본 모델 (Base Model)

• 2 차원: Weierstrass 데이터를 사용하여 두 개의 최소 면적 그래프가 원점에서 접하는 모델을 구성합니다. 이는 $N$차 조화 다항식과 유사한 거동을 보입니다.
• 고차원: 2 차원 모델을 $R^{m-2}$와 직교곱하거나, $N$차 조화 다항식을 기반으로 한 최소 면적 방정식의 해를 구하여 구성합니다.

3.2. 국소 모델 (Local Models) - "수술" (Surgery)

원점에 수렴하는 무한한 위상 구조를 만들기 위해 두 가지 국소 모델을 사용합니다:

1. 카테노이드 (Catenoid): 두 개의 평면 그래프를 연결하는 고리 형태의 최소 면적.
2. 부유 원반 (Floating Disk): 두 개의 카테노이드 조각과 하나의 평평한 원반이 공통 원에서 $2\pi/3$ 각도로 만나는 구조. 이는 모듈로 3 (mod 3) 로 최소 면적을 갖는 특성을 가집니다.

3.3. 접합 및 계량 변형 (Gluing and Metric Perturbation)

• 접합: 기본 모델과 국소 모델 (카테노이드 또는 부유 원반) 을 원통형 영역에서 매끄럽게 접합합니다. 이를 위해 단위 분해 (partition of unity) 를 사용하여 함수를 연결합니다.
• 보정 형식 (Calibration Form): 접합된 표면이 여전히 최소 면적 (또는 정적/안정적) 이 되도록 하기 위해, 표면의 근방에서 닫힌 미분 형식 $\omega$를 구성합니다.
  • 이 형식은 표면의 접평면에서 1 이 되도록 설계됩니다.
  • 계량 변경: 유클리드 계량을 $g = \lambda^2 \delta$로 변형하여, 이 보정 형식 $\omega$가 새로운 계량 $g$에서 보정 (calibration) 이 되도록 합니다. 즉, $\omega$가 $g$에 대해 최대 comass 를 가지도록 $\lambda$를 선택합니다.
• 정밀도 제어: 계량의 정밀도 ($C^{1, \alpha}$) 는 접합 영역에서의 도함수 추정치에 의해 결정됩니다. 저자들은 고차원에서의 카테노이드 끝단 거동과 기본 모델의 기울기 제약을 분석하여, $\alpha < 1$인 경우에만 계량이 $C^{1, \alpha}$가 됨을 보입니다.

3.4. 반복적 접합 (Iterative Gluing)

• 원점을 향해 반지름이 $r_k \to 0$으로 수렴하는 일련의 원통 영역에서 위 과정을 반복합니다.
• 각 단계에서 생성된 표면과 계량은 이전 단계와 호환되도록 설계되어, 극한에서 원점을 제외한 전체 영역에서 정의된 정적/안정적인 바리폴드를 생성합니다.

4. 기술적 세부 사항 및 기여

• 정칙성 한계: 구성된 계량은 원점을 제외하고는 매끄럽지만, 원점 근처에서는 $C^{1, \alpha}$ ($\alpha < 1$) 정밀도만 가집니다. 이는 Ricci 곡률을 제어할 수 없기 때문이며, 저자들은 이것이 증명 방법의 한계일 뿐 예시 자체가 너무 병리적이지 않다고 주장합니다.
• 위상적 복잡성: 정리 1.1 은 평탄한 특이점으로 수렴하는 무한한 종수 (infinite genus) 를 가진 최소 면적을 최초로 구성한 사례 중 하나입니다.
• 안정성: 정리 1.2 의 경우, 부유 원반 구조가 모듈로 3 로 최소 면적이 되도록 설계되어 국소적으로 안정적입니다.
• 임베디드 (Embedded) 문제: 저자들은 코디멘션 (codimension) 이 2 이상일 경우 매몰 (embedded) 된 최소 면적으로도 구성 가능함을 언급하지만, $m$차원 곡면이 $R^{m+1}$에 매몰된 경우 (코디멘션 1) 에는 여전히 열린 문제임을 지적합니다.

5. 의의 (Significance)

1. Allard 정리의 최적성: Allard 의 내부 정칙성 정리를 개선하려는 최근 시도들 (예: [2, 13]) 에 중요한 반례를 제공합니다. 즉, 접선 원뿔이 평면의 두 배라고 해서 항상 두 개의 최소 그래프의 합으로 국소적으로 표현될 수 있다는 가정이 위상적 복잡성 (무한한 종수) 때문에 성립하지 않음을 보여줍니다.
2. 특이점 구조의 이해: 정적 바리폴드의 특이점 집합이 평탄한 점으로 수렴할 때, 그 주변에 위상적 장애물이 축적될 수 있음을 증명함으로써, 특이점의 구조와 크기에 대한 상한을 증명하는 것이 얼마나 어려운지 보여줍니다.
3. Bellettini 연구와의 연관성: Bellettini 의 최근 결과 [3] 가 $H^{n-2}$ 차원의 유한성 조건을 필요로 하는 이유를 뒷받침하며, $H^{n-1}$ 조건만으로는 부족할 수 있음을 시사합니다.
4. 계량 정밀도의 중요성: 계량의 정밀도가 $C^{1, \alpha}$로 낮아질 때 발생할 수 있는 기하학적 현상 (무한한 위상의 축적) 을 구체적으로 보여주어, 최소 면적 이론에서 계량 정밀도의 역할을 재조명합니다.

결론적으로, 이 논문은 저조한 정밀도의 계량 하에서 평탄한 특이점으로 수렴하는 무한한 위상 구조를 가진 정적 및 안정적인 바리폴드가 존재함을 구체적으로 구성하여 증명함으로써, 기하학적 측도론과 최소 면적 이론의 중요한 난제에 대한 새로운 통찰을 제공합니다.