Related papers: On weak Zariski decompositions and termination of …

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 show that minimal models of log canonical pairs exist, assuming the existence of minimal models of smooth varieties.

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 discuss different generalizations of Zariski decomposition, relations between them and connections with finite generation of divisorial algebras.

We study the termination of minimal model programs for log canonical pairs in the complex analytic setting. By using the termination, we prove a relation between the minimal model theory for projective log canonical pairs and that for log…

We prove two theorems on the locally finite decompositions of the cones of divisors by the cones which correspond to canonical and minimal models. We introduce the concept of the numerical linear systems in order to simplify the argument on…

The nonvanishing conjecture for projective log canonical pairs plays a key role in the minimal model program of higher dimensional algebraic geometry. The numerical nonvanishing conjecture considered in this paper is a weaker version of the…

We prove that any sequence of 4-dimensional log flips that begins with a klt pair (X,D) such that -(K+D) is numerically equivalent to an effective divisor, terminates. This implies termination of flips that begin with a log Fano pair and…

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…

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…

In the setting of lattice gauge theories with finite (possibly non-Abelian) gauge groups at weak coupling, we prove exponential decay of correlations for a wide class of gauge invariant functions, which in particular includes arbitrary…

We prove that, on a smooth threefold, pseudoeffective divisors with closed and one-dimensional diminished base locus have birationally a Fujita-Zariski decomposition.

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…

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)$…

In this paper we study Zariski Decomposition with support in a negative definite cycle, a variation introduced by Y. Miyaoka. We provide two extensions of the original statement, which was originally meant for effective $\Q$-divisors: we…

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 prove the termination of 4-fold log flips for klt pairs of Kodaira dimension $\kappa\ge 2$.

Linear differential algebraic groups (LDAGs) appear as Galois groups of systems of linear differential and difference equations with parameters. These groups measure differential-algebraic dependencies among solutions of the equations.…

We construct a Zariski decomposition for cycle classes of arbitrary codimension. This decomposition is an analogue of well-known constructions for divisors. Examples illustrate how Zariski decompositions of cycle classes reflect the…

In this note we give a quick and simple proof of the existence (and uniqueness) of Zariski decompositions on surfaces. While Zariski's original proof employs a rather sophisticated procedure to construct the negative part of the…