[논문 리뷰] Extension of holomorphic functions and cohomology classes from non reduced analytic subvarieties

Jean-Pierre Demailly|arXiv (Cornell University)|2017. 12. 11.

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

한 줄 요약

이 논문은 Ohsawa-Takegoshi $L^2$ 확장 정리의 범위를 극단적으로 비단순한 해석적 부분다양체로 확장한다. 이들 부분다양체는 정규 분할을 갖는 준정의 함수의 승수 이상의 아이디얼 층과 관련된 해석적 특이성을 갖는 함수에 의해 정의된 영점으로서 정의된다. Bochner-Kodaira 기법에서 $L^2$ 근사법을 활용함으로써, 이러한 부분다양체 위에서 코homology 클래스에 대한 제약 사상의 상사성을 최적의 곡률 조건 하에서 확립한다. 이는 고전적 확장 결과를 특이성과 비단순성의 상황으로 일반화하는 데 있어 중요한 전진이다.

ABSTRACT

The goal of this survey is to describe some recent results concerning the L 2 extension of holomorphic sections or cohomology classes with values in vector bundles satisfying weak semi-positivity properties. The results presented here are generalized versions of the Ohsawa-Takegoshi extension theorem, and borrow many techniques from the long series of papers by T. Ohsawa. The recent achievement that we want to point out is that the surjectivity property holds true for restriction morphisms to non necessarily reduced subvarieties, provided these are defined as zero varieties of multiplier ideal sheaves. The new idea involved to approach the existence problem is to make use of L 2 approximation in the Bochner-Kodaira technique. The extension results hold under curvature conditions that look pretty optimal. However, a major unsolved problem is to obtain natural (and hopefully best possible) L 2 estimates for the extension in the case of non reduced subvarieties -- the case when Y has singularities or several irreducible components is also a substantial issue.

연구 동기 및 목표

• 비단순한 해석적 부분다양체로 Ohsawa-Takegoshi $L^2$ 확장 정리를 일반화하는 것.
• 이러한 부분다양체 위에서 코homology 클래스에 대한 제약 사상의 상사성을 확립하는 것.
• 특이성 또는 다중 성분을 포함하는 상황에서 확장 정리에 대한 최적 곡률 조건을 확보하는 것.
• 비단순 부분다양체에서의 확장에 대해 자연스러운 $L^2$ 추정이 부족한 문제를 다루는 것.
• 특이성과 다중 성분을 포함하는 복소 부분다양체에서의 보간 및 확장에 대한 프레임워크를 제공하는 것.

제안 방법

• $\overline{\partial}$-방정식의 해를 제어하기 위해 Bochner-Kodaira 기법과 $L^2$ 근사법을 활용한다.
• $K_X \otimes E \otimes \mathcal{I}(he^{-\psi})$ 값의 $(n,q)$-형식에 대해 $L^2$ 추정을 적용한다. 여기서 $\mathcal{I}(he^{-\psi})$는 승수 이상의 아이디얼 층이다.
• $\alpha = 0,1$ 인 경우 $\Theta_{E,h} + (1+\alpha\delta)i\partial\overline{\partial}\psi \geq 0$ 형태의 곡률 조건을 도입하여 전류의 의미에서의 양성함을 보장한다.
• 확장 문제의 국소화와 오차 항의 제어를 위해 캐비넷 함수 $\theta(\psi - t)$를 사용한다.
• $\overline{\partial}$-폐쇄성과 $C^\infty$-위상에서의 수렴성을 활용하여 전역 확장의 존재를 보장한다.
• 해석적 볼록성과 연관된 Remmert 축소를 통해 스텐 기반 공간 $S$에서의 조밀성 추론을 활용한다.

실험 결과

연구 질문

• RQ1 비단순한 해석적 부분다양체에서 $L^2$ 조건 하에 해석적 단면이나 코homology 클래스가 환경 다양체로 확장될 수 있는가?
• RQ2 선다발 $E$와 가중치 $\psi$에 대한 어떤 곡률 조건이 이러한 부분다양체로의 제약 사상의 상사성을 보장하는가?
• RQ3 부분다양체 $Y$가 특이성 또는 다중 기저 성분을 갖는 경우 최적의 $L^2$ 추정을 확보할 수 있는가?
• RQ4 $L^2$ 근사법 기법이 비단순 케이스에서 고전적 Ohsawa-Takegoshi 방법을 어떻게 개선하는가?
• RQ5 Bochner-Kodaira 항등식은 정규 분할를 갖는 승수 이상의 아이디얼 층에 대해 어느 정도 적응 가능한가?

주요 결과

• 곡률 조건 $\Theta_{E,h} + (1+\alpha\delta)i\partial\overline{\partial}\psi \geq 0$ ($\alpha = 0,1$) 하에서 제약 사상 $H^q(X, K_X \otimes E \otimes \mathcal{I}(he^{-\psi})) \to H^q(X, K_X \otimes E \otimes \mathcal{I}(h))$ 는 단사성을 갖는다.
• 특성 조건이 정규 분할를 갖는 승수 이상의 아이디얼 층 $\mathcal{I}(e^{-\psi})$의 영점으로서 정의된 비단순 부분다양체 $Y$에 대해 제약 사상의 상사성이 성립한다.
• 확장 결과는 최적의 곡률 조건 하에서 유효하며, 고전적 $L^2$ 확장 정리의 일반화이다.
• $L^2$ 근사법은 $\overline{\partial}$-문제에서 오차 항을 제어할 수 있게 하여 $C^\infty$ 위상에서 해의 수렴을 보장한다.
• 이 방법은 부분다양체 $Y$가 특이성 또는 기저 성분이 다중일 경우에도 코homology 클래스의 확장을 가능하게 하며, 자연스러운 $L^2$ 추정은 여전히 열려 있는 문제이다.
• Remmert 축약을 통해 해석적 볼록성을 갖는 켈러 다양체에 대해 결과를 적용할 수 있으며, 이는 스텐 기반 위에서의 상대적 설정을 허용한다.