# On existence of log minimal models

@article{Birkar2010OnEO, title={On existence of log minimal models}, author={Caucher Birkar}, journal={Compositio Mathematica}, year={2010}, volume={146}, pages={919 - 928} }

Abstract In this paper, we prove that the log minimal model program in dimension d−1 implies the existence of log minimal models for effective lc pairs (e.g. of non-negative Kodaira dimension) in dimension d. In fact, we prove that the same conclusion follows from a weaker assumption, namely, the log minimal model program with scaling in dimension d−1. This enables us to prove that effective lc pairs in dimension five have log minimal models. We also give new proofs of the existence of log… Expand

#### Paper Mentions

#### 64 Citations

On existence of log minimal models II

- Mathematics
- 2011

Abstract We prove that the existence of log minimal models in dimension d essentially implies the LMMP with scaling in dimension d. As a consequence we prove that a weak nonvanishing conjecture in… Expand

Finite generation of the log canonical ring in dimension four

- Mathematics
- 2010

We treat two different topics on the log minimal model program, especially for four-dimensional log canonical pairs. (a) Finite generation of the log canonical ring in dimension four. (b) Abundance… Expand

The LMMP for log canonical 3-folds in char $p$

- Mathematics
- 2016

We prove that one can run the log minimal model program for log canonical $3$-fold pairs in characteristic $p>5$. In particular we prove the Cone Theorem, Contraction Theorem, the existence of flips… Expand

On the finiteness of ample models

- Mathematics
- 2020

In this paper, we generalize the finiteness of models theorem in [BCHM06] to Kawamata log terminal pairs with fixed Kodaira dimension. As a consequence, we prove that a Kawamata log terminal pair… Expand

Log minimal models according to Shokurov

- Mathematics
- 2008

Following Shokurov’s ideas, we give a short proof of the following klt version of his result: termination of terminal log flips in dimension d implies that any klt pair of dimension d has a log… Expand

Introduction to the log minimal model program for log canonical pairs

- Mathematics
- 2009

We describe the foundation of the log minimal model program for log canonical pairs according to Ambro's idea. We generalize Koll\'ar's vanishing and torsion-free theorems for embedded simple normal… Expand

On existence of log minimal models and weak Zariski decompositions

- Mathematics
- 2009

We first introduce a weak type of Zariski decomposition in higher dimensions: an $${\mathbb {R}}$$ -Cartier divisor has a weak Zariski decomposition if birationally and in a numerical sense it can be… Expand

Introduction to the Minimal Model Program and the existence of flips

- Mathematics
- 2008

The first aim of this note is to give a concise, but complete and self-contained, presentation of the fundamental theorems of Mori theory - the nonvanishing, base point free, rationality and cone… Expand

Supplement to the paper "On existence of log minimal models II"

- Mathematics
- 2011

We prove a stronger version of a termination theorem appeared in the paper "On existence of log minimal models II". We essentially just get rid of the redundant assumptions so the proof is almost the… Expand

Extension theorems, non-vanishing and the existence of good minimal models

- Mathematics
- 2010

We prove an extension theorem for effective purely log-terminal pairs (X, S + B) of non-negative Kodaira dimension $${\kappa (K_X+S+B)\ge 0}$$ . The main new ingredient is a refinement of the… Expand

#### References

SHOWING 1-10 OF 47 REFERENCES

On existence of log minimal models II

- Mathematics
- 2011

Abstract We prove that the existence of log minimal models in dimension d essentially implies the LMMP with scaling in dimension d. As a consequence we prove that a weak nonvanishing conjecture in… Expand

Finite generation of the log canonical ring in dimension four

- Mathematics
- 2010

We treat two different topics on the log minimal model program, especially for four-dimensional log canonical pairs. (a) Finite generation of the log canonical ring in dimension four. (b) Abundance… Expand

Letters of a Bi-rationalist. VII Ordered termination

- Mathematics
- 2006

To construct a resulting model in the LMMP, it is sufficient to prove the existence of log flips and their termination for some sequences. We prove that the LMMP in dimension d − 1 and the… Expand

Log minimal models according to Shokurov

- Mathematics
- 2008

Following Shokurov’s ideas, we give a short proof of the following klt version of his result: termination of terminal log flips in dimension d implies that any klt pair of dimension d has a log… Expand

Termination of (many) 4-dimensional log flips

- Mathematics
- 2007

We prove that any sequence of 4-dimensional log flips that begins with a klt pair (X,D) such that -(KX+D) is numerically equivalent to an effective divisor, terminates. This implies termination of… Expand

Minimal models, flips and finite generation : a tribute to V.V. SHOKUROV and Y.-T. SIU

- Mathematics
- 2009

In this paper, we discuss a proof of existence of log minimal models or Mori fibre spaces for klt pairs $(X/Z,B)$ with $B$ big$/Z$. This then implies existence of klt log flips, finite generation of… Expand

Minimal models, flips and finite generation : a tribute to V.V. SHOKUROV and Y.-T. SIU

- Mathematics
- 2009

In this paper, we discuss a proof of existence of log minimal models or Mori fibre spaces for klt pairs (X/Z, B) with B big/Z. This then implies existence of klt log flips, finite generation of klt… Expand

Mld's vs thresholds and flips

- Mathematics
- 2006

Abstract Minimal log discrepancies (mld's) are related not only to termination of log flips [Shokurov, Algebr. Geom. Metody 246: 328–351, (2004)] but also to the ascending chain condition (ACC) of… Expand

3-FOLD LOG FLIPS

- Mathematics
- 1993

We prove that 3-fold log flips exist. We deduce the existence of log canonical and -factorial log terminal models, as well as a positive answer to the inversion problem for log canonical and log… Expand

Existence of minimal models for varieties of log general type

- Mathematics
- 2006

Assuming finite generation in dimension n − 1, we prove that pl-flips exist in dimension n.