A geometric version of the circle method

Pages 893-948 from Volume 191 (2020), Issue 3 by Tim Browning, Will Sawin

Abstract

We develop a geometric version of the circle method and use it to compute the compactly supported cohomology of the space of rational curves through a point on a smooth affine hypersurface of sufficiently low degree.

  • [arnold] Go to document V. I. Arnolcprimed, "The cohomology ring of the group of dyed braids," Mat. Zametki, vol. 5, pp. 227-231, 1969.
    @ARTICLE{arnold,
      author = {Arnol{\cprime}d, V. I.},
      title = {The cohomology ring of the group of dyed braids},
      note = {(Russian)},
      journal = {Mat. Zametki},
      fjournal = {Akademiya Nauk SSSR. Matematicheskie Zametki},
      volume = {5},
      year = {1969},
      pages = {227--231},
      issn = {0025-567X},
      mrclass = {57.60},
      mrnumber = {0242196},
      mrreviewer = {K. Teleman},
      doi = {10.1007/BF01098313},
      url = {https://doi.org/10.1007/BF01098313},
      zblnumber = {0277.55002},
      }
  • [sga4-3] Go to document Théorie des topos et cohomologie étale des schémas. Tome 1: Théorie des topos, Artin, M., Grothendieck, A., and Verdier, J. L., Eds., Springer-Verlag, New York, 1972, vol. 269.
    @BOOK{sga4-3, editor={Artin, M. and Grothendieck, A. and Verdier, J. L.},
      title = {Théorie des topos et cohomologie étale des schémas. {T}ome 1: {T}héorie des topos},
      series = {Lecture Notes in Math.},
      volume = {269},
      note = {Séminaire de Géométrie Algébrique du Bois-Marie 1963--1964 (SGA 4); avec la collaboration de N. Bourbaki, P. Deligne et B. Saint-Donat},
      publisher = {Springer-Verlag, New York},
      year = {1972},
      pages = {xix+525},
      mrclass = {14-06},
      mrnumber = {0354652},
      doi = {10.1007/BFb0081551},
      url = {https://doi.org/10.1007/BFb0081551},
      zblnumber = {0234.00007},
      }
  • [Broughton] Go to document S. A. Broughton, "On the topology of polynomial hypersurfaces," in Singularities, Part 1, Amer. Math. Soc., Providence, RI, 1983, vol. 40, pp. 167-178.
    @INCOLLECTION{Broughton,
      author = {Broughton, S. A.},
      title = {On the topology of polynomial hypersurfaces},
      booktitle = {Singularities, {P}art 1},
      venue = {{A}rcata, {C}alif., 1981},
      series = {Proc. Sympos. Pure Math.},
      volume = {40},
      pages = {167--178},
      publisher = {Amer. Math. Soc., Providence, RI},
      year = {1983},
      mrclass = {14F45 (14B05 14D05 57R99)},
      mrnumber = {0713056},
      mrreviewer = {K. Lamotke},
      doi = {10.1090/pspum/040.1},
      url = {https://doi.org/10.1090/pspum/040.1},
      zblnumber = {0526.14010},
      }
  • [BV] Go to document T. D. Browning and P. Vishe, "Rational points on cubic hypersurfaces over $\Bbb{F}_q(t)$," Geom. Funct. Anal., vol. 25, iss. 3, pp. 671-732, 2015.
    @ARTICLE{BV,
      author = {Browning, T. D. and Vishe, P.},
      title = {Rational points on cubic hypersurfaces over {$\Bbb{F}_q(t)$}},
      journal = {Geom. Funct. Anal.},
      fjournal = {Geometric and Functional Analysis},
      volume = {25},
      year = {2015},
      number = {3},
      pages = {671--732},
      issn = {1016-443X},
      mrclass = {11G35 (11D25 11E76 11M38 11P55 11T55 14G05 14G25)},
      mrnumber = {3361770},
      mrreviewer = {D. R. Heath-Brown},
      doi = {10.1007/s00039-015-0328-5},
      url = {https://doi.org/10.1007/s00039-015-0328-5},
      zblnumber = {1326.11031},
      }
  • [BVprime] Go to document T. Browning and P. Vishe, "Rational curves on smooth hypersurfaces of low degree," Algebra Number Theory, vol. 11, iss. 7, pp. 1657-1675, 2017.
    @ARTICLE{BVprime,
      author = {Browning, Tim and Vishe, Pankaj},
      title = {Rational curves on smooth hypersurfaces of low degree},
      journal = {Algebra Number Theory},
      fjournal = {Algebra \& Number Theory},
      volume = {11},
      year = {2017},
      number = {7},
      pages = {1657--1675},
      issn = {1937-0652},
      mrclass = {14H10 (11P55 14G05 14G25 14J70)},
      mrnumber = {3697151},
      mrreviewer = {R. F. Lax},
      doi = {10.2140/ant.2017.11.1657},
      url = {https://doi.org/10.2140/ant.2017.11.1657},
      zblnumber = {06775556},
      }
  • [CEF] Go to document T. Church, J. S. Ellenberg, and B. Farb, "Representation stability in cohomology and asymptotics for families of varieties over finite fields," in Algebraic Topology: Applications and New Directions, Amer. Math. Soc., Providence, RI, 2014, vol. 620, pp. 1-54.
    @INCOLLECTION{CEF,
      author = {Church, Thomas and Ellenberg, Jordan S. and Farb, Benson},
      title = {Representation stability in cohomology and asymptotics for families of varieties over finite fields},
      booktitle = {Algebraic Topology: Applications and New Directions},
      series = {Contemp. Math.},
      volume = {620},
      pages = {1--54},
      publisher = {Amer. Math. Soc., Providence, RI},
      year = {2014},
      mrclass = {14N20 (11T06 14F99 14G15 14L30 20C30 55R80)},
      mrnumber = {3290085},
      mrreviewer = {Anthony Henderson},
      doi = {10.1090/conm/620/12395},
      url = {https://doi.org/10.1090/conm/620/12395},
      zblnumber = {1388.14148},
      }
  • [CS] Go to document I. Coskun and J. Starr, "Rational curves on smooth cubic hypersurfaces," Int. Math. Res. Not. IMRN, iss. 24, pp. 4626-4641, 2009.
    @ARTICLE{CS,
      author = {Coskun, Izzet and Starr, Jason},
      title = {Rational curves on smooth cubic hypersurfaces},
      journal = {Int. Math. Res. Not. IMRN},
      fjournal = {International Mathematics Research Notices. IMRN},
      year = {2009},
      number = {24},
      pages = {4626--4641},
      issn = {1073-7928},
      mrclass = {14H10},
      mrnumber = {2564370},
      mrreviewer = {Scott R. Nollet},
      doi = {10.1093/imrn/rnp102},
      url = {https://doi.org/10.1093/imrn/rnp102},
      zblnumber = {1200.14051},
      }
  • [weili] Go to document P. Deligne, "La conjecture de Weil. I," Inst. Hautes Études Sci. Publ. Math., iss. 43, pp. 273-307, 1974.
    @ARTICLE{weili,
      author = {Deligne, Pierre},
      title = {La conjecture de {W}eil. {I}},
      journal = {Inst. Hautes \'{E}tudes Sci. Publ. Math.},
      fjournal = {Institut des Hautes \'{E}tudes Scientifiques. Publications Mathématiques},
      number = {43},
      year = {1974},
      pages = {273--307},
      issn = {0073-8301},
      mrclass = {14G13},
      mrnumber = {0340258},
      mrreviewer = {Nicholas M. Katz},
      doi = {10.1007/BF02684373},
      url = {https://doi.org/10.1007/BF02684373},
      zblnumber = {0287.14001},
      }
  • [ETW] J. S. Ellenberg, T. Tran, and C. Westerland, Fox–Neuwirth–Fuks cells, quantum shuffle algebras, and Malle’s conjecture for function fields, 2017.
    @MISC{ETW,
      author = {Ellenberg, Jordan S. and Tran, T. and Westerland, C.},
      title = {Fox--{N}euwirth--{F}uks cells, quantum shuffle algebras, and {M}alle's conjecture for function fields},
      note = {submitted},
      year = {2017},
      arxiv = {1701.04541},
      zblnumber = {},
      }
  • [EVW] Go to document J. S. Ellenberg, A. Venkatesh, and C. Westerland, "Homological stability for Hurwitz spaces and the Cohen-Lenstra conjecture over function fields," Ann. of Math. (2), vol. 183, iss. 3, pp. 729-786, 2016.
    @ARTICLE{EVW,
      author = {Ellenberg, Jordan S. and Venkatesh, Akshay and Westerland, Craig},
      title = {Homological stability for {H}urwitz spaces and the {C}ohen-{L}enstra conjecture over function fields},
      journal = {Ann. of Math. (2)},
      fjournal = {Annals of Mathematics. Second Series},
      volume = {183},
      year = {2016},
      number = {3},
      pages = {729--786},
      issn = {0003-486X},
      mrclass = {14H10 (11G25 11R29 14H30 55R80)},
      mrnumber = {3488737},
      mrreviewer = {Benjamin Collas},
      doi = {10.4007/annals.2016.183.3.1},
      url = {https://doi.org/10.4007/annals.2016.183.3.1},
      zblnumber = {1342.14055},
      }
  • [EGAIV] Go to document A. Grothendieck, "Éléments de géométrie algébrique. IV. Étude locale des schémas et des morphismes de schémas. III," Inst. Hautes Études Sci. Publ. Math., iss. 28, p. 255, 1966.
    @ARTICLE{EGAIV,
      author = {Grothendieck, A.},
      title = {\'{E}léments de géométrie algébrique. {IV}. \'{E}tude locale des schémas et des morphismes de schémas. {III}},
      journal = {Inst. Hautes \'{E}tudes Sci. Publ. Math.},
      fjournal = {Institut des Hautes \'{E}tudes Scientifiques. Publications Mathématiques},
      number = {28},
      year = {1966},
      pages = {255},
      issn = {0073-8301},
      mrclass = {14.55},
      mrnumber = {0217086},
      mrreviewer = {J. P. Murre},
      url = {http://www.numdam.org/item?id=PMIHES_1966__28__5_0},
      zblnumber = {0144.19904},
      }
  • [HRS] Go to document J. Harris, M. Roth, and J. Starr, "Rational curves on hypersurfaces of low degree," J. Reine Angew. Math., vol. 571, pp. 73-106, 2004.
    @ARTICLE{HRS,
      author = {Harris, Joe and Roth, Mike and Starr, Jason},
      title = {Rational curves on hypersurfaces of low degree},
      journal = {J. Reine Angew. Math.},
      fjournal = {Journal für die Reine und Angewandte Mathematik. [Crelle's Journal]},
      volume = {571},
      year = {2004},
      pages = {73--106},
      issn = {0075-4102},
      mrclass = {14J70 (14J10 14J45)},
      mrnumber = {2070144},
      mrreviewer = {Jaros\l aw A. Wi\'{s}niewski},
      doi = {10.1515/crll.2004.045},
      url = {https://doi.org/10.1515/crll.2004.045},
      zblnumber = {1052.14027},
      }
  • [hart] Go to document R. Hartshorne, Algebraic Geometry, Springer-Verlag, New York, 1977, vol. 52.
    @BOOK{hart,
      author = {Hartshorne, Robin},
      title = {Algebraic Geometry},
      series = {Grad. Texts in Math.},
      volume = {52},
      publisher = {Springer-Verlag, New York},
      year = {1977},
      pages = {xvi+496},
      isbn = {0-387-90244-9},
      mrclass = {14-01},
      mrnumber = {0463157},
      mrreviewer = {Robert Speiser},
      zblnumber = {0367.14001},
      doi = {10.1007/978-1-4757-3849-0},
      url = {https://doi.org/10.1007/978-1-4757-3849-0},
     }
  • [Hilton] Go to document P. J. Hilton, "On the homotopy groups of the union of spheres," J. London Math. Soc., vol. 30, pp. 154-172, 1955.
    @ARTICLE{Hilton,
      author = {Hilton, P. J.},
      title = {On the homotopy groups of the union of spheres},
      journal = {J. London Math. Soc.},
      fjournal = {The Journal of the London Mathematical Society},
      volume = {30},
      year = {1955},
      pages = {154--172},
      issn = {0024-6107},
      mrclass = {56.0X},
      mrnumber = {0068218},
      mrreviewer = {H. Uehara},
      doi = {10.1112/jlms/s1-30.2.154},
      url = {https://doi.org/10.1112/jlms/s1-30.2.154},
      zblnumber = {0064.17301},
      }
  • [betti] Go to document N. M. Katz, "Sums of Betti numbers in arbitrary characteristic," Finite Fields Appl., vol. 7, iss. 1, pp. 29-44, 2001.
    @ARTICLE{betti,
      author = {Katz, Nicholas M.},
      title = {Sums of {B}etti numbers in arbitrary characteristic},
      note = {dedicated to Professor Chao Ko on the occasion of his 90th birthday},
      journal = {Finite Fields Appl.},
      fjournal = {Finite Fields and their Applications},
      volume = {7},
      year = {2001},
      number = {1},
      pages = {29--44},
      issn = {1071-5797},
      mrclass = {14F25 (14F20 14R05)},
      mrnumber = {1803934},
      mrreviewer = {Jean-Yves \'{E}tesse},
      doi = {10.1006/ffta.2000.0303},
      url = {https://doi.org/10.1006/ffta.2000.0303},
      zblnumber = {1068.14501},
      }
  • [GKSM] Go to document N. M. Katz, Gauss Sums, Kloosterman Sums, and Monodromy Groups, Princeton Univ. Press, Princeton, NJ, 1988, vol. 116.
    @BOOK{GKSM,
      author = {Katz, Nicholas M.},
      title = {Gauss Sums, {K}loosterman Sums, and Monodromy Groups},
      series = {Ann. of Math. Stud.},
      volume = {116},
      publisher = {Princeton Univ. Press, Princeton, NJ},
      year = {1988},
      pages = {x+246},
      isbn = {0-691-08432-7; 0-691-08433-5},
      mrclass = {11G40 (11L05 11T24 14G10 14G15)},
      mrnumber = {0955052},
      mrreviewer = {P. Bayer},
      doi = {10.1515/9781400882120},
      url = {https://doi.org/10.1515/9781400882120},
      zblnumber = {0675.14004},
      }
  • [KatzSarnak] Go to document N. M. Katz and P. Sarnak, Random Matrices, Frobenius Eigenvalues, and Monodromy, Amer. Math. Soc., Providence, RI, 1999, vol. 45.
    @BOOK{KatzSarnak,
      author = {Katz, Nicholas M. and Sarnak, Peter},
      title = {Random Matrices, {F}robenius Eigenvalues, and Monodromy},
      series = {Amer. Math. Soc. Colloq. Publ.},
      volume = {45},
      publisher = {Amer. Math. Soc., Providence, RI},
      year = {1999},
      pages = {xii+419},
      isbn = {0-8218-1017-0},
      mrclass = {11G25 (11M06 11Y35 14D05 14G10 60F99 82B44)},
      mrnumber = {1659828},
      mrreviewer = {Philippe G. Michel},
      doi = {10.1090/coll/045},
      url = {https://doi.org/10.1090/coll/045},
      zblnumber = {0958.11004},
      }
  • [LW] Go to document S. Lang and A. Weil, "Number of points of varieties in finite fields," Amer. J. Math., vol. 76, pp. 819-827, 1954.
    @ARTICLE{LW,
      author = {Lang, Serge and Weil, André},
      title = {Number of points of varieties in finite fields},
      journal = {Amer. J. Math.},
      fjournal = {American Journal of Mathematics},
      volume = {76},
      year = {1954},
      pages = {819--827},
      issn = {0002-9327},
      mrclass = {14.0X},
      mrnumber = {0065218},
      mrreviewer = {B. Segre},
      doi = {10.2307/2372655},
      url = {https://doi.org/10.2307/2372655},
      zblnumber = {0058.27202},
      }
  • [lee] Go to document S. -I. A. Lee, On the applications of the circle method to function fields, and related topics, 2013.
    @MISC{lee,
      author = {Lee, S.-I. A.},
      title = {On the applications of the circle method to function fields, and related topics},
      note = {Ph.D. thesis, Univ. of Bristol},
      year = {2013},
      url = {https://search.proquest.com/docview/1788102153?accountid=13314},
      zblnumber = {},
      }
  • [LehrerSolomon] Go to document G. I. Lehrer and L. Solomon, "On the action of the symmetric group on the cohomology of the complement of its reflecting hyperplanes," J. Algebra, vol. 104, iss. 2, pp. 410-424, 1986.
    @ARTICLE{LehrerSolomon,
      author = {Lehrer, G. I. and Solomon, Louis},
      title = {On the action of the symmetric group on the cohomology of the complement of its reflecting hyperplanes},
      journal = {J. Algebra},
      fjournal = {Journal of Algebra},
      volume = {104},
      year = {1986},
      number = {2},
      pages = {410--424},
      issn = {0021-8693},
      mrclass = {32C40 (20C30 32B30)},
      mrnumber = {0866785},
      mrreviewer = {Hiroaki Terao},
      doi = {10.1016/0021-8693(86)90225-5},
      url = {https://doi.org/10.1016/0021-8693(86)90225-5},
      zblnumber = {0608.20010},
      }
  • [pugin] Go to document T. Pugin, An Algebraic Circle Method, ProQuest LLC, Ann Arbor, MI, 2011.
    @BOOK{pugin,
      author = {Pugin, Thibaut},
      title = {An {A}lgebraic {C}ircle {M}ethod},
      note = {Ph.D. thesis, Columbia Univ.},
      publisher = {ProQuest LLC, Ann Arbor, MI},
      year = {2011},
      pages = {69},
      isbn = {978-1124-70529-3},
      mrclass = {Thesis},
      mrnumber = {2898595},
      url = {http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqdiss&rft_dat=xri:pqdiss:3459830},
      zblnumber = {},
      }
  • [RY] Go to document E. Riedl and D. Yang, "Kontsevich spaces of rational curves on Fano hypersurfaces," J. Reine Angew. Math., vol. 748, pp. 207-225, 2019.
    @ARTICLE{RY,
      author = {Riedl, Eric and Yang, David},
      title = {Kontsevich spaces of rational curves on {F}ano hypersurfaces},
      journal = {J. Reine Angew. Math.},
      fjournal = {Journal für die Reine und Angewandte Mathematik. [Crelle's Journal]},
      volume = {748},
      year = {2019},
      pages = {207--225},
      issn = {0075-4102},
      mrclass = {14N35 (14J10)},
      mrnumber = {3918434},
      mrreviewer = {Xinli Xiao},
      doi = {10.1515/crelle-2016-0027},
      url = {https://doi.org/10.1515/crelle-2016-0027},
      zblnumber = {1410.14026},
      }
  • [segal] Go to document G. Segal, "The topology of spaces of rational functions," Acta Math., vol. 143, iss. 1-2, pp. 39-72, 1979.
    @ARTICLE{segal,
      author = {Segal, Graeme},
      title = {The topology of spaces of rational functions},
      journal = {Acta Math.},
      fjournal = {Acta Mathematica},
      volume = {143},
      year = {1979},
      number = {1-2},
      pages = {39--72},
      issn = {0001-5962},
      mrclass = {55P10 (32C42 81E10)},
      mrnumber = {0533892},
      mrreviewer = {D. B. Fuchs},
      doi = {10.1007/BF02392088},
      url = {https://doi.org/10.1007/BF02392088},
      zblnumber = {0427.55006},
      }
  • [stacks] Go to document relax The Stacks Project Authors, The Stacks project.
    @MISC{stacks, key = {Sta},
      author = {{\relax The Stacks Project Authors}},
      title = {The Stacks project},
      url = {http://stacks.math.columbia.edu/},
      zblnumber = {},
      }
  • [Sullivan] Go to document D. Sullivan, "Infinitesimal computations in topology," Inst. Hautes Études Sci. Publ. Math., iss. 47, pp. 269-331 (1978), 1977.
    @ARTICLE{Sullivan,
      author = {Sullivan, Dennis},
      title = {Infinitesimal computations in topology},
      journal = {Inst. Hautes \'{E}tudes Sci. Publ. Math.},
      fjournal = {Institut des Hautes \'{E}tudes Scientifiques. Publications Mathématiques},
      number = {47},
      year = {1977},
      pages = {269--331 (1978)},
      issn = {0073-8301},
      mrclass = {57D99 (55D99 58A10)},
      mrnumber = {0646078},
      mrreviewer = {J. F. Adams},
      doi = {10.1007/BF02684341},
      url = {https://doi.org/10.1007/BF02684341},
      zblnumber = {0374.57002},
      }

Keywords
, , , ,
DOI
https://doi.org/10.4007/annals.2020.191.3.4
MR
4088353
zbMATH
07190306
Milestones
Received: 28 November 2017
Revised: 8 January 2020
Accepted: 14 February 2020
Published online: 15 April 2020

Authors

Tim Browning

Institute of Science and Technology Austria, Klosterneuburg, Austria

Will Sawin

Department of Mathematics, Columbia University, New York, NY, USA