[논문 리뷰] On the moduli part of the Kawamata-Kodaira canonical bundle formula

Caucher Birkar, Yifei Chen|arXiv (Cornell University)|2012. 07. 17.

Algebraic Geometry and Number Theory참고 문헌 14인용 수 3

한 줄 요약

이 논문은 카와마타-코다이라 캐논리컬 번들 공식에서 모듈리 b-다중분포의 임의로 작은 변형이 반-단조임을 증명한다. 이를 위해 해소와 적절한 효과적 다중분포를 구성함으로써 변형된 다중분포가 반-단조임을 보였다. 이 결과는 후지노와 공요의 추측을 해결하며, $ f: X \to Z $ 가 매끄러운 프로젝티브 다양체 간의 매끄러운 사상이고 $ -K_X $ 가 반-단조이면 $ -K_Z $ 도 반-단조임을 보여준다.

ABSTRACT

It is conjectured that the moduli b-divisor of the Kawamata-Kodaira canonical bundle formula associated to a klt-trivial fibration $(X,B) o Z$ is semi-ample. In this paper, we show the semi-ampleness of an arbitrarily small perturbation of the moduli b-divisor by a fixed appropriate divisor which roughly speaking comes from a section of $K_X+B$. We apply the above result to settle a conjecture of Fujino and Gongyo: if $f\colon X o Z$ is a smooth surjective morphism of smooth projective varieties with $-K_X$ semi-ample, then $-K_Z$ is also semi-ample. We list several counter-examples to show that this fails without the smoothness assumption on $f$.

연구 동기 및 목표

• klt-비어 있는 피브레이션에 대해 카와마타-코다이라 캐논리컬 번들 공식에서 모듈리 b-다중분포의 변형에 대한 반-단조성을 증명한다.
• 후지노와 공요의 추측을 해결한다: $ -K_X $ 가 반-단조일 때 매끄러운 피브레이션 $ f: X \to Z $ 에 대해 $ -K_Z $ 가 반-단조임을 보인다.
• 모듈리 b-다중분포는 반드시 반-단조일 필요는 없지만, $ K_X + B $ 의 단면에서 온 고정 다중분포에 의한 소량의 변형을 통해 반-단조가 됨을 확립한다.
• 매끄러움 조건이 없을 경우 추측이 성립하지 않음을 보여주는 반례를 제시한다.

제안 방법

• klt-비어 있는 피브레이션의 기저 $ Z $ 의 해소인 암브로 모델 $ Y \to Z $ 의 해소 $ \phi: W \to Y $ 를 최소 모델 프로그램을 통해 구성한다.
• $ Y $ 에서 $ \mathbb{Q} $-다중분포 $ \Delta_Y = B_Y + E $ 를 정의한다. 여기서 $ E \geq 0 $ 는 $ /Z $ 에 대해 특이점인 $ \mathbb{Q} $-다중분포이며, $ (Y, \Delta_Y) $ 는 klt이다.
• 정리 1.2 를 적용하여 $ \alpha \gg 0 $ 에 대해 $ W $ 에서 $ \alpha M_W + G $ 가 반-단조임을 보인다. 여기서 $ G \leq \phi^*D_Y $ 이고, $ D_Y \sim_{\mathbb{Q}} K_Y + \Delta_Y + bM_Y $ 이다.
• 부정성 보조정리를 사용하여 $ G $ 가 일반적인 점 $ z \in Z $ 의 이웃에서 0임을 보이며, 이는 $ G $ 가 특이점이며 $ z $ 를 포함하지 않음을 의미한다.
• $ \alpha M_W + G \sim_{\mathbb{Q}} P_W $ 를 만족하는 $ \mathbb{Q} $-다중분포 $ P_W \geq 0 $ 를 구성한다. 여기서 $ P_W $ 는 $ z $ 의 위상에서의 섹션과 분리되어 있으므로, $ P_Z = \sigma_*\phi_*P_W \geq 0 $ 는 $ z \notin \operatorname{Supp} P_Z $ 를 만족하는 $ \mathbb{Q} $-다중분포가 된다.
• 결론적으로 $ M_Z $ 의 안정 기저집합이 $ Z $ 의 어떤 점 $ z \in Z $ 도 포함하지 않으므로, $ -K_Z $ 는 반-단조임을 알 수 있다.

실험 결과

연구 질문

• RQ1 klt-비어 있는 피브레이션에 대해 카와마타-코다이라 캐논리컬 번들 공식에서 모듈리 b-다중분포는 반-단조인가?
• RQ2 고정 다중분포를 $ K_X + B $ 의 단면으로부터 변형함으로써 모듈리 b-다중분포의 반-단조성을 확립할 수 있는가?
• RQ3 매끄러운 피브레이션 $ f: X \to Z $ 에서 $ -K_X $ 가 반-단조일 경우 $ -K_Z $ 도 반-단조인가?
• RQ4 피브레이션 $ f $ 의 매끄러움 조건을 제거하면 $ -K_Z $ 의 반-단조성은 어떻게 되는가?
• RQ5 신뢰할 수 있는 네프 또는 비그 대칭다중분포에 대한 결과에 의존하지 않고도 캐논리컬 번들 공식을 사용하여 $ -K_Z $ 의 반-단조성을 증명할 수 있는가?

주요 결과

• 카나니컬 번들 공식에서 모듈리 b-다중분포 $ M_Y $ 는 반드시 반-단조일 필요는 없지만, 충분히 큰 $ \alpha \gg 0 $ 에 대해 변형된 다중분포 $ \alpha M_W + G $ 는 반-단조이다. 여기서 $ G $ 는 해소 $ W \to Y $ 에서의 효과적 $ \mathbb{Q} $-다중분포이다.
• 변형 $ \alpha M_W + G $ 는 $ G \leq \phi^*D_Y $ 이고, 어떤 $ l > 0 $ 에 대해 $ R(W, lG) \simeq R(Y, lD_Y) $ 를 만족하도록 구성되며, 이는 섹션 링과의 호환성을 보장한다.
• 이 결과는 $ f: X \to Z $ 가 매끄러운 프로젝티브 다양체 간의 매끄러운 사상이고 $ -K_X $ 가 반-단조일 경우 $ -K_Z $ 가 반-단조임을 보여주며, 후지노와 공요의 추측을 해결한다.
• 증명은 부정성 보조정리를 통해 변형 다중분포 $ G $ 가 임의의 점 $ z \in Z $ 의 이웃에서 0임을 보이며, 이에 따라 $ \alpha M_Z \sim_{\mathbb{Q}} P_Z \geq 0 $ 이고 $ z \notin \operatorname{Supp} P_Z $ 를 얻는다. 이는 $ -K_Z $ 가 안정 기저집합의 관점에서 기저점 없음임을 증명한다.
• 반례는 $ f $ 의 매끄러움 조건이 필수적임을 보여준다: 이 조건이 없으면 $ -K_X $ 가 반-단조임에도 불구하고 $ -K_Z $ 는 반-단조가 아닐 수 있다.
• 특수한 경우 $ K_X + B \sim_{\mathbb{Q}} 0 $ 에서도 구성이 성립하며, 이 경우 $ D_Y = E $ 를 취해도 변형된 모듈리 다중분포의 반-단조성이 유지된다.