; TeX output 2005.01.04:0829 @፠n .{color push Blackhtml:color push gray 0 color pop html:h color pop .{ html: html:* color push Black color pop'"V
cmbx10WITTMOTIVES,TRANSFERSANDREDUCTIVEGR9OUPSNcolor push Black color popS|{Y cmr8BAPTISTEXCALM PESANDJENSHORNBOSTEL.u P(-
cmcsc10Introduction html: html: K`y
cmr10InuthispapGer,wecomputeGrothendieck-WittandWittgroupsofrepresentationcategoriesjofsplitreductivealgebraicgroups.=yW*ealsodenetransfermapsbGetweenWittRgroupswithrespGecttopropermorphismsandestablishthebasechangeandpro 8jectionformulaeforthose.Thenweusethistodenethecateoryof) ':
cmti10Wittmo-tives.mxInHhforthcomingwork,JtheseresultswillhopGefullybeimprovedHhandcombinedtoUUleadtothecomputationofWittgroupsoftwisted
agvqarietes.ȡ Letusxabaseeld
b>
cmmi10Fxofcharacteristicdierentfrom2..InhispapGer[html:color push cmyk 0 1 0 028 html: color pop
],PanincomputestheK -groupsoftwisted
agvqarietes,jgeneralizingresultsofQuillenonBrauer-Severi$|vqarietiesandofSwanonquadrics.;T*othispurpGose,XEheconstructsa
categoryofKٓR cmr70|s-motiveswithnicepropGerties. 5Thisallowshimtoreducethecomputations/stoK -groupsofnite-dimensionalseparableFc-algebrasandtoK0ofrepresentationUUcategoriesofsplitreductivealgebraicgroups. ThisnpapGerisanattempttoapplythetechniquesofPanintoGrothendieck-Wittgroups7GWƲandWittgroupsWinsteadoftheGrothendieckgroupandhigherK -groups.Asxusual,theGrothendieck-WittgroupGWQ(
!",
cmsy10A)ofanabGeliancategorywithhduality(A;)isdenedastheGrothendieckgroupofisomorphismclassesofsymmetricCspaces(andidentifyingmetabGolicspaceswiththeassociatedhyperbolicspacesifAisnotsemi-simple,seeDenitionhtml:color push cmyk 0 1 0 01.6 html: color pop).@IdentifyingthehypGerbolicspaceswithw>zeroyieldstheWittgroupW(A).׃Twoexamplesweareinterestedinarevectorl+bundlesoverasmoGothFc-schemes(V8ect(X );H om 0er cmmi7OmO
\ cmmi5X
β(V;OX$))l+andnite-dimensionalf
representations(Rep(G);H omF(;Fc))f
ofareductivealgebraicgroupG.IfcX[f=S pec(Fc)=G,thesetoexamplescoincideandyieldtheclassicalWittgroupUUoftheeldFc. TheYsituationforWittgroupsismuchYmorecomplicatedthanforK -groups.WhenPaninwrotehispapGer,theGrothendieckgroupandevenitsringstructureforrepresentationcategorieswasalreadyknown.\iItisafreepGolynomialringoverZ>with6explicitgenerators,ogandmoreover6K0poftherepresentationcategoryofaparabGolicrgroupwasknowntobGeanitefreemoduleoverrK0ofthecorrespondingreductive\group.SimilarresultshadnotyetbGeenestablishedforGWandW#,]andatgMleasttheresultforparabGolicgroupsseemstobewrongforGW)andW#.F*oranFc-splitUUreductivegroupG,weprove(seehtml:color push cmyk 0 1 0 02.16 html: color pop): html: html:ccolor push BlackTheorem0.1. color popThe