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.     

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.     

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 Torelli theorem for the moduli spaces of connections on a Riemann surface

Let (X,x₀) be any one-pointed compact connected Riemann surface of genus g, with g≥3. Fix two mutually coprime integers r>1 and d. Let M_X denote the moduli space parametrizing all logarithmic -connections, singular over x₀, on vector bundles over X of degree d. We prove that the isomorphism class of the variety M_X determines the Riemann surface X uniquely up to an isomorphism, although the biholomorphism class of M_X is known to be independent of the complex structure of X. The isomorphism class of the variety M_X is independent of the point x₀∈X. A similar result is proved for the moduli space parametrizing logarithmic -connections, singular over x₀, on vector bundles over X of degree d. The assumption r>1 is necessary for the moduli space of logarithmic -connections to determine the isomorphism class of X uniquely.     

A note on the Picard bundle over a moduli space of vector bundles

Let ??(n , d ) be a coprime moduli space of stable vector bundles of rank n ≥ 2 and degree d over a complex irreducible smooth projective curve X of genus g ≥ 2 and ??_ξ ? ??(n , d ) a fixed determinant moduli space. Assuming that the degree d is sufficiently large, denote by ?? the vector bundle over X ×??(n , d ) defined by the kernel of the evaluation map H ⁰(X , E ) → E_x , where E ∈??(n , d ) and x ∈ X . We prove that ?? and its restriction ??_ξ to X × ??ξ are stable. The space of all infinitesimal deformations of ?? over X ×??(n , d ) is proved to be of dimension 3g and that of ??ξ over X × ??ξ of dimension 2g , assuming that g ≥ 3 and if g = 3 then n ≥ 4 and if g = 4 then n ≥ 3. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

The Frobenius map, rank 2 vector bundles and Kummer's quartic surface in characteristic 2 and 3

Let X be a smooth projective curve of genus g?2 defined over an algebraically closed field k of characteristic p>0. Let M_X(r) be the moduli space of semi-stable vector bundles with fixed trivial determinant. The relative Frobenius map induces by pull-back a rational map . We determine the equations of V in the following two cases (1) (g,r,p)=(2,2,2) and X nonordinary with Hasse-Witt invariant equal to 1 (see math.AG/0005044 for the case X ordinary), and (2) (g,r,p)=(2,2,3). We also show the existence of base points of V, i.e., semi-stable bundles E such that F∗E is not semi-stable, for any triple (g,r,p).     

Remarks on Ramanujam-Kawamata-Viehweg Vanishing Theorem

In this article we prove a general result on a nef vector bundle E on a projective manifold X of dimension n depending on the vector space H^n,n(X,E): It is also shown that H^n,n(X,E) = 0 for an indecomposable nef rank 2 vector bundles E on some specific type of n dimensional projective manifold X. The same vanishing shown to hold for indecomposable nef and big rank 2 vector bundles on any variety with trivial canonical bundle.     

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 .     

Opers and theta functions

We construct natural maps (the Klein and Wirtinger maps) from moduli spaces of semistable vector bundles over an algebraic curve X to affine spaces, as quotients of the nonabelian theta linear series. We prove a finiteness result for these maps over generalized Kummer varieties (moduli space of torus bundles), leading us to conjecture that the maps are finite in general. The conjecture provides canonical explicit coordinates on the moduli space. The finiteness results give low-dimensional parametrizations of Jacobians (in for generic curves), described by 2Θ functions or second logarithmic derivatives of theta.We interpret the Klein and Wirtinger maps in terms of opers on X. Opers are generalizations of projective structures, and can be considered as differential operators, kernel functions or special bundles with connection. The matrix opers (analogues of opers for matrix differential operators) combine the structures of flat vector bundle and projective connection, and map to opers via generalized Hitchin maps. For vector bundles off the theta divisor, the Szegö kernel gives a natural construction of matrix oper. The Wirtinger map from bundles off the theta divisor to the affine space of opers is then defined as the determinant of the Szegö kernel. This generalizes the Wirtinger projective connections associated to theta characteristics, and the associated Klein bidifferentials.     

On the Hilbert scheme of the moduli space of vector bundles over an algebraic curve

Let M(n, ξ) be the moduli space of stable vector bundles of rank n ≥ 3 and fixed determinant ξ over a complex smooth projective algebraic curve X of genus g ≥ 4. We use the gonality of the curve and r-Hecke morphisms to describe a smooth open set of an irreducible component of the Hilbert scheme of M(n, ξ), and to compute its dimension. We prove similar results for the scheme of morphisms ${M or_P (\mathbb{G}, M(n, \xi))}$ and the moduli space of stable bundles over ${X \times \mathbb{G}}$ , where ${\mathbb{G}}$ is the Grassmannian ${\mathbb{G}(n - r, \mathbb{C}^n)}$ . Moreover, we give sufficient conditions for ${M or_{2ns}(\mathbb{P}^1, M(n, \xi))}$ to be non-empty, when s ≥ 1.     

On the F-fundamental group scheme

Let X be a smooth projective variety defined over a perfect field k of positive characteristic, and let FX be the absolute Frobenius morphism of X. For any vector bundle E→X, and any polynomial g with non-negative integer coefficients, define the vector bundle using the powers of FX and the direct sum operation. We construct a neutral Tannakian category using the vector bundles with the property that there are two distinct polynomials f and g with non-negative integer coefficients such that . We also investigate the group scheme defined by this neutral Tannakian category.     

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.     

Direct image of parabolic line bundles

Given a vector bundle E, on an irreducible projective variety X, we give a necessary and sufficient criterion for E to be a direct image of a line bundle under a surjective étale morphism. The criterion in question is the existence of a Cartan subalgebra bundle of the endomorphism bundle $\text{End}(E)$. As a corollary, a criterion is obtained for E to be the direct image of the structure sheaf under an étale morphism. The direct image of a parabolic line bundle under any ramified covering map has a natural parabolic structure. Given a parabolic vector bundle, we give a similar criterion for it to be the direct image of a parabolic line bundle under a ramified covering map.     

On vector bundles over surfaces and Hilbert schemes

Let X be an irreducible smooth projective surface over ${{\mathbb{C}}}$ and Hilb ^d (X) the Hilbert scheme parametrizing the zero-dimensional subschemes of X of length d. Given a vector bundle E on X, there is a naturally associated vector bundle ${{\mathcal{F}}_d(E)}$ over Hilb ^d (X). If E and V are semistable vector bundles on X such that ${{\mathcal{F}}_d(E)}$ and ${{\mathcal{F}}_d(V)}$ are isomorphic, we prove that E is isomorphic to V. A key input in the proof is provided by Biswas and Nagaraj (see [1]).     

A generalization of Higgs bundles to higher dimensional varieties

Let X be a smooth n-dimensional projective variety defined over and let L be a line bundle on X. In this paper we shall construct a moduli space parametrizing -cohomology L-twisted Higgs pairs, i.e., pairs where E is a vector bundle on X and . If we take , the canonical line bundle on X, the variety is canonically identified with the cotangent bundle of the smooth locus of the moduli space of stable vector bundles on X and, as such, it has a canonical symplectic structure. We prove that, in the general case, in correspondence to the choice of a non-zero section , one can define, in a natural way, a Poisson structure on . We also analyze the relations between this Poisson structure on and the canonical symplectic structure of the cotangent bundle to the smooth locus of the moduli space of parabolic bundles over X, with parabolic structure over the divisor D defined by the section s. These results generalize to the higher dimensional case similar results proved in [Bo1] in the case of curves. Received November 4, 1997; in final form May 28, 1998     

Normally generated line bundles on general curves

Let L be a very ample line bundle of degree d on a general curve X of genus g≥2. Here we prove that if then L is globally generated, i.e. L embeds X as a projectively normal curve in PH⁰(L).     

Cohomology of the moduli space of Hecke cycles

Let X be a smooth projective curve of genus g?3 and let M₀ be the moduli space of semistable bundles over X of rank 2 with trivial determinant. Three different desingularizations of M₀ have been constructed by Seshadri (Proceedings of the International Symposium on Algebraic Geometry, 1978, 155), Narasimhan-Ramanan (C. P. Ramanujam—A Tribute, 1978, 231), and Kirwan (Proc. London Math. Soc. 65(3) (1992) 474). In this paper, we construct a birational morphism from Kirwan's desingularization to Narasimhan-Ramanan's, and prove that the Narasimhan-Ramanan's desingularization (called the moduli space of Hecke cycles) is the intermediate variety between Kirwan's and Seshadri's as was conjectured recently in (Math. Ann. 330 (2004) 491). As a by-product, we compute the cohomology of the moduli space of Hecke cycles.     

A generalization of the existence theorem of special line bundles

LetX be a generic smooth irreducible complex projective curve of genusg withg4. In this paper, we generalize the existence theorem of special divisors to high dimensional indecomposable vector bundles. We give a necessary and sufficient condition on the existence ofn-dimensional indecomposable vector bundlesE onX with det(E)=d, dimH ⁰(X,E)h. We also determine under what condition the set of all such vector bundles will be finite and how many elements it contains.Project partly supported by the National Natural Science Foundation of China.     

Stability and unobstructedness of syzygy bundles

It is a longstanding problem in Algebraic Geometry to determine whether the syzygy bundle E_d1,…,dn on P^N defined as the kernel of a general epimorphism