Termination of (many) 4-dimensional log flips
代数几何
2009-11-11 v2
摘要
We prove that any sequence of 4-dimensional log flips that begins with a klt pair (X,D) such that -(K+D) is numerically equivalent to an effective divisor, terminates. This implies termination of flips that begin with a log Fano pair and termination of flips in a relative birational setting. We also prove termination of directed flips with big K+D. As a consequence, we prove existence of minimal models of 4-dimensional dlt pairs of general type, existence of 5-dimensional log flips, and rationality of Kodaira energy in dimension 4.
引用
@article{arxiv.math/0605137,
title = {Termination of (many) 4-dimensional log flips},
author = {Valery Alexeev and Christopher Hacon and Yujiro Kawamata},
journal= {arXiv preprint arXiv:math/0605137},
year = {2009}
}
备注
13 pages; a minor change in the proof of Thm.4.3