[논문 리뷰] The pseudo-effective cone of a compact Kähler manifold and varieties of negative Kodaira dimension

Sébastien Boucksom, Jean-Pierre Demailly외 2명|arXiv (Cornell University)|2004. 05. 14.

Geometry and complex manifolds참고 문헌 11인용 수 63

한 줄 요약

이 논문은 컴acts Kähler 다양체의 가짜효과적 콩과 이동 가능한 곡선의 콩 사이의 이중성을 확립하며, 선다발이 가짜효과적임은 모든 커버링 가족에 속한 곡선에서의 차수(non-negative)임을 증명한다. 핵심 결과는 비유역 추측의 부분(A)을 해결하며, 만약 캐논리컬 번들의 가짜효과적 성질이 성립하지 않으면 다양체는 유역적임을 의미한다. 이는 4차원 다양체에 적용되어 특정 수치 조건 하에서 비음수 코다이라 차원을 도출한다.

ABSTRACT

We prove that a holomorphic line bundle on a projective manifold is pseudo-effective if and only if its degree on any member of a covering family of curves is non-negative. This is a consequence of a duality statement between the cone of pseudo-effective divisors and the cone of ``movable curves'', which is obtained from a general theory of movable intersections and approximate Zariski decomposition for closed positive (1,1)-currents. As a corollary, a projective manifold has a pseudo-effective canonical bundle if and only if it is is not uniruled. We also prove that a 4-fold with a canonical bundle which is pseudo-effective and of numerical class zero in restriction to curves of a covering family, has non negative Kodaira dimension.

연구 동기 및 목표

• 콤팩트 Kähler 다양체에서의 분할자에 대한 가짜효과적 콩과 이동 가능한 곡선의 콩 사이의 이중성을 확립하는 것.
• 선다발이 가짜효과적임은 모든 커버링 가족에 속한 곡선에서의 차수가 음수가 아님과 동치임을 증명하는 것.
• 비유역 추측의 부분(A)을 해결하는 것: 캐논리컬 번들이 가짜효과적이지 않다면 다양체는 유역적임.
• 4차원 다양체에 대한 부분 결과 증명: 캐논리컬 번들이 가짜효과적이며 커버링 가족의 곡선과의 교차수가 0이면, 코다이라 차원이 음수가 아님.
• 폐쇄된 양의 (1,1)-현재에 대한 이동 가능한 교차 이론과 근사자리스키 분해 이론을 확장하는 것.

제안 방법

• 폐쇄된 양의 (1,1)-현재에 대한 근사자리스키 분해를 사용하여 가짜효과적 콩의 기하학을 분석하는 것.
• R-분할자에 대한 체적 이론을 적용하여 큰 분할자와 가짜효과적 콩의 경계에 있는 분할자들을 구분하는 것.
• 절단 함수와 곡률 추정을 사용하여, 초표면 H 위에 질량이 집중되는 현재의 가족 ωε를 구성하는 것.
• 약한 극한 추론과 현재의 지지정리(지원정리)를 활용하여 극한에서 분할자 성분을 추출하는 것.
• 변형 이론과 보편적 변형 공간을 사용하여 하이퍼카일러 다양체에서의 체적 행동을 분석하는 것.
• ωn과 ωn−1 ∧ c1(A)를 포함하는 통합 추정을 통해 Vol(T − c[H]) ≥ (1−δ)∫ωn과 같은 핵심 부등식을 도출하는 것.

실험 결과

연구 질문

• RQ1 프로젝티브 다양체 위의 헬름홀로픽 선다발이, 모든 커버링 가족에 속한 곡선에서의 차수가 음수가 아닐 때에만 가짜효과적일까?
• RQ2 캐논리컬 번들의 가짜효과적 성질이 성립하지 않으면 다양체는 유역적일까?
• RQ3 4차원에서 캐논리컬 번지가 가짜효과적일 경우, 커버링 가족의 곡선과의 교차수가 0이면, 코다이라 차원이 음수가 아닐까?
• RQ4 (1,1)-현재의 체적이 그 점별 질량이 1 이하인 부분의 적분으로부터 아래로 유계일까?
• RQ5 콤팩트 Kähler 다양체의 맥락에서, 가짜효과적 콩과 이동 가능한 곡선 콩 사이의 이중성 관계는 무엇인가?

주요 결과

• 프로젝티브 다양체 X 위의 선다발 L은, 모든 커버링 가족에 속한 기약 곡선 C에 대해 L·C ≥ 0이면 가짜효과적이다.
• 캐논리컬 번들이 KX가 가짜효과적이지 않다면, X는 유역적이며, 유리 곡선들이 다양체를 덮는다.
• 부드러운 프로젝티브 4차원 다양체에서, KX가 가짜효과적이며 커버링 가족 (Ct)와의 교차수가 KX·Ct = 0이면, κ(X) ≥ 0이다.
• (1,1)-현재 T의 체적은 Vol(T − c[H]) ≥ ∫X ωn − (n+1)²/4 ∫X ωn−1 ∧ c1(A)를 만족하며, 특정 δ 선택 하에 c ≥ 1이다.
• 콤팩트 하이퍼카일러 다양체에서, 가짜효과적 콩과 이동 가능한 현재 콩은 서로 이중적이다. Vol(α) ≥ ∫X(α,≤1) αn이다.
• R-분할자에 대해 가짜효과적 콩과 이동 가능한 곡선 콩 사이의 이중성은, 피카르 수 h1,1가 있는 프로젝티브 다양체의 극한으로까지 확장된다.