; TeX output 2007.06.27:2229 f荠t
#html: html:덑#
html: html:* /MuN cmbx12ESSENTIALٚDIMENSIONOFFINITEGR OUPS 7cK`y
cmr10NIKIT*AUUA.KARPENKOANDALEXANDERS.MERKURJEV `$ -
cmcsc10Abstract.\`W*eprovethattheessentialdimensionofa
b>
cmmi10p-groupGover $ aeldF7containingaprimitivep-throGotofunityisequaltotheleast$ dimensionUUofafaithfulrepresentationofGoverFc.G XQ cmr12The_cnotion_boftheessenrtialdimensionedZ2 cmmi8F.(g cmmi12G)ofanitegroupGorvera_celd Fuwras0introSduced0in[(html:5 html:].TheinrtegeredF(G)isequaltothesmallestnrumbSer0ofalgebraicallyuindepSendenrtparametersneededvtoclassifyallGaloisG-algebrasorveranyeldextensionofFƹ.)IfVYisafaithfullinearrepresenrtationofGorverFƹ,$thenedkПF{(G)%!",
cmsy10&dim3n(Vp)(cf.|p["html:2 html:,#Prop.4.11]).|oTheessenrtialdimensionofGcanbSesmallerthandim<,(Vp)forevreryfaithfulrepresentationVCTofGoverFƹ.
mmFVorexample,wrehaveedfϟFv((
msbm10Z=3Z)I_=I`1overF%=I`QֹoranyeldFHofcrharacteristic3(cf.8[html:12 html:],["html:2 html:,Example2.3])anded)pp msbm8C(S|{Y cmr85)UR=2(cf.[(html:5 html:,Th.6.5]). In5sthispapSerwreprove5rthatifGisap-groupandF8isaeldofcharacteristicdierenrt%from&pcontaining&aprimitive&p-throSotofunitryV,@thenedFm(G)coincideswiththeleastdimensionofafaithfulrepresenrtationofGoverFƹ. InthepapSerthewrord\scheme"meansaseparatedschemeofnitetypSeorveraeldand\vXarietry"anintegralscheme.+}h! cmsl12Acrknowledgment:8WVearegratefultoZ.Reicrhsteinforusefulconversations.html: html: /1. 3 ,-
cmcsc10Preliminaries html: html:1.1.Sev eri-Brauerhv@ arieties.(cf.b[html:1 html:])
Let
AbSeacenrtralsimplealgebraofdegreenorveraeldFƹ.BeThe-@ cmti12Severi-Brffauer!nvarietyP==vSB(A)ofAisthevXarietrywofxrightidealsxinAofdimensionn.NFVoraeldextensionL=Fƹ,fktheLalgebraAissplitorverLifandonlyifPƹ(L)UR6=;ifandonlyifPL *'URPn K cmsy8 18OL̹. Thecrhangeofeldmapdeg\:Pic}(Pƹ)!Pic(PLGع)=Zforasplittingeldextension$zL=F@idenrtiesPicu(Pƹ)witheZ,2whereeistheexpSonent(pSeriod)$zofA.oInRCparticular,l*P hasdivisorsofdegreee.ThealgebraAissplitorverRCLifandonlyifPL
2hasadivisorofdegree1(ahrypSerplane).` ff <