Regularity of a Geodesic equation in the space of mixed Volume Forms on Hermitian Manifolds

기술 요약: 헤르미션 다양체 상의 혼합 체적 형식 공간에서의 측지선 방정식의 정칙성

문제 정의
본 논문은 헤르미션 다양체 상의 혼합 체적 형식 공간 내 측지선 연구에서 발생하는 완전 비선형 편미분 방정식(PDE)의 정칙성을 조사한다. 구체적으로, 저자는 헤르미션 다양체 $(M, \omega)$와 혼합 체적 형식의 공간 $V_p = \{ \phi \in C^\infty(M) : \Omega_\phi \wedge \omega^{n-p} > 0 \}$, 여기서 $\Omega_\phi = \omega^p + \sqrt{-1}\partial\bar{\partial}(\phi\omega^{p-1})$이다.

이 공간에서 유도된 측지선 방정식은 선행 연구 [4]에 따라 다음과 같이 주어진다:
$$\phi_{tt}(n + nX\phi + \Delta\phi) - |\nabla\phi_t|^2 = -\frac{nX\phi_t^2}{2}$$
여기서 $X = \sqrt{-1}\partial\bar{\partial}\omega^{p-1} \wedge \omega^{n-p}$는 기하학적 양이다. 이 방정식의 유형은 $X$의 부호에 따라 결정적으로 달라진다. 균형 잡힌 메트릭($d\omega^{n-1}=0$)은 일반적으로 $X \geq 0$을 유도하지만(퇴화된 쌍곡형 방정식을 초래), 본 논문은 $X \leq 0$인 경우에 집중한다. 이 조건 하에서 방정식은 **퇴화 타원형(degenerate elliptic)**이 된다. 주요 목표는 이 방정식의 해에 대해 $C^{1,1}$ 정칙성(라플라시안 및 그래디언트에 대한 균등 유계성)을 확립하는 것이며, 이는 약해(weak solution)의 존재를 증명하기 위한 필수적인 단계이다.

방법론
증명 전략은 헤르미션 설정의 특수한 도전 과제와 혼합 체적 형식 구조에 맞춰 조정된, 완전 비선형 기하학적 PDE를 위한 표준 경로를 따른다:

1. 부하해(Subsolution)의 구성:
   저자는 먼저 $\phi_{tt}$ 추정을 처리하기 위해 명시적인 부하해를 구성한다. 이 부하해는 $\phi(z, t) = (1-t)\phi_0(z) + t\phi_1(z) + g(t)$ 형태를 가지며, 여기서 $g(t)$는 상미분 방정식(ODE)을 풀어 결정된다. 이러한 구성은 에반스-크리로프(Evans-Krylov) 정리에 필요한 장벽 함수(barrier function)의 존재를 보장한다.

2. 라플라시안 추정 ($C^2$ 유계성):
   분석의 핵심은 라플라시안 $\Delta\phi$에 대한 균등 추정을 도출하는 것이다.

   • $X=0$인 경우: 도날드슨 방정식(Donaldson equation, $X=0$)의 경우, 저자는 테스트 함수 $Q = \log(n + \Delta\phi) + h(t)$를 사용하고 극댓값 원리(maximum principle)를 적용한다. 헤르미션 다양체에 내재된 토션 항(commutation formula를 복잡하게 만드는)은 보조 함수 $h(t)$를 신중하게 선택함으로써 관리된다.
   • $X \leq 0$인 경우: 일반적인 퇴화 타원형의 경우, 표준 테스트 함수는 $X$ 항의 존재로 인해 불충분하다. 저자는 테스트 함수를 $Q = \log(L + \Delta\phi) + g(t) + b\phi_{tt}$로 수정한다. 여기서 $L$은 상한(supremum)이고 $b$는 작은 상수이다. 이러한 수정은 방정식을 미분할 때 발생하는 문제적인 항 $-2n\text{Re}(\phi_{tt\bar{k}}\nabla_{\bar{k}}X\phi)$를 제어할 수 있게 한다. 헤르미션 다양체 상의 $\partial$-라플라시안에 대한 교환 공식은 토션 및 곡률 텐서를 포함하여 오차 항을 유계하기 위해 명시적으로 활용된다.

3. 그래디언트 추정 ($C^1$ 유계성):
   라플라시안 추정이 확립되면(즉, $|\Delta\phi| \leq C(1 + |\nabla\phi|)$를 보임), 보간 부등식을 사용하여 그래디언트 추정을 도출한다. 실(real) 헤시안의 $L^p$ 노름을 라플라시안에 대해 유계하기 위해 칼데론-지그문트(Calderón-Zygmund) 정리를 적용하고, 이어서 갈리오르노-니렌버그(Gagliardo-Nirenberg) 보간 부등식을 사용하여 $|\nabla\phi|$에 대한 균등 $L^\infty$ 유계성을 얻는다.

4. 고계 정칙성 및 존재성:
   $C^{1,1}$ 유계성이 확립되면, 섭동된 방정식(우변에 매끄러운 양의 함수 $\psi$가 추가된 형태)에 대해 에반스-크리로프 정리를 호출하여 전역 $C^{2,\alpha}$ 추정을 얻는다. 고계 추정은 부트스트래핑(bootstrapping)을 통해 얻어진다. 마지막으로, 섭동 파라미터 $\psi \to 0$으로 보냄으로써, 저자는 원래의 퇴화 방정식에 대한 $C^{1,1}$ 약해의 존재를 확립한다.

주요 기여 및 결과

• 정리 1.1: 본 논문은 $X \leq 0$인 헤르미션 다양체에 대해, 섭동된 측지선 방정식의 임의의 $C^4$ 해가 균등 유계 $|\Delta\phi|_{C^0} + |\nabla\phi|_\omega \leq C$를 만족함을 증명한다 (여기서 $C$는 배경 데이터에만 의존한다).
• 따름정리 1.2: 직접적인 결과로서, 본 논문은 매끄러운 경계 데이터를 가진 헤르미션 다양체 상의 도날드슨 방정식(case $X=0$)에 대한 유일한 $C^{1,1}$ 약해의 존재를 확립한다.
• 명시적 부하해: 본 논문은 혼합 체적 형식 측지선 방정식에 대한 명시적인 부하해를 생성하는 구성적 방법을 제공하며, 이는 일반적인 존재성 증명에서 종종 생략되는 기술적 요구 사항이다.
• 헤르미션 다양체로의 일반화: 기존 연구들이 주로 켈러(Kähler) 또는 리만(Riemannian) 설정에 집중했던 것과 달리, 본 연구는 토션 항과 교환 관계를 명시적으로 다루는 일반적인 헤르미션 다양체의 설정을 다룬다. 이를 통해 추정치 도출 자체를 위해 균형 잡힌 조건을 요구하지 않고도 추정치가 성립함을 보여준다 (단, 균형 잡힌 조건은 기하학적 설정을 위한 맥락으로서 언급된다).

의의
본 논문은 측지선 방정식의 정칙성 이론을 잘 연구된 켈러 및 리만 맥락에서 혼합 체적 형식을 갖는 더 넓은 헤르미션 다양체 설정으로 확장함으로써 그 의의를 주장한다. $X \leq 0$ 조건 하에서 $C^{1,1}$ 정칙성을 증명함으로써, 이 연구는 특정 기하학적 맥락에서 도날드슨 방정식의 해의 존재성을 해결한다. 저자는 균형 잡힌 메트릭 조건($d\omega^{n-1}=0$)이 일반적으로 $X \geq 0$을 강제하지만(쌍곡형 케이스), 본 논문은 $X \leq 0$(타원형 케이스)인 별개의 기하학적 시나리오를 다룬다고 언급한다. 이 결과는 켈러 다양체 상의 정준 메트릭(canonical metrics)의 존재성에 측지선 방정식이 수행하는 역할과 유사하게, 이 공간에서의 정준 메트릭 존재성을 위한 필요한 해석적 토대를 제공한다. 저자는 쌍곡형 케이스($X \geq 0$)가 향후 연구의 주제가 될 것임을 명시적으로 밝힌다.