Monge-Ampère-type equation for forms of positive degree and Demailly's transcendental Morse inequality

기술 요약: 양의 차수를 가진 폼(Forms)에 대한 몽주-암페르 유형 방정식 및 데밀리(Demailly)의 초월적 모스 부등식

문제 정의
본 논문은 차원이 $n$인 컴팩트 켈러 다양체 $(M, \omega)$ 위에서 양의 차수를 가진 폼에 대한 몽주-암페르 유형 방정식의 가해성(solvability)을 다룬다. 이 방정식은 디네프(Dinew)와 포포비치(Popovici)가 고차 코호몰로지 클래스(구체적으로 $1 < m \leq n$인 $(m, m)$-폼)에 대한 데밀리의 초월적 모스 부등식의 질적 부분을 확립하기 위해 도입한 것이다.

핵심적인 어려움은 방정식을 풀기 위해 요구되는 게이지 고정(gauge-fixing) 조건에 있다. 디네프와 포포비치가 제안한 원래의 정식화는 $u \in \text{Ker}(\partial^*) \cap \text{Ker}(\bar{\partial}^*)$라는 커널 조건과 함께 $\Lambda^{m-2}\Delta u = 0$ ($\Lambda$는 트레이스 연산자, $\Delta$는 라플라시안) 조건을 부과했다. 저자는 이 특정 트레이스 조건이 분석적으로 "너무 경직되어(too rigid)" 있어, 해를 자명한 것(상수 체적 형식)으로 강제하며, 결과적으로 일반적인 체적 형식 $dV$에 대한 해를 생성하는 데 실패함을 입증한다. 따라서 모스 부등식에 대한 무조건적인 증명은 여전히 난제로 남아 있었다.

방법론
원래의 게이지가 가진 경직성을 해결하기 위해, 본 논문은 두 실수 상수 $a$와 $b$에 의해 매개변수화되고 제약 조건 $a + nb = m - n - 2$를 만족하는 일반화된 게이지 고정 조건을 도입한다. 새로운 조건은 다음과 같다:
$$(m-1)\Lambda^{m-2}\Delta u = (1+a)i\partial\bar{\partial}\Lambda^{m-1}u + (1+b)\Lambda^{m-1}\Delta u \, \omega$$
이로 인해 $(a, b)$ 몽주-암페르 유형 방정식은 $u$의 최저 차 원시 함수(lowest-order primitive)인 함수 $f$를 포함하는 스칼라 방정식으로 축소된다:
$$\left( \star_\omega(\alpha \wedge \omega^{n-m-1}) + \frac{n!}{(n-m+1)!} [a i\partial\bar{\partial}f + b \Delta f \, \omega] \right)^n = dV$$

방법론은 세 가지 주요 단계로 진행된다:

1. 유일성 분석: 논문은 먼저 커널 조건 $u \in \text{Ker}(\partial^*) \cap \text{Ker}(\bar{\partial}^*)$를 분석한다. $u$를 원시 좌표 $\psi_k$들로 분해하고 켈러 메트릭의 교환 관계를 활용함으로써, 저자는 이 원시 함수들 사이의 일련의 관계(cascade of relations)를 도출한다. 이 분석은 원래의 조건 $\Lambda^{m-2}\Delta u = 0$이 $\Delta f = 0$ 및 $\Delta \psi_1 = 0$을 함의하여, 비자명한 $dV$에 대해 방정식을 풀 수 없게 만든다는 것을 증명한다. 반대로, 새로운 게이지 하에서는 더 강력한 유일성 정리가 확립된다: 즉, 원시 함수의 차이가 특정$\bar{\partial}^*$-정확성(exactness) 또는 폐쇄성(closedness) 조건을 만족할 경우 해는 상수와 조화 형식(harmonic forms)까지 유일하다.
2. 사전 추정치(A Priori Estimates): 저자는 일반화된 방정식에 대한 2계 및 그래디언트 추정치를 도출한다. 분석은 두 가지 매개변수 영역으로 나뉜다:
   • 영역 1 ($a+b \geq 0, b \geq 0$ 또는 $a+b \leq 0, b \leq 0$): 이 범위에서 방정식은 무조건적으로 가해적이다. 저자는 헤시안(Hessian)의 최대 고윳값과 그래디언트 추정치를 포함하는 테스트 함수에 최대 원리(maximum principle)를 적용하여 $C^2$ 유계성을 확립한다.
   • 영역 2 ($a+b < 0, b > 0$ 또는 $a+b > 0, b < 0$): 여기서 방정식은 조건부로 가해적이다. 저자는 연속 경로법(continuity path method)을 도입한다. 핵심적인 도전 과제는 메트릭의 조건수(condition number) $\kappa(\tilde{g})$에 의존하는 균등 타원성(uniform ellipticity)을 유지하는 것이다. 배경 데이터 $X$가 $\kappa(X) < |a|/(n|b|)$라는 조건을 만족한다고 가정하고, 양적 암묵 함수 정리(축소 사상 원리)를 활용하여, 우변의 섭동이 충분히 작을 때 해가 균등 타원적 메트릭의 원뿔 내에 머물러 있음을 보인다.
3. 존재성 및 수렴: 에반스-크릴로프(Evans-Krylov) 이론과 쇼어더(Schauder) 추정치를 사용하여 $C^\infty$ 유계성이 확립된다. 역함수 정리와 아르젤라-아스콜리(Arzelà-Ascoli) 정리를 통해 개집합 및 폐집합 논리를 연속 경로에 적용하여 해의 존재성을 증명한다.

주요 기여 및 결과

• 경직성 해결: 본 논문은 원래의 라플라시안 트레이스 조건 $\Lambda^{m-2}\Delta u = 0$이 일반적인 체적 형식에 대해 해의 존재성과 양립할 수 없음을 증명한다.
• 일반화된 게이지: $(a, b)$ 게이지 고정 조건의 도입은 해를 허용하는 유연한 프레임워크를 제공한다.
• 무조건적 가해성 (영역 1): 특정 매개변수 범위에 대해, 본 논문은 임의의 매끄러운 체적 형식 $dV$에 대해 유일한 해(상수까지 유일)가 존재함을 증명한다.
• 조건부 가해성 (영역 2): 다른 영역의 경우, 해는 배경 메트릭에 대한 조건수 제약을 준수하면서 배경 행렬식에 충분히 가까운($C^{0,\gamma}$ 노름 기준) 타겟 체적 형식을 제공할 때 존재한다.
• 강화된 유일성: 커널 조건 하에서, 본 논문은 해의 최저 차 원시 좌표가 조화 형식까지 유일하다는 것을 입립하며, 이는 기존에 알려진 것보다 더 강력한 결과이다.
• 데밀리의 부등식 증명: $b=0$이고 $a=m-n-2$인 경우(영역 1에 해당)를 설정함으로써, 이 프레임워크는 고전적인 복소 몽주-암페르 방정식 맥락으로 축소된다. 이를 통해 고차 폼에 대한 데밀리의 초월적 모스 부등식의 질적 부분을 무조건적으로 증명할 수 있다. 구체적으로, 적분 체적 임계값이 성립하면, 코호몰로지 클래스 $[(\alpha\omega)^m - \beta]$는 엄격하게 양의 전류(strictly positive current)를 포함한다.

의의
본 논문은 디네프와 포포비치의 연구에서 필요했던 몽주-암페르 유형 방정식의 가해성에 관한 조건부 가정을 제거했다고 주장한다. 분석적으로 실행 가능한 더 넓은 게이지 하에서 방정식이 가해적임을 보여줌으로써, 본 논문은 고차 코호몰로지 클래스에 대한 데밀리의 초월적 모스 부등식의 질적 부분에 대한 무조건적인 증명을 제공한다. 이 결과는 복소 기하학에서, 투영 다양체로부터 일반적인 컴팩트 켈러 다양체로 고차 폼에 대한 의사 유효 코너(pseudo-effective cone)와 이동 가능 클래스 코너(cone of movable classes) 사이의 쌍대성을 확장한다는 점에서 중요하다.

저자는 "영역 2"의 결과에 대해 겸허한 태도를 유지하며, 작은 데이터 가정($|dV - \log \det X| < \epsilon$)이 균등 타원성을 보장하기 위해 현재로서는 필요하다고 언급한다. 저자는 이 가정을 제거하는 것이 현재의 과제임을 밝히며, 최소 고윳값의 역수에 대한 표준적인 최대 원리 argument만으로는 불충분하며, PDE의 새로운 구조적 특성이 필요할 수 있음을 시사한다.