[논문 리뷰] A refined Kodaira dimension and its canonical fibration

Steven Lu|ArXiv.org|2002. 11. 04.

Advanced Algebra and Geometry참고 문헌 45인용 수 14

한 줄 요약

이 논문은 로그 다양체 $(X,D)$ 에 대해 카르티에의 $κ^+$ 를 일반화한 새로운 베르누아 불변량 $κ'_{+}$ 를 도입하고, 일반 유형을 가진 오르비드 기반을 가진 캐논리컬 패키징을 구성한다. 주요 기여는 특수 다양체가 $κ'_{+} = 0$ 를 만족함으로써 특성화되며, 이러한 패키징이 복합에 대해 보존되고 캐논리컬 패키징의 오르비드 기반에 더 이상 특수 패키징이 존재하지 않음을 증명함으로써 캄파나의 추측을 해결하고, 헬로모르픽 체인 연결성에 관한 결과를 확장한다.

ABSTRACT

Given a (meromorphic) fibration $f:X o Y$ where $X$ and $Y$ are compact complex manifolds of dimensions $n$ and $m$, we define $L_f$ to be the invertible subsheaf of the sheaf of holomorphic $m$-forms of $X$ given by the saturation of $f^*K_Y$, where $K_Y$ is the canonical sheaf of $Y$. We define the Kodaira dimension of the orbifold base $(Y,f)$ by that of $L_f$ and call the fibration to be of general type if this dimension is the maximal $\dime Y$. We call $X$ special if it does not have a general type fibration with positive dimensional base and call $f$ special if its general fibers are. We note that Iitaka and rationally connected fibrations are special. Our main theorem is that any compact complex $X$ has a special fibration of general type which dominates any fibration of general type and factors through any special fibration of general type from $X$ in the birational category, thus unique in this category. Also, the fibration has positive dimensional fibers if $X$ is not of general type thus resolving a problem in Mori's program for varieties with negative Kodaira dimension. Our main theorem is stated in the full orbifold context of log pairs as in Mori's program via which we give an application to the Albanese map of projective manifolds with nef anticanonical bundle a part of which was derived using positive charateristic techniques by Qi Zhang.

연구 동기 및 목표

• 로그 다양체 $(X,D)$ 에 대해 헬로모르픽 체인 연결성과 코바야시 준거리의 영도를 반영하는 기하적 성질을 캡처하는 새로운 베르누아 불변량 $\kappa'_{+}({X^\partial})$ 를 정의한다.
• 경계 디바이저를 가진 프로젝티브 다양체에 대해 캄파나의 특수 패키징을 일반화한 캐논리컬 패키징을 구성하고, 그 오르비드 기반의 기하적 유형을 일반 유형으로 특성화한다.
• 특히 양의 차원을 가진 섬유를 가진 특수 패키징이 존재하지 않는다는 점에서 캄파나의 추측, 즉 캐논리컬 패키징의 오르비드 기반의 구조에 관한 핵심 추측을 해결한다.
• 코바야시 차원의 가산성과 포화된 선층의 행동을 이용하여 특수 패키징이 복합에 대해 보존됨을 증명한다.

제안 방법

• $\kappa'_{+}({X^\partial})$ 를 $\operatorname{Sat}(f^*K_Y) \subset \Omega^p_X(\log D)$ 에서의 $f^*K_Y$ 의 포화가 존재하는 최대 $p$ 로 정의한다. 여기서 $f: X \dashrightarrow Y$ 는 주어진 $\kappa(L) = p$ 인 다수의 메로모르픽 사상이다.
• 특수 로그 다양체 $X^\partial$ 는 $\kappa'_{+}({X^\partial}) = 0$ 으로 정의되며, 캄파나의 정의를 일반화하고 헬로모르픽 체인 연결성과 연결된다.
• 오르비드 사상과 $K$-사상의 개념을 도입하여 로그 다양체 사이의 좋은 사상의 정의를 내리며, 코어니컬 번들의 당김과 로그 구조와의 호환성을 보장한다.
• 콜라르의 코바야시 차원의 가산성을 적용하여, 만약 $X$ 가 특수 오르비드 기반 위에 특수 패키징을 가진다면, $X$ 자체도 특수임을 증명한다.
• 일반 유형을 가진 일반 섬유를 가진 최대 패키징을 통해 캐논리컬 패키징을 구성하며, 오르비드 기반을 이용해 패키징의 기하적 유형을 분류한다.
• 기반의 비유계성과 $\kappa'_{+}$ 의 구조를 이용하여 캐논리컬 패키징의 오르비드 기반에 양의 차원을 가진 특수 패키징이 존재하지 않음을 증명한다.

실험 결과

연구 질문

• RQ1 일부 쿼드라프로제틱 케이스에서 헬로모르픽 체인 연결성 또는 코바야시 준거리의 영도를 특성화하는 베르누아 불변량은 무엇인가?
• RQ2 캄파나의 특수 패키징은 어떻게 캐논리컬하게 구성되며, 그 오르비드 기반의 기하적 구조는 무엇인가?
• RQ3 프로젝티브 다양체의 캐논리컬 패키징의 오르비드 기반은 일반 유형을 가지며, 더 이상 특수 패키징이 존재하지 않는가?
• RQ4 특수 기반을 가진 패키징에 대해 특수 다양체의 집합이 보존되는가? 그리고 $\kappa'_{+}$ 는 패키징의 복합에 대해 어떻게 행동하는가?
• RQ5 정련된 코바야시 차원 $\kappa'_{+}$ 는 유리적으로 연결된 다양체와 칼라비-야우 유형 패키징의 분류를 통합하는 데 사용될 수 있는가?

주요 결과

• 정련된 코바야시 차원 $\kappa'_{+}({X^\partial})$ 는 $\mathbb{C}^n$ 에서의 최대 질량 헬로모르픽 사상의 부재와 쿼드라프로제틱 케이스에서의 코바야시 준거리의 영도를 특성화하는 베르누아 불변량이다.
• 프로젝티브 다양체는 특수 다양체이기 위한 필요충분조건이 $\kappa'_{+} = 0$ 이며, 이는 저차원 및 유리적으로 연결된 케이스의 결과를 확장한다.
• 프로젝티브 다양체의 캐논리컬 패키징의 오르비드 기반은 일반 유형을 가지며, 이는 이 기반에 양의 차원을 가진 유리적으로 연결된 패키징이 존재하지 않음을 의미한다.
• 만약 패키징 $X \dashrightarrow W$ 가 특수이고 $W \dashrightarrow Y$ 가 일반 유형의 일반 섬유를 가진 패키징이라면, $X$ 도 특수임을 코바야시 차원의 가산성으로 증명할 수 있다.
• 캐논리컬 패키징의 오르비드 기반에는 양의 차원을 가진 특수 패키징이 존재하지 않으며, 캄파나의 추측을 해결한다.
• 캐논리컬 패키징의 $\kappa'_{+}$ 를 통한 구성은 캄파나의 원래 정의를 일반화하며, 열린 문제들을 해결하는 직접적이고 내재적인 구성법을 제공한다.