[논문 리뷰] Weak transcendental holomorphic Morse inequalities on compact Kähler manifolds

Jian Xiao|arXiv (Cornell University)|2013. 08. 13.

Geometry and complex manifolds참고 문헌 11인용 수 14

한 줄 요약

이 논문은 컴acts Kähler 다양체에 대한 Demailly의 추상적 해석적 미분 부등식에 대한 약한 형태의 추측을 증명한다. 즉, 두 개의 네프(cohomology) 클래스 $\{\alpha\}, \{\beta\}$가 $\{\alpha\}^n - 4n\{\alpha\}^{n-1} \cdot \{\beta\} > 0$ 를 만족할 경우, $\{\alpha - \beta\}$ 는 큰 클래스(big class)임을 보이며, 이는 Kähler 미분형식을 포함한다는 뜻이다. 이 결과는 이전 연구에서 유리수 성질과 사영성 조건을 제거하여 추상적 클래스에까지 일반화하고, 체적 성장에 대한 이전의 경계를 확장한다.

ABSTRACT

Transcendental holomorphic Morse inequalities aim at characterizing the positivity of transcendental cohomology classes of type $(1,1)$. In this paper, we prove a weak version of Demailly's conjecture on transcendental Morse inequalities on compact Kähler manifolds. And as a consequence, we partially improve a result of Boucksom-Demailly-Paun-Peternell.

연구 동기 및 목표

• 콤���트 Kähler 다양체에 대한 Demailly의 추상적 해석적 미분 부등식에 대한 약한 형태의 추측을 증명하는 것.
• 유리수 및 사영적 조건을 초월하여 코homology 클래스의 체적 경계에 관한 이전 결과를 확장하는 것.
• 두 클래스 $\{\alpha\}, \{\beta\}$ 가 추상적일지라도, 교차형식의 양의 조건이 만족될 경우 $\{\alpha - \beta\}$ 가 Kähler 미분형식을 포함한다는 것을 입증하는 것.
• 이전 결과에서 요구되던 메트릭 조건을 약화시키며, $k=1,\dots,n-1$ 에 대해 $\partial\bar{\partial}\omega^k = 0$ 이면 충분함을 보이는 것.

제안 방법

• 제어된 체적 성장을 가지는 근사형식 $\alpha_\varepsilon + i\partial\bar{\partial}u_\varepsilon$ 를 구성하기 위해 복소 Monge-Ampère 방정식을 사용하는 것.
• 한계 $\varepsilon \to 0$ 에서 질량과 곡률을 제어하기 위해 잠재함수에 대한 균일한 $L^1$ 유계성을 적용하는 것.
• $\partial\bar{\partial}\omega = 0$ (또는 고차원에서의 소멸) 조건을 활용하여 편미분에 의한 체적 적분을 유지하는 것.
• 지점별 부등식과 체적 비교를 통해 $M_\varepsilon = \int_X (\alpha + \varepsilon\omega + i\partial\bar{\partial}\eta_\varepsilon)^2 \wedge (\beta + \varepsilon\omega + i\partial\bar{\partial}\psi_\varepsilon)$ 의 양의 성질을 확립하는 것.
• 체적 비교를 위해 지점별 부등식 $\frac{(\alpha + \varepsilon\omega + i\partial\bar{\partial}u_\varepsilon)^2 \wedge \omega}{\omega^3} \geq \left(\frac{(\alpha + \varepsilon\omega + i\partial\bar{\partial}u_\varepsilon)^3}{\omega^3}\right)^{2/3}$ 를 사용하여 $\int_X \alpha^2 \wedge \omega$ 의 하한을 구하는 것.
• $c_0 = \int_X \alpha^3 > 0$ 이면 $\int_X \alpha^2 \wedge \omega > 0$ 임을 증명함으로써, 충분히 작은 $\varepsilon$ 에 대해 $M_\varepsilon > 0$ 임을 보장하는 것.

실험 결과

연구 질문

• RQ1 콤팩트 Kähler 다양체에서 유리수 성질이 없고 추상적 코homology 클래스일 경우, 약한 추상적 해석적 미분 부등식 추측을 증명할 수 있는가?
• RQ2 $\{\alpha\}^n - 4n\{\alpha\}^{n-1} \cdot \{\beta\} > 0$ 조건이 $\{\alpha\}, \{\beta\}$ 가 유리수가 아닐 경우에도 $\{\alpha - \beta\}$ 가 큰 클래스임을 의미하는가?
• RQ3 이전 결과에서 요구되던 메트릭 조건인 $\partial\bar{\partial}\omega^k = 0$ 이 모든 $k$ 에 대해 성립함을 가정하는 대신, $k=1,\dots,n-1$ 에만 성립하면 충분한가, 또는 작은 $n$ 에 대해 $k=1$ 에서도 충분한가?
• RQ4 유리수성이나 사영성 조건을 가정하지 않고도 혼합 체적 항목 $M_\varepsilon$ 의 양의 성질을 확립할 수 있는가?

주요 결과

• 모든 $k=1,\dots,n-1$ 에 대해 $\partial\bar{\partial}\omega^k = 0$ 를 만족하는 $n$ 차원 콤팩트 복소다양체에서, $\{\alpha\}^n - 4n\{\alpha\}^{n-1} \cdot \{\beta\} > 0$ 이면 $\{\alpha - \beta\}$ 는 Kähler 미분형식을 포함한다.
• 이 결과는 Boucksom-Demailly-Paun-Peternell 의 정리 1.1을 개선하며, 사영성 및 유리수 조건을 제거하여 추상적 클래스로 일반화한다.
• $n \leq 3$ 인 경우, $\partial\bar{\partial}\omega = 0$ 조건만으로도 충분하며, 이는 모든 콤팩트 복소표면에서 성립하며, 이는 표면가 Kähler임을 의미한다.
• 조건 $c_0 = \int_X \alpha^3 > 0$ 하에 $\int_X \alpha^2 \wedge \omega \geq c'$ 를 확립함으로써, $c' > 0$ 이며, 이는 $M_\varepsilon > 0$ 를 확보하는 데 핵심적이다.
• 잠재함수에 대한 균일한 $L^1$ 유계성은 수렴을 보장하며, $c_\varepsilon = \int_X (\alpha + \varepsilon\omega + i\partial\bar{\partial}\eta_\varepsilon)^n$ 이 $c_0 > 0$ 로 수렴함을 허용한다.