[논문 리뷰] Complex Hessian Equation on Kähler Manifold

Zuoliang Hou|ArXiv.org|2008. 12. 24.

Geometry and complex manifolds참고 문헌 10인용 수 4

한 줄 요약

이 논문은 비음성 복소 허미트 곡률을 가진 컴act 캘러만이에서 복소 허미트 방정정식 $(ω + \sqrt{-1}\partial\bar{\partial}\varphi)^k \wedge \omega^{n-k} = f\omega^n$ 의 매끄러운 해의 존재성과 유일성을 연속성 방법과 사전 $C^2$ 추정을 사용하여 증명한다. 핵심 결과는 곡률과 양성 조건 하에서의 $C^2$ 추정으로, 야우의 복소 몽제-암페르 방정식 접근법을 일반화한다.

ABSTRACT

In this paper, complex Hessian equation over Kähler manifold was studied. Under the condition that the underline Kähler manifold has non-negative holomorphic bisectional curvature, the existence and regularity of the solution was proved.

연구 동기 및 목표

• 비음성 복소 허미트 곡률을 가진 컴act 캘러만에서 복소 허미트 방정식의 해를 확립하기.
• 2 \leq k \leq n-1 인 더 일반적인 복소 허미트 방정식으로 야우의 복소 몽제-암페르 방정식 접근법을 일반화하기.
• 곡률과 함수 정규성 조건 하에서 사전 $C^2$ 추정을 유도하여 매끄러운 해 존재를 보장하기.
• 곡률이 복소 허미트 방정식의 해 존재성에 미치는 역할을 명확히 하기, 특히 비음성 복소 허미트 곡률이 본질적인 기하 조건인지 또는 기술적 요구사항인지 파악하기.

제안 방법

• 컴act 캘러만에서 복소 허미트 방정식의 해 존재성을 증명하기 위해 연속성 방법을 사용한다.
• 크릴로프와 에반스의 표준 이론을 적용하여 문제를 사전 $C^2$ 추정의 증명으로 환원한다.
• 허미트 메트릭 $H$ 를 허미트 행렬 $\partial\bar{\partial}\varphi$ 와 함수 $f^{1/k}$ 에 의해 유도되며, $H^{\alpha\bar{\beta}} = \tilde{F}^{\alpha\bar{\beta}}(I_n + (\varphi_{\alpha\bar{\beta}}))$ 로 정의된다.
• 리치 항등식과 $S_k^{1/k}$ 의 오목성을 사용하여 라플라스 추정 $\tilde{\Delta}(n + \Delta\varphi) \geq \Delta(f^{1/k})$ 을 유도한다.
• 복소 허미트 곡률의 비음성 조건을 이용하여 라플라스 추정의 곡률 항의 비음성을 확보함으로써 전역적 유계성을 확보한다.
• $\operatorname{tr}_\omega H$ 와 $n + \Delta\varphi$ 의 최대점에서의 유계성을 확립하여 $\omega_\varphi$ 의 고유값에 대한 균일한 통제를 이룬다.

실험 결과

연구 질문

• RQ1 비음성 복소 허미트 곡률을 가진 컴act 캘러만에서 복소 허미트 방정식 $(\omega + \sqrt{-1}\partial\bar{\partial}\varphi)^k \wedge \omega^{n-k} = f\omega^n$ 이 매끄러운 해를 갖는가?
• RQ2 비음성 복소 허미트 곡률은 복소 허미트 방정식의 해 존재성에 있어 본질적인 기하 조건인가, 아니면 기술적 요구사항인가?
• RQ3 야우의 칼라비-야우 추측 증명 방식과 유사한 방법으로 복소 허미트 방정식의 $C^2$ 사전 추정을 확립할 수 있는가?
• RQ4 배경 캘러만 메트릭에 대한 $k$-양성 콘의 의존성은 복소 허미트 방정식의 해 존재성과 정규성에 어떤 영향을 미치는가?
• RQ5 복소 허미트 방정식에서 $f$ 의 엄격한 양성 조건을 어느 정도 완화할 수 있으며, 이로 인해 해 존재성과 정규성이 유지되는가?

주요 결과

• 비음성 복소 허미트 곡률을 가진 컴act 캘러만에서 엄격히 양성인 매끄러운 $f$ 를 가진 복소 허미트 방정식은 상수항을 제외하고 유일한 매끄러운 해를 가진다.
• $C^0$ 추정은 $\|\varphi\|_{C^0} \leq C_q$ 로 확립되며, 여기서 $C_q$ 는 $(M,\omega)$, $q > 2n$, 및 $\|f - 1\|_{L^q}$ 에 의존한다.
• $C^1$ 추정은 $\|\nabla\varphi\|_{C^0(\omega)} \leq C_1$ 로 유계이며, 여기서 $C_1$ 은 $(M,\omega)$, $\|f^{1/k}\|_{C^1(\omega)}$, 및 $\operatorname{osc}\varphi$ 에 의존한다.
• $C^2$ 추정은 라플라스 추정 $\tilde{\Delta}(n + \Delta\varphi) \geq \Delta(f^{1/k})$ 를 통해 달성되며, 이에 따라 $\|\partial\bar{\partial}\varphi\|_{C^0(\omega)} \leq C_2$ 가 된다. 여기서 $C_2$ 는 $\sup f$, $\inf \Delta(f^{1/k})$, 및 $\operatorname{osc}\varphi$ 에 의존한다.
• 비음성 복소 허미트 곡률은 라플라스 추정의 곡률 항 통제에 필수적이며, 이는 곡률 전개에서 리치 유형 항의 비음성을 보장하기 때문이다.
• 결과적으로 $k$-양성 콘의 배경 메트릭에 대한 의존성은 복소 몽제-암페르의 경우와 달리 기하적 제약을 도입하며, 이는 $\omega_\varphi$ 의 양성만으로도 통제가 가능하다는 점에서 다르게 나타난다.