[논문 리뷰] Pseudo-effective line bundles on compact Kähler manifolds

Jean-Pierre Demailly, Thomas Peternell외 1명|ArXiv.org|2000. 06. 27.

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

한 줄 요약

이 논문은 컴acts Kähler 다양체 위의 가짜 효과적 선다발에 대해 일반화된 하드 레프셰츠 정리를 수립하며, 특이 계량의 승수 이상층을 통한 토글링 이후 카플러 형식에 의한 와이드 곱셈이 서지에 임의로 작용함을 보여준다. 주요 기여는 가짜 효과적 선다발의 코homological 특성화이며, 알바네제 사상과 삼중다양체에서의 캐논리컬 다발에 응용되어, 가짜 효과성이 거의 네프성을 함의하고, 카플러 삼중다양체에서 캐논리컬 다발이 가짜 효과적일 경우의 구조 결과를 도출한다.

ABSTRACT

The goal of this work is to pursue the study of pseudo-effective line bundles and vector bundles. Our first result is a generalization of the Hard Lefschetz theorem for cohomology with values in a pseudo-effective line bundle. The Lefschetz map is shown to be surjective when (and, in general, only when) the pseudo-effective line bundle is twisted by its multiplier ideal sheaf. This result has several geometric applications, e.g. to the study of compact Kähler manifolds with pseudo-effective canonical or anti-canonical line bundles. Another concern is to understand pseudo-effectivity in more algebraic terms. In this direction, we introduce the concept of an "almost" nef line bundle, and mean by this that the degree of the bundle is nonnegative on sufficiently generic curves. It can be shown that pseudo-effective line bundles are almost nef, and our hope is that the converse also holds true. This can be checked in some cases, e.g. for the canonical bundle of a projective 3-fold. From this, we derive some geometric properties of the Albanese map of compact Kähler 3-folds.

연구 동기 및 목표

• 컴acts Kähler 다양체 위의 가짜 효과적 선다발에 대해 승수 이상층을 사용하여 하드 레프셰츠 정리를 일반화하는 것.
• ‘거의 네프’ 선다발 개념을 통해 가짜 효과적 선다발을 대수기하학적 용어로 특성화하는 것.
• 모리 이론과 알바네제 사상의 맥락에서 가짜 효과성의 기하적 함의, 특히 캐논리컬 및 앤티캐논리컬 다발에 대해 연구하는 것.
• 가짜 효과적 캐논리컬 다발을 가진 컴acts Kähler 삼중다양체의 구조 결과를 수립하는 것, 특히 유리 곡선과 피브레이션의 존재를 포함하여.
• 특히 비대수적 카플러 다양체에서 코homological 및 기하학적 맥락에서 가짜 효과성과 네프성 간의 관계를 조사하는 것.

제안 방법

• 반정적 곡률 전류를 가진 특이 헤르미트 계량을 사용하여 가짜 효과적 선다발을 정의하며, 전류 Θh(L) = i∂∂̄φ 와 관련된 승수 이상층 I(h)를 포함한다.
• L2 추정과 L2∂̄-코homology 기법을 적용하여 ΩXn−q ⊗ L ⊗ I(h) 값을 가진 코homology에 대해 일반화된 하드 레프셰츠 정리를 증명한다.
• ‘거의 네프’ 조건 도입: 모든 고립된 곡선 C가 고립된 부분다양체에 포함되지 않은 경우 deg(L|C) ≥ 0 이면 선다발 L은 거의 네프라 한다. 이는 일반적인 비음성도를 포착한다.
• 유리다양체의 구조 분석을 위해 유리 몫과 모리 수축 이론을 사용한다. 특히 거의 네프 탄성다발을 가진 유리다양체를 분석한다.
• 암시적 하드 레프셰츠 정리를 앤티캐논리컬 및 캐논리컬 다발에 적용하여 알바네제 사상의 서지성과 다중캐논리컬 계열의 비영 코homology를 유도한다.
• 삼중다양체 이론의 분류 결과(예: 모리 이론에서의 결과)를 적용하여, 가짜 효과적 캐논리컬 다발이 온화한 특이성을 가진다면 삼중다양체에서 카디나르 차원이 음이 아님을 유도한다.

실험 결과

연구 질문

• RQ1 컴acts Kähler 다양체 위의 가짜 효과적 선다발에 대해 하드 레프셰츠 정리를 일반화할 수 있으며, 승수 이상층은 이 일반화에서 어떤 역할을 하는가?
• RQ2 ‘가짜 효과적 ⇒ 거의 네프’의 역이 참인지, 특히 삼중다양체의 캐논리컬 다발의 경우에서 이 등가성을 확립할 수 있는가?
• RQ3 암시적 다발의 가짜 효과성이 컴acts Kähler 다양체의 알바네제 사상에 어떤 기하적 제약을 가하는가?
• RQ4 캐논리컬 다발에 반정적 곡률을 가지며 승수 이상층이 자명한 특이 계량이 존재할 경우, 삼중다양체에서 다중캐논리컬 계열이 비영이거나 카디나르 차원이 음이 아님을 함의하는가?
• RQ5 가짜 효과적 캐논리컬 다발과 거의 네프 탄성다발을 가진 컴acts Kähler 삼중다양체의 구조는 무엇이며, 특히 불규칙성의 임의성이 0인 경우는 어떻게 되는가?

주요 결과

• 일반화된 하드 레프셰츠 정리가 성립한다: 컴acts Kähler 다양체 (X,ω) 위의 가짜 효과적 선다발 (L,h) 에 대해, ω^q ∧ • 는 H^0(X, ΩX^{n−q} ⊗ L ⊗ I(h)) → H^q(X, ΩX^n ⊗ L ⊗ I(h)) 에 대해 서지이다.
• 만약 앤티캐논리컬 다발 −KX 가 가짜 효과적이고, 승수 이상층이 자명한 특이 계량을 가진다면, X의 알바네제 사상은 서지성 부분다발이다.
• 가짜 효과적 캐논리컬 다발 KX 와 I(h) = OX 인 특이 계량을 가진 컴acts Kähler 삼중다양체에서는, χ(X,OX) = 0 이거나 고정된 q에 대해 무수히 많은 m에 대해 H^0(X, ΩX^q ⊗ OX(mKX)) ≠ 0 이다.
• 컴acts Kähler 삼중다양체에서 KX 가 가짜 효과적이지만 네프가 아닌 경우, KX · C < 0 인 곡선 C 가 존재하며, X 가 윤곽이 잘린다면 모리 수축이 존재한다.
• 부드러운 프로젝티브 삼중다양체 X 에서 q(X) = 0 이고 탄성다발 TX 가 거의 네프라면, X 는 유리연결이거나, TX 가 가짜 효과적이지 않으며 K3 또는 엔리케르 표면 위의 P1-다발인 경우를 제외하고는 그렇지 않다 (이 경우는 존재하지 않을 것으로 예상된다).
• κ(X) = −∞ 이고 q(X) = 1 인 컴acts Kähler 삼중다양체에서는 알바네제 사상 α: X → A 는 타원곡선 위의 피브레이션으로서, 일반적인 섹션 F 는 T_F 가 거의 네프이고 κ(F) = −∞ 를 만족하며, 이는 유리 또는 룰러 섹션으로 분류된다.