[논문 리뷰] A Liouville Theorem on the PDE $\det(f_{i\bar j})=1$

An-Min Li, Sheng Li|arXiv (Cornell University)|2018. 09. 04.

Geometry and complex manifolds참고 문헌 6인용 수 3

한 줄 요약

이 논문은 복소 헤시안 방정식 $\det(f_{i\bar j}) = 1$ 에 대해 $\mathbb{C}^n$ 상에서 매끄럽고 복소볼로모르프해선형인 해 $f$ 에 대해 리우빌형 정리를 확립한다. 관련 켈러 메트릭 $\omega_f$ 의 완비성과 다항식 성장 조건 $C^{-1}(1+|z|^2) \leq f \leq C(1+|z|^2)$ 하에, 저자들은 $f$ 가 이차 다항식에 애프린 형식으로 동치임을 증명하며, 이는 이전 결과보다 더 약한 조건 하에서 점별 渐近 전개를 요구하지 않는다.

ABSTRACT

Let $f$ be a smooth plurisubharmonic function which solves $$ \det(f_{i\bar j})=1\;\;\;\;\;\;\mbox{in }Ω\subset \mathbb C^n.$$ Suppose that the metric $ω_{f}=\sqrt{-1}f_{i\bar j}dz_{i}\wedge d\bar z_{j}$ is complete and $f$ satisfies the growth condition $$ C^{-1}(1+|z|^2)\leq f\leq C(1+ |z|^2),\;\;\;\; as\;\;\; |z| o \infty. $$ for some $C>0,$ then $f$ is quadratic.

연구 동기 및 목표

• 이전 결과보다 더 약한 조건 하에서, $\mathbb{C}^n$ 상에서 복소 헤시안 방정식 $\det(f_{i\bar j}) = 1$ 에 대해 리우빌형 정리를 확립하는 것.
• 완비 메트릭을 가진 해에 대해 유계 성장 조건이 이차 구조를 유도하는지 여부를 제기한 Szekelyhidi 의 질문을 해결하는 것.
• 완비성과 이차 성장 조건 하에, $f$ 의 혼합 이阶 도함수들이 상수임을 증명하여, 이는 애프린 형식으로 이차 다항식과 동치임을 이끌어내는 것.
• Wang 의 결과를 $f = |z|^2 + o(|z|^2)$ 라는 조건이 필요로 하는 것에서, 이중 이차 경계 조건으로 확장하는 것.
• 공변 미분을 포함하는 새로운 불변량 $D$ 를 도입하고, $D$ 에 대한 점별 경계 조건 하에 두 번째 리우빌 정리를 확립하는 것.

제안 방법

• 선형 변환 $\dot{f} = f/C^2$, $\dot{z} = z/C$ 를 통한 스케일링 추론을 사용하여 문제를 정규화하고 무한대에서의 행동을 분석하는 것.
• Chen, Li, Sheng (2013) 의 경사도 추정을 적용하여 리치 곡률 경계 조건에 따라 $\|\nabla \dot{f}\|_{\dot{f}}^2 / (1 + \dot{f})^2$ 의 경계를 구하는 것.
• 유클리드 메트릭 $g_{i\bar j}$ 를 사용하여 $T = \sum f^{i\bar j} g_{i\bar j}$ 를 정의하고, 최대원리 기법을 통해 이 값의 균일한 유계성을 증명하는 것.
• 중량 함수 $\mathbf{F} = \exp(-b/(b-f)) \cdot \|\nabla f\|_f^2 / (1+f)^2$ 를 사용하여 경사도를 제어하고, 부분수준집합의 경계까지의 지오데식 거리에 하한을 구하는 것.
• 성장 조건과 완비성 조건 하에 메트릭 $\omega_f$ 가 완비임을 증명하고, 이는 Corollary 1.3 의 적용을 가능하게 하는 것.
• 수정된 양수 $S = \sum |f_{i\bar j}|^2$ 에 대해 최대원리를 적용하여 $S \equiv 0$ 임을 증명함으로써, 모든 이阶 도함수가 상수임을 이끌어내는 것.

실험 결과

연구 질문

• RQ1 완비 메트릭 $\omega_f$ 와 $C^{-1}(1+|z|^2) \leq f \leq C(1+|z|^2)$ 를 만족하는 복소볼로모르프해선형 매끄러운 해 $f$ 에 대해, $f_{i\bar j}$ 가 상수여야 하는가?
• RQ2 이중 이차 성장 경계 조건 하에 $f = |z|^2 + o(|z|^2)$ 를 요구하지 않고도 $\det(f_{i\bar j}) = 1$ 에 대해 리우빌 정리를 확립할 수 있는가?
• RQ3 불변량 $D = \sum f^{i\bar k} f^{j\bar l} f_{,ij} f_{,\bar k\bar l}$ 가 $C(1+f)^2$ 로 유계이면, $f$ 가 애프린 형식으로 이차 다항식과 동치임을 강제할 수 있는가?
• RQ4 무한대에서 $f \geq \varepsilon |z|^2$ 이 성립하고, 메트릭 $\omega_f$ 가 완비이면, $f$ 는 반드시 이차 함수인가?
• RQ5 성장 조건과 $D$-경계 조건으로부터 $\omega_f$ 의 완비성을 도출할 수 있는가? 이는 이전 결과의 적용을 가능하게 한다.

주요 결과

• 정리 1.2 의 조건 — 즉, 무한대에서 $f \geq \varepsilon |z|^2$ 이고 $\omega_f$ 가 완비이면 — 모든 혼합 이阶 도함수 $f_{i\bar j}$ 는 상수이다.
• 코로나리 1.3 은 $f$ 가 $C^{-1}|z|^2 \leq f \leq C|z|^2$ 를 만족하고 $\omega_f$ 가 완비이면, $f$ 는 애프린 형식으로 이차 다항식과 동치임을 보여준다.
• 정리 1.4 는 $f$ 가 $\mathbb{C}^n$ 상에서 정의되고 이차 성장 경계를 만족하며, $D \leq C(1+f)^2$ 이면, $f$ 는 애프린 형식으로 이차 다항식과 동치임을 보여준다.
• 정리 1.4 의 증명은 $D$-경계 조건이 $\omega_f$ 가 완비임을 암시함을 보여주며, 이는 코로나리 1.3 으로의 환원을 가능하게 한다.
• 스케일링 추론과 $S = \sum |f_{i\bar j}|^2$ 에 대한 최대원리의 조합은 $S$ 가 0이 아니면 모순을 일으키므로, $S \equiv 0$ 이 됨을 증명한다.
• $\|\nabla f\|_f^2 / (1+f)^2 \leq \mathsf{C}_9$ 의 경사도 추정은 부분수준집합 전체에 걸쳐 균일하게 유도되며, 이는 $S_f(0,b)$ 의 경계까지의 지오데식 거리가 $\log b$ 와 비슷하게 증가함을 의미하므로, $\omega_f$ 는 완비이다.