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}
}
  • C. Birkar
  • Published 2010
  • Mathematics
  • Compositio Mathematica
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

On existence of log minimal models II
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 inExpand
Finite generation of the log canonical ring in dimension four
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) AbundanceExpand
The LMMP for log canonical 3-folds in char $p$
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 flipsExpand
On the finiteness of ample models
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 pairExpand
Log minimal models according to Shokurov
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 logExpand
Introduction to the log minimal model program for log canonical pairs
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 normalExpand
On existence of log minimal models and weak Zariski decompositions
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 beExpand
Introduction to the Minimal Model Program and the existence of flips
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 coneExpand
Supplement to the paper "On existence of log minimal models II"
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 theExpand
Extension theorems, non-vanishing and the existence of good minimal models
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 theExpand
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 47 REFERENCES
On existence of log minimal models II
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 inExpand
Finite generation of the log canonical ring in dimension four
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) AbundanceExpand
Letters of a Bi-rationalist. VII Ordered termination
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 theExpand
Log minimal models according to Shokurov
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 logExpand
Termination of (many) 4-dimensional log flips
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 ofExpand
Minimal models, flips and finite generation : a tribute to V.V. SHOKUROV and Y.-T. SIU
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 ofExpand
Minimal models, flips and finite generation : a tribute to V.V. SHOKUROV and Y.-T. SIU
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 kltExpand
Mld's vs thresholds and flips
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) ofExpand
3-FOLD LOG FLIPS
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 logExpand
Existence of minimal models for varieties of log general type
Assuming finite generation in dimension n − 1, we prove that pl-flips exist in dimension n.
...
1
2
3
4
5
...