; TeX output 2009.11.21:1150 f荠t
html: html:덑
html: html:* L,h N cmbx12ISOTR OPYٚOFOR THOGONALINVOLUTIONS pK`y
cmr10NIKIT*AUUA.KARPENKO `$ -
cmcsc10Abstract.\`Anq orthogonalinvolutionq onaqcentralsimplealgebrabGecomingisotropic $ overtanysplittingeldofthetalgebra,bGecomesisotropicoveraniteoGdddegreeextension$ ofUUthebaseeld(providedthatthecharacteristicofthebaseeldisnot2).G XQ cmr12OurEaimEisaproSofofthefollorwingresult,\xgeneralizingthehrypSerbolicityEstatementEof [html:5 html:]: html: html:RTheoremps1.!@ cmti12Lffet&$g cmmi12FȊbe&aeldofcharacteristicnot&Ź2,)AAacentralsimple&F-algebra,)Aanorthoffgonal35involutiononA.fiThefol lowingtwoconditionsareequivalent:html: html:(1)%nbffecomes35isotropicoveranysplittingeldofA;html: html: (2)%nbffecomes35isotropicoversomeniteodddegreeextensionofthebaseeld.R TheproSofofTheoremhtml:1 html:isgivreninthevreryendofthepapSer;4-asketchoftheproSofisgivrenshortlybSelow. FVoruF7;withnoniteteldextensionsofoSdddegree,(Theoremhtml:1 html:prorvesu[html:8 html:,Conjecture5.2]. Thegeneralreferenceoncenrtralsimplealgebrasandinvolutionsis[html:11 html:]. The}implication|(2)UR'!",
cmsy10)(1)isa|consequenceoftheSpringertheoremonquadraticforms.WVeonlyprorvetheimplication(1)\)](2).9Notethatcondition(2)isequivXalenrttothecondition\QthatʉbSecomesisotropicorver\Qsomegenericsplitting\Peldofthealgebra,xsucrhasԹthefunctioneldoftheSevreri-BrauerԸvXarietyԹofanrycentralsimplealgebraBrauer-equivXalenrttoA. WVe>prorve=thistheoremorverallelds=simultaneouslyusingan=inductionontheindexindQA;?of;@A.*ThecaseofindA=1;?istrivial.*ThecaseofindA=2is;?donein[html:15 html:](with\şisWfisotropic(orverWfFƹ)"Weinplaceofcondition(2)).FVromnorwonwreareassumingthatindQAUR>2.8Thereforeind