Related papers: Minimal model program for excellent surfaces

Let $(X,\Delta)$ be a projective log canonical pair such that $\Delta \geq A$ where $A \geq 0$ is an ample $\mathbb{R}$-divisor. We prove that either $(X,\Delta)$ has a good minimal model or a Mori fibre space. Moreover, if $X$ is…

A determination of the fixed components, base points and irregularity is made for arbitrary numerically effective divisors on any smooth projective rational surface having an effective anticanonical divisor. All of the results are proven…

We prove that the canonical ring of a smooth projective variety is finitely generated.

We present a method for computing projective isomorphisms between rational surfaces that are given in terms of their parametrizations. The main idea is to reduce the computation of such projective isomorphisms to five base cases by…

For $\mathbb Q$-factorial klt algebraically integrable adjoint foliated structures, we prove the cone theorem, the contraction theorem, and the existence of flips. Therefore, we deduce the existence of the minimal model program for such…

In this paper, we show the abundance theorem for log canonical surfaces over fields of positive characteristic.

We establish the minimal model program (MMP) for generalized foliated threefolds $(X, \mathcal{F}, B, \mathbf{M})$ of rank 1, extending the result of Cascini and Spicer in [CS25d]. As an application of the generalized foliated MMP, we prove…

We propose a new formulation of a vanishing theorem for surfaces. Although this vanishing theorem follows easily from the well-known Kawamata--Viehweg vanishing theorem, it turns out to be remarkably useful. In particular, it is sufficient…

We discuss the minimal model program for b-log varieties, which is a pair of a variety and a b-divisor, as a natural generalization of the minimal model program for ordinary log varieties. We show that the main theorems of the log MMP work…

We classify all the effective anticanonical divisors on weak del Pezzo surfaces. Through this classification we obtain the smallest number among the log canonical thresholds of effective anticanonical divisors on a given Gorenstein…

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…

In this paper we characterize two-dimensional semi-log canonical hypersurfaces in arbitrary characteristic from the viewpoint of the initial term of the defining equation. As an application, we prove a conjecture about a uniform bound of…

We construct a sequence of smooth minimizing surfaces in a sequence of metrics converging to the standard Euclidean metric, so that they have diverging $L^2$ norm of second fundamental form.

We construct a surface with log terminal singularities and ample canonical class that has $K_X^2=1/48 983$ and a log canonical pair $(X,B)$ with a nonempty reduced divisor $B$ and ample $K_X+B$ that has $(K_X+B)^2 = 1/462$. Both examples…

In this note, we construct a minimal surface of general type with geometric genus p g = 4, self-intersection of the canonical divisor K^2 = 32 and irregularity q = 1 such that its canonical map is an abelian cover of degree 16 of P^1 x P^1.

In this note we show how to find the stable model of a one-parameter family of elliptic surfaces with sections. More specifically, we perform the log Minimal Model Program in an explicit manner by means of toric geometry, in each such one…

We show the finiteness of log pluricanonical representations under the assumption of the existence of a good minimal model.

Varieties with log terminal and log canonical singularities are considered in the Minimal Model Program, see \cite{...} for introduction. In \cite{shokurov:hyp} it was conjectured that many of the interesting sets, associated with these…

Using the fact that any minimal strongly regular surface carries locally canonical principal parameters, we obtain a canonical representation of these surfaces, which makes more precise the Weierstrass representation in canonical principal…

We prove that many of the results of the LMMP hold for $3$-folds over fields of characteristic $p>5$ which are not necessarily perfect. In particular, the existence of flips, the cone theorem, the contraction theorem for birational extremal…