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 effective log canonical divisors.
In this paper we show that semistable vector bundles on a Castelnuovo curve of genus g >= 2 have theta divisors. As a corollary, we deduce that semistable vector bundles on a smooth, general curve of genus g >= 2 which extend to semistable vector bundles on any Castelnuovo degeneration of the general curve admit a theta divisor.
Some divisor class relations are proved and used to compute the Cartier divisor class of the virtual canonical bundle for genus 0 maps to a smooth target.
A generic strictly semistable bundle of degree zero over a curve X has a reducible theta divisor, given by the sum of the theta divisors of the stable summands of the associated graded bundle. The converse is not true: Beauville and Raynaud have each constructed stable bundles with reducible theta divisors. For X of genus at least 5, we construct stable vector bundles over X of rank $r$ for all $r \geq 5$, with reducible and nonreduced theta divisors. We also adapt the construction to symplectic bundles. In the appendix, Raynaud's original example of a stable rank 2 vector bundle with reducibl…
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 show that the locus of stable rank four vector bundles without theta divisor over a smooth projective curve of genus two is in canonical bijection with the set of theta-characteristics. We give several descriptions of these bundles and compute the degree of the rational theta map.
Under some conditions on the deformation type, which we expect to be satisfied for arbitrary irreducible symplectic varieties, we describe which big and nef line bundles on irreducible symplectic varieties have base divisors. In particular, we show that such base divisors are always irreducible and reduced. This is applied to understand the behaviour of divisorial base components of big and nef line bundles under deformations and for K3$^{[n]}$-type and Kum$^n$-type.
Let C be a curve of genus g and L a line bundle of degree 2g on C . Let M be the kernel of the evaluation map from the trivial bundle with fibre H^0(C,L) into L . We show that when L is general enough, the rank g bundle M and its exterior powers are stable and admit a reducible theta divisor.
We give the first examples of flat fiber type contractions of Fano manifolds onto varieties that are not weak Fano, and we prove that these morphisms are Fano conic bundles. We also review some known results about the interaction between the positivity properties of anticanonical divisors of varieties of contractions.
Raynaud has shown that over a general curve of genus $g \ge 2$, every semistable bundle of rank three and integral slope admits a theta divisor. We show that this can fail for special curves: Over any bielliptic curve of genus $g \ge 5$, we construct a stable rank three bundle of trivial determinant with no theta divisor. This gives a partial answer to a question of Beauville.
Let $X$ be a smooth projective complex curve of genus $g \geq 2$ and let $\M_X(2,Λ)$ be the moduli space of semi-stable rank-$2$ vector bundles over $X$ with fixed determinant $Λ$. We show that the wobbly locus, i.e., the locus of semi-stable vector bundles admitting a non-zero nilpotent Higgs field is a union of divisors $\Ww_k \subset \M_X(2,Λ)$. We show that on one wobbly divisor the set of maximal subbundles is degenerate. We also compute the class of the divisors $\Ww_k$ in the Picard group of $\M_X(2,Λ)$.
We approach non-divisorial base loci of big and nef line bundles on irreducible symplectic varieties. While for K3 surfaces, only divisorial base loci can occur, nothing was known about the behaviour of non-divisorial base loci for more general irreducible symplectic varieties. We determine the base loci of all big and nef line bundles on the Hilbert scheme of two points on very general K3 surfaces of genus two and on their birational models. Remarkably, we find an ample line bundle with a non-trivial base locus in codimension two. We deduce that, generically in the moduli spaces of polarized …
We study base points of the generalized Theta-divisor on the moduli space of vector bundles on a smooth algebraic curve X of genus g defined over an algebraically closed field. To do so, we use the derived categories D(Pic(X)), D(Jac(X)), and the equivalence between them given by the Fourier-Mukai transform coming from the Poincaré bundle. The vector bundles P(m) on the curve X defined by Raynaud play a central role in this description. Indeed, we show that a vector bundle E is a base point of the generalized Theta-divisor, if and only if there exists a nontrivial homomorphism P(rk(E)g+1) --> …
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.
In this article we deduce criteria for the splitting and the triviality of vector bundles, by restricting them to partially ample divisors. This allows to study the problem of splitting on the total space of fibre bundles. The statements are illustrated with a number of examples. For products of minuscule homogeneous varieties, our results allow to test the splitting of vector bundles by restricting them to products of Schubert 2-planes. The triviality criteria obtained inhere are particularly suited to Frobenius split varieties, whose splitting is defined by a section in the anti-canonical li…
We complete the proof of the fact that the moduli space of rank two bundles with trivial determinant embeds into the linear system of divisors on $Pic^{g-1}C$ which are linearly equivalent to $2Θ$. The embedded tangent space at a semi-stable non-stable bundle $ξ\oplusξ^{-1}$, where $ξ$ is a degree zero line bundle, is shown to consist of those divisors in $|2Θ|$ which contain $Sing(Θ_ξ)$ where $Θ_ξ$ is the translate of $Θ$ by $ξ$. We also obtain geometrical results on the structure of this tangent space.
We generalize to $n$-torsion a result of Kempf's describing $2$-torsion points lying on a theta divisor. This is accomplished by means of certain semihomogeneous vector bundles introduced and studied by Mukai and Oprea. As an application, we prove a sharp upper bound for the number of $n$-torsion points on a theta divisor, and show that this is achieved only in the case of products of elliptic curves, settling in the affirmative a conjecture of Auffarth, Pirola and Salvati Manni.
In this paper, we use canonical bundle formulas to prove some generalizations of an old theorem of Kawamata on the semiampleness of nef and abundant log canonical divisors. In particular, we show that for klt pairs $(X,B)$ with $K_X+B$ effective, $L \in Pic (X)$ nef, nefness and abundance of $K_X+B+L$ implies semiampleness. This essentially generalizes Kawamata's theorem to the setting of generalized abundance.
The moduli space M_2 of rank four semistable symplectic vector bundles over a curve X of genus two is an irreducible projective variety of dimension ten. Its Picard group is generated by the determinantal line bundle Ξ. The base locus of the linear system |Ξ| consists of precisely those bundles without theta divisors, that is, admitting nonzero maps from every line bundle of degree -1 = 1-g over X. We show that this base locus consists of six distinct points, which are in canonical bijection with the Weierstrass points of the curve. We relate our construction of these bundles to another of Ray…
This paper shows that on the moduli space of semi-stable vector bundles of fixed rank and determinant (of any degree) on a smooth curve of genus at least two, the base locus of the generalized theta divisor is large provided the rank is sufficiently large. It also shows that the base locus is large for positive multiples of the theta divisor. This work extends results already known for the case where the determinant is of degree zero.
The Hilbert scheme of n points in the projective plane parameterizes degree n zero-dimensional subschemes of the projective plane. We examine the dual cones of effective divisors and moving curves on the Hilbert scheme. By studying interpolation, restriction, and stability properties of certain vector bundles on the plane we fully determine these cones for just over three fourths of all values of n. A general Steiner bundle on P^N is a vector bundle admitting a linear resolution of a particular form. We complete the classification of slopes of semistable Steiner bundles on P^N by showing every…
Let E and F be vector bundles over a complex projective smooth curve X, and suppose that 0 -> E -> W -> F -> 0 is a nontrivial extension. Let G be a subbundle of F, and D an effective divisor on X. We give a criterion for the subsheaf G(-D) \subset F to lift to W, in terms of the geometry of a scroll in the extension space \PP H^1 (X, Hom(F, E)). We use this criterion to describe the tangent cone to the generalised theta divisor on the moduli space of semistable bundles of rank r and slope g-1 over X, at a stable point. This gives a generalisation of a case of the Riemann-Kempf singularity the…
We consider the following question: for which invariants $g$ and $e$ is there a geometrically ruled surface $S \rightarrow C$ over a curve $C$ of genus $g$ with invariant $e$ such that $S$ is the support of an Ulrich line bundle with respect to a very ample line bundle? A surprising relation between the existence of certain proper Theta divisors on some moduli spaces of vector bundles on $C$ with the existence of Ulrich line bundles on $S$ will be the key to completely solve the above question. The relation is realized by translating the vanishing conditions characterizing Ulrich line bundles …
We compute all the top intersection numbers of divisors on the total space of the Poincare bundle restricted to the product of a curve and the abelian variety. We use these computations to find the class of the universal theta divisor and $m$-theta divisor inside the universal corank 1 semiabelian variety -- the boundary of the partial toroidal compactification of the moduli space of abelian varieties. We give two computational examples: we compute the boundary coefficient of the Andreotti-Mayer divisor (computed by Mumford but in a much harder and ad hoc way), and the analog of this for the u…
Given a Weil non-integral divisor $D$, it is natural to associate it the line bundle of its integral part $\mathcal{O}_X([D])$. In this work we study which of the classical characterizations of ample and big divisors can be extended to non-integral divisors via the corresponding line bundles.
We show that a nef and big line bundle whose adjoint bundle has non-zero global sections on a nonsingular toric weak Fano 3-fold is normally generated. As a consequence, we see that all ample line bundles on a nonsingular toric weak Fano 3-fold are normally generated. We also show that an ample line bundle whose adjoint bundle has non-zero global sections on a Gorensein toric Fano 3-fold is normally generated. In our proof we do not use full classifications of Fano polytopes.
Given a vector bundle $E$ of rank $r$ and degree $d$ on a curve $C$ of genus $g$, one can associate to $E$ in a natural way several other vector bundles. For example, one can take wedge powers of $E$. If $E$ is generated by global sections, the kernel of the evaluation map of sections is again a vector bundle. Also, new vector bundles can be produced by taking elementary transformations centered at a fixed point. Under suitable conditions on degree and rank, these constructions can be carried out globally. While all this processes seem quite elementary, very little is known about the resulting…
Let $C$ be a smooth complex irreducible projective curve of genus $g$ with general moduli, and let $(L,H^0(L))$ be a generated complete linear series of type $(d,r+1)$ over $C$. The syzygy bundle, denoted by $M_L$, is the kernel of the evaluation map $H^0(L)\otimes\mathcal O_C\to L$. In this work we have a double purpose. The first one is to give new examples of stable syzygy bundles admitting theta divisor over general curves. We prove that if $M_L$ is strictly semistable then $M_L$ admits reducible theta divisor. The second purpose is to study the cohomological semistability of $M_L$, and in…
Let $P$ be a parabolic subgroup in $G=SL_n(\mathbf k)$, for $\mathbf k$ an algebraically closed field. We show that there is a $G$-stable closed subvariety of an affine Schubert variety in an affine partial flag variety which is a natural compactification of the cotangent bundle $T^*G/P$. Restricting this identification to the conormal variety $N^*X(w)$ of a Schubert divisor $X(w)$ in $G/P$, we show that there is a compactification of $N^*X(w)$ as an affine Schubert variety. It follows that $N^*X(w)$ is normal, Cohen-Macaulay, and Frobenius split.
We compute the cone of effective divisors on the Hilbert scheme of points in the projective plane. We show the sections of many stable vector bundles satisfy a natural interpolation condition, and that these bundles always give rise to the edge of the effective cone of the Hilbert scheme. To do this, we give a generalization of Gaeta's theorem on the resolution of the ideal sheaf of a general collection of points in the plane. This resolution has a natural interpretation in terms of Bridgeland stability, and we observe that ideal sheaves of collections of points are destabilized by exceptional…
We compute the class of the closure of the locus of canonical divisors in the projectivization of the Hodge bundle $\mathbb{P}\overline{\mathcal{H}}_g$ over $\overline{\mathcal{M}}_g$ which have a zero at a Weierstrass point. We also show that the strata of canonical and bicanonical divisors with a double zero span extremal rays of the respective pseudoeffective cones.
For a smooth projective variety $P$, we construct a Cartier divisor supported on the incidence locus in $\mathscr{C}_a (P) \times \mathscr{C}_{\dim(P)-a-1}(P)$. There is a natural definition of the corresponding line bundle on a product of Hilbert schemes, and we show this bundle descends to the Chow varieties. This answers a question posed by Mazur.
We determine the cycle classes of effective divisors in the compactified Hurwitz spaces of curves of genus g with a linear system of degree d that extend the Maroni divisors on the open Hurwitz space. Our approach uses Chern classes associated to a global-to-local evaluation map of a vector bundle over a generic $P^1$-bundle over the Hurwitz space.
Given a complex projective manifold $X$ and a divisor $D$ with normal crossings, we say that the logarithmic tangent bundle $T_X(-\log D)$ is R-flat if its pull-back to the normalization of any rational curve contained in $X$ is the trivial vector bundle. If moreover $-(K_X+D)$ is nef, then the log canonical divisor $K_X+D$ is torsion and the maximally rationally chain connected fibration turns out to be a smooth locally trivial fibration with typical fiber $F$ being a toric variety with boundary divisor $D_{|F}$.
In this paper we give a birational model for the theta divisor of the intermediate Jacobian of a generic cubic threefold $X$. We use the standard realization of $X$ as a conic bundle and a $4-$dimensional family of plane quartics which are totally tangent to the discriminant quintic curve of such a conic bundle structure. The additional data of an even theta characteristic on the curves in the family gives us a model for the theta divisor.
We show that any complex manifold that has a divisor whose normalization has non-zero first Betti number either has a non-trivial holomorphic gerbe which does not trivialize meromorphicly or a meromorphic line bundle not equivalent to any holomorphic line bundle. Similarly, higher Betti numbers of divisors correspond to higher gerbes or meromorphic gerbes. We give several new examples.
We discuss Bernstein polynomials of reductive linear free divisors. We define suitable Brieskorn lattices for these non-isolated singularities, and show the analogue of Malgrange's result relating the roots of the Bernstein polynomial to the residue eigenvalues on the saturation of these Brieskorn lattices.
Matrix divisors are introduced in the work by A.Weil (1938) which is considered as a starting point of the theory of holomorphic vector bundles on Riemann surfaces. In this theory matrix divisors play the role similar to the role of usual divisors in the theory of line bundles. Moreover, they provide explicit coordinates (Tyurin parameters) in an open subset of the moduli space of stable vector bundles. These coordinates turned out to be helpful in integration of soliton equations. We would like to gain attention to one more relationship between matrix divisors of vector G-bundles (where G is …
In this paper we investigate generalized theta divisors $Θ_r$ in the moduli spaces $\mathcal{U}_C(r,r)$ of semistable vector bundles on a curve $C$ of genus $2$. We provide a desingularization $Φ$ of $Θ_r$ in terms of a projective bundle $π:\mathbb{P}(\mathcal{V})\to\mathcal{U}_C(r-1,r)$ which parametrizes extensions of stable vector bundles on the base by $\mathcal{O}_C$. Then, we study the composition of $Φ$ with the well known theta map $θ$. We prove that, when it is restricted to the general fiber of $π$, we obtain a linear embedding.
Let C be a curve of genus g, and let SU(r) be the moduli space of vector bundles of rank r on C, with trivial determinant. A general E in SU(r) defines a theta divisor in the linear system |r Theta|, where Theta is the canonical theta divisor in Pic^{g-1}(C). This defines a rational map SU(r) - - > |r Theta|, which is the map associated to the determinant bundle on SU(r) (the positive generator of Pic(SU(r)). In this paper we prove that in genus 2 this map is generically finite and dominant. The same method, together with some classical work of Morin, shows that in rank 3 and genus 3 the theta…
In this paper, we prove a generalization of Reznikov's theorem which says that the Chern-Simons classes and in particular the Deligne Chern classes (in degrees $>1$) are torsion, of a flat bundle on a smooth complex projective variety. We consider the case of a smooth quasi--projective variety with an irreducible smooth divisor at infinity. We define the Chern-Simons classes of Deligne's canonical extension of a flat vector bundle with unipotent monodromy at infinity, which lift the Deligne Chern classes and prove that these classes are torsion.
We prove a subadjunction theorem which relates the multi-adjoint linear system of the ambient space and the linear system of the restricted bundle on a subvariety.
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 provide several results on splice-quotient singularities: a combinatorial expression of the dimension of the first cohomology of all `natural' line bundles, an equivariant Campillo-Delgado-Gusein-Zade type formula about the dimension of relative sections of line bundles (proving that the equivariant, divisorial multi-variable Hilbert series is topological), a combinatorial description of divisors of analytic function-germs, and an expression for the multiplicity of the singularity from its resolution graph. Additional, we establish a new formula for the Seiberg-Witten invariants of any rati…
In Butler, J.Differential Geom. 39 (1):1--34,1994, the author gives a sufficient condition for a line bundle associated with a divisor D to be normally generated on $X=P(E)$ where E is a vector bundle over a smooth curve C. A line bundle which is ample and normally generated is automatically very ample. Therefore the condition found in Butler's work, together with Miyaoka's well known ampleness criterion, give a sufficient condition for the very ampleness of D on X. This work is devoted to the study of numerical criteria for very ampleness of divisors D which do not satisfy the above criterion…
We introduce logarithmic Picard algebroids, a natural class of Lie algebroids adapted to a simple normal crossings divisor on a smooth projective variety. We show that such algebroids are classified by a subspace of the de Rham cohomology of the divisor complement determined by its mixed Hodge structure. We then solve the prequantization problem, showing that under the appropriate integrality condition, a log Picard algebroid is the Lie algebroid of symmetries of what is called a meromorphic line bundle, a generalization of the usual notion of line bundle in which the fibres degenerate along t…
For a curve $C$ of genus $6$ or $8$ and a torsion bundle $η$ of order $\ell$ we study the vanishing of the space of global sections of the twist $E_C \otimes η$ of the rank two Mukai bundle $E_C$ of $C$. The bundle $E_C$ was used in a well-known construction of Mukai which exhibits general canonical curves of low genus as sections of Grassmannians in the Plücker embedding. Globalizing the vanishing condition, we obtain divisors on the moduli spaces $\overline{\mathcal{R}}_{6,\ell}$ and $\overline{\mathcal{R}}_{8,\ell}$ of pairs $[C, η]$. First we characterize these divisors by different condit…
We present a new class of examples of base points for the generalized theta divisor on the moduli space of semistable vector bundles of trivial determinant on a compact Riemann surface and we prove that for sufficiently large rank the base locus is positive dimensional.
We introduce and study the GIT CONE of $\bar{M}_{0,n}$, which is generated by the pullbacks of the natural ample line bundles on the GIT quotients $(\mathbb P^1)^n//SL(2)$. We give an explicit formula for these line bundles and prove a number of basic results about the GIT cone. As one application, we prove unconditionally that the log canonical models of $\bar{M}_{0,n}$ with a symmetric boundary divisor coincide with the moduli spaces of weighted curves or with the symmetric GIT quotient, extending the result of Matt Simpson arXiv:0709.4037. (Cf. also a different proof by Fedorchuk and Smyth …
For a semistable reflexive sheaf $E$ of rank $r$ and $c_1=a$ on $¶^n$ and an integer $d$ such that $r|ad$, we give sufficient conditions so that the restriction of $E$ on a generic rational curve of degree $d$ is balanced, i.e. a twist of the trivial bundle (for instance, if $E$ has balanced restriction on a generic line, or $r=2$ or $E$ is an exterior power of the tangent bundle). Assuming this, we give a formula for the 'virtual degree', interpreted enumeratively, of the locus of rational curves of degree $d$ on which the restriction of $E$ is not balanced, generalizing a classical formula d…
We produce a lower bound for the dimension of the base locus of the generalized theta divisor on the moduli space SU_C(r) of semistable vector bundles of rank r and trivial determinant on a smooth curve C of genus g > 1.