# Letters of a Bi-rationalist. VII Ordered termination

@article{Shokurov2006LettersOA, title={Letters of a Bi-rationalist. VII Ordered termination}, author={Vyacheslav Vladimirovich Shokurov}, journal={Proceedings of the Steklov Institute of Mathematics}, year={2006}, volume={264}, pages={178-200} }

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 termination of terminal log flips in dimension d imply, for any log pair of dimension d, the existence of a resulting model: a strictly log minimal model or a strictly log terminal Mori log fibration, and imply the existence of log flips in dimension d + 1. As a consequence, we prove the existence of a… Expand

#### 43 Citations

On existence of log minimal models

- Mathematics
- Compositio Mathematica
- 2010

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… 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

Existence of log canonical flips and a special LMMP

- Mathematics
- 2011

Let (X/Z,B+A) be a Q-factorial dlt pair where B,A≥0 are Q-divisors and KX+B+A∼Q0/Z. We prove that any LMMP/Z on KX+B with scaling of an ample/Z divisor terminates with a good log minimal model or a… 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 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

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

Polarized pairs, log minimal models, and Zariski decompositions

- Mathematics
- Nagoya Mathematical Journal
- 2014

Abstract We continue our study of the relation between log minimal models and various types of Zariski decompositions. Let (X,B) be a projective log canonical pair. We will show that (X,B) has a log… Expand

The geography of log models and its applications

- Geography
- 2008

We use the Log Minimal Model Program (LMMP) to investigate the stratification of the set of R-divisors on an algebraic variety X. We first refine the classical definition of Iitaka dimension of an… 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

#### References

SHOWING 1-10 OF 20 REFERENCES

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

Birational models and flips

- Mathematics
- 2005

This survey treats two chapters in the theory of log minimal models, namely, the chapter on different notions of models in this theory and the chapter on birational flips, that is, log flips, mainly… 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

THE NONVANISHING THEOREM

- Mathematics
- 1986

The main result of the paper is a nonvanishing theorem that is a sufficient condition for nontriviality of the zeroth cohomology group of inverse sheaves. In addition, applications of this theorem to… Expand

On the existence of flips

- Mathematics
- 2005

We prove the existence of flips in dimension n, contingent on the termination of real flips in dimension n-1.

Toward the second main theorem on complements: from local to global

- Mathematics
- 2006

We prove the boundedness of complements modulo two conjectures: Borisov-Alexeev conjecture and effective adjunction for fibre spaces. We discuss the last conjecture and prove it in two particular… Expand

Quasi-log varieties

- Mathematics
- 2001

We extend the Cone Theorem of the Log Minimal Model Program to log varieties with arbitrary singularities.

Birational models and flips, Russian Mathematical Surveys

- Birational models and flips, Russian Mathematical Surveys
- 2005

On the existence of flips, arXiv math

- On the existence of flips, arXiv math
- 2005