Full flexibility of isometric immersions of metrics with low Hölder regularity in Poznyak theorem's dimension

기술 요약: 낮은 횔더 정칙성을 가진 메트릭의 등거리 매립에 대한 완전한 유연성 (포즈냑 정리의 차원에서)

문제 정의
본 논문은 2차원 리만 메트릭 $g$를 유클리드 공간 $\mathbb{R}^4$로의 등거리 매립(isometric immersion) 문제에 대해 다룬다. 구체적으로, $g \in C^{r,\beta}$ (단, $0 < r + \beta \le 2$)와 같이 낮은 정칙성을 가진 메트릭에 대한 시스템 $(\nabla u)^T \nabla u = g$를 조사한다.

매끄러운 메트릭에 대한 등거리 매립의 존재성을 확립한 고전적 결과들(Nash, Poznyak)은 매끄러운 매립을 보여주지만, 이러한 매립의 정칙성은 시스템의 강성(rigidity)에 의해 제한되는 경우가 많다. 공변량 $k=1$인 경우( $\mathbb{R}^3$로의 매립), Borisov 등에 의한 강성 결과는 $g \in C^2$일 때 $C^{1,\alpha}$ 등거리 매립이 $\alpha > 2/3$이면 강성(rigid)을 가지며, 유연성(flexibility, 임의의 short immersion을 근사할 수 있는 능력)은 $\alpha < 1/3$로 제한됨을 보여준다. 더 높은 공변량에서는 유연성이 개선되지만, $\mathbb{R}^8$ 또는 일반적인 차원에서의 이전 결과들은 완전한 유연성(정칙성이 $C^{1,1}$에 근접하는 것)을 달성하기 위해 훨씬 더 큰 표적 차원을 요구했다.

핵심 질문은 "완전한 유연성" 현상—즉, 임의의 short immersion을 $C^{1,1}$에 매우 가까운 정칙성을 가진 등거리 매립으로 근사할 수 있는 현상—이 매끄러운 매립을 위한 최소 차원인 $n=4$ (Poznyak의 정리가 다루는 표적 차원)에서도 성립하는가 하는 것이다.

방법론
저자는 볼록 적분(convex integration) 기법, 구체적으로 정교화된 **Nash-Kuiper 반복 스킴(iteration scheme)**을 사용한다. 증명은 결함(defect) $D(g, u) = g - (\nabla u)^T \nabla u$를 줄이는 동시에 고계 도함수의 증가를 제어하며 반복적으로 수행되는 "단계(Stage)" 구성 주위로 구조화되어 있다.

주요 기술적 구성 요소는 다음과 같다:

1. 결함 분해 (Defect Decomposition): 분할 함수(partition of unity)와 특정 단위 벡터($\eta_1, \eta_2, \eta_3$)를 사용하여 결함을 rank-one primitive matrix들로 분해한다.
2. 3단계 코러게이션 (Three-Step Corrugation): 단일 단계 혹은 Nash spiral을 사용하는 기존 방식과 달리, 본 증명은 결함 성분들을 제거하기 위해 단일 "단계(Stage)" 내에서 3단계 코러게이션 과정을 활용한다.
   • 1단계 (Nash's Spiral): 특정 성분들을 처리하기 위해 두 개의 법선 방향을 사용한다.
   • 2단계 및 3단계 (Kuiper's Corrugation): rank-one 결함을 상쇄하기 위해 Kuiper의 안사츠(ansatz, 법선 및 접선 섭동을 모두 포함하는 형태)를 사용한다. 이 구성은 등거리 매립의 완전 비선형 설정에 맞게 조정되었으며, Monge-Ampère 시스템으로부터 얻은 통찰을 활용한다.
3. Källén 반복 기법 (Källén Iteration Technique): 코러게이션으로부터 발생하는 비진동적 오차 항(특히 $\frac{1}{\lambda^2}\nabla a \otimes \nabla a$ 항)을 상쇄하기 위해 Källén 반복 기법을 적용하는 것이 핵심적인 혁신이다. 이를 통해 임의의 고계 결함을 동시에 상쇄할 수 있다.
4. 주파수 및 파라미터 진행 (Frequency and Parameter Progression): 주파수($\mu_k, \lambda, \kappa$)와 결함 크기($\delta_k$)의 특정 진행 과정을 정의한다. "폭발(blow-up)" 비율인 2계 도함수의 증가율($J$)과 "감쇠(decay)" 비율인 결함의 감소율($S$) 사이의 비율을 정밀하게 조정함으로써, $J/S$를 임의로 작게 만들 수 있음을 보장한다.
5. 법선 프레임 전파 (Normal Frame Propagation): 매립 시퀀스에 대한 정규 직교 법선 프레임($E^1_u, E^2_u$)의 존재와 전파를 증명하는 작업이 상당한 기술적 비중을 차지하며, 이는 $\mathbb{R}^4$에서의 구성의 기하학적 일관성을 보장한다.

주요 기여

• 유연성을 위한 최적 차원: 본 논문은 2차원 메트릭에 대해 $\mathbb{R}^4$에서 완전한 유연성이 달성 가능함을 증명한다. 이는 매끄러운 매립의 존재성(Poznyak의 정리, $n=4$)에 필요한 차원과 일치하지만, 이를 낮은 정칙성을 가진 유연한 영역으로 확장한 것이다.
• 정칙성 임계값: $r+\beta \le 2$인 메트릭 $g \in C^{r,\beta}$에 대하여, 저자는 $\alpha < \min\left(\frac{r+\beta}{2}, 1\right)$를 만족하는 등거리 매립 $\bar{u} \in C^{1,\alpha}$를 구성한다.
  • 결정적으로, $C^2$ 메트릭($r+\beta=2$)의 경우, 이는 $C^{1,1-\epsilon}$ (즉, $C^{1,1}$에 임의로 가까운) 정칙성을 가진 매립을 산출한다.
• 강성과의 대비: $\mathbb{R}^3$에서 관찰되는 강성(유연성이 $\alpha < 1/3$으로 제한되고 $\alpha > 2/3$에서 강성이 나타나는 현상)이 $\mathbb{R}^4$에서는 완전히 사라짐을 보여준다.
• 기술적 합성: 본 연구는 Monge-Ampère 시스템 문헌(특히 결함 전이 및 진동 분해)의 기법을 활용하여, 이전보다 더 낮은 공변량에서 등거리 매립 시스템을 해결하기 위해 Källén 반복 기법을 통합하였다.

주요 결과

• 정리 1.1 (주 정리): $0 < r+\beta \le 2$인 단순 연결된 영역 $\omega \subset \mathbb{R}^2$ 위의 리만 메트릭 $g \in C^{r,\beta}(\bar{\omega}, \mathbb{R}^{2\times 2}_{sym,>})$에 대하여, 임의의 short immersion $u \in C^1(\bar{\omega}, \mathbb{R}^4)$와 임의의 $\epsilon > 0$에 대해, $\|\bar{u} - u\|_0 \le \epsilon$을 만족하는 $\alpha < \min\left(\frac{r+\beta}{2}, 1\right)$인 등거리 매립 $\bar{u} \in C^{1,\alpha}(\bar{\omega}, \mathbb{R}^4)$가 존재한다.
• 정리 1.2 (단계 구성): 결함을 $\sigma^{-N}$ 배만큼 줄이는 동시에 2계 도함수의 증가를 제어하여, 감쇠율 $S$와 폭발율 $J$를 달성하고, 파라미터 $N, K \to \infty$일 때 $J/S \to 0$이 되도록 하는 귀납적 단계를 확립한다.
• 정리 1.3 (Nash-Kuiper 반복): 단계 구성에서 제공된 추정치를 바탕으로, 반복 스킴이 $C^{1,\alpha}$ 등거리 매립으로 수렴함을 증명한다.

의의
본 논문은 2차원 메트릭에 대해 등거리 매립의 "강성"이 $\mathbb{R}^4$에서 완전히 사라진다고 주장한다. 이 결과는 다음과 같은 점에서 중요하다:

1. 매끄러운 매립의 존재성(Poznyak의 정리, $n=4$)에 필요한 차원과 낮은 정칙성을 가진 매립의 유연성(예: $n=8$ 또는 일반적인 $n$)을 위한 차원 사이의 간극을 메웠다.
2. $\mathbb{R}^3$에서의 결정적 정칙성 임계값(2/3 장벽)이 낮은 공변량의 결과임을 입증하며, 공변량을 단 하나 늘려 $\mathbb{R}^4$로 만드는 것만으로도 메트릭의 정칙성 한계까지 완전한 유연성을 회복하기에 충분함을 보여준다.
3. Monge-Ampère 시스템과 등거리 매립 시스템에 대한 통합된 프레임워크를 제공하며, 전자의 기술들이 어떻게 최적의 차원에서 후자를 해결하기 위해 적응될 수 있는지를 보여준다.

저자는 본 결과가 모든 표적 차원 $n \ge 4$에 대해 성립한다고 언급하였으나, $n=4$에 집중한 이유는 2-매니폴드의 일반적인 매끄러운 매립 존재성(Poznyak의 정리)을 위한 최소 차원이라는 점 때문이다.