Using the data schemes developed by Arrondo-Sols-Speiser, we give a rigorous definition of algebraic differential equations on the complex projective space $P^n$. For an algebraic subvariety $S \subseteq P^n$, we present an explicit formula for the degree of the divisor of solutions of a differential equation on $S$ and give some examples of applications. We extend the technique and result to the real case.
Totally invariant divisors of endomorphisms of the projective space are expected to be always unions of linear spaces. Using logarithmic differentials we establish a lower bound for the degree of the non-normal locus of a totally invariant divisor. As a consequence we prove the linearity of totally invariant divisors for $\mathbb P^3$.
We show that a smooth divisor in a projective space can be reconstructed from the isomorphism class of the sheaf of logarithmic vector fields along it if and only if its defining equation is of Sebastiani-Thom type.
We prove an effective bound for the degree of a smooth divisor of a hypersurface of P^n, n>4 (projective space over an algebraically closed field of characteristic zero). Our result follows from a strong (since the degree of the divisor is not involved) generalization of the "Speciality theorem" of Gruson-Peskine, which we prove to hold for any smooth, subcanonical, codimension two, projective verieties of dimension at least three.
In this paper, we study the structure of projective space bundles whose relative anti-canonical line bundle is nef. As an application, we get a characterization of abelian varieties up to finite etale covering.
We compute the divisor class group and the Picard group of projective varieties with Hibi rings as homogeneous coordinate rings. These varieties are precisely the toric varieties associated to order polytopes. We use tools from the theory of toric varieties to get a description of the two groups which only depends on combinatorial properties of the underlying poset.
Let $X$ be a projective manifold of dimension $n$. Suppose that $T_X$ contains an ample subsheaf. We show that $X$ is isomorphic to $\mathbb{P}^n$. As an application, we derive the classification of projective manifolds containing a $\mathbb{P}^r$-bundle as an ample divisor by the recent work of D.~Litt.
Given a web (multi-foliation) and a linear system on a projective surface we construct divisors cutting out the locus where some element of the linear system has abnormal contact with the leaf of the web. We apply these ideas to reobtain a classical result by Salmon on the number of lines on a projective surface. In a different vein, we investigate the number of lines and of disjoint lines contained in a projective surface and tangent to a contact distribution.
In this paper we classify all the compactifications of affine homology $3$-cells into the blow-ups of the projective $3$-space along smooth curves such that the log canonical divisors are linearly trivial. As a result, we prove that each embedded affine $3$-fold is isomorphic to the affine $3$-space except one example.
Let $X$ be a four-dimensional projective variety defined over the field of complex numbers with only terminal singularities. We prove that if the intersection number of the canonical divisor $K$ with every very general curve is positive ($K$ is almost numerically positive) then every very general proper subvariety of $X$ is of general type in the viewpoint of geometric Kodaira dimension. We note that the converse does not hold for simple abelian varieties.
We totally classify the projective toric varieties whose canonical divisors are divisible by their dimensions. In Appendix, we show that Reid's toric Mori theory implies Mabuchi's characterization of the projective space for toric varieties.
We consider a Cartier divisor L on a d-dimensional complex projective variety X. It is well-known that the dimensions of the cohomomology groups H^i(X,O_X(mL)) grow at most like m^d, and it is natural to ask when one of these actually has maximal growth. For i = 0, this happens by definition exactly when L is big. Here we focus on the question of when one or more of the higher cohomology groups grows maximally. Our main result is that if one considers also small perturbations of the divisor in question, then the maximal growth of higher cohomology characterizes non-ample divisors. This criteri…
The paper reviews recent developments in the study of Alexander invariants of quasi-projective manifolds using methods of singularity theory. Several results in topology of the complements to singular plane curves and hypersurfaces in projective space extended to the case of curves on simply connected smooth projective surfaces.
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 of int-amplified endomorphisms. Assume further that $X$ has at worst Kawamata log terminal singularities. We prove that the total number of $f^{-1}$-stable prime divisors has an optimal upper bound $\dim X+ρ(X)$, where $ρ(X)$ is the Picard number. Also, we give a sufficient condition for $X$ to be rationally connected and simply connected. Finally, by running…
It is expected that a totally invariant divisor of a non-isomorphic endomorphism of the complex projective space is a union of hyperplanes. In this paper, we compute an upper bound for the degree of such a divisor. As a consequence, we prove the linearity of totally invariant divisors with isolated singularities.
After a general discussion of group actions, orbifolds, and "weak orbifolds" this note will provide elementary introductions to two basic moduli spaces over the real or complex numbers: First the moduli space of effective divisors with finite stabilizer on the projective space ${\mathbb P}^1$ modulo the group ${\rm PGL}_2$ of projective transformations of ${\mathbb P}^1$; and then the moduli space of effective 1-cycles with finite stabilizer on ${\mathbb P}^2$ modulo the group ${\rm PGL}_3$ of projective transformations of ${\mathbb P}^2$.
We study $l$-very ample, ample and semi-ample divisors on the blown-up projective space $\mathbb{P}^n$ in a collection of points in general position. We establish Fujita's conjectures for all ample divisors with the number of points bounded above by $2n$ and for an infinite family of ample divisors with an arbitrary number of points.
Given a projective variety X defined over a finite field, the zeta function of divisors attempts to count all irreducible, codimension one subvarieties of X, each measured by their projective degree. When the dimension of X is greater than one, this is a purely p-adic function, convergent on the open unit disk. Four conjectures are expected to hold, the first of which is p-adic meromorphic continuation to all of C_p. When the divisor class group (divisors modulo linear equivalence) of X has rank one, then all four conjectures are known to be true. In this paper, we discuss the higher rank case…
In this article we generalize the injectivity of the push-forward homomorphism at the level of Chow groups, induced by the closed embedding of $\Sym^m C$ into $\Sym^n C$ for $m\leq n$, where $C$ is a smooth projective curve, to symmetric powers of a smooth projective variety of higher dimension. We also prove the analog of this theorem for product of symmetric powers of smooth projective varieties. As an application we prove the injectivity of the push-forward homomorphism at the level of Chow groups, induced by the closed embedding of self product of theta divisor into the self product of the…
We describe the effective and the big cones of a projective symmetric variety. Moreover, we give a necessary and sufficient combinatorial criterion for the bigness of a nef divisor on a projective symmetric variety. When the variety is toroidal and the divisor is $G$-stable, such criterion has an explicit geometric interpretation. Finally, we describe the spherical closure of a symmetric subgroup.
In these notes we investigate the cone of nef curves of projective varieties, which is the dual cone to the cone of pseudo-effective divisors. We prove a structure theorem for the cone of nef curves of projective $\mathbb Q$-factorial klt pairs of arbitrary dimension from the point of view of the Minimal Model Program. This is a generalization of Batyrev's structure theorem for the cone of nef curves of projective terminal threefolds.
A $\mathbf{Q}$-Cartier divisor $D$ on a projective variety $M$ is {\it almost nup}, if $(D , C) > 0$ for every very general curve $C$ on $M$. An algebraic variety $X$ is of {\it almost general type}, if there exists a projective variety $M$ with only terminal singularities such that the canonical divisor $K_M$ is almost nup and such that $M$ is birationally equivalent to $X$. We prove that a complex algebraic variety is of almost general type if and only if it is neither uniruled nor covered by any family of varieties being birationally equivalent to minimal varieties with numerically trivial …
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 paper establishes this fact for normal complex projective threefolds with canonical singularities. This result extends several previously known special cases. The proof rests mainly on sophisticated techniques of three dimensional birational geometry developed in the last two decades.
In this paper, we construct compactifications of $SL_2(\mathbb{C})$-character varieties of $n$-punctured projective line and study the boundary divisor of the compactifications. This study is motivated by the conjecture for the configuration of the boundary divisor, due to C. Simpson. We verify the conjecture for a few examples.
We make a very detailed analysis of the numerical properties of effective divisors whose support is contained in the exceptional locus of a birational morphism of smooth projective surfaces. As an application we extend Miyaoka's inequality on the number of canonical singularities on a projective normal surface with non-negative Kodaira dimension to the non minimal case, obtaining a slightly better result than known extensions by Megyesi and Langer.
For smooth projective 3-folds of general type, we prove that the relative canonical stability $μ_s(3)\leq 8$. This is induced from our improved result of Kollár: the m-canonical map of a smooth projective 3-fold of general type is birational whenever $m\geq 5k+6$, provided $P_k(X)\geq 2$. The Q-divisor method is intensively developed to prove our results.
Suppose X is a projective variety, which needs not be smooth, and L an ample divisor on X. We show that there are integers c and b such that for any nonnegative integer p, L^d is normally generated and embeds X as a variety who defining ideal has linear syzygies upto the p-th step (i.e. L^d has property N_p) for all d >= cp + b.
Lasell and Ramachandran show that the existence of rational curves of positive self-intersection on a smooth projective surface $X$ implies that all the finite dimensional linear representations of the fundamental group $π_1(X)$ are finite. In this article, we generalize Lasell and Ramachandran's result to the case of $π_1$-small divisors on quasiprojective varieties. We also study $π_1$-small curves and hyperbolicity properties of smooth projective surfaces of general type with infinite fundamental groups.
Let $Y$ be a smooth cubic fourfold, $F$ be its Fano variety of lines and $Z$ be its associated LLSvS variety, parametrizing families of twisted cubics and some of their degenerations. In this short note, we show that the divisor of singular cubic surfaces on $Z$ has two irreducible components, one of which coincides with the uniruled branch divisor of a resolution of the Voisin map $F\times F \dashrightarrow Z$.
In this article we define and study convex bodies associated to linear series of adelic divisors over quasi-projective varieties that have been introduced recently by Xinyi Yuan and Shou-Wu Zhang. Restricting our attention to big adelic divisors, we deduce properties of volumes obtained by Yuan and Zhang using different convex geometric arguments. We go on to define augmented base loci and restricted volumes of adelic divisors following the works of Michael Nakamaye and develop a similar study using convex bodies to obtain analogous properties for restricted volumes. We closely follow methods …
Automorphism groups and Homogeneous fibrations on projective varieties with nef anticanonical divisors
Department of Mathematics, Southern University of Science and Technology（南方科技大学数学系）；Department of Mathematical Sciences, Xi’an Jiaotong-Liverpool University（西交利物浦大学数学科学系）
Let $X$ be a smooth projective rationally connected threefold with nef anticanonical divisor. We give a classification for the case when $-K_X$ is not semi-ample.
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 $κ(X)\neq 0$ or the augmented irregularity $q^{\circ}(X)\neq 0$. Second, we show that, if $(X,Δ)$ is a projective klt threefold pair with the anti-log canonical divisor $-(K_X+Δ)$ being strictly nef, then $X$ is rationally connected.
In this paper, we classify projective toric birational morphisms from Gorenstein toric 3-folds onto the 3-dimensional affine space with relatively ample anti-canonical divisors.
In this paper we determine which blow-ups $X$ of $\mathbb{P}^n$ at general points are log Fano, that is, when there exists an effective $\mathbb{Q}$-divisor $Δ$ such that $-(K_X+Δ)$ is ample and the pair $(X,Δ)$ is klt. For these blow-ups, we produce explicit boundary divisors $Δ$ making $X$ log Fano.
We construct log resolutions of pairs on the blow-up of the projective space in an arbitrary number of general points and we discuss the semi-ampleness of the strict transforms. As an application we prove that the abundance conjecture holds for an infinite family of such pairs. For $n+2$ points, these strict transforms are F-nef divisors on the moduli space $\overline{\mathcal{M}}_{0,n+3}$ in a Kapranov's model: we show that all of them are nef.
The philosophy that ``a projective manifold is more special than any of its smooth hyperplane sections" was one of the classical principles of projective geometry. Lefschetz type results and related vanishing theorems were among the typically used techniques. We shall survey most of the problems, results and conjectures in this area, using the modern setting of ample divisors, and (some aspects of) Mori theory.
Let $K$ be a discretely valued field with ring of integers $\mathcal{O}_K$ with perfect residue field. Let $K(x)$ be the rational function field in one variable. Let $\mathbb{P}^1_{\mathcal{O}_K}$ be the standard smooth model of $\mathbb{P}^1_K$ with coordinate $x$ on irreducible special fiber. Let $f(x) \in \mathcal{O}_K[x]$ be a monic irreducible polynomial with corresponding divisor of zeroes $\text{div}_0(f)$ on $\mathbb{P}^1_{\mathcal{O}_K}$. We give an explicit description of the minimal embedded resolution $\mathcal{Y}$ of the pair $(\mathbb{P}^1_{\mathcal{O}_K}, \text{div}_0(f))$ by us…
We prove that for a normal projective variety $X$ in characteristic 0, and a base-point free ample line bundle $L$ on it, the restriction map of divisor class groups $\Cl(X)\to \Cl(Y)$ is an isomorphism for a general member $Y\in |L|$ provided that $\dim{X}\geq 4$. This is a generalization of the Grothendieck-Lefschetz Theorem, for divisor class groups of singular varieties.
We show that a cubic fourfold F that is apolar to a Veronese surface has the property that its variety of power sums VSP(F,10) is singular along a K3 surface of genus 20. We prove that these cubics form a divisor in the moduli space of cubic fourfolds and that this divisor is not a Noether-Lefschetz divisor. We use this result to prove that there is no nontrivial Hodge correspondence between a very general cubic and its VSP.
On a projective surface it is well-known that the set of curves orthogonal to a nef line bundle is either finite or uncountable. We show that this dichotomy fails in higher dimension by constructing a nef line bundle on a threefold which is trivial on countably infinitely many curves. This answers a question of Totaro. As a pleasant corollary, we exhibit a quasi-projective variety with only a countably infinite set of complete, positive-dimensional subvarieties.
We prove an analogue of the Lefschetz (1,1) Theorem characterizing cohomology classes of Cartier divisors (or equivalently first Chern classes of line bundles) in the second integral cohomology. Let $X$ be a normal complex projective variety. We show that the classes of Cartier divisors in $H^2(X,Z)$ are precisely the classes $x$ such that (i) the image of $x$ in $H^2(X,C)$ (cohomology with complex coefficients) lies in $F^1 H^2(X,C)$ (first level of the Hodge filtration for Deligne's mixed Hodge structure), and (ii) $x$ is Zariski-locally trivial, i.e., there is a covering of $X$ by Zariski o…
We give algorithms for computing with divisors on projective curves over finite fields, and with their Jacobians, using the algorithmic representation of projective curves developed by Khuri-Makdisi. We show that many desirable operations can be done efficiently in this setting: decomposing divisors into prime divisors; computing pull-backs and push-forwards of divisors under finite morphisms, and hence Picard and Albanese maps on Jacobians; generating uniformly random divisors and points on Jacobians; computing Frobenius maps and Kummer maps; and finding a basis for the $l$-torsion of the Pic…
This paper is an enhancement of the previous note "Explicit computations of Zariski decompositions on P_Z^1". In this paper, we observe several properties of a certain kind of an arithmetic divisor D on the n-dimensional projective space over Z and give the exact form of the Zariski decomposition of D on the projective line over Z. Further, we show that, if n>=2 and D is big and non-nef, then, for any birational morphism f: X --> P^n_Z of projective, generically smooth and normal arithmetic varieties, we can not expect a suitable Zariski decomposition of f^*(D). We also give a concrete constru…
A set of multi-homogeneous equations for the Jacobian of a genus two curve is given. The approach used is to write down affine equations for the Jacobian minus various tranlations of the Theta-divisor by [2]-division points, and then to write down affine glue equations for the overlaps. Taking multi-projective completions for all of these then yields a complete multi-projective two-dimensional variety whose points are in one-to-one correspondence with degree zero divisor classes on the curve (i.e. the Picard group). This multi-projective variety then becomes a complete projective two-dimension…
We prove the finiteness of log pluricanonical representations for projective log canonical pairs with semi-ample log canonical divisor. As a corollary, we obtain that the log canonical divisor of a projective semi log canonical pair is semi-ample if and only if so is the log canonical divisor of its normalization. We also treat many other applications.
In this paper we define certain analogues of the volume of a divisor - called asymptotic cohomological functions - and investigate their behaviour on the Neron--Severi space. We establish that asymptotic cohomological functions are invariant with respect to the numerical equivalence of divisors, and that they give rise to continuous functions on the real Neron--Severi space. To illustrate the theory, we work out these invariants for abelian varieties, smooth surfaces, and certain homogeneous spaces.
We study projective completions of affine algebraic varieties induced by filtrations on their coordinate rings. In particular, we study the effect of the 'multiplicative' property of filtrations on the corresponding completions and introduce a class of projective completions (of arbitrary affine varieties) which generalizes the construction of toric varieties from convex rational polytopes. As an application we recover (and generalize to varieties over algebraically closed fields of arbitrary characteristics) a 'finiteness' property of divisorial valuations over complex affine varieties proved…
Let $X$ be a smooth projective variety. We study a relationship between the derived category of $X$ and that of a canonical divisor. As an application, we will study Fourier-Mukai transforms when $κ(X)=dim X-1$.
If the log canonical divisor on a projective variety with only Kawamata log terminal singularities is numerically equivalent to some semi-ample $\mathbf{Q}$-divisor, then it is semi-ample.
We show that the prime divisors in every class on a projective curve over a finite field contain arbitrary large truncated generalized classes of finite effective divisors.
Let X be a projective variety which is algebraic Lang hyperbolic. We show that Lang's conjecture holds (one direction only): X and all its subvarieties are of general type and the canonical divisor K_X is ample at smooth points and Kawamata log terminal points of X, provided that K_X is Q-Cartier, no Calabi-Yau variety is algebraic Lang hyperbolic and a weak abundance conjecture holds.
In this note we consider multiples aD, where D is a divisor of the blow-up of P^n along points in general position which appears in the Alexander and Hirschowitz list of Veronese embeddings having defective secant varieties. In particular we show that there is such a D with h^1(X,D) > 0 and h^1(X,2D) = 0.
