Related papers: A Base Point Free Theorem of Reid Type, II

Let X be a smooth projective variety defined over an algebraically closed field, and let Y in X be a reduced and irreducible ample divisor in X. We give a numerical sufficient condition for a base point free pencil on $Y$ to be the…

Any ample Cartier divisor D on a projective variety X is strictly nef (i.e. D.C>0 for any effective curve C on X). In general, the converse statement does not hold. But this is conjectured to be true for anticanonical divisors. The present…

We prove that any nef b-divisor class on a projective variety defined over an algebraically closed field of characteristic 0 is a decreasing limit of nef Cartier classes. Building on this technical result, we construct an intersection…

Basepoint free cycles on the moduli space $\overline{M}_{0,n}$ of stable n-pointed rational curves, defined using Gromov-Witten invariants of smooth projective homogeneous spaces X are studied. Intersection formulas to find classes are…

Generalising the Heilman-Lieb Theorem from statistical physics, Chudnovsky and Seymour [J. Combin. Theory Ser. B, 97(3):350--357] showed that the univariate independence polynomial of any claw-free graph has all of its zeros on the negative…

Let $(X, \Delta)$ be a projective klt pair of dimension $2$ and let $L$ be a nef $\mathbb{Q}$-divisor on $X$ such that $K_X + \Delta + L$ is nef. As a complement to the Generalized Abundance Conjecture by Lazi\'c and Peternell, we prove…

A complex manifold $X$ of dimension $n$ together with an ample vector bundle $E$ on it will be called a {\sf generalized polarized variety}. The adjoint bundle of the pair $(X,E)$ is the line bundle $K_X + det(E)$. We study the positivity…

We prove constructively that for any finite-dimensional commu- tative ring R, every stably free module over R[X;X^{1}] of rank > dim R is free, i.e., R[X;X^{-1}] is (dimR)-Hermite.

The non-isomorphic locus of a general projection from an embedded smooth projective variety to a hypersurface moves in a linear system of an effective divisor which we call the double point divisor. David Mumford proved that the double…

We give a criterion for a nef divisor $D$ to be semiample on a Calabi--Yau threefold $X$ when $D^3=0=c_2(X)\cdot D$ and $c_3(X)\neq 0$. As a direct consequence, we show that on such a variety $X$, if $D$ is strictly nef and $\nu(D)\neq 1$,…

Let X be a smooth curve over a finite field of characteristic p, let l be a prime number different from p, and let L be an irreducible lisse l-adic sheaf on X whose determinant is of finite order. By a theorem of Lafforgue, for each prime…

Given free modules $M\subseteq L$ of finite rank $f\geq 1$ over a principal ideal domain $R$, we give a procedure to construct a basis of $L$ from a basis of $M$ assuming the invariant factors or elementary divisors of $L/M$ are known.…

Let $(X,\Delta)$ be a log pair over $S$, such that $-(K_X+\Delta)$ is nef over $S$. It is conjectured that the intersection of the non-klt (non Kawamata log terminal) locus of $(X,\Delta)$ with any fiber $X_s$ has at most two connected…

Let L be a nef line bundle on a projective scheme X in positive characteristic. We prove that the augmented base locus of L is equal to the union of the irreducible closed subsets V of X such that the restriction of L to V is not big. For a…

We study Kawamata log terminal singularities of full rank, i.e., $n$-dimensional klt singularities containing a large finite abelian group of rank $n$ in its regional fundamental group. The main result of this article is that klt…

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.

We prove the Kawamata-Viehweg vanishing theorem for a large class of divisors on surfaces in positive characteristic. By using this vanishing theorem, Reider-type theorems and extension theorems of morphisms for normal surfaces are…

In this paper we prove a result on the effective generation of pluri-canonical linear systems on foliated surfaces of general type. Fix a function $P: \mathbb Z_{\geq 0}\to \mathbb Z $, then there exists an integer $N_1>0$ such that if…

Let $(X, \Delta)/U$ be klt pairs and $Q$ be a convex set of divisors. Assuming that the relative Kodaira dimensions are non-negative, then there are only finitely many log canonical models when the boundary divisors varying in a relatively…

Let $(S,D)$ be a minimal log pair of general type with $S$ a smooth projective surface and $D$ a simple normal corssing reduced divisor on $S$. We assume that its log canonial linear system $|K_S+D|$ is composed of a penciel, let $f\colon…