; TeX output 2003.06.11:1219 E e̍6XIhtml: html:f cmcsc8DocumentuUa#Math. :K`y
cmr1069+46XIehtml: html:,32 =!-
cmcsc10AShor32tProofofRfostNilpotenceOviaRefinedCorrespondencesjʳ-
cmcsc10P aUTtrickBrosnanz|{Y cmr8ReceivÎed: MarchX15,2003oίCommÎunicatedXbyA.Merkurev$E Abstract.
iIKgeneralizethenotionofcompGositionofalgebraic correspGondencesusingtherenedGysinhomorphismofF*ulton- MacPhersonintersectiontheory*.ՒUsingthisnotion,)Iˍgiveashort self-containedAeproGofofRost's\nilpotencetheorem"andageneraliza- tion]_ofoneimpGortantpropositionusedbyRostinhisproofofthe theorem. 2000KMathematicsSub 8jectClassication:lPrimary11E04;NSecondary 14C25 KeywordsUandPhrases:
rquadraticforms,correspGondence,Chow groupsUUandmotives~html: html:
9 X/1. MIntroduction Inanelegantfourpagepreprint\A}shortenedconstructionoftheRostmotive"N.vKarpGenko(seealso["html:4 html: ])givesaconstructionofRost'smotive
b>
cmmi10M 0er cmmi7aLvassumingtheUUfollowingresultofRostwidelyknownasthe\nilpGotencetheorem."html: html:+Theoremϲ1.1.v* ':
cmti10L}'etjwQbeasmoothquadricoveraeldkwithalgebraicclosure
fe V$k
7andUletf
!",
cmsy102EndcPM(Q)b}'eanendomorphismofitsintegralChowmotive.qThen,iffLo
8
fe V$k
N=0inEnd)=M(Q8
fe V$k6),fvisnilp}'otent.pF*ortheproGof,AKarpenkorefersthereadertoapapGerofRostwhichprovesthe-theorembyinvokingthebrationspGectralsequenceofthecyclemoduleofGaproGduct(alsoduetoRost[&html:6 html: ]).N(In[html:7 html:],A.VishikgivesanotherproGofofTheoremUUhtml:1.1 html:basedonV.V*oGevodsky'sUUtheoryofmotives.)TheեexistenceoftheRostmotiveandthenilpGotencetheoremitselfarebothes-sentialMtoV*oGevodsky'sMproofoftheMilnorconjecture.EItis,therefore,desirableto%havedirectproGofsofthesefundamentalresults.NThemaingoalofthispapGeris}toprovidesuchaproGofinthespiritofKarpenko'spreprint.yT*oaccomplishthis,K]IHuseHageneralizationtosingularschemesofthenotionofcompGositionofcorrespGondencestoobtainaproofofthetheoremwhichavoidstheuseofcyclemoGdules. ]!DocumentuUa#Mathematica8(2003)69{78 F *e̍6XIhtml: html:70ʳP aUTtrickBrosnan+4e̍6XIBoth#GRost'sproGofofTheoremhtml:1.1 html:andtheproofpresentedhereinvolve 6XItwosprincipalingredients:t(1)atheoremconcerningnilpGotentopGeratorson6XIH om(M(B q);M(X ))WforBandX wsmoGothpro 8jectivevqarieties,X%(2)adecompo-6XIsitiontheoremforthemotiveM(Q)ofaquadricQwithakP-rationalpGoint.;9F*or6XI(1),wemobtainanextensionofRost'sresults(Theoremhtml:3.1 html:)allowingthemotive6XIofB)tobGeT*atetwisted._Moreover,*qthemethodofproofcanbeusedtoextend6XIthe;resulttoarbitraryvqarietiesB q.$F*or(2),u,thetheoremstatedhere(Theo-6XIrem+3html:4.1 html:)isidenticaltoRost's,`buttheproGofissomewhatsimplerasweare6XIable+topGerformcomputationswithcorrespondencesinvolving+possiblysingular6XIvqarieties.6XIV.WChernousov,4S.GilleandA.MerkurjevhaverecentlygeneralizedTheo-6XIremhtml:1.1 html:toarbitraryhomogeneousvqarieties[html:1 html: ].wTheirapproachistowrite6XIdownradecompGositionasin(2)forhomogeneousvqarietiesintermsofgroup6XItheory andthentousetheextensionto(1)givenheretoproveanilpGotence6XIresult.bIwouldliketothankMerkurjevforpGointingouttometheusefulness6XIofUUthisextension.6XI
9html: html:1.1. NotUTation.As_themaintoGolusedinthispaperistheintersectiontheoryofVfF*ulton-MacPherson,Vweusethenotationof[html:2 html: ].tInparticular,aschemewillbGemaschemeofnitetypGeoveraeldandavarietywillbGeanirreducibleandreducedwNscheme.'W*eusethenotationChowSk"forkaeldtodenotethecategoryofXsChowmotiveswhosedenitionisrecalledbGelowinSectionhtml:2 html:.{ F*oraschemeX ,UUAj6X7willdenotetheChowgroupofdimensionjcyclesonX.In{7sectionhtml:3 html:,wewillusethenotation(
msbm10HtodenotethehypGerbolic{7plane.mThatis,79HزisthequadraticspaceconsistingofkP^ٓR cmr72 withquadraticformgivenbyq[ٲ(x;y)=xy[ٲ.%html: html: k2.x`ÿRefinedIntersections LetfhVLandWbGeschemesoveraeldkP,jletfViTLg^m;Zi=1ڷbGetheirreduciblecompo-nentsofV}andwritedid=dimnViTL.9ThegroupofdegreerChowcorrespGondencesisUUdenedas html: html:N(1)c7Corrwrr{(V 9;Wc)=Ad O
\ cmmi5i*O! cmsy7 rM(Vi,8W):If>.X1|s;X2;X3are>.smoGothproperschemes,Bthenitiswell-knownthatthereisa compGosition2Uhtml: html:Corrr&(X1|s;X2)8
CorrGsU(X2|s;X3) O! PCorr r7+s %(X1|s;X3)(2) Sg
8fڧ7!fLoggivenUUbytheformula html: html:(3)vlUfLo8g"=p13ʲ(p፱12xgp፱23f)wherethepij :X1 dX2X3C!XiXjAaretheobviouspro 8jectionmaps.-2Usingthisformula,thecategoryChow2k%ofChowmotivescanbGedenedasfollows(["html:4 html: ],Ysee%zalso[html:3 html:]):Theob 8jectsarethetriples(X:;p;n)%zwhereX\isasmoGoth ]!DocumentuUa#Mathematica8(2003)69{78 G
e̍6XIhtml: html:ѿRUostNilpotenceuϲ71+4e̍6XIpro 8jectivemdschemeoverkP,shp12Corrl0y߲(X:;X )isapro 8jector(thatis,shp^2k=p)and 6XInUUisaninteger.qThemorphismsaredenedbytheformula html: html:e6XI(4)|}Hom R((X:;p;n);(Y 9;q[;m))=qCorrm n(ֲ(X;Y8)p:6XIT*oxnotation,weremindthereaderthattheT;ate
twistofanob 8ject6XIMم=j(X:;p;n)istheob 8jectM(kP)=(X:;p;nͲ+kP),andtheob 8jectsZ(k)j=6XI(SpGecǵkP;id ;k)1arecustomarilycalledtheT;atesobje}'cts.eItisclearfrom(html:4 html:)that html: html:6XI(5)fbHom{w(Z(kP);M(X ))=Ak됵X:;Hom (M(X );Z(kP))=Ak됵X6XIwhereUUM(X )isthemotive(X:;id ;0)assoGciatedtotheschemeX .6XI>fhtml: html: 2.1. Refined=5correspondences.ThemainobservqationbGehindthispaperisthatUacompGositiongeneralizingthatof(html:2 html:)holdsforarbitraryvqarietiesX1xȲandX3provided,othatX2issmoGothandproper.d%T*odenethiscompositionweusetheUUtheGysinpullbackthroughtheregularembGeddingύJeX1S8X2X3TCidOgid2)|!+օX1X2X2X3|s:W*eUUcanthendenethecompGositionbytheformula html: html:(6)_rfLo8g"=p13ʲ((id id
7)!Ï(g
f)):W*eneedtoverifythatthedenitiongivenin(html:6 html:)agreeswiththatof(html:3 html:)andsatisesmvqariousfunctorialitypropGertiesneededtomakeitausefulextension.T*ostatethesepropGertiesintheirnaturalgenerality,zitishelpfultoalsoconsider(html:6 html:)inaslightlydierentsituationfromthatof(html:2 html:).&F*orX2%asmoGothschemeandUUX1|s;X3Ȳarbitraryschemes,wedeneacompGosition8html: html:Arm(X1S8X2|s)
CorrGsU(X2;X3) ø! ĵAr7 ssݲ(X1S8X3|s)(7) g
8f ø7! ĵfLo8gwhereȱfWȵg$isdenedasin(html:6 html:).W*econsider(html:7 html:)bGecauseiCorr
/ia{(X1|s;X2)ȱisnotTnecessarilyequaltoiTLAi(X1X2|s)TunlessX1MDzisschemewithirreducibleconnected`compGonents. UTherefore,inthecasethatX1rdoesnothave`irreducibleconnectedgcompGonents,l`Corrz(X1|s;X2)isnotareindexingoftheChowgroupsofUUX1S8X2|s.html: html:HPropositiongβ2.1.QL}'et@hXiTL;i2f1;2;3g@hb}'eschemeswithX2smoothandproper.I2html: html: }'(a)Ifߍal lXi3ar}'esmoothandX2 \ isproper,2vthenthedenitionoff<)2g;fforg"2CorrSrB(X1|s;X2);fڧ2CorrSs(X2;X3)givenin(html:6 html:)agr}'eeswiththatof(html:3 html:). html: html: (b)If":X^ 0l1C!X1Zisapr}'opermorphism,thenthediagram 8HArm(X^ 0l1S8X2|s)
CorrGsU(X2;X3) ß 5D
xyatip10/5D
xybtip10/ ğ2 fd n͟ 0n cmsy5y+HyH fd ÞHAr7 ssݲ(X^ 0l1S8X3|s) H h՟H fd8(HArm(X1S8X2|s)
CorrGsU(X2;X3) ß%H// ğ%z fd ß(HAr7 ssݲ(X1S8X3|s);tc}'ommutes.THere,for|thevertic}'alarrows,by F`wemeanthemorphisminduc}'edby,ontherstfactorandtheidentityontheotherfactors. ]!DocumentuUa#Mathematica8(2003)69{78 H e̍6XIhtml: html:72ʳP aUTtrickBrosnan+46XIehtml: html:
(c)If:X^ 0l1C!X1Zis
atofc}'onstantrelativedimensione,then 3%Arm(X1S8X2|s)
CorrGsU(X2;X3) 0 // V2 fd !ڎi~ru t͋ fd 0Ar7 ssݲ(X1S8X3|s)t~r t `B fd.$(Ar7+e\}(X^ 0l1S8X2|s)
CorrGsU(X2;X3) ß%H// ß%z fd ß(Ar7+e sb(X^ 0l1S8X3|s)