Related papers: On minimal model program and Zariski decomposition…
Birkar and Hu showed that if a pair $(X,\Delta)$ is lc and $K_{X}+\Delta$ admits a birational Zariski decomposition, then $(X,\Delta)$ has a minimal model. Analogously, we prove that if a pair $(X,\Delta)$ is pklt and $-(K_{X}+\Delta)$…
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…
We give an alternative proof of the existence of the anticanonical minimal model program for potentially klt pairs, assuming the anticanonical divisor admits a birational Zariski decomposition. Moreover, we establish a structure theorem…
In this paper, we study the minimal model theory for threefolds in mixed characteristic. As a generalization of a result of Kawamata, we show that the MMP holds for strictly semi-stable schemes over an excellent Dedekind scheme $V$ of…
In this paper, we explore the geometry of potential triples $(X,\Delta,D)$, which by definition consists of a pair $(X,\Delta)$ and an $\mathbb{R}$-Cartier pseudoeffective divisor $D$ on $X$. We define and study the asymptotic multiplier…
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 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…
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 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…
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…
Let $(X,\Delta)$ be a normal pair with a projective morphism $X \to Z$ and let $A$ be a relatively ample $\mathbb{R}$-divisor on $X$. We prove the termination of some minimal model program on $(X,\Delta+A)/Z$ and the abundance conjecture…
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…
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)$…
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…
If $(X, \mcF, \D)$ is a projective rank two foliated log canonical triple such that $(X,B)$ is klt for some $0 \leq B \leq \D$, we show that we can run a $(K_\mcF +\Delta)$-MMP and any such MMP terminates with either a minimal model or Mori…
This paper resolves several outstanding questions regarding the Minimal Model Program for klt threefolds in mixed characteristic. Namely termination for pairs which are not pseudo-effective, finiteness of minimal models and the Sarkisov…
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…
Using currents with minimal singularities, we construct pointwise minimal multiplicities for a real pseudo-effective $(1,1)$-class $\alpha$ on a compact complex $n$-fold $X$, which are the local obstructions to the numerical effectivity of…
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$.