Related papers: On the $4$-dimensional minimal model program for K…

Suppose that $f\colon X\to\mathrm{Spec}\, R$ is a minimal model of a complete local Gorenstein 3-fold, where the fibres of $f$ are at most one dimensional, so by [VdB1d] there is a noncommutative ring $\Lambda$ derived equivalent to $X$.…

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…

Under the assumption of the minimal model theory for projective klt pairs of dimension $n$, we establish the minimal model theory for lc pairs $(X/Z,\Delta)$ such that the log canonical divisor is relatively log abundant and its restriction…

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 and the existence of log minimal models…

Let X be a compact Kaehler threefold such that the base of the MRC-fibration has dimension two. We prove that X is bimeromorphic to a Mori fibre space. Together with our earlier result arXiv:1304.4013 this completes the MMP for compact…

Let $X$ be a $\mathbb{Q}$-factorial compact K\"ahler klt threefold admitting an action of a free abelian group $G$, which is of positive entropy and of maximal rank. After running the $G$-equivariant log minimal model program, we show that…

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…

Let $f:X\to U$ be a projective morphism of normal varieties and $(X,\Delta)$ a dlt pair. We prove that if there is an open set $U^0\subset U$, such that $(X,\Delta)\times_U U^0$ has a good minimal model over $U^0$ and the images of all the…

In this article we prove that if $(X,B+\beta)$ is a projective generalized klt pair such that $B+\beta$ is big, then $(X,B+\beta)$ admits a good Minimal Model or Mori fiber space. In particular, this implies Tossati's transcendental…

We show the validity of two special cases of the four-dimensional Minimal Model Program in characteristic $p>5$: for contractions to $\mathbb{Q}$-factorial fourfolds and in families over curves ("semi-stable mmp"). We also provide their…

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…

Using Seiberg-Witten theory, it is shown that any Kaehler metric of constant negative scalar curvature on a compact 4-manifold M minimizes the L^2-norm of scalar curvature among Riemannian metrics compatible with a fixed decomposition…

We discuss the minimal model program for b-log varieties, which is a pair of a variety and a b-divisor, as a natural generalization of the minimal model program for ordinary log varieties. We show that the main theorems of the log MMP work…

We show the termination of any log-minimal model program for a pair $(X,\Delta)$ of a symplectic manifold $X$ and an effective $\mathbb R$-divisor $\Delta$.

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 log canonical rings, and most of the…

Let $(X,\Delta)$ be a projective log canonical pair such that $\Delta \geq A$ where $A \geq 0$ is an ample $\mathbb{R}$-divisor. We prove that either $(X,\Delta)$ has a good minimal model or a Mori fibre space. Moreover, if $X$ is…

We use reduction maps to study the minimal model program. Our main result is that the existence of a good minimal model for a klt pair $(X,\Delta)$ can be detected on the base of the $(K_{X}+\Delta)$-trivial reduction map. Thus we show that…

One of the central aims of the Minimal Model Program is to show that a projective log canonical pair $(X,\Delta)$ with $K_X+\Delta$ pseudoeffective has a good model, i.e.\ a minimal model $(Y,\Delta_Y)$ such that $K_Y+\Delta_Y$ is…

We study the minimal model program on the geometric generic fiber of a fibration $f:X\to S$ such that for a Zariski dense subset $S'\subseteq S$, $X_s$ is an $\varepsilon$-lc log Calabi--Yau type for every $s\in S'$. We prove that for a…

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 minimal model or a Mori fibre space. Thus, in…