[논문 리뷰] Extension of cohomology classes and holomorphic sections defined on subvarieties

Xiangyu Zhou, Langfeng Zhu|arXiv (Cornell University)|2019. 09. 19.

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

한 줄 요약

이 논문은 임의의 특이성을 가진 쿼اسي-플루리스하모닉 함수의 승수 이상층에 의해 정의된 비환원적 해석적 부분다양체 위에서 코homology 클래스와 헬모르픽 섹션에 대한 두 개의 새로운 확장 정리들을 수립한다. $\bar{\partial}$-방정식을 푸는 데 있어 가중치 함수의 동시에 근사화와 정교한 극한 과정을 도입함으로써, 저자들은 자연스러운 제약 사상의 단사성을 증명하며, Cao-Demailly-Matsumura의 질문을 해결하고 Demailly의 최적 추정을 포함한 $L^2$ 확장 정리의 일반화를 달성한다.

ABSTRACT

In this paper, we obtain two extension theorems for cohomology classes and holomorphic sections defined on analytic subvarieties, which are defined as the supports of the quotient sheaves of multiplier ideal sheaves of quasi-plurisubharmonic functions with arbitrary singularities. The first result gives a positive answer to a question posed by Cao-Demailly-Matsumura, and unifies a few well-known injectivity theorems. The second result generalizes and optimizes a general $L^2$ extension theorem obtained by Demailly.

연구 동기 및 목표

• Cao-Demailly-Matsumura가 제기한, 임의의 특이성을 가진 쿼اسي-플루리스하모닉 함수의 승수 이상층에 의해 정의된 해석적 부분다양체 위에서 코homology 클래스의 확장을 최소한의 곡률 조건 하에 어떻게 수행할 수 있는지에 대한 질문을 해결하기 위해.
• 비환원적 부분다양체 위에서 코homology 클래스에 대한 새로운 확장 결과를 수립하여 복소기하학에서 기존의 단사성 정리들을 통합하고 일반화하기 위해.
• Demailly의 일반 $L^2$ 확장 정리의 최적화를 위해 특이 가중치를 통합하고 최소한의 곡률 가정 하에 최적의 $L^2$ 추정을 달성하기 위해.
• 두 가중치 함수의 동시에 근사화와 $\bar{\partial}$-방정식 해법에서의 극한 과정의 재정렬을 포함하는 새로운 기술적 프레임워크를 개발하기 위해.

제안 방법

• 홀로모르픽 선다발 위의 특이 계량에서 두 가중치 함수 $\psi$와 $\phi$에 대한 이중 근사 기법을 도입하기 위해.
• 가중치 함수의 수렴을 $\bar{\partial}$-방정식을 풀기 이전에 수행하는 새로운 극한 과정을 적용하여 $L^2$ 노름에 대한 더 나은 통제를 확보하기 위해.
• 해결된 $\bar{\partial}$-닫힘 형태 $v_{k,\varepsilon,t}$의 $L^2$-노름을 통제할 수 있도록 국소화된 컷오프 함수 $\sigma_{\varepsilon,t}$를 사용하기 위해.
• $\bar{\partial}$-해 $w_{k,\varepsilon,t}$를 통해 얻어진 헬모르픽 극한 $F_{k,\varepsilon,t}$를 구성하고, 몬텔 정리를 이용해 컴팩트 집합에서 균일한 극한을 추출하기 위해.
• 적분 가능성과 단사성을 보장하기 위해 곡률 미분형식이 $\sqrt{-1}\Theta_{L,h} + (1+\alpha)\sqrt{-1}\partial\bar{\partial}\psi \geq 0$ 를 만족하는 특이 계량 $h$를 사용하기 위해.
• 전역 헬모르픽 확장 $F$가 최적의 $L^2$--bound를 가지도록 보장하기 위해, 원래 계량 $h$를 볼록 증가 함수 $\Phi$를 사용해 $h_1 = h e^{-\Phi(\Psi)}$로 대체하기 위해.

실험 결과

연구 질문

• RQ1 임의의 특이성을 가진 쿼اسي-플루리스하모닉 함수의 승수 이상층의 몫의 지지부위로 나타나는 비환원적 해석적 부분다양체 위에서 정의된 코homology 클래스가 최소한의 곡률 조건 하에서 전체 다양체로 확장될 수 있는가?
• RQ2 곡률 조건 $\sqrt{-1}\Theta_{L,h} + (1+\alpha)\sqrt{-1}\partial\bar{\partial}\psi \geq 0$ 하에서 제약 사상 $H^q(X, \mathcal{O}_X(K_X \otimes L) \otimes \mathcal{I}(he^{-\psi})) \to H^q(X, \mathcal{O}_X(K_X \otimes L) \otimes \mathcal{I}(h))$ 가 단사성을 가지는가?
• RQ3 가중치 함수 $\psi$가 임의의 특이성을 가질 경우 Demailly의 일반 $L^2$ 확장 정리가 최적의 $L^2$ 추정을 달성하도록 최적화될 수 있는가?
• RQ4 부분다양체 $Y$ 위에서 정의된 섹션 $f$에 대해 $F - f \in \mathcal{I}(he^{-\psi})$ 를 만족하고 $\|F\|^2_{L^2}$ 가 $\|f\|^2_{L^2}$ 의 상수배로 유계인 전역 헬모르픽 확장 $F$ 를 구성하는 것이 가능한가?

주요 결과

• 곡률 조건 $\sqrt{-1}\Theta_{L,h} + \sqrt{-1}\partial\bar{\partial}\psi \geq 0$ 와 $\sqrt{-1}\Theta_{L,h} + (1+\alpha)\sqrt{-1}\partial\bar{\partial}\psi \geq 0$ 하에서 모든 $q \geq 0$ 에 대해 자연스러운 준동형사상 $H^q(X, \mathcal{O}_X(K_X \otimes L) \otimes \mathcal{I}(he^{-\psi})) \to H^q(X, \mathcal{O}_X(K_X \otimes L) \otimes \mathcal{I}(h))$ 는 단사적이다.
• 몫층 $\mathcal{I}(h)/\mathcal{I}(he^{-\psi})$ 는 해석적 부분다양체 $Y$ 에 지지되어 있으며, 모든 $q \geq 0$ 에 대해 유도된 사상 $H^q(X, \mathcal{O}_X(K_X \otimes L) \otimes \mathcal{I}(h)) \to H^q(X, \mathcal{O}_X(K_X \otimes L) \otimes \mathcal{I}(h)/\mathcal{I}(he^{-\psi}))$ 는 전사적이다.
• 전역 헬모르픽 확장 $F \in H^0(X, \mathcal{O}_X(K_X \otimes L) \otimes \mathcal{I}'_\psi(h))$ 가 존재하여 모든 $x \in U_i \cap X$ 에 대해 $F - f_i \in \mathcal{I}(he^{-\psi})_x$ 를 만족하며, 이는 이상층의 구조를 유지함을 보장한다.
• 확장은 최적의 $L^2$ 추정 $\int_X \frac{|F|^2_{\omega,h}}{e^{\psi} R(\psi)} dV_{X,\omega} \leq \left(\frac{1}{\alpha R(\alpha_0)} + C_R\right) \int_Y |f|^2_{\omega,h} dV_{X,\omega}[\psi]$ 을 만족한다.
• 증명은 균일한 상수 $C_0$ 가 존재하여 $\varlimsup_{t \to -\infty} C(t) \leq C_0$ 를 만족함을 보이며, 이는 근사해의 수열 수렴에 있어 필수적이다.
• 적절한 볼록 증가 함수 $\Phi$ 를 사용해 $h$ 를 $h_1 = h e^{-\Phi(\Psi)}$ 로 대체함으로써 저자들은 최적의 $L^2$-bound 를 가지는 전역 헬모르픽 확장 $F$ 가 존재함을 보장하며, 추정의 최적성은 확인된다.