Deformations of the generalised Picard bundle

Let X be a nonsingular algebraic curve of genus g?3, and let M_ξ denote the moduli space of stable vector bundles of rank n?2 and degree d with fixed determinant ξ over X such that n and d are coprime. We assume that if g=3 then n?4 and if g=4 then n?3, and suppose further that n₀, d₀ are integers such that n₀?1 and nd₀+n₀d>nn₀(2g-2). Let E be a semistable vector bundle over X of rank n₀ and degree d₀. The generalised Picard bundle W_ξ(E) is by definition the vector bundle over M_ξ defined by the direct image where U_ξ is a universal vector bundle over X×M_ξ. We obtain an inversion formula allowing us to recover E from W_ξ(E) and show that the space of infinitesimal deformations of W_ξ(E) is isomorphic to H¹(X,End(E)). This construction gives a locally complete family of vector bundles over M_ξ parametrised by the moduli space M(n₀,d₀) of stable bundles of rank n₀ and degree d₀ over X. If (n₀,d₀)=1 and W_ξ(E) is stable for all E∈M(n₀,d₀), the construction determines an isomorphism from M(n₀,d₀) to a connected component M⁰ of a moduli space of stable sheaves over M_ξ. This applies in particular when n₀=1, in which case M⁰ is isomorphic to the Jacobian J of X as a polarised variety. The paper as a whole is a generalisation of results of Kempf and Mukai on Picard bundles over J, and is also related to a paper of Tyurin on the geometry of moduli of vector bundles.     

On globally generated vector bundles on projective spaces

A classification is given for globally generated vector bundles E of rank k on Pⁿ having first Chern class c₁(E)=2. In particular, we get that they split if k<n unless E is a twisted null-correlation bundle on P³. In view of the well-known correspondence between globally generated vector bundles and maps to Grassmannians, we obtain, as a corollary, a classification of double Veronese embeddings of Pⁿ into a Grassmannian G(k−1,N) of (k−1)-planes in P^N.     

Some moduli stacks of symplectic bundles on a curve are rational

Let C be a smooth projective curve of genus g?2 over a field k. Given a line bundle L on C, let Sympl2n,L be the moduli stack of vector bundles E of rank 2n on C endowed with a nowhere degenerate symplectic form up to scalars. We prove that this stack is birational to BGm×As for some s if deg(E)=n⋅deg(L) is odd and C admits a rational point P∈C(k) as well as a line bundle ξ of degree 0 with ξ⊗2?OC. It follows that the corresponding coarse moduli scheme of Ramanathan-stable symplectic bundles is rational in this case.     

The determinant bundle on the moduli space of stable triples over a curve

We construct a holomorphic Hermitian line bundle over the moduli space of stable triples of the form (E₁, E₂,?), where E₁ and E₂ are holomorphic vector bundles over a fixed compact Riemann surfaceX, and?: E₂ → E₁ is a holomorphic vector bundle homomorphism. The curvature of the Chern connection of this holomorphic Hermitian line bundle is computed. The curvature is shown to coincide with a constant scalar multiple of the natural Kähler form on the moduli space. The construction is based on a result of Quillen on the determinant line bundle over the space of Dolbeault operators on a fixed C^∞ Hermitian vector bundle over a compact Riemann surface.     

On the Picard bundle

Fix a holomorphic line bundle ξ over a compact connected Riemann surface X of genus g, with g?2, and also fix an integer r such that degree(ξ)>r(2g−1). Let Mξ(r) denote the moduli space of stable vector bundles over X of rank r and determinant ξ. The Fourier-Mukai transform, with respect to a Poincaré line bundle on X×J(X), of any F∈Mξ(r) is a stable vector bundle on J(X). This gives an injective map of Mξ(r) in a moduli space associated to J(X). If g=2, then Mξ(r) becomes a Lagrangian subscheme.     

Chen-Ruan cohomology of some moduli spaces of parabolic vector bundles

Let (X,D) be an ?-pointed compact Riemann surface of genus at least two. For each point x∈D, fix parabolic weights such that . Fix a holomorphic line bundle ξ over X of degree one. Let PMξ denote the moduli space of stable parabolic vector bundles, of rank two and determinant ξ, with parabolic structure over D and parabolic weights . The group of order two line bundles over X acts on PMξ by the rule E_∗⊗L?E_∗⊗L. We compute the Chen-Ruan cohomology ring of the corresponding orbifold.     

The Brauer group of desingularization of moduli spaces of vector bundles over a curve

Let C be an irreducible smooth projective curve, of genus at least two, defined over an algebraically closed field of characteristic zero. For a fixed line bundle L on C, let M _C (r; L) be the coarse moduli space of semistable vector bundles E over C of rank r with ∧ ^r E = L. We show that the Brauer group of any desingularization of M _C (r; L) is trivial.     

Syzygies of projective bundles

In this paper we study defining equations and syzygies among them of projective bundles. We prove that for a given p≥0, if a vector bundle on a smooth complex projective variety is sufficiently ample, then the embedding given by the tautological line bundle satisfies property N_p.     

Real parabolic vector bundles over a real curve

We define real parabolic structures on real vector bundles over a real curve. Let (X, σ _X ) be a real curve, and let S???X be a non-empty finite subset of X such that σ _X (S)?=?S. Let N?≥?2 be an integer. We construct an N-fold cyclic cover p : Y→ X in the category of real curves, ramified precisely over each point of S, and with the property that for any element g of the Galois group Γ, and any y?∈?Y, one has $\sigma_Y(gy) = g^{-1}\sigma_Y(y)$ . We established an equivalence between the category of real parabolic vector bundles on (X, σ _X ) with real parabolic structure over S, all of whose weights are integral multiples of 1/N, and the category of real Γ-equivariant vector bundles on (Y, σ _Y ).     

Vector bundles on a product of real cubic curves

In this paper we give a characterization of then-tuples (C ₁,...,C _n ) of nonsingular projective real cubic curves such that every topological complex vector bundle onC ₁×...×C _n admits an algebraic structure. The results are very explicit and can be expressed in an especially simple form for cubies defined over the rationals.The second author was supported by an NSF grant.     

Semistability vs. nefness for (Higgs) vector bundles

Generalizing a result of Miyaoka, we prove that the semistability of a vector bundle E on a smooth projective curve over a field of characteristic zero is equivalent to the nefness of any of certain divisorial classes θs, λs in the Grassmannians Grs(E) of locally-free quotients of E and in the projective bundles PQs, respectively (here 0<s<rkE and Qs is the universal quotient bundle on Grs(E)). The result is extended to Higgs bundles. In that case a necessary and sufficient condition for semistability is that all classes λs are nef. We also extend this result to higher-dimensional complex projective varieties by showing that the nefness of the classes λs is equivalent to the semistability of the bundle E together with the vanishing of the characteristic class .     

Rank-sets of indecomposable modules over one-dimensional rings

Let R be a one-dimensional, reduced Noetherian ring with finite normalization, and suppose there exists a positive integer N_R such that, for every indecomposable finitely generated torsion-free R-module M and every minimal prime ideal P of R, the dimension of M_P, as a vector space over the localization R_P (a field), is less than or equal to N_R. For a finitely generated torsion-free R-module M, we call the set of all such vector-space dimensions the rank-set of M. What subsets of the integers arise as rank-sets of indecomposable finitely generated torsion-free R-modules? In this article, we give more information on rank-sets of indecomposable modules, to supplement previous work concerning this question. In particular we provide examples having as rank-sets those intervals of consecutive integers that are not ruled out by an earlier article of Arnavut, Luckas and Wiegand. We also show that certain non-consecutive rank-sets never arise.     

Monodromy for principal bundles

Given a strongly semistable principal bundle E_G over a curve, in Biswas et al. (2006) [4], a group-scheme for it was constructed, which was named as the monodromy group-scheme. Here we extend the construction of the monodromy group-scheme to principal bundles over higher dimensional varieties.     

Direct-sum cancellation for modules over real quadratic orders

Let R be an order in a real quadratic number field. We say that R has mixed cancellation, respectively, torsion-free cancellation if

L⊕M≅L⊕N⇒M≅N     

The Gauss-Bonnet theorem for vector bundles

We give a short proof of the Gauss-Bonnet theorem for a real oriented Riemannian vector bundle E of even rank over a closed compact orientable manifold M. This theorem reduces to the classical Gauss-Bonnet-Chern theorem in the special case when M is a Riemannian manifold and E is the tangent bundle of M endowed with the Levi-Civita connection. The proof is based on an explicit geometric construction of the Thom class for 2-plane bundles. Dedicated to the memory of Philip Bell Research partially supported by NSF grant DMS-9703852.     

The Atiyah bundle and connections on a principal bundle

Let M be a C ^∞ manifold and G a Lie a group. Let E _G be a C ^∞ principal G-bundle over M. There is a fiber bundle C(E _G ) over M whose smooth sections correspond to the connections on E _G . The pull back of E _G to C(E _G ) has a tautological connection. We investigate the curvature of this tautological connection.     

Bounds for indecomposable torsion-free modules

Let M be a finitely generated torsion-free module over a one-dimensional reduced Noetherian ring R with finitely generated normalization. The rank of M is the tuple of vector-space dimensions of M_P over each field R_P (R localized at P), where P ranges over the minimal prime ideals of R. We assume that there exists a bound N_R on the ranks of all indecomposable finitely generated torsion-free R-modules. For such rings, what bounds and ranks occur? Partial answers to this question have been given by a plethora of authors over the past forty years. In this article we provide a final answer by giving a concise list of the ranks of indecomposable modules for R a local ring with no condition on the characteristic. We conclude that if the rank of an indecomposable module M is (r,r,…,r), then r∈{1,2,3,4,6}, even when R is not local.