Related papers: Effective basepoint-free theorem for semi-log cano…

The notion of quasi-log schemes was first introduced by Florin Ambro in his epoch-making paper: Quasi-log varieties. In this paper, we establish the basepoint-free theorem of Reid--Fukuda type for quasi-log schemes in full generality.…

Fujino and Tanaka established the minimal model theory for $\mathbb Q$-factorial log surfaces in characteristic $0$ and $p$, respectively. We prove that every intermediate surface has only log terminal singularities if we run the minimal…

The main result is that a quasi-projective surface has negative log Kodaira dimension (i.e. no log pluricanonical sections) iff it is dominated by images of the affine line. This follows from our main intermediate result, that the smooth…

We use intersection theory, degeneration techniques and jet schemes to study log canonical thresholds. Our first result gives a lower bound for the log canonical threshold of a pair in terms of the log canonical threshold of the image by a…

Let $(X,\Delta)$ be a 4-dimensional log variety which is proper over the field of complex numbers and with only divisorial log terminal singularities. The log canonical divisor $K_X+\Delta$ is semi-ample, if it is nef (numerically…

We consider the structure of classes of curves on a projective simply connected surface for which fundamental groups of the complements admit free quotients having rank greater than one with irreducible components belonging to a selected…

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…

We consider the Zariski-Lipman Conjecture on free module of derivations for algebraic surfaces. Using the theory of non-complete algebraic surfaces, and some basic results about ruled surfaces, we will prove the conjecture for several…

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 establish the minimal model program for log canonical and Q-factorial surfaces over excellent base schemes.

We show that any union of slc strata of a Fano log pair with semi-log canonical singularities is simply connected. In particular, Fano log pairs with semi-log canonical singularities are simply connected, which confirms a conjecture of the…

We obtain an effective version of Matsusaka's theorem for arbitrary smooth algebraic surfaces in positive characteristic, which provides an effective bound on the multiple which makes an ample line bundle D very ample. The proof for…

Stable surfaces and their log analogues are the type of varieties naturally occuring as boundary points in moduli spaces. We extend classical results of Kodaira and Bombieri to this more general setting: if $(X,\Delta)$ is a stable log…

In this paper we show that the relative canonical sheaf of a relatively minimal fibration of curves over a curve is semi-ample ; in fact, its m-tensored product is base point free for any m > 1. We use Koszul cohomology with it to prove…

We show the properness of the moduli stack of stable surfaces over $\mathbb{Z}[1/30]$, assuming the locally-stable reduction conjecture for stable surfaces. This relies on a local Kawamata--Viehweg vanishing theorem for for 3-dimensional…

A famous theorem of Shokurov states that a general anticanonical divisor of a smooth Fano threefold is a smooth K3 surface. This is quite surprising since there are several examples where the base locus of the anticanonical system has…

We prove semi-rationalification and semi-log-canonicalization for Gorenstein demi-normal surfaces. That is, given a Gorenstein demi-normal surface X with semi-rational (respectively, semi-log canonical) singularities in an open set U with…

We prove that the Kawamata-Viehweg vanishing theorem holds on rational surfaces in positive characteristic by means of the lifting property to W_2(k) of certain log pairs on smooth rational surfaces. As a corollary, the Kawamata-Viehweg…

We begin by formally defining n-Tango curves and n-Raynaud surfaces. Our investigation then focuses on the pathological behaviors exhibited by n-Raynaud surfaces. As a direct corollary of this analysis, we present a concise disproof of…

A necessary and sufficient condition is given for semi-ampleness of a numerically effective (nef) and big line bundle in positive characteristic. One application is to the geometry of the universal stable curve over M_g, specifically, the…