Related papers: Minimal model program for semi-stable threefolds i…
We provide a detailed proof of the validity of the Minimal Model Program for threefolds over excellent Dedekind separated schemes whose residue fields do not have characteristic 2 or 3.
We extend the minimal model theorem to the 3-dimensional schemes which are projective and have semistable reduction over the spectrum of a Dedekind ring.
We show the validity of the relative dlt MMP over Q-factorial threefolds in all characteristics p>0. As a corollary, we generalise many recent results to low characteristics including: $W\mathcal{O}$-rationality of klt singularities,…
We show the validity of two special cases of the four-dimensional Minimal Model Program in characteristic $p>5$: for contractions to $\mathbb{Q}$-factorial fourfolds and in families over curves ("semi-stable mmp"). We also provide their…
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 improve on the result of Hacon and Witaszek by showing that the MMP for semi-stable fourfolds in mixed characteristic terminates in several new situations. In particular, we show the validity of the MMP for strictly semi-stable fourfolds…
We establish the Minimal Model Program for arithmetic threefolds whose residue characteristics are greater than five. In doing this, we generalize the theory of global $F$-regularity to mixed characteristic and identify certain stable…
We show the validity of the Minimal Model Program for threefolds in characteristic five.
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…
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…
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…
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…
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…
We give a sufficient condition for the termination of flips. Then we discuss a semi-stable minimal model program for varieties with (numerically) trivial canonical divisor as an application. We also treat a slight refinement of dlt…
In this paper, we improve a result by Chodosh and Ketover. We prove that, in an asymptotically flat $3$-manifold $M$ that contains no closed minimal surfaces, fixing $q\in M$ and a $2$-plane $V$ in $T_qM$ there is a properly embedded…
We construct reduction and wall-crossing morphisms between the moduli spaces of stable pairs as the coefficients vary, generalizing the earlier work of Ascher, Bejleri, Inchiostro and Patakfalvi which deals with the klt case. Along the…
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…
In the present work we classify the relatively minimal 3-dimensional quasihomogeneous complex projective varieties under the assumption that the automorphism group is not solvable. By relatively minimal we understand varieties X having at…
In this article we show that the Log Minimal Model Program holds for $\mathbb{Q}$-factorial lc pair $(X,\Delta)$ with $X$ being a compact K\"ahler $3$-fold having only klt singularities.
The semistable minimal model program is a special case of the minimal model program concerning 3-folds fibred over a curve and birational morphisms preserving this structure. We classify semistable divisorial contractions which contract the…