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

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…

In this paper, we show that for any projective klt pair $(X,\Delta)$ over an algebraically closed field of characteristic \(0\) and any big $\mathbb{Q}$-Cartier $\mathbb{Q}$-divisor $L$ on $X$, the invariants $\alpha(X,\Delta,L)$ and…

We consider an arbitrary int-amplified surjective endomorphism $f$ of a normal projective variety $X$ over $\mathbb{C}$ and its $f^{-1}$-stable prime divisors. We extend the early result for the case of polarized endomorphisms to the case…

We study the behavior of generalized lc pairs with $\mathrm{\textbf b}$-log abundant nef part, a meticulously designed structure on algebraic varieties. We show that this structure is preserved under the canonical bundle formula and…

We prove the finiteness of relative log pluricanonical representations in the complex analytic setting. As an application, we discuss the abundance conjecture for semi-log canonical pairs within this framework. Furthermore, we establish the…

Let $\mathbb{K}$ be an algebraically closed field of characteristic $p>5$. We show the existence of minimal models for pseudo-effective NQC lc generalized pairs in dimension three over $\mathbb{K}$. As a consequence, we prove the…

We add further notions to Lehmann's list of numerical analogues to the Kodaira dimension of pseudo-effective divisors on smooth complex projective varieties, and show new relations between them. Then we use these notions and relations to…

We prove that if $(X, B+\mathbf{M})$ is a generalized klt pair with $K_X+B+\mathbf{M}_X$ nef and abundant, then $K_X+B+\mathbf{M}_X$ is semiample. More generally, we prove a generalized basepoint free theorem for generalized klt pairs.

Assume $X$ is a variety over $\mathbb{C}$, $A \subseteq \mathbb{C}$ is a finitely generated $\mathbb{Z}$-algebra and $X_A$ a model of $X$ (i.e. $X_A \times_A \mathbb{C} \cong X$). Assuming the weak ordinarity conjecture we show that there…

We treat two different topics on the log minimal model program, especially for four-dimensional log canonical pairs. (a) Finite generation of the log canonical ring in dimension four. (b) Abundance theorem for irregular fourfolds. We obtain…

We prove that if $(X,A+B)$ is a pair defined over an algebraically closed field of positive characteristic such that $(X,B)$ is strongly $F$-regular, $A$ is ample and $K_X+A+B$ is strictly nef, then $K_X+A+B$ is ample. Similarly, we prove…

We establish an Arakelov-type inequality for a morphism $f \colon (X,\Delta) \to S$, where $(X,\Delta)$ is a simple normal crossing semi-log canonical pair and $S$ is a smooth projective variety. As a consequence, we derive a bound on the…

Let $X$ be a normal projective threefold with mild singularities, and $L_X$ a strictly nef $\mathbb{Q}$-divisor on $X$. First, we show the ampleness of $K_X+tL_X$ with sufficiently large $t$ if either the Kodaira dimension $\kappa(X)\neq 0$…

In this paper, we completely work out the log minimal model program for the moduli space of stable curves of genus three. We employ a rational multiple $\alpha\delta$ of the divisor $\delta$ of singular curves as the boundary divisor,…

We show that given a simple abelian variety $A$ and a normal variety $V$ defined over a finitely generated field $K$ of characteristic zero, the set of non-constant morphisms $V \to A$ satisfying certain tangency conditions imposed by a…

Let $X$ be a normal variety over the field of complex numbers with log terminal singularities and the canonical divisor $K_X$ being ${\bf Q}$-Gorenstein. Assume that $L$ is an ample line bundle over $X$ and $\phi: X\to Y$ is a morphism…

We show that there exists a positive real number $\delta>0$ such that for any normal quasi-projective $\mathbb{Q}$-Gorenstein $3$-fold $X$, if $X$ has worse than canonical singularities, that is, the minimal log discrepancy of $X$ is less…

We prove that the moduli b-divisor of an lc-trivial fibration from a log canonical pair is log abundant. The result follows from a theorem on the restriction of the moduli b-divisor, based on a theory of lc-trivial morphisms, which allows…

Let $(X,\Delta)$ be a projective, log canonical, $K$-trivial pair over the complex numbers. Let $Z$ be a minimal log canonical center of $(X,\Delta)$ and suppose that there exists a torus $\mathbb{T}\subseteq\operatorname{Aut}(X)$…

We study the projective normality of a minimal surface $X$ which is a ramified double covering over a rational surface $S$ with $\dim|-K_S|\ge 1$. In particular Horikawa surfaces, the minimal surfaces of general type with $K^2_X=2p_g(X)-4$,…