[논문 리뷰] Okounkov bodies associated to abundant divisors and Iitaka fibrations

Sung Rak Choi, Jinhyung Park외 1명|arXiv (Cornell University)|2017. 11. 17.

Algebraic Geometry and Number Theory참고 문헌 20인용 수 5

한 줄 요약

이 논문은 풍부한 인수의 값매김 Okounkov 체가 그 수치적 성질을 완전히 코딩함을 증명하며, 두 풍부한 준효율적 $$\mathbb{R}$$-인수는 모든 허용 가능한 플래그에 대해 그 값매김 Okounkov 체가 일치할 때이고 그때에만 수치적으로 동치임을 보여준다. 또한 풍부한 인수의 제한 기저 다양체 $\mathbf{B}_{-}(D)$가 그 값매김 Okounkov 체로부터 복원 가능하며, Nakayama 부분다양체에 제한된 Iitaka 분해사상의 차수를 통해 값매김 체와 한계 체가 일치할 조건을 제시한다.

ABSTRACT

The aim of this paper is to study the Okounkov bodies associated to abundant divisors. As a main result, we prove that the valuative Okounkov bodies of an abundant divisor encode all the numerical properties. We apply this result to recover the asymptotic base loci of an abundant divisor from the valuative Okounkov bodies. We also give a criterion of when the valuative and limiting Okounkov bodies of an abundant divisor coincide by comparing their Euclidean volumes. To obtain these results, we prove some variants of Fujita's approximations for Okounkov bodies using Iitaka fibrations.

연구 동기 및 목표

• 풍부한 인수의 값매김 Okounkov 체가 그 전반적인 수치적 동치류를 반영하는지 여부를 규명하는 것.
• 풍부한 인수의 제한 기저 다양체 $\mathbf{B}_{-}(D)$를 그 값매김 Okounkov 체로부터 복원하는 것.
• 풍부한 인수의 값매김 체와 한계 체가 동일한 조건을 기하학적 자료를 통해 규명하는 것 — Iitaka 분해사상의 특성에 기반하여.

제안 방법

• 준효율적 인수에 대해 값매김 및 한계 Okounkov 체를 도입하고 분석하며, 이전의 큰 인수에 대한 연구를 확장한다.
• 풍부한 인수와 관련된 Iitaka 분해사상을 사용하여 Okounkov 체를 비교하기 위한 기하학적 프레임워크를 구축한다.
• 한계 Okounkov 체의 유클리드 체적이 Iitaka 분해사상이 Nakayama 부분다양체에 제한된 차수와 값매김 체의 체적을 곱한 것과 같음을 증명한다.
• Fujita의 근사 정리의 변종을 적용하여 선형 계열의 점근적 체적과 Iitaka 분해사상의 기하학적 성질을 연결한다.
• 한 점을 중심으로 하는 허용 가능한 플래그를 고정하고, 값매김 Okounkov 체에 원점이 포함되는지 여부를 제한 기저 다양체 $\mathbf{B}_{-}(D)$에 속하는지의 여부와 연결한다.
• Nakayama 부분다양체의 로그 해소에 의한 엄격한 전이를 사용하여 Iitaka 분해사상의 차수와 Okounkov 체 체적에 미치는 영향을 분석한다.

실험 결과

연구 질문

• RQ1 풍부한 인수의 값매김 체와 한계 체가 언제 일치하는가?
• RQ2 한 점을 중심으로 하는 모든 플래그에 대해, 값매김 Okounkov 체에 원점이 포함되는지 여부로 제한 기저 다양체 $\mathbf{B}_{-}(D)$를 특징지울 수 있는가?
• RQ3 풍부한 인수의 값매김 Okounkov 체가 그 수치적 동치류를 완전히 결정하는가?
• RQ4 Nakayama 부분다양체에 제한된 Iitaka 분해사상의 차수는 값매김 체와 한계 체의 체적과 어떻게 관련이 있는가?
• RQ5 한계 Okounkov 체가 값매김 체의 스케일링된 형태인 경우에 해당하는 기하학적 조건은 무엇인가?

주요 결과

• 두 풍부한 준효율적 $$\mathbb{R}$$-인수의 값매김 Okounkov 체가 모든 허용 가능한 플래그에 대해 일치할 때이고 그때에만 이 인수들은 수치적으로 동치이다.
• 풍부한 인수 $D$의 제한 기저 다양체 $\mathbf{B}_{-}(D)$는 모든 $x\in X$에 대해, $x$를 중심으로 하는 플래그 $Y_{\bullet}$에 대해 값매김 Okounkov 체 $\Delta^{\operatorname{val}}_{Y_{\bullet}}(D)$가 원점을 포함하지 않는 점 $x\in X$로 정확히 구성된다.
• 한계 Okounkov 체의 유클리드 체적은 $\operatorname{vol}_{\mathbb{R}^{\kappa(D)}}(\Delta^{\lim}_{Y_{\bullet}}(D)) = \deg(\phi|_{V^{\prime}}) \cdot \operatorname{vol}_{\mathbb{R}^{\kappa(D)}}(\Delta^{\operatorname{val}}_{Y_{\bullet}}(D))$ 를 만족하며, 여기서 $V^{\prime}$는 로그 해소에 의한 Nakayama 부분다양체 $V$의 엄격한 전이이다.
• 값매김 체와 한계 체가 일치하는 것은, Nakayama 부분다양체의 엄격한 전이에 제한된 Iitaka 분해사상 $\phi|_{V^{\prime}}\colon V^{\prime}\to Z$ 가 일반적으로 단사일 때이고 그때에만 성립한다.
• 값매김 체 $\Delta^{\operatorname{val}}_{Y_{\bullet}}(D)$의 스칼라 배수로 표현되지 않는 한계 체 $\Delta^{\lim}_{Y_{\bullet}}(D)$를 갖는 예가 존재하나, 이는 $D$가 풍부하더라도 일반적으로 체적이 스케일링에 의해 연결되지 않음을 보여준다.
• Iitaka 분해사상에 섹션 없이 $\kappa(S)=1$인 최소 표면 $S$에 대해, 일반적인 점을 포함하는 Nakayama 부분다양체를 포함하는 모든 플래그에 대해 $\Delta^{\operatorname{val}}_{Y_{\bullet}}(K_S)$와 $\Delta^{\lim}_{Y_{\bullet}}(K_S)$는 서로 다를 수 있다.