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

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…

A log Calabi--Yau pair consists of a proper variety $X$ and a divisor $D$ on it such that $K_X+D$ is numerically trivial. A folklore conjecture predicts that the dual complex of $D$ is homeomorphic to the quotient of a sphere by a finite…

We prove a conjecture of Koll\'ar stating that the local fundamental group of a klt singularity $x$ is finite. In fact, we prove a stronger statement, namely that the fundamental group of the smooth locus of a neighbourhood of $x$ is…

Using the Abban-Zhuang theory and the classification of three-dimensional log smooth log Fano pairs due to Maeda, we prove that threefold log Fano pairs $(X, D)$ of Maeda type with reducible boundary $D$ are K-unstable, with four…

It is well known that a smooth projective Fano variety is rationally connected. Recently Zhang (and later Hacon and McKernan as a special case of their work on the Shokurov RC-conjecture) proved that the same conclusion holds for a klt pair…

In this paper, we study a projective klt pair $(X, \Delta)$ with the nef anti-log canonical divisor $-(K_X+\Delta)$ and its maximally rationally connected fibration $\psi: X \dashrightarrow Y$. We prove that the numerical dimension of the…

Let $(X,D)$ be a log smooth pair of dimension $n$, where $D$ is a reduced effective divisor such that the log canonical divisor $K_X + D$ is pseudo-effective. Let $G$ be a connected algebraic subgroup of $\mathrm{Aut}(X,D)$. We show that…

In this paper we prove that for a nonsingular projective variety of dimension at most 4 and with non-negative Kodaira dimension, the Kodaira dimension of coherent subsheaves of $\Omega^p$ is bounded from above by the Kodaira dimension of…

Let $k$ be an $F$-finite field containing an infinite perfect field of positive characteristic. Let $(X, \Delta)$ be a projective log canonical pair over $k$. In this note we show that, for a semi-ample divisor $D$ on $X$, there exists an…

We prove the existence of a crepant sdlt model for slc pairs whose irreducible components are normal in codimension one.

We study the relationship between Iitaka fibrations and the conjecture on the existence of complements, assuming the good minimal model conjecture. In one direction, we show that the conjecture on the existence of complements implies the…

In this paper, we develop a theory of diminished multiplier ideals on singular varieties which was introduced by Hacon, and developed by Lehmann. We prove a result regarding the termination of certain type of flips with scaling of an ample…

We prove the following results for projective klt pairs of dimension $3$ over an algebraically closed field of char $p>5$: the cone theorem, the base point free theorem, the contraction theorem, finiteness of minimal models, termination…

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…

Let $E\subseteq \mathbb{P}^2$ be a complex curve homeomorphic to the projective line. The Negativity Conjecture asserts that the Kodaira-Iitaka dimension of $K_X+\frac{1}{2}D$, where $(X,D)\to (\mathbb{P}^{2},E)$ is a minimal log…

In this paper, we prove that the zero-locus of any global holomorphic log-one-form on a projective log-smooth pair $\left(X,D\right)$ of log-general type must be non-empty. Applying this result, we give an answer to the algebraic…

In this article we prove a finiteness result on the number of log minimal models for $3$-folds in char $p>5$. We then use this result to prove a version of Batyrev's conjecture on the structure of nef cone of curves on $3$-folds in…

In this article we prove a local implication of boundedness of Fano varieties. More precisely, we prove that $d$-dimensional $a$-log canonical singularities, with standard coefficients, which admit an $\epsilon$-plt blow-up have minimal log…

Let $X\subset P^n$ be a complex projective manifold of degree $d$ and arbitrary dimension. The main result of this paper gives a classification of such manifolds (assumed moreover to be connected, non-degenerate and linearly normal) in case…

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…