相关论文: Letters of a Bi-Rationalist: VII. Ordered terminat…

We prove the effective termination of general type MMPs in dimension at most $5$, and give explicit bounds (in terms of topological invariants and volume of divisors) on the number of steps in the MMP when the dimension is at most $4$.

We prove the existence of pl-flips.

We prove existence of flips, special termination, the base point free theorem and, in the case of log general type, the existence of minimal models for F-dlt foliated pairs of co-rank one on a $\mathbb Q$-factorial projective threefold. As…

We prove existence of flips for log canonical foliated pairs of rank one on a Q-factorial projective klt threefold. This, in particular, provides a proof of the existence of a minimal model for a rank one foliation on a threefold for a…

We prove the termination of flips for 4-dimensional pseudo-effective NQC log canonical generalized pairs. As main ingredients, we verify the termination of flips for 3-dimensional NQC log canonical generalized pairs, and show that the…

We study relations between the property of being log abundant for lc pairs and the termination of log MMP with scaling. We prove that any log MMP with scaling of an ample divisor starting with a projective dlt pair contains only finitely…

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 theorems - using modern methods of…

A natural construction of the logarithmic extension of the M(2,p) minimal models is presented, which generalises our previous model [0708.0802] of percolation (p=3). Its key aspect is the replacement of the minimal model irreducible modules…

Let $f:(X,B)\to Z$ be a 3-fold extremal dlt flipping contraction defined over an algebraically closed field of characteristic $p>5$, such that the coefficients of $\{B\}$ are in the standard set $\{1-\frac 1n|n\in \mathbb N\}$, then the…

We prove an existence theorem for good moduli spaces, and use it to construct the second flip in the log minimal model program for the moduli space of stable curves. In fact, our methods give a uniform, self-contained construction of the…

We showed that the strong Sarkisov Program of dimension $d$ can be derived from termination of specific log flips in dimension $\leq d-1$. As a corollary, we show that the strong Sarkisov Program holds in dimension 4. Additionally, we prove…

We study relations between two log minimal models of a fixed lc pair. For any two log minimal models of an lc pair constructed with log MMP, we prove that there are small birational models of the log minimal models which can be connected by…

In this article we establish the following results: Let $(X, B)$ be a dlt pair, where $X$ is a $\mathbb Q$-factorial K\"ahler $4$-fold -- (i) if $X$ is compact and $K_X+B\sim_{\mathbb Q} D\geq 0$ for some effective $\mathbb Q$-divisor, then…

Given a logarithmic $1$-form on the snc locus of a log canonical surface pair $(X, D)$ over a perfect field of characteristic $p \ge 7$, we show that it extends with at worst logarithmic poles to any resolution of singularities. We also…

We prove that termination of lower dimensional flips for generalized klt pairs implies termination of flips for log canonical generalized pairs with a weak Zariski decomposition. Moreover, we prove that the existence of weak Zariski…

We show that in any sequence of a general type MMP, the minimal log discrepancy of singularities takes at most finitely many values, and the fibers of all the extremal contractions and flips belong to a bounded family. A key ingredient in…

We study a pair consisting of a smooth variety over a field of positive characteristic and a multi-ideal with a real exponent. We prove the finiteness of the set of minimal log discrepancies for a fixed exponent if the dimension is less…

We introduce an approach of Riemann--Roch theorem to the boundedness problem of minimal log discrepancies in fixed dimension. After reducing it to the case of a Gorenstein terminal singularity, firstly we prove that its minimal log…

We prove that the finite generation of adjoint rings proved in [Cascini and Lazi\'c] implies all the foundational results of the Minimal Model Program: the Rationality, Cone and Contraction theorems, the existence of flips, and termination…

We prove the Cone Theorem for algebraically integrable foliations. As a consequence, we show that termination of flips implies the b-nefness of the moduli part of a log canonical pair with respect to a contraction, generalising the case of…