; TeX output 2003.10.24:0943 s e̍6XIhtml: html:f cmcsc8DocumentuUa#Math. :K`y
cmr10115+46XIehtml: html:B JMV-
cmcsc10St32abilityofArakelovBundlesandTensorProductswithoutGlobalSections%y-
cmcsc10NorberUTtHoffmann}|{Y cmr8ReceivÎed: JuneX12,2003AnCommÎunicatedXbyUlfRehmann,j" Abstract.ThisnpapGerdealswithArakelovnvectorbundlesoveran arithmeticrcurve,Gi.e.overthesetofplacesofanumbGereld.The mainu_resultisthatforeachsemistablebundleE,thereisabundleF such+that
b>
cmmi10E
!",
cmsy10
BF=hasatleastacertainslopGe,butnoglobalsections.HIt ismotivqatedbyananalogoustheoremofF*altingsforvectorbundles overalgebraiccurvesandcontainstheMinkowski-Hlawkqatheoremon sphereD packingsasaspGecialcase.lTheproofusesanadelicversionof Siegel'sUUmeanvqalueformula.5 2000}MathematicsSub 8jectClassication:RPrimary14G40;,Secondary 11H31,UU11R56.=Ѝ KeywordsRandPhrases:wArakelovbundle,9arithmeticcurve,9tensor proGduct,Dlatticespherepacking,meanvqalueformula,Minkowski- HlawkqaUUtheorem)PIntroduction
Uhtml: html:G.(>F*altingshasproved(>thatforeachsemistablevectorbundleE˲overanal-gebraic gcurveofgenusg[ٲ,S+thereisanothervectorbundleFsuchthatESθ
AFhasslopGeg. `U1andnoglobalsections.#W(NotethatanyvectorbundleofslopGe>gp 19hasglobalsectionsbyRiemann{RoGch.)ASee[html:3 html: ]and[html:4 html:]wherethisresultisinterpretedintermsofthetafunctionsandusedforanewconstructionofmoGduliUUschemesofvectorbundles.InthepresentpapGer,2anarithmeticanalogueofthattheoremisproposed.V9ThealgebraiccurveisreplacedbythesetXdofallplacesofanumbGereldK ;wecallXX anarithmeticcurve.zV*ectorbundlesarereplacedbyso-calledArakelovbundles,cf.sectionіhtml:3 html:.InthespGecialcaseKMJ=.
msbm10Q,Arakelovbundleswithout DocumentuUa#Mathematica8(2003)115{123 t *e̍6XIhtml: html:116 N.Hoffmann+4e̍6XIglobalPsectionsarelatticespherepackings,andtheslopGemeasuresthepacking 6XIdensity*.6XIW*epwillseeattheendofsectionhtml:4 html:thatthemaximalslopGeofArakelovpbundles6XIofranknwithoutglobalsectionsisd(logTnz"+O(1))=2+(log%n
eufm10d)=2wheredisthe6XIdegreeUUanddisthediscriminantofK .qNowthemainresultis:qǟ html: html:k56XITheorem0.1z] ':
cmti10L}'etEbeasemistableArakelovbund leoverthearithmeticcurve6XIX .F;ore}'achn0thereisanArakelovbund leF ofranknsatisfyinglz.(E
8F 9)><$KdKw fe 4r (֍92
a(logTn log4 1 log2)+<$lloggdlw fe (֍HԲ2ҍ6XIsuchthatE
8F hasnononzer}'oglobalsections.6XIThecproGofisinspiredby(andgeneralises)theMinkowski-Hlawkqaexistence6XItheorem|forspherepackings;oinparticular,itisnotconstructive.GTheprincipal6XIingredientsareintegrationoveraspaceofArakelovbundles(withrespGectto6XIsomeT*amagawameasure)andanadelicversionofSiegel'smeanvqalueformula.6XISectionQhtml:2 html:explainsthelatter,sectionhtml:3 html:containsallweneedabGoutArakelov6XIbundles,UUandthemainresultsareprovedUUanddiscussedinsectionhtml:4 html:.6XIThis#LpapGerisacondensedandslightlyimprovedpartoftheauthor'sPh.D.6XIthesis'm[html:6 html: ].bzI'awouldliketothankmyadviserG.F*altingsforhissuggestions;6the6XIworkisbasedonhisideas.nItwassuppGortedbyagrantoftheMax-Planck-6XIInstitutUUinBonn.6XIhtml: html:1KNotUTationLetp>K'ZbGeanumberp>eldofdegreedoverp>QandwithringofintegersO 0er cmmi7K.LetڵXֲ=SpGec(OK)8[XO! cmsy71pbGethesetofplacesofK ;Ithismightbecalledan`arithmeticcurve'inthesenseofArakelovgeometry*.vX1zconsistsofrٓR cmr71~-realandr2xcomplexplaceswithr1+A2r2C=d.WwD(K )isthenumbGerofrootsofunityinUUK .F*orbGeveryplacev82ܫX ,eweendowthecorrespGondingcompletionKv"ofKcwiththeۛmapj':jvf:Kv!R0
denedۛby(aEnS )=jajv(S )ۛforaHaarmeasureonhKvN.Thisisthenormalisedvqaluationifvėisnite,mtheusualabsolutevalueif92visrealanditssquareifviscomplex._ThewellknownproGductformula u
cmex10Q qɟ v@L2XZrjajvBu='1Œholdsforevery06=a2K .}OntheadeleringA,wehavethedivisor mapdiv):A!R^Xe0
Ńthat mapseachadelea=(avN)v@L2XGto thecollection(javNjv)v@L2XVofUUitsvqaluations.Let&OvtbGethesetofthosear2Kvwhich&satisfyjajvr1;IthisistheringofintegersinKvq fornitevandtheunitdiscforinnitev[ٲ.LetOqy msbm7A >denotetheproGduct,Qݟ v@L2XOvN;9this,isthesetofalladelesawithdiv(a)1.dBy,D51foranUUelementD5=(DvN)v@L2XVofR^Xe0
t,wealwaysmeanDvf1forallv[ٲ.W*eUUxacanonicalHaarmeasurevonKvasfollows: IfUUv.isnite,wenormalisebyvN(Ov)=1.5 IfUUv.isreal,wetakeforvtheusualLebGesguemeasureonR. DocumentuUa#Mathematica8(2003)115{123 u We̍6XIhtml: html:QTensorProductswithoutSections?117+4e̍EXJOXKIf%