Finiteness of Log Minimal Models and Nef curves on -folds in characteristic
arXiv:1711.10901 · doi:10.1017/nmj.2018.28
Abstract
In this article we prove a finiteness result on the number of log minimal models for -folds in char . We then use this result to prove a version of Batyrev's conjecture on the structure of nef cone of curves on -folds in characteristic . We also give a proof of the same conjecture in full generality in characteristic . We further verify that the duality of movable curves and pseudo-effective divisors hold in arbitrary characteristic. We then give a criterion for the pseudo-effectiveness of the canonical divisor of a smooth projective variety in arbitrary characteristic in terms of the existence of a family of rational curves on .
Some typos fixed and other minor changes. This is the final version. arXiv admin note: text overlap with arXiv:math/0610203, arXiv:0807.2294 by other authors