[논문 리뷰] Effective Iitaka fibrations

Eckart Viehweg, De‐Qi Zhang|arXiv (Cornell University)|2007. 07. 29.

Algebraic Geometry and Number Theory참고 문헌 18인용 수 6

한 줄 요약

이 논문은 임의의 n차원 프로젝티브 다양체 X가 카다이라 차원 2를 가질 때, 일반적인 섬유 F의 인덱스 b와 그 캐논칼 Z/bZ-피복의 중간 베티 수 B_{n-2}에만 의존하는 계산 가능한 정수 M에 대해, |MK_X|가 Iitaka 피브리케이션으로 비라시onal 임을 증명한다. 이 결과는 κ=2에 대해 질문 0.1을 긍정적으로 확인하며, n≤4이면 M이 유니버설 임을 보여준다.

ABSTRACT

We show that the M-canonical map of an n-dimensional complex projective manifold X of Kodaira dimension two is birational to an Iitaka fibration for a computable positive integer M. M depends on the index b of a general fibre F of the Iitaka fibration and on the Betti number of the canonical covering of F, In particular, M is a universal constant if the dimension n is smaller than or equal to 4.

연구 동기 및 목표

• 카다이라 차원 κ=2인 모든 n-다양체 X에 대해 |MK_X|가 Iitaka 피브리케이션으로 비라시onal이 되는 통일된 정수 M의 존재를 증명함으로써 질문 0.1을 해결함.
• 일반 섬유 F의 인덱스 b와 그 캐논칼 Z/bZ-피복의 중간 베티 수 B_{n-2}에 대해 M을 명시적으로 계산함.
• n≤4이면 b와 B_{n-2}에 독립적인 M을 선택할 수 있음을 보여, κ=0,1,3에 대한 기존 결과를 확장함.
• 3차원에서의 좋은 최소 모델의 존재를 이용해 추론 0.4에 대한 직접적인 증명을 제공함.
• 좋은 최소 모델과 모듈리 공간의 컴actification이 고차원으로의 결과 확장에 미치는 영향을 탐색함.

제안 방법

• Iitaka 피브리케이션 f:X→Y의 기저 Y에 대해 두 Q-다중분포 D_Y와 L_Y를 도입하여, f_*O_X(bNK_{X/Y})의 반사 Hull이 O_Y(bN(D_Y + L_Y))와 동형임을 보임. 여기서 N은 B_{n-2}에 의존함.
• bN(K_Y + D_Y + L_Y)가 크다는 것을 보이고, 문제를 |MK_Y + MD_Y + ML_Y|가 비라시onal 사상이 되도록 하는 M의 유계성으로 환원함.
• 표면에 대한 로그 최소 모델 프로그램 (dim Y=2)을 사용하여, K_W + D_W + L_W가 어떤 비라시onal 모델 W에서 네프임을 환원함.
• K_Y + D_Y와 L_Y의 크기 및 준효율성에 기반한 경우 분석을 수행하며, K_W + D_W + eL_W의 준효율성 임계값 e를 사용함.
• 준효율성 임계값 e가 1에서 멀리 떨어져 있음을 증명하여, 다중분포 체계의 효과적 양성 보장.
• DCC 집합에 대한 결과 [La]를 적용하여, |(t+1)(K_S + Δ)|가 비라시onal 사상이 되도록 하는 필요한 M을 유계함.

실험 결과

연구 질문

• RQ1 카다이라 차원 κ인 모든 n-다양체 X에 대해, |MK_X|가 Iitaka 피브리케이션으로 비라시onal이 되는 통일된 상수 M = M(n, κ, b, B_{n−κ})가 존재하는가?
• RQ2 일반 섬유 F가 좋은 최소 모델을 가지며 dim(F)가 유계일 때, b와 B_{n−2}에 독립적으로 M를 선택할 수 있는가?
• RQ3 좋은 최소 모델의 존재와 극도의 최소 모델 모듈리 공간의 컴 pactification이 질문 0.1에 대해 유니버설 M의 존재를 암시하는가?
• RQ4 표면에 대한 로그 최소 모델 프로그램에서 K_W + D_W + eL_W의 준효율성 임계값 e가 1에서 멀리 떨어져 있을 수 있는가?
• RQ5 좋은 최소 모델의 존재를 이용해 3-다양체의 카다이라 차원 2에 대해 유니버설 M_3의 존재를 직접적으로 증명할 수 있는가?

주요 결과

• 모든 n차원 프로젝티브 다양체 X가 카다이라 차원 2일 때, 일반 섬유 F의 인덱스 b와 그 캐논칼 Z/bZ-피복의 중간 베티 수 B_{n-2}에만 의존하는 계산 가능한 양의 정수 M이 존재하여, |MK_X|가 Iitaka 피브리케이션으로 비라시onal임을 보여줌.
• n ≤ 4이면 M는 b와 B_{n-2}에 독립적인 유니버설 상수임. 이는 표면의 카다이라 차원 0일 때 b|12이고 B_{n-2} ≤ 22 이기 때문임.
• 추론 0.4가 확인됨: 모든 3-다양체 X에 대해 |M_3K_X|가 Iitaka 피브리케이션을 주는 유니버설 상수 M_3가 존재함. 이는 Ringler에 의해 별도로 확인됨.
• 증명은 표면에 대한 로그 최소 모델 프로그램과 준효율성 임계값 e < 1의 유계성에 기반함.
• 일반 섬유 F가 좋은 최소 모델을 가질 경우, 다중분포 L_Y는 모듈리 공간의 컴 pactification 위의 네프 Q-카르티어 다중분포 λ의 풀백으로 나타나며, 이는 유니버설성에 대한 기하적 길을 암시함.
• DCC 집합 Ell = {1−1/m} ∪ K_2 ∪ {1/12}을 사용하여, |K_S + ⌈t(K_S + Δ)⌉|가 모든 t ≥ M에 대해 비라시onal 사상이 되도록 하는 계산 가능한 M이 존재함. 이는 |(t+1)K_X|의 비라시오널리티를 이끌어냄.