Related papers: Termination of (many) 4-dimensional log flips

We prove the termination of 4-fold log flips for klt pairs of Kodaira dimension $\kappa\ge 2$.

Let $(X,\Delta)$ be a log canonical $4$-fold over an algebraically closed field of characteristic zero. We prove that any sequence of $(K_X+\Delta)$-flips terminates.

To construct a resulting model in LMMP is sufficient to prove existence of log flips and their termination for certain sequences. We prove that LMMP in dimension $d-1$ and termination of terminal log flips in dimension $d$ imply, for any…

We will prove the following results for $3$-fold pairs $(X,B)$ over an algebraically closed field $k$ of characteristic $p>5$: log flips exist for $\Q$-factorial dlt pairs $(X,B)$; log minimal models exist for projective klt pairs $(X,B)$…

Let $(X/Z,B+A)$ be a $\Q$-factorial dlt pair where $B,A\ge 0$ are $\Q$-divisors and $K_X+B+A\sim_\Q 0/Z$. We prove that any LMMP$/Z$ on $K_X+B$ with scaling of an ample$/Z$ divisor terminates with a good log minimal model or a Mori fibre…

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…

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…

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…

In this paper, we prove the termination of 4-fold semi-stable log flips under the assumption that there always exist 4-fold (semi-stable) log flips.

Let $(X, \Delta)/U$ be klt pairs and $Q$ be a convex set of divisors. Assuming that the relative Kodaira dimensions are non-negative, then there are only finitely many log canonical models when the boundary divisors varying in a relatively…

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…

Let $(X,\Delta)$ be a log pair over $S$, such that $-(K_X+\Delta)$ is nef over $S$. It is conjectured that the intersection of the non-klt (non Kawamata log terminal) locus of $(X,\Delta)$ with any fiber $X_s$ has at most two connected…

Let L be an ample line bundle on a log variety (V, D) having only log terminal singularities.The Kodaira energy of such a triple (V, D, L) is defined as follows: \kappa\epsilon=-Inf{t\in Q | K(V,D)+tL is big}. Here K(V,D)=K_V+D is the log…

We show that termination of flips for $\mathbb Q$-factorial klt pairs in dimension $r$ implies existence of minimal models for algebraically integrable foliations of rank $r$ with log canonical singularities over a $\mathbb Q$-factorial klt…

We prove that the ascending chain condition (ACC) for log canonical (lc) thresholds in dimension $d$ and Special Termination in dimension $d$ imply the termination of any sequence of log flips starting with a $d$-dimensional lc pair of…

We prove an analogue of Fujino and Mori's ``bounding the denominators'' in the log canonical bundle formula (see also Prokhorov and Shokurov) for Kawamata log terminal pairs of relative dimension one. As an application we prove that for a…

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

For a birational log Fano contraction, it is conjectured an inequality between the dimension of its exceptional locus and the minimal log discrepancy over the locus. The conjecture follows from the existence of the flip for the contraction…

We prove the existence of good log minimal models for dlt pairs of numerical log Kodaira dimension 0.