Skip to main content
Log in

Termination of (many) 4-dimensional log flips

  • Published:
Inventiones mathematicae Aims and scope

Abstract

We prove that any sequence of 4-dimensional log flips that begins with a klt pair (X,D) such that -(K X +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 X +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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. Alexeev, V.: Log canonical surface singularities: arithmetical approach. In: Flips and abundance for algebraic threefolds, Astérisque, vol. 211, pp. 47–58. Société Mathématique de France, Paris (1992)

  2. Alexeev, V.: Two two-dimensional terminations. Duke Math. J. 69(3), 527–545 (1993)

    Article  MATH  MathSciNet  Google Scholar 

  3. Batyrev, V.V.: The cone of effective divisors of threefolds. In: Proceedings of the International Conference on Algebra, Part 3 (Novosibirsk, 1989), Contemp. Math., vol. 131, pp. 337–352. Amer. Math. Soc., Providence, RI (1992)

  4. Araujo, C.: The cone of effective divisors of log varieties after Batyrev. math.AG/0502174 (2005), preprint

  5. Fujino, O.: Termination of 4-fold canonical flips. Publ. Res. Inst. Math. Sci. 40(1), 231–237 (2004) Addendum. 41(1), 252–257 (2005)

  6. Fujino, O.: Special termination and reduction to pl flips. In: Ambro, F., Corti, A., Fujino, O., Hacon, C.D., Kollár, J., McKernan, J., Takagi, H.: Flips for 3-Folds and 4-Folds. x4, Oxford University Press

  7. Fujita, T.: On Kodaira energy of polarized log varieties. J. Math. Soc. Japan 48(1), 1–12 (1996)

    Article  MATH  MathSciNet  Google Scholar 

  8. Hacon, C., McKernan, J.: On the existence of flips. arXiv math.AG/0507597 (2005), preprint

  9. Kawamata, Y.: Crepant blowing-up of 3-dimensional canonical singularities and its application to degenerations of surfaces. Ann. Math. (2) 127(1), 93–163 (1988)

    Article  MathSciNet  Google Scholar 

  10. Kawamata, Y.: Termination of log flips for algebraic 3-folds. Int. J. Math. 3(5), 653–659 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  11. Kawamata, Y.: Termination of log flips in dimension 4. arXiv math.AG/0302168v5 (2003), preprint (withdrawn)

  12. Kollár, J., et al.: Flips and abundance for algebraic threefolds. Astérisque, vol. 211. Société Mathématique de France, Paris (1992)

  13. Kollár, J., Mori, S.: Birational geometry of algebraic varieties. Cambridge Tracts Math., vol. 134. Cambridge University Press, Cambridge (1998). With the collaboration of Clemens, C.H., and Corti, A., Translated from the 1998 Japanese original

  14. Kawamata, Y., Matsuda, K., Matsuki, K.: Introduction to the minimal model problem. Algebraic geometry, Sendai, 1985. In: Adv. Stud. Pure Math., vol. 10, pp. 283–360, North-Holland, Amsterdam (1987). http://faculty.ms.u-tokyo.ac.jp/∼kawamata/index.html

  15. Kollár, J.: Flops. Nagoya Math. J. 113, 15–36 (1989)

    MATH  MathSciNet  Google Scholar 

  16. Matsuki, K.: Termination of flops for 4-folds. Am. J. Math. 113(5), 835–859 (1991)

    Article  MATH  MathSciNet  Google Scholar 

  17. Mumford, D.: The topology of normal singularities of an algebraic surface and a criterion for simplicity. Publ. Math., Inst. Hautes Étud. Sci. 9, 5–22 (1961)

    MATH  MathSciNet  Google Scholar 

  18. Shokurov, V.V.: A nonvanishing theorem. Izv. Akad. Nauk SSSR Ser. Mat. 49(3), 635–651 (1985)

    MathSciNet  Google Scholar 

  19. Shokurov, V.V.: Prelimiting flips. Tr. Mat. Inst. Steklova, 240, 82–219 (2003) (Biratsion. Geom. Linein. Sist. Konechno Porozhdennye Algebry)

  20. Shokurov, V.V.: Letters of a bi-rationalist. V. Minimal log discrepancies and termination of log flips. Tr. Mat. Inst. Steklova 246, 328–351 (2004) (Algebr. Geom. Metody, Svyazi i Prilozh.)

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Yujiro Kawamata.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Alexeev, V., Hacon, C. & Kawamata, Y. Termination of (many) 4-dimensional log flips. Invent. math. 168, 433–448 (2007). https://doi.org/10.1007/s00222-007-0038-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00222-007-0038-1

Keywords

Navigation