Related papers: Log canonical pairs with good augmented base loci

We study log canonical models of foliated surfaces of general type. In particular, we show that log canonical models of general type and their minimal partial du Val resolutions are bounded. Moreover, we show the valuative criteria of…

In this paper, I prove a very general extension theorem for log pluricanonical systems. The main application of this extension theorem is (together with Kawamata's subadjunction theorem) to give an optimal subadjunction theorem which…

We prove the normality of minimal log canonical centers on threefold pairs which residue fields are perfect of residue characteristics $p\neq 2,3 $ and $5$. We also show that the union of all log canonical centers on threefold pairs with…

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…

Let $\overline{\mathrm{Mov}}^k(X)$ be the closure of the cone $\mathrm{Mov}^k(X)$ generated by classes of effective divisors on a projective variety $X$ with stable base locus of codimension at least $k+1$. We propose a generalized version…

Given a projective hyper-K\"ahler manifold $X$, we study the asymptotic base loci of big divisors on $X$. We provide a numerical characterization of these loci and study how they vary while moving a big divisor class in the big cone, using…

In this article we give two independent proofs of the positive characteristic analog of the log terminal inversion of adjunction. We show that for a pair $(X, S+B)$ in characteristic $p>0$, if $(S^n, B_{S^n})$ is strongly $F$-regular, then…

We prove that a pointed one dimensional family of varieties $\mathcal{X}\to {b\in B}$ in positive characteristics is locally stable iff the log pair $(\mathcal{X'}, \mathcal{X}'_{b'})$ arising from its base change to the perfectoid base…

We introduce a new technique for proving positivity of certain divisor classes on $\bar{M}_{0,n}$ and its weighted variants. Our methods give an unconditional description of the spaces of symmetric weighted pointed rational curves as log…

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…

Given a three-dimensional projective log canonical pair over a perfect field of characteristic larger than five, there exists a minimal model program that terminates after finitely many steps.

Let $(X,D)$ be an open log del Pezzo surface of rank one, that is, $X$ is a normal projective surface of Picard rank one, the boundary $D$ is a reduced nonzero divisor on $X$, and the anti-log canonical divisor $-(K_X+D)$ is ample. We show…

We prove, under suitable conditions, that there exist wall-crossing and reduction morphisms for moduli spaces of stable log pairs in all dimensions as one varies the coefficients of the divisor.

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

We show that the number of marked minimal models of an n-dimensional smooth complex projective variety of general type can be bounded in terms of its volume, and, if n=3, also in terms of its Betti numbers. For an n-dimensional projective…

Given an ambient variety $X$ and a fixed subvariety $Z$ we give sufficient conditions for the existence of a boundary $\Delta$ such that $Z$ is a log canonical center for the pair $(X, \Delta)$. We also show that under some additional…

Let $f: (X,D) \to B$ be a stably family with log canonical general fiber. We prove that, after a birational modification of the base $\tilde{B} \to B$, there is a morphism from a high fibered power of the family to a pair of log general…

We show that if $(X,B)$ is a log canonical pair with $\dim X\geq d+2$, whose non-klt centers have dimension $\geq d$, then $X$ is has depth $\ge d+2$ at every closed point.

Let f: X \to Z be a surjective morphism of smooth complex projective varieties with connected fibers. Suppose that L is a pseudo-effective divisor on X that is f-numerically trivial. We show that there is a divisor D on Z such that L is…

We discuss the cone theorem for quasi-log schemes and the Mori hyperbolicity. In particular, we establish that the log canonical divisor of a Mori hyperbolic projective normal pair is nef if it is nef when restricted to the non-lc locus.…