Related papers: Minimal model program for normal pairs along log c…

Minimal model conjecture for a proper variety $X$ is that if $\kappa(X)\geq 0$, then $X$ has a minimal model with the abundance and if $\kappa =-\infty$, then $X$ is birationally equivalent to a variety $Y$ which has a fibration $Y \to Z$…

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…

Given a log canonical pair $(X, \Delta)$, we show that $K_X+\Delta$ is nef assuming there is no non-constant map from the affine line with values in the open strata of the stratification induced by the non-klt locus of $(X, \Delta)$. This…

We study relations between the property of being log abundant for lc pairs and the termination of log MMP with scaling. We prove that any log MMP with scaling of an ample divisor starting with a projective dlt pair contains only finitely…

We prove that the abundance conjecture for non-uniruled klt pairs in dimension $n$ implies the abundance conjecture for uniruled klt pairs in dimension $n$, assuming the Minimal Model Program in lower dimensions.

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 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 that the abundance conjecture holds on a variety $X$ with mild singularities if $X$ has many reflexive differential forms with coefficients in pluricanonical bundles, assuming the Minimal Model Program in lower dimensions. This…

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

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 article we show that the Log Minimal Model Program for $\mathbb{Q}$-factorial dlt pairs $(X, B)$ on a compact K\"ahler $3$-fold holds. More specifically, we show that after finitely many divisorial contractions and flips we obtain…

In this article we show that if $(X, \Delta)$ is a log canonical compact K\"ahler $3$-fold such that $K_X+\Delta$ is nef and the numerical dimension $\nu(K_X+\Delta)\neq 2$, then $K_X+\Delta$ is semi-ample.

In this article we show that if $(X, \Delta)$ is a log canonical compact K\"ahler threefold pair such that $K_X+\Delta$ is nef and the numerical dimension $\nu(X, K_X+\Delta)=2$, then $K_X+\Delta$ is semi-ample. This result combined with…

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…

Let $(X,\Delta)$ be a log canonical pair over $\mathbb{C}$ with $X$ a normal projective variety, $\Delta$ an effective $\mathbb{Q}$-divisor, and $K_X+\Delta$ nef. We give a non-vanishing criterion for $K_X+\Delta$ in dimension $n$ with $X$…

In this article we prove that if $(X,B+\beta)$ is a projective generalized klt pair such that $B+\beta$ is big, then $(X,B+\beta)$ admits a good Minimal Model or Mori fiber space. In particular, this implies Tossati's transcendental…

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 discuss the relative log minimal model theory for log surfaces in the analytic setting. More precisely, we show that the minimal model program, the abundance theorem, and the finite generation of log canonical rings hold for log pairs of…

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 describe the foundation of the log minimal model program for log canonical pairs according to Ambro's idea. We generalize Koll\'ar's vanishing and torsion-free theorems for embedded simple normal crossing pairs. Then we prove the cone…