[논문 리뷰] Applications of the Ohsawa-Takegoshi Extension Theorem to Direct Image Problems

Ya Deng|arXiv (Cornell University)|2017. 03. 21.

Geometry and complex manifolds참고 문헌 17인용 수 13

한 줄 요약

이 논문은 Ohsawa-Takegoshi $L^2$ 확장 정리를 적용하여, 윤활한 프로젝티브 다양체 위의 와전된 다중표준 번들의 직접 이미지의 일반적 전역 생성에 대한 효과적 경계를 확립한다. $Y$가 차원 $n$인 윤활한 다양체인 사상 $f: X \to Y$에 대해, $ε(L,y)$가 점 $y$에서 앰플 라인 번들의 Seshadri 상수이면, $f_*(K_X^{\otimes k}) \otimes L^l$은 $Y$의 일반점에서 전역적으로 생성된다. 이는 Fujita 유형의 추측을 정교화하고, Demailly-Peternell-Schneider의 질문을 KLT 설정으로 일반화하여 확인하며, 약한 Fano 및 KLT Fano 다양체에 대한 결과를 확장한다.

ABSTRACT

In the first part of the paper, we study a Fujita-type conjecture by Popa and Schnell, and give an effective bound on the generic global generation of the direct image of the twisted pluricanonical bundle. We also point out the relation between the Seshadri constant and the optimal bound. In the second part, we give an affirmative answer to a question by Demailly-Peternell-Schneider in a more general setting. As an application, we generalize the theorems by Fujino and Gongyo on images of weak Fano manifolds to the Kawamata log terminal cases, and refine a result by Broustet and Pacienza on the rational connectedness of the image.

연구 동기 및 목표

• 와전된 다중표준 번들의 직접 이미지의 일반적 전역 생성에 대한 효과적 경계를 제공함으로써, Popa와 Schnell이 제기한 Fujita 유형의 추측을 다룸.
• Fibration에서 기저의 반표준 번들의 허위 효과성에 관해 Demailly, Peternell, 그리고 Schneider가 제기한 질문을 해결함.
• Fujino와 Gongyo가 약한 Fano 다양체의 이미지에 대해 확립한 결과를 Kawamata log terminal (KLT) 경우로 일반화함.
• Broustet와 Pacienza의 결과를, 적절한 양성 조건 하에서 사상의 이미지의 유리 연결성에 대해 정교화함.

제안 방법

• 특이 헤르미트 메트릭을 갖춘 Ohsawa-Takegoshi $L^2$ 확장 정리를 사용하여, 섬유 위의 전역 단면을 구성함.
• Seshadri 상수 $\epsilon(L,y)$를 사용하여 앰플 라인 번들의 국소적 양성도를 정량화하고, 와전 정도 $l$에 대한 효과적 경계를 도출함.
• 특이 메트릭 $h_0 = h_E h h_{D'}$를 갖는 와전된 직선 번지 $L = -m^2(K_{X'} + D') - 2f'^*A_Y + m^2D'$에 대해 $L^2$ 확장 정리를 적용하여, 섬유 위에서의 승수 이상의 기약성 보장.
• Hölder 부등식을 사용하여 특이 메트릭 하에서 단면의 적분 가능성을 검증하고, 섬유 위에서 코homology의 영이 아님을 보장함.
• Stein 분해를 적용하여 $X'$의 코homology를 기저 $\tilde{Y}$의 코homology와 연결함으로써, $-K_Y$의 효과성과 허위 효과성을 증명함.
• Boucksom 및 다른 이들의 유 finitely morphism 하에서의 허위 효과성 결과를 활용하여, $-K_Y$가 크다는 것을 유도함.

실험 결과

연구 질문

• RQ1 Ohsawa-Takegoshi 확장 정리를 사용하여 다중표준 번들의 직접 이미지의 전역 생성에 대한 효과적 경계를 도출할 수 있는가?
• RQ2 만약 $-K_X$가 허위 효과적이며, 그 비-편재성 집합이 $Y$로의 사영이 없다면, $-K_Y$는 허위 효과적인가?
• RQ3 어떤 최적의 경계가 $l$에 대해 존재하여 $f_*(K_X^{\otimes k}) \otimes L^l$이 $Y$의 일반점에서 전역적으로 생성되는가?
• RQ4 약한 Fano 다양체에 대한 결과를 KLT Fano 경우로 확장할 수 있는가?
• RQ5 어떤 조건 하에서 사상의 이미지는 그 반표준 번들의 비-편재성 집합에 대해 유리 연결적인가?

주요 결과

• 윤활한 프로젝티브 다양체 사이의 사상 $f: X \to Y$에 대해 $\dim Y = n$이라면, $f_*(K_X^{\otimes k}) \otimes L^l$은 일반점 $y \in Y$에서 전역적으로 생성된다. 이때 $\epsilon(L,y)$는 점 $y$에서 $L$의 Seshadri 상수이다. $l \geq k(\lfloor n/\epsilon(L,y) \rfloor + 1)$.
• 매우 일반점 $y$에서 $\epsilon(L,y) \geq 1$이면, 경계는 $l \geq k(n+1)$로 개선되며, 이는 일반점에서 Popa와 Schnell의 추측 1.1을 확인한다.
• $K_Y$가 허위 효과적일 경우, $klt$ 쌍 $(X,\Delta)$에서 $m(K_X + \Delta)$가 Cartier이면, $l$에 대한 경계는 $l \geq n^2 + 2$로, $k$에 무관하게 성립한다.
• 논문은 Demailly-Peternell-Schneider의 질문에 대해 확답을 제시한다: 만약 $-K_X$가 허위 효과적이며, 그 비-편재성 집합이 $Y$로의 사영이 없다면, $-K_Y$는 허위 효과적이며, 약간의 가정 하에 실제로 크다.
• 이미지 $Y$는 $-K_Y$의 비-편재성 집합에 대해 유리 연결적이며, Broustet와 Pacienza의 결과를 일반화한다.
• 증명은 $l$이 크다는 조건 하에서 $H^0(Y, -lK_Y - A_Y)$에 영이 아닌 단면이 존재함을 보여, 유한 사상과 코homological descent를 사용하여 $-K_Y$가 크다는 것을 확립한다.