SU Verlinde spaces as theta spaces on Pryms

Description

Niveau: Supérieur, Doctorat, Bac+8
SU(2)-Verlinde spaces as theta spaces on Pryms W.M. Oxbury and C. Pauly 1 Introduction By an (SU(r)-)Verlinde space one means a complex vector space H0(M,Lk) of sections of a line bundle Lk on a moduli space M = M(r, d) of semistable vector bundles of rank r and fixed determinant, degree d ? Z/r, over a smooth complex projective curve C. One knows that the projective variety M has infinite cyclic Picard group [DN], and L denotes the ample generator. These spaces,whose dimensions are given by the celebrated Verlinde formulae, are of considerable interest and have been much studied in recent years. The purpose of the present article is to explain the following coincidence in the Verlinde formulae for the anticanonical line bundles of the varieties M0 = M(2, 0) and M1 = M(2, 1). We should first remark that there are already a number of well-known ‘coincidences' linking the rank 2 Verlinde spaces for low values of k to spaces of theta functions on the Jacobian of the curve. For example, the simplest Verlinde formula h0(M0,L) = 2g (where g is the genus of C) was first shown directly [B1] by not- ing that H0(M0,L) is naturally isomorphic to the 2-theta space V = H0(Jg?1(C), 2?).

• vanishing theta-nulls


• p?x ?


• unram- ified double


• theta functions


• then ?


• schottky-jung geometry


• has infinite cyclic


• line bundles

Sujets

• Theta function

Informations

• Publié par: profil-zyak-2012
• Nombre de lectures: 9
• Langue: English

Extrait

SU(2)-Verlindespacesasthetaspaceson smyrP W.M.OxburyandC.Pauly 1Introduction Byan(SU(r)-)VerlindespaceonemeansacomplexvectorspaceH 0 (M,L k ) ofsectionsofalinebundleL k onamodulispaceM=M(r,d)ofsemistable vectorbundlesofrankrandfixeddeterminant,degreed∈Z/r,overa smoothcomplexprojectivecurveC.Oneknowsthattheprojectivevariety MhasinfinitecyclicPicardgroup[DN],andLdenotestheamplegenerator. Thesespaces,whosedimensionsaregivenbythecelebratedVerlindeformulae, areofconsiderableinterestandhavebeenmuchstudiedinrecentyears. Thepurposeofthepresentarticleistoexplainthefollowingcoincidence intheVerlindeformulaefortheanticanonicallinebundlesofthevarieties M 0 =M(2,0)andM 1 =M(2,1).Weshouldfirstremarkthatthereare alreadyanumberofwell-known‘coincidences’linkingtherank2Verlinde spacesforlowvaluesofktospacesofthetafunctionsontheJacobianofthe curve.Forexample,thesimplestVerlindeformula h 0 (M 0 ,L)=2 g (wheregisthegenusofC)wasfirstshowndirectly[B1]bynot- ingthatH 0 (M 0 ,L)isnaturallyisomorphictothe2-thetaspaceV= H 0 (J g−1 (C),2Θ).Thenextcaseisthepairofformulae h 0 (M 0 ,L 2 )=2 g−1 (2 g +1),h 0 (M 1 ,L)=2 g−1 (2 g −1); thatis,thesegivethenumbersofevenandoddtheta-characteristicson thecurve.ThisalsowasexplainedbyBeauville[B2]:forgenericCthe respectiveVerlindespacesarecanonicallyisomorphictothe4-thetaspaces 1

S 2 V=H + 0 (J,4Θ)and V 2 V=H − 0 (J,4Θ),thesubscript±denotingeven/odd thetafunctions.Onepointofinterestoftheseresultsistheirconnectionwith theclassicalSchottky-JunggeometryoftheJacobiananditsassociatedPrym varietiesofunramifieddoublecoversofC.Indeed,theKummersofallthese abelianvarieties,2-thetaembeddedinP(V ∨ ),lienaturallyinsidetheimage ofM 0 ,whichlives,viatheBeauvilleisomorphism,inthesameprojective spacebymeansofthelinearsystem|L|.Thisobservationhasbeenused [vGP1]togiveavectorbundletheoreticproofoftheSchottky-Jungrelations betweenthetheta-nullsoftheJacobianandthoseofitsPryms. Itisthereforeinterestingtoexplorefurtherthissortofrelationshipbe- tweenthe‘Verlinde’geometryofthecurve,anditsclassicalthetageometry. In[vGP1]thespaceH 0 (M 0 ,L 4 )hasbeenstudiedbyrestrictingsectionsto alltheembeddedKummers;thisgivesaninjectionofH 0 (M 0 ,L 4 )intothe directsumofthespacesH + 0 (P x ,8Ξ x )asxrangesthroughthegroupJ[2] of2-torsionpointsintheJacobian.Thenotationhereis:(P x ,Ξ x )denotes thecanonicallyprincipallypolarisedPrymvarietyassociatedtothe2-torsion pointxwhenthisisnonzero,andequals(J(C),Θ)whenx=0. Inthepresentworkweattempttoimproveonthis.Oneobservesthe following:first,theVerlindeformulaeforh 0 (M 0 ,L 4 )andh 0 (M 1 ,L 2 ),respec- tively,arethefollowingnumbers,differingbyasignchange: 3 g−1 2 2g−1 ±2 2g−1 +3 g−1 3 g ±1 2g ³ 3 g−1 ±1 ´ =+(2−1). 22 Ontheotherhand,foranyprincipallypolarisedabelianvariety(P,Ξ)of dimensionnonehash 0 ± (P,3Ξ)=(3 n ±1)/2.Finally,M 0 andM 1 areFano varieties,withanticanonicalsheafgiven(by[DN])byK M − 0 1 =L 4 andK M − 1 1 = 2 .L Takentogether,theseobservationsmotivatethefollowingresult: 1.1Theorem.ForanycurveCtherearenaturalhomomorphisms: L S 0 :H 0 (M 0 ,K −1 ) ∨ −→ x∈J[2] H + 0 (P x ,3Ξ x ), L S 1 :H 0 (M 1 ,K −1 ) ∨ −→ x∈J[2] H − 0 (P x ,3Ξ x ). Moreover,S 0 isanisomorphismforallCwithoutvanishingtheta-nulls. 2