; TeX output 2011.06.30:1559 f荠O6html: html:t
덑
html: html:* c N cmbx12INCOMPRESSIBILITYٚOFOR THOGONALGRASSMANNIANS pK`y
cmr10NIKIT*AUUA.KARPENKO $ -
cmcsc10Abstract.\`W*eÀprovethefollowingconjectureduetoBryantMathews(2008).A+Let
b>
cmmi10QbGe $ theqorthogonalqgrassmannianoftotallyisotropici-planesofanon-degeneratequadratic$ form
qxover anarbitraryeld(whereiisanintegersatisfying1
!",
cmsy10i(dimUVq[ٲ)=2).If$ the{degreeofeach{closedpGointonQisdivisible{by2^ 0er cmmi7iPandtheWittindex{ofqݲoverthe$ functionUUeldofQisequaltoi,thenthevqarietyQis2-incompressible._ XQ cmr12Theoremvhtml:7 html:,%iprorvedbSelow,%ihasbSeenconjecturedintheuPh.D.thesis[html:12 html:,page24](a preprinrtwiththeconjectureappSearedoneyearearlier). WVeGstartwithsomedevrelopmentGoftheGtheoryofcanonicaldimensionofgeneralpro-jectivreKrhomogeneousvXarietiesKs(whichmightbSeofKsindependenrtinterest).[>WVeKsxaprime#g cmmi12p.Let8G9bSeasemisimpleanealgebraicgrouporver8aeldFsucrhthatG$2 cmmi8E5isofin-ner.trypSe.forsomenitegaloiseldextensionE =FХofdegreeapSorwer.ofp(E1D=}-FХisallorwed).WLetkX\bSeapro jectivreG-homogeneousFƹ-vXarietyV.WWekrefertok
[html:5 html:]foradenitionanddiscussionofthenotionof2@ cmti12cffanonical#p-dimensioncdimAp$qX͝ofX .
5ActuallyV,vcanon-icalwp-dimensionisdenedintheconrtextofxmoregeneralalgebraicvXarieties.MFVoranyirreducibleЃsmoSothЄpro jectivrevXarietyX , cdim#p$~XistheЄminimaldimensionofaclosedsubrvXariety+Y&!",
cmsy10Xڮwith,a0-cycleofp-coprimedegreeonYF.:!|{Y cmr8(X )IP.4iRecallthatasmoSothpro jectivreX+isp-incffompressible,ifitisirreducibleandcdimПp#+XFչ=URdimX . html: html:Prop` ositionl1.3For#dUR:=cdim#zp"X ,&therffe#existacycleclassh2URCHxdMXF.:(X )m'(overFƹ(X ))of%cffodimension%dandacycleclass2KCHadAFX+(overF)ofdimensiondsuchthatthedeffgree35oftheprffoduct35F.:(X )Fisnotdivisiblebyp.9Prffoof.#RWVe
usetheChorwmotiveswithcoSecientsin/
msbm10Fp:=URZ=pZ(asdenedin[html:3 html:,0ChapterXISI])andwriteChfortheChorwgroupCH modulop. Let.U@(X ).bSetheuppffermotivreofX .|Bydenition,?~U@(X)is.adirectsummandoftheR|motivre_TM@(X )ofXPsuchthatChb؟W0"U@(X )6=0.By_T[html:5 html:,|Theorem5.1andPropSosition5.2],U@(X )isalsoadirectsummandofM(X )(d m),wheremUR:=dimX.8ThecompSositionK tM@(X )UR!U(X )!M(X )(d m)-isgivrenbyacorrespSondencefQ2URChX֟Wd8~(X+X );thecomposition tM@(X )(d m)UR!U(X )!M(X )iswgivrenwbyacorrespSondencegg?2Chd3(XsX ). Thecompositionwofcorrespondences gfQ2URChX֟m](XqhX )ոisaչpro jectoronX