; TeX output 2010.03.05:1023 f荠t
#html: html:덑#
html: html:* #N cmbx12ESSENTIALٚDIMENSIONOFCENTRALSIMPLEALGEBRAS B%K`y
cmr10SANGHOONUUBAEKANDALEXANDERS.MERKURJEV `$ -
cmcsc10Abstract.\`Leta*
b>
cmmi10pbGeaprimeinteger,1y
!",
cmsy10sxrGintegersa*andFĹaeld $ ofcharacteristicdierentfromp."W*enduppGerandlowerbGoundsforthe$ essentialYp-dimensionedY 0er cmmi7p(U
cmssi10Alg#qƴp O
\ cmmi5r;p s"#IJ)YoftheclassAlg}_qƴp r;p s*Cofcentralsimple$ algebrasQofdegreep^rRandexpGonentdividingp^sF:.LqInparticular,weshowthat$ ed. ٓR cmr722|t(Alg#qƱ8;2)=8UUanded
UVp(Alg#qƴp Z cmr52 ;p)d)=p^2S+8pUUforpoGdd.^!html: html: XQ cmr121. x$-
cmcsc10Introduction Let_*!",
cmsy10Fѹ:6" cmssi12Fields!W'g cmmi12=FB!SetsmbSeafunctorfromthecategoryFields!=FO%ofeldextensions_orverFto_thecategorySets/ ofsets.
LetE i2URFields 9=FandK1URE asubeldhorverFƹ./ Anelementh2URF1(E )issaidtobSe9@ cmti12deneffdSoverRK(andKiscalledoaneld5of4denitionof)nifothereexistsanelemenrt2URF1(K ܞ)sucrhthatiisVtheVimageof UunderthemapF1(K ܞ)!F(E ).zTheVessentialdimension of`,denotedDZedW+K cmsy8F(),isǰtheDZleasttranscendencedegreetr:deg$}T(2 cmmi8F,̹(K ܞ)orverǰalleldsofdenitionKFof.8Theessential35dimensionofthefunctorFisa ed H(F1)UR=supfedWF4()g;wherexthesupremrumxistakenoveralleldsxE2GFields!,.=Fùandall[%2GF1(E ) (see["html:3 html:,Def.6T1.2]or[!html:8 html:,Sec.1]).6TInformallyV,theessenrtialdimensionofFisthesmallestRnrumbSerofQalgebraicallyindependenrtparametersrequiredQtodeneFandmarybSethoughtofasameasureofcomplexityofF1. Let!p!bSeaprimeinrteger.Theessentialzp-dimensionzof,JdenotededWF"p@((),Jis'̍denedastheminimrumofedWF((Er؟,q% cmsy60 O),˲whereE 20FDrangesorveralleldextensionsofEofdegreeprimetop.8Theessential35p-dimensionofFisa $ed p B(F1)UR=supfedWF"p4()g;硍wherethesupremrumrangesorveralleldsEo2Fields!!=F^andall2F1(E ).Bydenition,ed(F1)URedJpܧ(F)forallp. FVor:evreryintegern1,Na:divisormofnandanyeldextensionE =Fƹ,NletAlg
Tn;m!<(E )0denotethesetof0isomorphismclassesofcenrtralsimpleE-algebrascof1degreen0andexpSonenrtdividingm.EquivXalentlyV,AlgZ Tn;m$㨹(E )is0thesubsetoftheؼm-torsionؽpartBrma(E )oftheBrauergroupofEԹconsistingofallelemenrtsa sucrhPthat*ind|D(a)dividesPn.SInparticular,nifPnUR=m,nthenAlg
Tn](E ):=Alg\Tn;n"5p(E)x ff <