arXiv:1804.02494v1 [math.AG] 7 Apr 2018 tbevco ude on bundles vector stable bundle line udeple akfrom back pulled bundle ( dimension of variety complex M orm,aytoPicrevco udeover bundle Poincar´e vector two any coprime, { vnwhen Even smnindaoe hr sauieslpoetv bundle projective universal a is there above, mentioned As eeae ytecasof class the by generated point over szr sue ntecmuaino h iadgopo h ouisp moduli the of group Picard the characte of the computation that the [DN] in in used assumption is the zero that is mentioned be may It h taeyo BG] oedtisntgvni BG]aegvnhere given are o [BBGN] proof in The given not [Hof]. details field some base th the [BBGN]; shows on of Hoffmann depend strategy of not the theorem does the recent space in A moduli role the crucial zero. a characteristic play in which only operators, Reynolds’ the particular, x Let e od n phrases. and words Key 2010 h optto n[BN rcal sstecluaino h iadg fields Picard the closed of algebraically calculation the all uses for crucially [BBGN] results in these computation prove The to is here aim Our n[BN twspoe htteBae ru of group Brauer the that proved was it [BBGN] In M × } RURGOPO H OUISAE FSAL VECTOR STABLE OF SPACES MODULI THE OF GROUP BRAUER X UDE FFXDDTRIATOE MOHCURVE SMOOTH A OVER DETERMINANT FIXED OF BUNDLES ( X ,L r, x X ahmtc ujc Classification. Subject Mathematics lsdfield closed h nvra rjciebnl.Teerslswr rvdearlie proved were results These that bundle. assumption projective universal the htBr( that Abstract. pc fsal etrbnlson bundles vector stable of space htteBae ru Br( group Brauer the that M × fadol if only and if ) ∈ eacmatcnetdReansraeo genus of surface Riemann connected compact a be X ( L X r ,L r, X over let , n degree( and M ( ,L r, .I BG]i a losonta h rurgopBr( group Brauer the that shown also was it [BBGN] In ). X k fgnsa es he and three least at genus of , ( Let X ,L r, ,atog ti o rjciiaino etrbundle. vector a of projectivization a not is it although ), P x n lofi ninteger an fix also and X k )i eeae ytecaso h rjciebnl bandb re by obtained bundle projective the of class the by generated is )) NRNLBSA N TATHAGATA SENGUPTA AND BISWAS INDRANIL etepoetv udeon bundle projective the be ouisae rurgroup, Brauer space, Moduli = ea reuil mohpoetv uv,dfie vra algebra an over defined curve, projective smooth irreducible an be X P L C r M x . r o orm,teei nqepoetv Poincar´e bundle projective unique a is there coprime, not are ) frank of n degree( and . X M ( r ,L r, X 2 ( − ,L r, .HnetepoetvzdPicrebnl nunique. in Poincar´e bundle projectivized the Hence ). r 1)( 1. X )i ylco re g order of cyclic is )) n determinant and 46,1F2 42,53C08. 14D23, 14F22, 14H60, frank of g Introduction L − L r orm R] When [Ra]. coprime are ) ) hr saPicrevco udeover bundle Poincar´e vector a is There 1). r iebnl on bundle line a 1 ≥ r X n determinant and .Let 2. µ M × r gre iadgroup. Picard -, M M X X X L M ( . ( c ( hc sasot quasiprojective smooth a is which , ,L r, ,L r, . ,L r, X d X g . Let . ( ( with , scci fodrg order of cyclic is ) r, ,L r, ie ytnoigwt line a with tensoring by differ ) P bandb restricting by obtained ) degree( L on eoetemdl pc of space moduli the denote ) M n[BN ne the under [BBGN] in r with g X X ( L ≥ ,L r, ttePcr ru of group Picard the at optto,aevalid are computation, M × r ) eas prove also We )). itco h aefield base the of ristic hoe . follows 2.3 Theorem f r .Fxaholomorphic a Fix 3. ≥ etemoduli the be ) e hoe 2.3. Theorem see ; n degree( and . ace opof roup .W prove We 2. X ( ,L r, stricting M M . c ically .Fxn a Fixing ). X . d X M ( . ( ,L r, ( ,L r, r, X L ( degree( .In ). ,L r, are ) P X )is )) to × ). L )). 2 I. BISWAS AND T. SENGUPTA

2. Universal projective bundle and Brauer group

Let k be an algebraically closed field. Let X be an irreducible smooth projective curve, defined over k, of genus g, with g ≥ 3. Fix an integer r ≥ 2 and also fix a line bundle L over X. The degree of L will be denoted by d. Let MX (r, d) be the of stable vector bundles on X of rank r and degree d. Consider the morphism r d φ : MX (r, d) −→ Pic (X) , E 7−→ ^ E. Let −1 MX = MX (r, L) := φ (L) d be the fiber of φ over the point L ∈ Pic (X). This moduli space MX is canonically identified with the following two moduli spaces: (1) moduli space of pairs of the form (E, ξ), where E is a stable over X of rank r, and ξ : r E −→ L is an isomorphism, and V r (2) the moduli space of stable vector bundles E on X of rank r such that V E is isomorphic to L (see [Hof, p. 1308, Proposition 2.1]). It is known that there is a universal projective bundle

P −→ X ×MX (2.1) ([Ra], [Ne]). This follows from the construction of the moduli space and the fact that the global automorphisms of a stable vector bundle are nonzero constant scalar multiplications; this projective bundle P is described in the proof of Proposition 2.1. Fix a closed point x ∈ X. Let f Px := P|{x}×MX −→ MX (2.2) be the restriction of P to {x}×MX . For any quasiprojective variety Y defined over the field k, the Brauer group Br(Y ) of Y is defined to be the Morita equivalence classes of Azumaya algebras over the variety Y . It is known that this Brauer group Br(Y ) coincides with the equivalence classes of all principal

PGLk–bundles over Y , where two principal PGLk–bundles P and Q are identified if there are two vector bundles V1 and V2 over Y satisfying the condition that the two principal PGLk–bundles P ⊗ P(V1) and Q ⊗ P(V2) are isomorphic. The addition of two projective bundles P and Q in the Brauer group Br(Y ) is defined to be the equivalence class of the projective bundle P ⊗ Q. The inverse of a projective bundle P in Br(Y ) is the equivalence class of the dual projective bundle P ∗. (See [Gr1], [Gr2], [Gr3], [Mi], [Ga] for properties of Brauer groups.) The cohomological Brauer group Br′(Y ) of the variety Y is the torsion 2 G part of the ´etale group Het(Y, m). There is a natural injective homomorphism Br(Y ) −→ Br′(Y ) which is in fact an isomorphism by a theorem of Gabber [dJ], [Hoo].

Proposition 2.1. The Brauer group Br(MX ) is generated by the class cl(Px) ∈ Br(MX) of the projective bundle Px defined in (2.2). BRAUER GROUP OF THE MODULI SPACES OF STABLE VECTOR BUNDLES 3

Proof. Given any line bundle L0 on X, the morphism

r MX = MX (r, L) −→ MX (r, L ⊗ L0) , E 7−→ E ⊗ L0 is an isomorphism. The natural isomorphism of P(E ⊗ L0) with P(E) produces an isomor- r phism between the universal projective bundles over X ×MX (r, L) and X ×MX (r, L ⊗ L0). Therefore, after tensoring with a line bundle L0 of sufficiently large degree, we may assume that d > 2g − 1 . r

Let MX denote the moduli space of semistable vector bundles E on X of rank r with r V E = L. The cotangent bundle of X will be denoted by KX . For any vector bundle E ∈ MX and any point y ∈ X,

1 0 ∗ ∗ H (Y, E ⊗ OX (−y)) = H (Y, E ⊗ KX ⊗ OX (y)) = 0

∗ ∗ because degree(E ⊗ KX ⊗ OX (y)) < 0 and E ⊗ KX ⊗ OX (y) is semistable. So from the long exact sequence of cohomologies associated to the short exact sequence

0 −→ E ⊗ OX (−y) −→ E −→ Ey −→ 0

0 it follows that the evaluation homomorphism H (X, E) −→ Ey is surjective; hence E is generated by its global sections.

Take any E ∈ MX . Since the vector bundle E is generated by its global sections, there is a short exact sequence

⊕(r−1) r 0 −→ OX −→ E −→ ^ E = L −→ 0 . (2.3) This short exact sequence does not split because E is semistable and degree(L) > 0. All such nontrivial extensions are parameterized by P 1 ⊕(r−1) ∗ P 1 ∗ ∗ ⊕(r−1) P 1 ∗ ⊕(r−1) ∗ (H (X, Hom(L, OX )) ) = ((H (X, L ) ⊗k k ) = ((H (X, L ) ) ) . The standard action of GL(r − 1,k) on k⊕(r−1) produces an action of GL(r − 1,k) on the 1 ∗ ⊕(r−1) ∗ projective space P((H (X, L ) ) ). The moduli space MX is the geometric invariant theoretic quotient

1 ∗ r−1 ∗ 1 ∗ r−1 ∗ P((H (X, L ) ) )//GL(r − 1,k) = P((H (X, L ) ) )//PGL(r − 1,k) = MX (see [Ne], [DN]). 1 ∗ r−1 ∗ The tautological line bundle OP((H1(X,L∗)r−1)∗)(1) on P((H (X, L ) ) ) will be denoted by L0. Let

1 ∗ r−1 ∗ 1 ∗ r−1 ∗ 1 ∗ r−1 ∗ p1 : X×P((H (X, L ) ) ) −→ X, p2 : X×P((H (X, L ) ) ) −→ P((H (X, L ) ) ) be the natural projections. There is a universal extension over X × P((H1(X, L∗)r−1)∗)

∗ r−1 ∗ ∗ 0 −→ (p1OX ) ⊗ p2L0 −→ E −→ p1L −→ 0 . (2.4) 4 I. BISWAS AND T. SENGUPTA

Let U ⊂ P((H1(X, L∗)r−1)∗) be the subset defined by all points t ∈ P((H1(X, L∗)r−1)∗) such that the vector bundle E|X×{t} is stable. This subset U is nonempty Zariski open. Let

θ : U −→ U//PGL(r − 1,k) = MX (2.5) be the quotient map. Consider the action of PGL(r − 1,k) on X × P((H1(X, L∗)r−1)∗) given by the trivial action on X and the above action of P((H1(X, L∗)r−1)∗). This action lifts to an action of PGL(r − 1,k) on P(E). The corresponding geometric invariant theoretic quotient

P := (P(E)|X×U )//PGL(r − 1,k) is the universal projective bundle on X ×MX (see (2.1)). Consider the map F := IdX × f : X × Px −→ X ×MX , (2.6) where f is the projection in (2.2). We will construct a vector bundle

V −→ X × Px with the property that P(V) = F ∗P.

Let Ex := E|{x}×U −→ U be the vector bundle obtained by restricting E in (2.4) to {x} × U. Let β′ Q := P(Ex) −→ U be the corresponding projective bundle. Define ′ β := IdX × β : X ×Q −→ X × U , and consider the pulled back vector bundle ∗ ∗ E := (β E) ⊗ (q2OQ(−1)) −→ X × Q , e where q2 : X × Q −→ Q is the natural projection, and

OQ(1) −→ P(Ex) = Q is the tautological line bundle. For the natural action of GL(r − 1,k) on E, the center Gm of GL(r − 1,k) acts trivially on E. Consequently, the geometric invariant theoretice quotient e V := E//GL(r − 1,k) −→ X × (Q//GL(r − 1,k)) = X × Px e is a vector bundle. It is straight-forward to check that • P(V) = F ∗P, where F is the map in (2.6), and

• for each point y ∈ Px, the vector bundle V|X×{y} on X lies in the isomorphism class of vector bundles associated to the point f(y) ∈ MX , where f is defined in (2.2).

Let B : X×Px −→ Px be the natural projection. Consider the direct image B∗V −→ Px. Let Z ⊂ Px be a nonempty Zariski open subset such that the restriction (B∗V)|Z is a trivial vector bundle. Fix a trivialization of (B∗V)|Z . Take a point y0 ∈ Z and choose r −1 linearly independent sections 0 s1, ··· , sr−1 ∈ H (X ×{y0}, V|X×{y0}) such that the coherent subsheaf of V|X×{y0} generated by s1, ··· , sr−1 is a subbundle of

V|X×{y0} of rank r − 1; we note that from (2.3) it follows immediately that such r − 1 BRAUER GROUP OF THE MODULI SPACES OF STABLE VECTOR BUNDLES 5 linearly independent sections exist. Extend each si to a section si of V|X×Z using the above ′ trivialization of (B∗V)|Z. There is a Zariski open subset Z ⊂ Zecontaining y0 such that the coherent subsheaf of V|X×Z generated by s1, ··· , sr−1 is a subbundle of V|X×Z′ of rank r−1. Note that this subbundle over X × Z′ is triviale ande a trivialization is given by the images of ′ s1, ··· , sr−1. Therefore, on X × Z , we have a short exact sequence of vector bundles e e ⊕(r−1) ′ ′ 0 −→ OX×Z′ −→ V|X×Z −→ L −→ 0 , where L′ is a line bundle on X × Z′. Considering the top exterior products it follows that ′ ′ for each point y ∈ Z , the restriction L |X×{y} is isomorphic to the line bundle L. Now from the seesaw theorem (see [Mu, p. 51, Corollary 6]) it follows that there is a line bundle L′′ on Z′ such that the line bundle L′ ⊗ B∗L′′ on X × Z′ is isomorphic to the pullback of L to X × Z′. We may trivialize L′′ over suitable nonempty Zariski open subsets of Z′. Therefore, it follows that there is a nonempty Zariski open subset

′ (ι : W ֒→ Z ⊂ Px (2.7

′ such that the restriction L |X×W is isomorphic to the pullback of L to X × W. Consequently, there is a morphism ϕ : W −→ U ⊂ P((H1(X, L∗)r−1)∗) such that the following diagram is commutative ϕ W −→ U ι θ (2.8)   y f y Px −→ MX where θ, ι and f are the morphisms in (2.5), (2.7) and (2.2) respectively. The codimension of the complement P((H1(X, L∗)r−1)∗) \ U ⊂ P((H1(X, L∗)r−1)∗) is at least two. To prove this, note that Pic(U) = Z [DN, p. 89, Proposition 7.13] (here we need the assumption that g ≥ 3); this immediately implies that the codimension of the complement U c is at least two. Since the Brauer group of a projective space is zero, in view of this codimension estimate, it follows from the “Cohomological purity” [Mi, p. 241, Theorem VI.5.1] (it also follows from [Gr1, p. 292–293]) that Br(U)=0 . (2.9) From the commutativity of (2.8) we conclude that the pullback homomorphism

∗ ∗ ∗ ι ◦ f = (f ◦ ι) : Br(MX ) −→ Br(W)

∗ ∗ coincides with the homomorphism ϕ ◦ θ : Br(MX ) −→ Br(W). On the other hand, from (2.9) we know that ϕ∗ ◦ θ∗ = 0. Hence ι∗ ◦ f ∗ = 0 . 6 I. BISWAS AND T. SENGUPTA

On the other hand, the homomorphism ∗ ι : Br(Px) −→ Br(W) is injective because W is a Zariski open dense subset of Px (see [Mi, p. 142, Theorem 2.5]). Consequently, ∗ f : Br(MX ) −→ Br(Px) is the zero homomorphism. On the other hand, the kernel of the above homomorphism f ∗ is generated by the class of Px [Ga, p. 193, Theorem 2]. Therefore, we conclude that Br(MX) is generated by the class of Px. This completes the proof. 

We will denote the integer g.c.d.(r, d) by δ.

Lemma 2.2. The order of the Brauer class cl(Px) ∈ Br(MX ) is δ.

Proof. Let MX = MX (r, L) be the moduli of pairs of the form (E, ξ), where E is f f r a stable vector bundle over X of rank r and ξ : V E −→ L is an isomorphism. Let µr denote the kernel of the homomorphism r Gm −→ Gm , z 7−→ z . The natural morphism

γ : MX −→ MX f makes MX a µr–gerbe over MX . Let f 2 c0 ∈ H (MX , µr) be the class of this µr–gerbe. The Brauer class 2 cl(Px) ∈ Br(MX ) = H (MX , Gm) coincides with the image of c0 under the homomorphism 2 2 η : H (MX , µr) −→ H (MX , Gm) given by the inclusion of µr in Gm. There is a short exact sequence γ∗ ν α 0 −→ Pic(MX ) −→ Pic(MX ) −→ Hom(µr, Gm) = Z/rZ −→ Br(MX ) (2.10) f [BH, p. 232, Lemma 4.4], where ν sends a line bundle on the µr–gerbe MX to the weight f associated to the action of µr on it. The image 2 α(1) ∈ Br(MX ) = H (MX , Gm) coincides with the image of the class of the µr–gerbe MX under the above homomorphism η. From this it follows that f

α(1) = cl(Px) (2.11) because cl(Px) also coincides with the image of the class of the µr–gerbe MX under the above homomorphism η. f BRAUER GROUP OF THE MODULI SPACES OF STABLE VECTOR BUNDLES 7

From [Hof, p. 1311, Lemma 3.6], [Hof, p. 1311, Lemma 3.3] and [Hof, p. 1310, Theorem 3.1] it follows that Z/image(ν) = Z/δZ , where ν is the homomorphism in (2.10). Therefore, from (2.10) we conclude that the order of α(1) ∈ Br(MX ) is δ. Now the lemma follows from (2.11). 

Combining Proposition 2.1 and Lemma 2.2 we have:

Theorem 2.3. The Brauer group Br(MX ) is cyclic of order δ = g.c.d.(r, d). The group Br(MX ) is generated by the class cl(Px) ∈ Br(MX ) of the projective bundle Px defined in (2.2).

Acknowledgements

We thank the referee for helpful comments. The first-named author is supported by a J. C. Bose Fellowship. The second-named author would like to thank Tata Institute of Fundamental Research for its hospitality while the paper was being worked on.

References [BBGN] V. Balaji, I. Biswas, O. Gabber and D. S. Nagaraj, Brauer obstruction for a universal vector bundle, Comp. Ren. Acad. Sci. Math. 345 (2007), 265–268. [BH] I. Biswas and Y. I. Holla, Brauer group of moduli of principal bundles over a curve, Jour. Reine Ang. Math. 677 (2013), 225–249. [dJ] A.J. de Jong, A result of Gabber, http://www.math.columbia.edu/∼dejong/papers/2-gabber.pdf. [DN] J.-M. Drezet and M. S. Narasimhan, Groupe de Picard des vari´et´es de modules de fibr´es semi- stables sur les courbes alg´ebriques, Invent. Math. 97 (1989), 53–94. [Ga] O. Gabber, Some theorems on Azumaya algebras, in The Brauer group (Sem., Les Plans-sur-Bex, 1980), pp. 129–209, Lecture Notes in Math., 844, Springer, Berlin-New York, 1981. [Gr1] A. Grothendieck, Le groupe de Brauer, I, in Dix expos´es sur la cohomologie des sch´emas, pp. 67–87, Advanced Studies in Pure Mathematics, 3, North-Holland, Amsterdam, 1968. [Gr2] A. Grothendieck, Le groupe de Brauer, I, in Dix expos´es sur la cohomologie des sch´emas, pp. 67–87, Advanced Studies in Pure Mathematics, 3, North-Holland, Amsterdam, 1968. [Gr3] A. Grothendieck, Le groupe de Brauer, I, in Dix expos´es sur la cohomologie des sch´emas, pp. 88–188, Advanced Studies in Pure Mathematics, 3, North-Holland, Amsterdam, 1968. [Hof] N. Hoffmann, The Picard group of a coarse moduli space of vector bundles in positive character- istic, Cent. Eur. Jour. Math. 10 (2012), 1306–1313. ′ [Hoo] R. T. Hoobler, When is Br(X) = Br (X)? in Brauer groups in ring theory and algebraic geometry (Wilrijk, 1981), pp. 231–244, Lecture Notes in Math., 917, Springer, Berlin-New York, 1982. [Mi] J. S. Milne, Etale´ cohomology, Princeton Mathematical Series, 33, Princeton University Press, 1980. [Mu] D. Mumford, Abelian varieties. With appendices by C. P. Ramanujam and Yuri Manin. Corrected reprint of the second (1974) edition. Tata Institute of Fundamental Research Studies in Math- ematics, 5. Published for the Tata Institute of Fundamental Research, Bombay; by Hindustan Book Agency, New Delhi, 2008. [Ne] P. E. Newstead, Introduction to moduli problems and orbit spaces, Tata Institute of Fundamental Research Lectures on Mathematics and Physics, 51, Narosa Publishing House, New Delhi, 1978. [Ra] S. Ramanan, The moduli spaces of vector bundles over an , Math. Ann. 200 (1973), 69–84. 8 I. BISWAS AND T. SENGUPTA

School of Mathematics, Tata Institute of Fundamental Research, Homi Bhabha Road, Mumbai 400005, India E-mail address: [email protected]

Department of Mathematics, University of Hyderabad, C. R. Rao Road, Hyderabad 500046, India E-mail address: [email protected]