HILBERT SCHEMES OF FAT r PLANES AND THE TRIVIALITY OF CHOW GROUPS OF COMPLETE INTERSECTIONS

Description

HILBERT SCHEMES OF FAT r-PLANES AND THE TRIVIALITY OF CHOW GROUPS OF COMPLETE INTERSECTIONS ANDRE HIRSCHOWITZ AND JAYA NN IYER Abstract. In this paper, we investigate the question of triviality of the rational Chow groups of complete intersections in projective spaces and obtain improved bounds for this triviality to hold. Along the way, we study the dimension and nonemptiness of some Hilbert schemes of fat r-planes contained in a complete intersection Y , generalizing well-known results on the Fano varieties of r-planes contained in Y . Contents 1. Introduction 1 2. Strong planes 5 3. Restricted flag-Hilbert schemes 7 4. Fat planes in complete intersections 9 5. Nonemptiness 14 6. Spannedness 18 7. Conclusion and future work 20 References 21 1. Introduction The aim of this paper is to investigate the triviality of the low-dimensional rational Chow groups for certain projective varieties. If Y is a nonsingular complete intersection of multidegree (d1, · · · , ds) in a projective space Pn, and n is sufficiently large with respect to the degrees, it is known that, for small values of r, the rational Chow group QCHr(Y ) := CHr(Y ) ? Q is trivial, namely one-dimensional (generated by the linear sections).

• then


• hilbert schemes


• restricted flag-hilbert


• sufficiently large


• main result


• dimensional

Sujets

• Sufficiently large

Informations

• Publié par: pefav
• Nombre de lectures: 8
• Langue: English

Extrait

HILBERTSCHEMESOFFATr-PLANESANDTHETRIVIALITYOF CHOWGROUPSOFCOMPLETEINTERSECTIONS ANDRE ´ HIRSCHOWITZANDJAYANNIYER Abstract. Inthispaper,weinvestigatethequestionoftrivialityoftherationalChow groupsofcompleteintersectionsinprojectivespacesandobtainimprovedboundsfor thistrivialitytohold.Alongtheway,westudythedimensionandnonemptinessofsome Hilbertschemesoffatr-planescontainedinacompleteintersectionY,generalizing well-knownresultsontheFanovarietiesofr-planescontainedinY. Contents 1.Introduction 2.Strongplanes 3.Restrictedflag-Hilbertschemes 4.Fatplanesincompleteintersections 5.Nonemptiness 6.Spannedness 7.Conclusionandfuturework References 1 5 7 9 41 81 20 12 1. Introduction Theaimofthispaperistoinvestigatethetrivialityofthelow-dimensionalrational Chowgroupsforcertainprojectivevarieties.IfYisanonsingularcompleteintersection ofmultidegree(d 1 , ∙∙∙ ,d s )inaprojectivespace P n ,andnissufficientlylargewith respecttothedegrees,itisknownthat,forsmallvaluesofr,therationalChowgroup QCH r (Y):=CH r (Y) ⊗ Q istrivial,namelyone-dimensional(generatedbythelinear sections).Thepreciseconjecturalboundonthemultidegreesforthetrivialityfollows fromthestudyoftheHodgetypeofthecomplementaryopenvariety P n − Yinitiatedby Deligne[De]andfollowedbyworksofDeligne-Dimca[De-Di]andEsnault-Nori-Srinivas 0 MathematicsClassificationNumber:14C25,14D07,14D22,14F40. 0 Keywords:Completeintersections,Chowgroups,Hilbertschemes. 1

2A.HIRSCHOWITZANDJ.N.IYER [Es],[EsNS].Aformulationoftheconjecturedboundwasmadein[Pa,Conjecture1.9], whichsays: Conjecture1.1.SupposeY ⊂ P n isasmoothcompleteintersectionofmultidegree (d 1 , ∙∙∙ ,d s ),andletrbeanonnegativeinteger.If s X r(max 1 ≤ i ≤ s d i )+d i ≤ n 1=i thenQCH r (Y)istrivial. Thecaseof0-cycleshasbeenhandledbyRoitman[Ro].Concerningageneralcubic hypersurfaceY ⊂ P n ,C.Schoen[Sc]showedthetrivialityQCH 1 (Y) ' Q whenn ≥ 7 andParanjape[Pa]obtainedthesharpboundinthiscaseshowingthetrivialityof1- cycleswhenn ≥ 6.Healsogavethefirstfiniteboundforgeneralcompleteintersections. Lateron,abetterboundwasobtainedbyEsnault,LevineandViehweg: Theorem1.2.[EsLV]WeconsideracompleteintersectionYin P n ofmultidegree (d 1 , ∙∙∙ ,d s ),withd 1 ≥ ... ≥ d s ≥ 2andanintegerrsatisfying X s  d i +r  .n ≤ i=1 r+1 Intheparticularcased 1 =...=d s =2,wesupposefurthermorer<s.Then QCH r 0 (Y) ' Q ,foreachr 0 ≤ r.Intheremainingcasewhered 1 =...=d s =2 ands ≤ r,thesameconclusionasaboveholdsassumingthemodifiedinequality s(r+2) ≤ n − r+s − 1. TheirinequalityisthesharpconditionfortheChowgroupof0-cyclesofthevariety ofr-planesinthegeneralcompleteintersectionYtobetrivial.Hence,astheyclaim, theirboundcannotbeimproved”byonlyconsideringrationalequivalencesofr-planes amongr-planes”. ForYanonsingularhypersurface,animprovedboundhasbeenobtainedbyJ.Lewis [Le2],A.Otwinowska[Ot]. Ourcontributionrecoverstheirboundforhypersurfaces(relaxingthenonsingularity assumption)byacompletelydifferentmethod,andsomehowimprovestheboundof [EsLV]inthehigher-codimensionalcase,aswewillseebelow. Thecentralnotionsinourapproacharethoseoffatandstrongplanes,whichappear atleastimplicitlyin[EsLV],andgobacktoRoitmanforthe0-dimensionalcase.