Related papers: Introduction to the Minimal Model Program and the …
For $\mathbb Q$-factorial klt algebraically integrable adjoint foliated structures, we prove the cone theorem, the contraction theorem, and the existence of flips. Therefore, we deduce the existence of the minimal model program for such…
We prove that many of the results of the LMMP hold for $3$-folds over fields of characteristic $p>5$ which are not necessarily perfect. In particular, the existence of flips, the cone theorem, the contraction theorem for birational extremal…
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 introduce a new vector space associated to projective variety, the Weil Neron-Severi space, which we show is finitely generated and contains the usual Neron-Severi space as a subspace. We define the Nef cone of Weil divisor and the cone…
In this article we prove the existence of pl-flipping and divisorial contractions and pl flips in dimension $n$ for compact K\"ahler varieties, assuming results of the minimal model program in dimension $n-1$. We also give a self contained…
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 consider the minimal model program for varieties that are not Q-factorial. We show that, in many cases, its steps are simpler than expected. In particular, all flips are 1-complemented. The main applications are to log terminal…
We provide a detailed proof of the validity of the Minimal Model Program for threefolds over excellent Dedekind separated schemes whose residue fields do not have characteristic 2 or 3.
For lc algebraically integrable foliations on klt varieties, we prove the base-point-freeness theorem, the contraction theorem, and the existence of flips. The first result resolves a conjecture of Cascini and Spicer, while the latter two…
The main results of this paper are already known (V.V. Shokurov, the non-vanishing theorem, 1985). Moreover, the non-$\mathbb{Q}$-factorial MMP was more recently considered by O~Fujino, in the case of toric varieties (Equivariant…
We prove the existence of flips in dimension n, contingent on the termination of real flips in dimension n-1.
Minimal log discrepancies (mld's) are related not only to termination of log flips, and thus to the existence of log flips but also to the ascending chain condition (acc) of some global invariants and invariants of singularities in the Log…
We give a light introduction to some recent developments in Mori theory, and to our recent direct proof of the finite generation of the canonical ring.
We show that blow-ups or reverse flips (in the sense of the minimal model program) of rational symplectic manifolds with point centers create Floer-non-trivial Lagrangian tori. As applications, we demonstrate the existence of Hamiltonian…
We prove the Kawamata-Viehweg vanishing theorem for a large class of divisors on surfaces in positive characteristic. By using this vanishing theorem, Reider-type theorems and extension theorems of morphisms for normal surfaces are…
We propose a new formulation of a vanishing theorem for surfaces. Although this vanishing theorem follows easily from the well-known Kawamata--Viehweg vanishing theorem, it turns out to be remarkably useful. In particular, it is sufficient…
The geometric and algebraic theory of monomial ideals and multigraded modules is initiated over real-exponent polynomial rings and, more generally, monoid algebras for real polyhedral cones. The main results include the generalization of…
We prove the existence of flips for $\mathbb Q$-factorial NQC generalized lc pairs, and the cone and contraction theorems for NQC generalized lc pairs. This answers a question of C. Birkar which was conjectured by J. Han and Z. Li. As an…
The main purpose of this paper is to give a simple and non-combinatorial proof of the toric Mori theory. Here, the toric Mori theory means the (log) Minimal Model Program (MMP, for short) for toric varieties. We minimize the arguments on…
We prove the existence of global minimal models for rational morphisms $\phi:{\mathbb P}^N\rightarrow{\mathbb P}^N$ of projective space defined over the field of fractions of a principal ideal domain.