[논문 리뷰] A vanishing theorem of Koll'ar-Ohsawa type

Shin‐ichi Matsumura|arXiv (Cornell University)|2015. 11. 13.

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

한 줄 요약

이 논문은 켈러 다양체 위의 나카노 준양성 벡터(bundle)에 의해 스트레칭된 코homology 군에 대해 조화 적분과 $L^2$-방법을 이용하여 $¯\partial$-방정식에 대한 해석을 통해 분해 정리를 수립한다. 이는 콜라르-오사와 유형의 퇴화 정리로 일반화된 것으로, 복소 해석 기하학적 맥락에서 고차수 직접 이미지로의 오사와와 콜라르의 결과를 일반화한다. 응용으로는 임베딩 정리와 유도 범주 분해가 포함된다.

ABSTRACT

For proper surjective holomorphic maps from K"ahler manifolds to analytic spaces, we give a decomposition theorem for the cohomology groups of the canonical bundle twisted by Nakano semi-positive vector bundles by means of the higher direct image sheaves, by using the theory of harmonic integrals developed by Takegoshi. As an application, we prove a vanishing theorem of Koll'ar-Ohsawa type by combining the L^2-method for the dbar-equation.

연구 동기 및 목표

• canonical bundle에 나카노 준양성 벡터(bundle)를 곱한 고차수 직접 이미지에 대한 분해 및 임베딩 정리의 일반화.
• 오사와의 $L^2$ 퇴화 정리에서 $q=0$인 경우를 고차수 코homological 차수 $q \geq 0$로 확장.
• 벡터(bundle) $E$의 곡률 조건 하에서 $H^p(Y, R^q f_*(K_X \otimes E))$의 퇴화 결과를 확립.
• 특히 $L^2$-노름 추정을 제거하고 이중형식 $\langle B^{-k}_\delta \cdot, \cdot \rangle$의 극한 추정으로 대체하는 새로운 증명 전략 수립.

제안 방법

• 타케구치가 개발한 조화 적분 이론을 활용하여, $X$가 켈러이고 $Y$가 해석적일 때 $f: X \to Y$에 대한 레일러 스펙트럴 시퀀스를 분석.
• 조화 이론을 통해 자연스러운 준동형사상 $\varphi_{p,q}: H^p(Y, R^q f_*(K_X \otimes E)) \to H^{p+q}(X, K_X \otimes E)$를 구성.
• $\overline{\partial}$-방정식에 대한 $L^2$-방법을 적용하며, 특히 $L^2$-노름 대신 $\lim_{\delta \to 0} \langle B^{-k}_\delta \{\overline{\partial}b_{i_0}\}, \{\overline{\partial}b_{i_0}\} \rangle$의 추정을 수행.
• 켈러 형식 $\sigma$에 대해 나카노 의미에서 $\sqrt{-1}\Theta_h(E) \geq f^*\sigma \otimes \mathrm{id}_E$의 곡률 조건을 도입.
• $\varphi_{p,q}$의 단사성과 고정된 $p+q$일 때 서로 다른 $p$에 대해 이미지의 수직성 증명.
• 만약 $X$가 컴act 켈러일 경우, $H^\ell(X, K_X \otimes E) = \bigoplus_{p+q=\ell} \mathrm{Im}\, \varphi_{p,q}$의 분해를 확립.

실험 결과

연구 질문

• RQ1 레일러 스펙트럴 시퀀스의 $E_2$에서의 분해가 고차수 직접 이미지 $K_X \otimes E$에 대해 더 강력한 분해 정리로 강화될 수 있는가?
• RQ2 $E$가 나카노 준양성일 때 $p > 0$인 경우 $\varphi_{p,q}$의 단사성은 성립하는가?
• RQ3 나카노 준양성 조건 하에서 오사와의 $L^2$ 퇴화 정리에서 $q=0$인 경우를 $q \geq 0$로 확장할 수 있는가?
• RQ4 $\|\overline{\partial}b_{i_0}\|_\sigma = \infty$일 경우 $\overline{\partial}$-해에 대한 $L^2$-노름 추정의 대안으로서 타당한 방법이 존재하는가?
• RQ5 $f^*\sigma$에 의한 곡률 지배 조건 하에서 $H^p(Y, R^q f_*(K_X \otimes E))$의 퇴화가 $p > 0$일 때 성립하는가?

주요 결과

• 모든 $p,q \geq 0$에 대해 $E$가 나카노 준양성일 경우 준동형사상 $\varphi_{p,q}: H^p(Y, R^q f_*(K_X \otimes E)) \to H^{p+q}(X, K_X \otimes E)$는 단사적이다.
• 고정된 $p + q$일 때 $p \neq p'$인 경우 이미지 $\mathrm{Im}\, \varphi_{p,q}$는 상호 수직이므로 직합 분해가 보장된다.
• $X$가 컴팩트 켈러일 경우 $H^\ell(X, K_X \otimes E)$는 $\bigoplus_{p+q=\ell} \mathrm{Im}\, \varphi_{p,q}$로 분해된다.
• 모든 $p,q \geq 0$ 및 영이 아닌 $F^m$의 단면 $s$에 대해, $F$가 준양성일 때 곱셈 사상 $\Phi_s: H^p(Y, R^q f_*(K_X \otimes E \otimes F)) \xrightarrow{\otimes s} H^p(Y, R^q f_*(K_X \otimes E \otimes F^{m+1}))$는 단사적이다.
• 곡률 조건 $\sqrt{-1}\Theta_h(E) \geq f^*\sigma \otimes \mathrm{id}_E$ 하에서 모든 $p > 0$ 및 $q \geq 0$에 대해 $H^p(Y, R^q f_*(K_X \otimes E)) = 0$임을 증명하여 정리 1.3를 확립.
• $\lim_{\delta \to 0} \langle B^{-k}_\delta \{\overline{\partial}b_{i_0}\}, \{\overline{\partial}b_{i_0}\} \rangle$의 극한은 유한하므로, $\|\overline{\partial}b_{i_0}\|_\sigma = \infty$임에도 불구하고 증명이 가능하다.