Related papers: On effective non-vanishing and base-point-freeness
Let $(X,D)$ be log canonical pair such $\dim X = 3$ and the divisor $-(K_X + D)$ is nef and big. For a special class of such $(X,D)$'s we prove that the linear system $|-n(K_{X}+D)|$ is free for $n \gg 0$.
Let $X$ be a projective klt threefold in characteristic $p>5$ and let $L$ be a nef Cartier divisor on $X$. We show that $H^1(X, -L)=0$ for the following two cases: (1) $K_X$ is not big and $L$ is big; (2) $-K_X$ is nef and $L$ is of…
In this paper, we prove the cone theorem and the contraction theorem for pairs $(X, B)$, where $X$ is a normal variety and $B$ is an effective $\mathbb R$-divisor on $X$ such that $K_X+B$ is $\mathbb R$-Cartier.
Let $(X,\Delta)$ be a projective, $\mathbb{Q}$-factorial log canonical pair and let $L$ be a pseudoeffective $\mathbb{Q}$-divisor on $X$ such that $K_X + \Delta + L$ is pseudoeffective. Is there an effective $\mathbb{Q}$-divisor $M$ on $X$…
Motivated by the classical Theorems of Picard and Siegel and their generalizations, we define the notion of an {\it essentially large} effective divisor and derive some of its geometric and arithmetic consequences. We then prove that on 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…
Let C be a general connected, smooth, projective curve of positive genus g. For each nonnegative integer i we give formulas for the number of pairs (P,Q) em C x C off the diagonal such that (g+i-1)Q-(i+1)P is linearly equivalent to an…
We reformulate base point free theorems. Our formulation is flexible and has some important applications. One of the main purposes of this paper is to prove a generalization of the base point free theorem in Fukuda's paper: On numerically…
Consider a log canonical pair $(X,B)$ such that there is a Cartier divisor $D$ for which $T_X(-\log B) \otimes \mathcal O(D)$ is locally free and globally generated. Let $\mathcal F$ be a log canonical foliation of rank 1 on $X$. We prove…
We show that smooth varieties of general type which are well formed weighted complete intersections of Cartier divisors have maximal Hodge level, that is, their the rightmost middle Hodge numbers do not vanish. We show that this does not…
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…
Let $(X,B)$ be a pair of a normal surface over a perfect field of characteristic $p>0$ and an effective $\mathbb{Q}$-divisor $B$ on $X$. We prove that Steenbrink-type vanishing holds for $(X,B)$ if it is log canonical and $p>5$, or it is…
We describe two situations where adding the adjoint divisor to a divisor D with smooth normalization yields a free divisor. Both also involve stability or versality. In the first, D is the image of a corank one stable germ of a map from…
We give a theorem on the effective non-vanishing problem for algebraic surfaces in positive characteristic. For the Kawamata-Viehweg vanishing, the logarithmic Kollar vanishing and the logarithmic semipositivity, we give their…
We show that if $\mathcal{F}$ is an algebraically integrable foliation on a $\mathbb{Q}$-factorial normal projective variety $X$, $ A, B \geq 0$ are $\mathbb{Q}$-divisors on $X$ with $A$ ample such that $(\mathcal{F}, B)$ is foliated dlt…
The divisor graph is the non oriented graph whose vertices are the positive integers, and edges are the {a,b} such that a divides b or b divides a. Let F(x,y) be the maximum number of integers<= x belonging in one of y pairwise disjoint…
Consider a projective variety $X \subset \mathbb{P}^n$ (over an algebraically closed field of characteristic zero), together with a (reduced) simple normal crossings divisor $E \subset \mathbb{P}^n$, where the degrees of both $X$ and $E$…
Let $(X,B)$ be a log canonical pair and $\mathcal{V}$ be a finite set of divisorial valuations with log discrepancy in $[0,1)$. We prove that there exists a projective birational morphism $\pi \colon Y\rightarrow X$ so that the exceptional…
We show that given a smooth projective variety X over C with dim(X) > 2, an ample line bundle O(1) on X and an integer n > 1, any n distinct points on a generic hypersurface of degree d in X are linearly independent in CH_0(X) if d >> 0.…
We show that on quasi-smooth weighted complete intersections of codimension at most 3, any ample Cartier divisor $H$ such that $H-K_X$ is ample admits a nontrivial global section. This is done by proving a generalisation of a numerical…