[논문 리뷰] Effectivity of Iitaka fibrations and pluricanonical systems of polarized pairs

Caucher Birkar, De‐Qi Zhang|arXiv (Cornell University)|2014. 10. 03.

Algebraic Geometry and Number Theory참고 문헌 17인용 수 4

한 줄 요약

이 논문은 매끄럽고 사영적인 다양체 위의 다수체계에 대해 효과적인 경계를 확립한다. 이는 다수체계 $|mK_W|$ 가 어떤 $m$ 에 대해 Iitaka 분할을 정의함을 보여주며, 이 $m$ 은 차원 $d$, 일반 섹션의 최소 지수 $b_F$, 그리고 그 캐논칼 커버의 중간 베텨 수 $eta_{ ilde{F}}$ 에만 의존한다. 결과는 일반화된 쌍의 이론과, 유계된 불변량을 가진 조정 다발에 대한 효과적인 비라시오널리티를 통해 달성된다.

ABSTRACT

For every smooth complex projective variety $W$ of dimension $d$ and nonnegative Kodaira dimension, we show the existence of a universal constant $m$ depending only on $d$ and two natural invariants of the very general fibres of an Iitaka fibration of $W$ such that the pluricanonical system $|mK_W|$ defines an Iitaka fibration. This is a consequence of a more general result on polarized adjoint divisors. In order to prove these results we develop a generalized theory of pairs, singularities, log canonical thresholds, adjunction, etc.

연구 동기 및 목표

• 일반 섹션의 유계된 불변량 하에서 효과적인 Iitaka 분할 추측을 해결하기 위해.
• Iitaka 분할을 정의하는 다수체계 $|mK_W|$ 에 대한 균일한 경계를 확립하기 위해.
• 편의성 있는 조정 다발을 위한 일반화된 쌍, 특이점, 그리고 로그 캐논칼 임계값의 이론을 개발하기 위해.
• 계수와 편재 부분이 유계된 로그 캐논칼 쌍에 대해 효과적인 비라시오널리티를 증명하기 위해.
• 모든 $m$ 이 $m(d, b_F, \beta_{\widetilde{F}})$ 에 의해 나누어떨어질 때 다수체계가 Iitaka 분할을 정의함을 보장하는 유일한 상수 $m(d, b_F, \beta_{\widetilde{F}})$ 가 존재함을 보여주기 위해.

제안 방법

• 경계 $B$ 와 편재 부분 $M$ 을 가진 일반화된 편의성 쌍을 도입하며, $K_X + B + M$ 이 크고 $M$ 의 카르티에 지수는 유계됨을 보장한다.
• 캐논칼 번들의 공식을 사용하여 $W$ 에서의 $|mK_W|$ 를 기저 $X$ 에서의 $|m(K_X + B + M)|$ 와 연결함으로써 비라시오널리티를 유지한다.
• 일반화된 로그 캐논칼 임계값에 대한 내림차순 조건(DCC)과 전역 ACC를 적용하여 $B$ 와 $M$ 의 계수를 제어한다.
• DCC 집합 $\Lambda$, 차원 $d$, 카르티에 지수 $r$ 에 따라 의존하는 유일한 상수 $m(\Lambda, d, r)$ 를 구성하여 $|m(K_X + B + M)|$ 가 비라시오널 맵을 정의함을 보장한다.
• 오일러의 타우 함수를 사용하여 $N(\beta)$ 를 정의하여 섹션의 캐논칼 커버의 지수를 유계함을 보이고, $B$ 의 계수에 대한 DCC 집합 $A(b, N)$ 을 정의한다.
• 이 도구들을 통합하여 $m(d, b_F, \beta_{\widetilde{F}}) = b \cdot m(\Lambda, d, r)$ 가 $|mK_W|$ 가 Iitaka 분할을 정의하는 데 충분함을 증명한다.

실험 결과

연구 질문

• RQ1 Iitaka 분할 추측의 효과적인 형태는 일반 섹션의 유계된 불변량 하에서 증명될 수 있는가?
• RQ2 모든 $m$ 이 이 상수 $m(d, b_F, \beta_{\widetilde{F}})$ 에 의해 나누어떨어질 때, $|mK_W|$ 가 Iitaka 분할을 정의하는 균일한 경계 $m(d, b_F, \beta_{\widetilde{F}})$ 가 존재하는가?
• RQ3 캐논칼 커버의 일반 섹션의 불변량인 $b_F$ 와 $\beta_{\widetilde{F}}$ 는 다수체계의 효과성에 어떻게 영향을 미치는가?
• RQ4 계수가 유계이고 편재 부분이 있는 로그 캐논칼 쌍에 대해 효과적인 비라시오널리티를 확립할 수 있는가?
• RQ5 일반화된 쌍의 구조는 다수체계의 비라시오널리티를 제어하는 데 어떤 역할을 하는가?

주요 결과

• 차원 $d$, 일반 섹션의 최소 지수 $b_F$, 그리고 그 캐논칼 커버의 중간 베텰 수 $\beta_{\widetilde{F}}$ 에만 의존하는 유일한 상수 $m(d, b_F, \beta_{\widetilde{F}})$ 가 존재하며, 이 상수에 의해 나누어지는 모든 $m$ 에 대해 $|mK_W|$ 는 Iitaka 분할을 정의한다.
• 상수 $m(d, b_F, \beta_{\widetilde{F}})$ 는 $m = b \cdot m(\Lambda, d, r)$ 로 구성되며, 여기서 $\Lambda = A(b, N)$ 이고 $r = Nb$, $N = \operatorname{lcm}\{m \in \mathbb{N} \mid \varphi(m) \leq \beta_{\widetilde{F}}\}$ 이다.
• 경계 다발 $B$ 의 계수는 DCC 집합 $A(b, N)$ 에 속하여 특이점의 유계성과 캐논칼 번들의 공식 제어를 효과적으로 보장한다.
• 편재 부분 $M$ 은 유계된 카르티에 지수 $Nb$ 를 가지며, 이는 효과적인 비라시오널리티와 선형 계열의 내림내림에 있어 핵심적이다.
• 결과적으로 효과적인 Iitaka 분할 문제는 기저에서 $|m(K_X + B + M)|$ 의 효과적인 비라시오널리티 문제로 환원되며, 이는 전역 ACC 와 DCC 기법을 통해 확립된다.
• 기저 $X$ 가 일반 유형인 경우, 이 경계는 $d$ 에만 의존하며, $b_F$ 와 $\beta_{\widetilde{F}}$ 는 영향을 미치지 않는다.