Related papers: Relative Nakayama-Zariski decomposition and minima…
We show that minimal models of $\mathbb{Q}$-factorial NQC log canonical generalised pairs exist, assuming the existence of minimal models of smooth varieties. More generally, we prove that on a $\mathbb{Q}$-factorial NQC log canonical…
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 minimal model if either $K_X+B$ birationally…
We develop a theory of $P$-trivial MMP whose each step is $P$-trivial for a given nef divisor $P$. As an application, we prove that, given a projective generalised klt pair $(X,B+M)$ with data $M'$ being just a nef $\mathbb{R}$-divisor, if…
We first introduce a weak type of Zariski decomposition in higher dimensions: an $\R$-Cartier divisor has a weak Zariski decomposition if birationally and in a numerical sense it can be written as the sum of a nef and an effective…
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 show that the existence of a birational weak Zariski decomposition for a pseudo-effective generalized polarized lc pair is equivalent to the existence of a generalized polarized log terminal model.
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…
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…
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…
We introduce linearly decomposable (LD) generalized pairs, which serve as a workable substitute for rational decompositions in the non-NQC setting. Using LD generalized pairs, together with a refinement of special termination and…
In this paper we investigate boundedness and volumes of generalised pairs, and give applications to usual pairs especially to a class of pairs that we call stable log minimal models. Fixing the dimension and a DCC set controlling…
In this paper we investigate various properties of generalised pairs in families, especially boundedness of several kinds. We show that many statements for usual pairs do not hold for generalised pairs. In particular, we construct an…
We show that given any two minimal models of a generalized lc pair, there exist small birational models which are connected by a sequence of symmetric flops. We also present some applications.
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 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…
Given an NQC log canonical generalized pair $(X,B+M)$ whose underlying variety $X$ is not necessarily $\mathbb{Q}$-factorial, we show that one may run a $(K_X+B+M)$-MMP with scaling of an ample divisor which terminates, provided that…
In this paper, we investigate properties of potential triples $(X,\Delta,D)$ which consists of a pair $(X,\Delta)$ and a pseudoeffective $\mathbb{R}$-Cartier divisor $D$. In particular, we show that if $D$ admits a birational Zariski…
We show that for pseudoeffective projective pairs the termination of one sequence of flips implies the termination of all flips, assuming a natural conjecture on the behaviour of the Nakayama-Zariski decomposition under the operations of a…
We generalize Nakamaye's description, via intersection theory, of the augmented base locus of a big and nef divisor on a normal pair with log-canonical singularities or, more generally, on a normal variety with non-lc locus of dimension at…
In this paper we study relative Riemann-Zariski spaces attached to a morphism of schemes and generalizing the classical Riemann-Zariski space of a field. We prove that similarly to the classical RZ spaces, the relative ones can be described…