Shtukas and the Taylor expansion of $L$-functions

Abstract

We define the Heegner–Drinfeld cycle on the moduli stack of Drinfeld Shtukas of rank two with $r$-modifications for an even integer $r$. We prove an identity between (1) the $r$-th central derivative of the quadratic base change $L$-function associated to an everywhere unramified cuspidal automorphic representation $\pi$ of $\mathrm{PGL}_{2}$, and (2)~the self-intersection number of the $\pi$-isotypic component of the Heegner–Drinfeld cycle. This identity can be viewed as a function-field analog of the Waldspurger and Gross–Zagier formula for higher derivatives of $L$-functions.

  • [A] L. V. Ahlfors, Complex Analysis: An Introduction of the Theory of Analytic Functions of One Complex Variable, McGraw-Hill Book Co., New York, 1966.
    @BOOK{A,
      author = {Ahlfors, Lars V.},
      title = {Complex Analysis: {A}n Introduction of the Theory of Analytic Functions of One Complex Variable},
      series = {Second edition},
      publisher = {McGraw-Hill Book Co., New York},
      year = {1966},
      pages = {xiii+317},
      mrclass = {30.00},
      mrnumber = {0188405},
      mrreviewer = {P. Lelong},
      zblnumber = {0154.31904},
      }
  • [BF] Go to document K. Behrend and B. Fantechi, "The intrinsic normal cone," Invent. Math., vol. 128, iss. 1, pp. 45-88, 1997.
    @ARTICLE{BF,
      author = {Behrend, K. and Fantechi, B.},
      title = {The intrinsic normal cone},
      journal = {Invent. Math.},
      fjournal = {Inventiones Mathematicae},
      volume = {128},
      year = {1997},
      number = {1},
      pages = {45--88},
      issn = {0020-9910},
      mrclass = {14F99 (14C15 14D20)},
      mrnumber = {1437495},
      mrreviewer = {Tohru Nakashima},
      doi = {10.1007/s002220050136},
      url = {http://dx.doi.org/10.1007/s002220050136},
      zblnumber = {0909.14006},
      }
  • [CNV] Go to document G. Csordas, T. S. NSorfolk, and R. S. Varga, "The Riemann hypothesis and the Turán inequalities," Trans. Amer. Math. Soc., vol. 296, iss. 2, pp. 521-541, 1986.
    @ARTICLE{CNV,
      author = {Csordas, George and NSorfolk, Timothy S. and Varga, Richard S.},
      title = {The {R}iemann hypothesis and the {T}urán inequalities},
      journal = {Trans. Amer. Math. Soc.},
      fjournal = {Transactions of the American Mathematical Society},
      volume = {296},
      year = {1986},
      number = {2},
      pages = {521--541},
      issn = {0002-9947},
      mrclass = {11M26 (11N30 30D10 30D15)},
      mrnumber = {0846596},
      mrreviewer = {C. Ryavec},
      doi = {10.2307/2000378},
      url = {http://dx.doi.org/10.2307/2000378},
      zblnumber = {0602.30030},
      }
  • [D87] V. G. Drinfelcprimed, "Moduli varieties of $F$-sheaves," Funktsional. Anal. i Prilozhen., vol. 21, iss. 2, pp. 23-41, 1987.
    @ARTICLE{D87,
      author = {Drinfel{\cprime}d, V. G.},
      title = {Moduli varieties of {$F$}-sheaves},
      journal = {Funktsional. Anal. i Prilozhen.},
      fjournal = {Akademiya Nauk SSSR. Funktsional\cprime nyĭAnaliz i ego Prilozheniya},
      volume = {21},
      year = {1987},
      number = {2},
      pages = {23--41},
      issn = {0374-1990},
      mrclass = {11R39 (11F70 11G15 11G18 14F05)},
      mrnumber = {0902291},
      mrreviewer = {Ernst-Wilhelm Zink},
      zblnumber = {0665.12013},
      }
  • [Fulton] Go to document W. Fulton, Intersection Theory, Second ed., Springer-Verlag, Berlin, 1998, vol. 2.
    @BOOK{Fulton,
      author = {Fulton, William},
      title = {Intersection Theory},
      series = {Ergeb. Math. Grenzgeb.},
      volume = {2},
      edition = {Second},
      publisher = {Springer-Verlag, Berlin},
      year = {1998},
      pages = {xiv+470},
      isbn = {3-540-62046-X; 0-387-98549-2},
      mrclass = {14C17 (14-02)},
      mrnumber = {1644323},
      doi = {10.1007/978-1-4612-1700-8},
      url = {http://dx.doi.org/10.1007/978-1-4612-1700-8},
      zblnumber = {0885.14002},
      }
  • [Gillet] Go to document H. Gillet, "Intersection theory on algebraic stacks and $Q$-varieties," in Proceedings of the Luminy Conference on Algebraic $K$-Theory, 1984, pp. 193-240.
    @INPROCEEDINGS{Gillet,
      author = {Gillet, Henri},
      title = {Intersection theory on algebraic stacks and {$Q$}-varieties},
      booktitle = {Proceedings of the {L}uminy Conference on Algebraic {$K$}-Theory},
      venue = {{L}uminy, 1983},
      series = {J. Pure Appl. Algebra},
      volume = {34},
      year = {1984},
      number = {2-3},
      pages = {193--240},
      issn = {0022-4049},
      mrclass = {14C35 (14C17 18F25 19E20)},
      mrnumber = {0772058},
      mrreviewer = {Daniel R. Grayson},
      doi = {10.1016/0022-4049(84)90036-7},
      url = {http://dx.doi.org/10.1016/0022-4049(84)90036-7},
      zblnumber = {0607.14004},
      }
  • [GJ] R. Godement and H. Jacquet, Zeta Functions of Simple Algebras, Springer-Verlag, New York, 1972, vol. 260.
    @BOOK{GJ,
      author = {Godement, Roger and Jacquet, Hervé},
      title = {Zeta Functions of Simple Algebras},
      series = {Lecture Notes in Math.},
      volume = {260},
      publisher = {Springer-Verlag, New York},
      year = {1972},
      pages = {ix+188},
      mrclass = {12A80 (12A65 12A70 12B35 22E55)},
      mrnumber = {0342495},
      mrreviewer = {L. Corwin},
      zblnumber = {0244.12011},
      }
  • [GH] D. Goldfeld and B. Huang, Super-positivity of a family of $L$-functions, 2016.
    @MISC{GH,
      author = {Goldfeld, D. and Huang, B.},
      title = {Super-positivity of a family of {$L$}-functions},
      note = {preprint},
      year = {2016},
      zblnumber = {},
      arXiv = {1612.09359},
      }
  • [GM] Go to document M. Goresky and R. MacPherson, "Intersection homology. II," Invent. Math., vol. 72, iss. 1, pp. 77-129, 1983.
    @ARTICLE{GM,
      author = {Goresky, Mark and MacPherson, Robert},
      title = {Intersection homology. {II}},
      journal = {Invent. Math.},
      fjournal = {Inventiones Mathematicae},
      volume = {72},
      year = {1983},
      number = {1},
      pages = {77--129},
      issn = {0020-9910},
      mrclass = {57N80 (14F10 32C37 55N30)},
      mrnumber = {0696691},
      mrreviewer = {Laurence R. Taylor},
      doi = {10.1007/BF01389130},
      url = {http://dx.doi.org/10.1007/BF01389130},
      zblnumber = {0529.55007},
      }
  • [GZ] Go to document B. H. Gross and D. B. Zagier, "Heegner points and derivatives of $L$-series," Invent. Math., vol. 84, iss. 2, pp. 225-320, 1986.
    @ARTICLE{GZ,
      author = {Gross, Benedict H. and Zagier, Don B.},
      title = {Heegner points and derivatives of {$L$}-series},
      journal = {Invent. Math.},
      fjournal = {Inventiones Mathematicae},
      volume = {84},
      year = {1986},
      number = {2},
      pages = {225--320},
      issn = {0020-9910},
      mrclass = {11G40 (11F11 11G05 14G10)},
      mrnumber = {0833192},
      mrreviewer = {Loren D. Olson},
      doi = {10.1007/BF01388809},
      url = {http://dx.doi.org/10.1007/BF01388809},
      zblnumber = {0608.14019},
      }
  • [J86] Go to document H. Jacquet, "Sur un résultat de Waldspurger," Ann. Sci. École Norm. Sup. (4), vol. 19, iss. 2, pp. 185-229, 1986.
    @ARTICLE{J86,
      author = {Jacquet, Hervé},
      title = {Sur un résultat de {W}aldspurger},
      journal = {Ann. Sci. École Norm. Sup. (4)},
      fjournal = {Annales Scientifiques de l'École Normale Supérieure. Quatrième Série},
      volume = {19},
      year = {1986},
      number = {2},
      pages = {185--229},
      issn = {0012-9593},
      mrclass = {11F70 (22E55)},
      mrnumber = {0868299},
      mrreviewer = {Stephen Gelbart},
      url = {http://www.numdam.org/item?id=ASENS_1986_4_19_2_185_0},
      zblnumber = {0605.10015},
      }
  • [Kresch2] Go to document A. Kresch, "Canonical rational equivalence of intersections of divisors," Invent. Math., vol. 136, iss. 3, pp. 483-496, 1999.
    @ARTICLE{Kresch2,
      author = {Kresch, Andrew},
      title = {Canonical rational equivalence of intersections of divisors},
      journal = {Invent. Math.},
      fjournal = {Inventiones Mathematicae},
      volume = {136},
      year = {1999},
      number = {3},
      pages = {483--496},
      issn = {0020-9910},
      mrclass = {14C17 (14C15 14C25)},
      mrnumber = {1695204},
      mrreviewer = {Aigli Papantonopoulou},
      doi = {10.1007/s002220050317},
      url = {http://dx.doi.org/10.1007/s002220050317},
      zblnumber = {0923.14003},
      }
  • [Kresch] Go to document A. Kresch, "Cycle groups for Artin stacks," Invent. Math., vol. 138, iss. 3, pp. 495-536, 1999.
    @ARTICLE{Kresch,
      author = {Kresch, Andrew},
      title = {Cycle groups for {A}rtin stacks},
      journal = {Invent. Math.},
      fjournal = {Inventiones Mathematicae},
      volume = {138},
      year = {1999},
      number = {3},
      pages = {495--536},
      issn = {0020-9910},
      mrclass = {14A20 (14C17)},
      mrnumber = {1719823},
      mrreviewer = {Burt Totaro},
      doi = {10.1007/s002220050351},
      url = {http://dx.doi.org/10.1007/s002220050351},
      zblnumber = {0938.14003},
      }
  • [VL] V. Lafforgue, Chtoucas pour les groupes réductifs et paramètrisation de langlands globale, 2012.
    @MISC{VL,
      author = {Lafforgue, V.},
      title = {Chtoucas pour les groupes réductifs et paramètrisation de langlands globale},
      year = {2012},
      arxiv = {1209.5352},
      zblnumber = {},
      }
  • [LR] E. Lapid and S. Rallis, "On the nonnegativity of $L({1\over2},\pi)$ for ${ SO}_{2n+1}$," Ann. of Math. (2), vol. 157, iss. 3, pp. 891-917, 2003.
    @ARTICLE{LR,
      author = {Lapid, Erez and Rallis, Stephen},
      title = {On the nonnegativity of {$L({1\over2},
     \pi)$} for {${\rm SO}_{2n+1}$}},
      journal = {Ann. of Math. (2)},
      fjournal = {Annals of Mathematics. Second Series},
      volume = {157},
      year = {2003},
      number = {3},
      pages = {891--917},
      issn = {0003-486X},
      mrclass = {11F67 (11F70 22E55)},
      mrnumber = {1983784},
      mrreviewer = {Henry H. Kim},
      zblnumber = {1067.11026},
      }
  • [LO] Go to document Y. Laszlo and M. Olsson, "The six operations for sheaves on Artin stacks. II. Adic coefficients," Publ. Math. Inst. Hautes Études Sci., iss. 107, pp. 169-210, 2008.
    @ARTICLE{LO,
      author = {Laszlo, Yves and Olsson, Martin},
      title = {The six operations for sheaves on {A}rtin stacks. {II}. {A}dic coefficients},
      journal = {Publ. Math. Inst. Hautes Études Sci.},
      fjournal = {Publications Mathématiques. Institut de Hautes Études Scientifiques},
      number = {107},
      year = {2008},
      pages = {169--210},
      issn = {0073-8301},
      mrclass = {14A20 (14F05)},
      mrnumber = {2434693},
      mrreviewer = {Charles D. Cadman},
      doi = {10.1007/s10240-008-0012-5},
      url = {http://dx.doi.org/10.1007/s10240-008-0012-5},
      zblnumber = {1191.14003},
      }
  • [Laumon] Go to document G. Laumon, "Correspondance de Langlands géométrique pour les corps de fonctions," Duke Math. J., vol. 54, iss. 2, pp. 309-359, 1987.
    @ARTICLE{Laumon,
      author = {Laumon, Gérard},
      title = {Correspondance de {L}anglands géométrique pour les corps de fonctions},
      journal = {Duke Math. J.},
      fjournal = {Duke Mathematical Journal},
      volume = {54},
      year = {1987},
      number = {2},
      pages = {309--359},
      issn = {0012-7094},
      mrclass = {11R39 (11G45 14D20 22E55)},
      mrnumber = {0899400},
      mrreviewer = {Jean-Luc Brylinski},
      doi = {10.1215/S0012-7094-87-05418-4},
      url = {http://dx.doi.org/10.1215/S0012-7094-87-05418-4},
      zblnumber = {0662.12013},
      }
  • [BBD] A. A. Beuilinson, J. Bernstein, and P. Deligne, "Faisceaux pervers," in Analysis and Topology on Singular Spaces, I, Soc. Math. France, Paris, 1982, vol. 100, pp. 5-171.
    @INCOLLECTION{BBD,
      author = {Beĭlinson, A. A. and Bernstein, J. and Deligne, P.},
      title = {Faisceaux pervers},
      booktitle = {Analysis and Topology on Singular Spaces, {I}},
      venue = {{L}uminy, 1981},
      series = {Astérisque},
      volume = {100},
      pages = {5--171},
      publisher = {Soc. Math. France, Paris},
      year = {1982},
      mrclass = {32C38},
      mrnumber = {0751966},
      mrreviewer = {Zoghman Mebkhout},
      zblnumber = {0536.14011},
      }
  • [NgoH] Go to document B. C. Ngô, "Fibration de Hitchin et endoscopie," Invent. Math., vol. 164, iss. 2, pp. 399-453, 2006.
    @ARTICLE{NgoH,
      author = {Ngô, Bao Châu},
      title = {Fibration de {H}itchin et endoscopie},
      journal = {Invent. Math.},
      fjournal = {Inventiones Mathematicae},
      volume = {164},
      year = {2006},
      number = {2},
      pages = {399--453},
      issn = {0020-9910},
      mrclass = {14D20 (11F72 11R39 22E55)},
      mrnumber = {2218781},
      mrreviewer = {Ulrich GÂ\P rtz},
      doi = {10.1007/s00222-005-0483-7},
      url = {http://dx.doi.org/10.1007/s00222-005-0483-7},
      zblnumber = {1098.14023},
      }
  • [Ngo] Go to document B. C. Ngô, "Le lemme fondamental pour les algèbres de Lie," Publ. Math. Inst. Hautes Études Sci., iss. 111, pp. 1-169, 2010.
    @ARTICLE{Ngo,
      author = {Ngô, Bao Châu},
      title = {Le lemme fondamental pour les algèbres de {L}ie},
      journal = {Publ. Math. Inst. Hautes Études Sci.},
      fjournal = {Publications Mathématiques. Institut de Hautes Études Scientifiques},
      number = {111},
      year = {2010},
      pages = {1--169},
      issn = {0073-8301},
      mrclass = {22E35 (11S37 14D23 14G35 22E50)},
      mrnumber = {2653248},
      mrreviewer = {R. P. Langlands},
      doi = {10.1007/s10240-010-0026-7},
      url = {http://dx.doi.org/10.1007/s10240-010-0026-7},
      zblnumber = {1200.22011},
      doi = {10.1007/s10240-010-0026-7},
      }
  • [Sa] P. Sarnak, Letter to E. Bachmat on positive definite L-functions, 2011.
    @misc{Sa,
      author={Sarnak, Peter},
      title={Letter to {E}. {B}achmat on positive definite {L}-functions},
      year={2011},
      }
  • [SZ] Go to document H. M. Stark and D. Zagier, "A property of $L$-functions on the real line," J. Number Theory, vol. 12, iss. 1, pp. 49-52, 1980.
    @ARTICLE{SZ,
      author = {Stark, H. M. and Zagier, D.},
      title = {A property of {$L$}-functions on the real line},
      journal = {J. Number Theory},
      fjournal = {Journal of Number Theory},
      volume = {12},
      year = {1980},
      number = {1},
      pages = {49--52},
      issn = {0022-314X},
      mrclass = {10H08},
      mrnumber = {0566867},
      mrreviewer = {Paula A. Kemp},
      doi = {10.1016/0022-314X(80)90071-2},
      url = {http://dx.doi.org/10.1016/0022-314X(80)90071-2},
      zblnumber = {0428.10021},
      }
  • [Va] Go to document Y. Varshavsky, "Moduli spaces of principal $F$-bundles," Selecta Math. (N.S.), vol. 10, iss. 1, pp. 131-166, 2004.
    @ARTICLE{Va,
      author = {Varshavsky, Yakov},
      title = {Moduli spaces of principal {$F$}-bundles},
      journal = {Selecta Math. (N.S.)},
      fjournal = {Selecta Mathematica. New Series},
      volume = {10},
      year = {2004},
      number = {1},
      pages = {131--166},
      issn = {1022-1824},
      mrclass = {14G35 (11F70 11G45 11R39 14H60)},
      mrnumber = {2061225},
      mrreviewer = {Igor Yu. Potemine},
      doi = {10.1007/s00029-004-0343-0},
      url = {http://dx.doi.org/10.1007/s00029-004-0343-0},
      zblnumber = {1070.14026},
      }
  • [Var] Go to document Y. Varshavsky, "Lefschetz-Verdier trace formula and a generalization of a theorem of Fujiwara," Geom. Funct. Anal., vol. 17, iss. 1, pp. 271-319, 2007.
    @ARTICLE{Var,
      author = {Varshavsky, Yakov},
      title = {Lefschetz-{V}erdier trace formula and a generalization of a theorem of {F}ujiwara},
      journal = {Geom. Funct. Anal.},
      fjournal = {Geometric and Functional Analysis},
      volume = {17},
      year = {2007},
      number = {1},
      pages = {271--319},
      issn = {1016-443X},
      mrclass = {14F20 (11G25)},
      mrnumber = {2306659},
      mrreviewer = {TamÂ!`s Szamuely},
      doi = {10.1007/s00039-007-0596-9},
      url = {http://dx.doi.org/10.1007/s00039-007-0596-9},
      zblnumber = {1131.14019},
      }
  • [Vistoli] Go to document A. Vistoli, "Intersection theory on algebraic stacks and on their moduli spaces," Invent. Math., vol. 97, iss. 3, pp. 613-670, 1989.
    @ARTICLE{Vistoli,
      author = {Vistoli, Angelo},
      title = {Intersection theory on algebraic stacks and on their moduli spaces},
      journal = {Invent. Math.},
      fjournal = {Inventiones Mathematicae},
      volume = {97},
      year = {1989},
      number = {3},
      pages = {613--670},
      issn = {0020-9910},
      mrclass = {14C17 (14A20 14D20)},
      mrnumber = {1005008},
      mrreviewer = {Steven E. Landsburg},
      doi = {10.1007/BF01388892},
      url = {http://dx.doi.org/10.1007/BF01388892},
      zblnumber = {0694.14001},
      }
  • [W] Go to document J. -L. Waldspurger, "Sur les valeurs de certaines fonctions $L$ automorphes en leur centre de symétrie," Compositio Math., vol. 54, iss. 2, pp. 173-242, 1985.
    @ARTICLE{W,
      author = {Waldspurger, J.-L.},
      title = {Sur les valeurs de certaines fonctions {$L$} automorphes en leur centre de symétrie},
      journal = {Compositio Math.},
      fjournal = {Compositio Mathematica},
      volume = {54},
      year = {1985},
      number = {2},
      pages = {173--242},
      issn = {0010-437X},
      mrclass = {11F70 (11F67 22E55)},
      mrnumber = {0783511},
      mrreviewer = {Stephen Gelbart},
      url = {http://www.numdam.org/item?id=CM_1985__54_2_173_0},
      zblnumber = {0567.10021},
      }
  • [YZZ] X. Yuan, S. Zhang, and W. Zhang, The Gross-Zagier Formula on Shimura Curves, Princeton Univ. Press, Princeton, NJ, 2013, vol. 184.
    @BOOK{YZZ,
      author = {Yuan, Xinyi and Zhang, Shou-Wu and Zhang, Wei},
      title = {The {G}ross-{Z}agier Formula on {S}himura Curves},
      series = {Ann. of Math. Stud.},
      volume = {184},
      publisher = {Princeton Univ. Press, Princeton, NJ},
      year = {2013},
      pages = {x+256},
      isbn = {978-0-691-15592-0},
      mrclass = {11G18 (11F70 14G35)},
      mrnumber = {3237437},
      mrreviewer = {Ernest Hunter Brooks},
      zblnumber = {1272.11082},
      }
  • [Y11] Z. Yun, An arithmetic fundamental lemma for function fields, 2011.
    @MISC{Y11,
      author = {Yun, Zhiwei},
      title = {An arithmetic fundamental lemma for function fields},
      year = {2011},
      note = {preprint},
      zblnumber = {},
      }
  • [Y-FL] Go to document Z. Yun, "The fundamental lemma of Jacquet and Rallis," Duke Math. J., vol. 156, iss. 2, pp. 167-227, 2011.
    @ARTICLE{Y-FL,
      author = {Yun, Zhiwei},
      title = {The fundamental lemma of {J}acquet and {R}allis},
      note = {With an appendix by Julia Gordon},
      journal = {Duke Math. J.},
      fjournal = {Duke Mathematical Journal},
      volume = {156},
      year = {2011},
      number = {2},
      pages = {167--227},
      issn = {0012-7094},
      mrclass = {22E35 (17B45)},
      mrnumber = {2769216},
      mrreviewer = {Anne-Marie H. Aubert},
      doi = {10.1215/00127094-2010-210},
      url = {http://dx.doi.org/10.1215/00127094-2010-210},
      zblnumber = {1211.14039},
      }
  • [Z12] Go to document W. Zhang, "On arithmetic fundamental lemmas," Invent. Math., vol. 188, iss. 1, pp. 197-252, 2012.
    @ARTICLE{Z12,
      author = {Zhang, Wei},
      title = {On arithmetic fundamental lemmas},
      journal = {Invent. Math.},
      fjournal = {Inventiones Mathematicae},
      volume = {188},
      year = {2012},
      number = {1},
      pages = {197--252},
      issn = {0020-9910},
      mrclass = {11G18},
      mrnumber = {2897697},
      mrreviewer = {Fabrizio Andreatta},
      doi = {10.1007/s00222-011-0348-1},
      url = {http://dx.doi.org/10.1007/s00222-011-0348-1},
      zblnumber = {1247.14031},
      }
  • [Z14] Go to document W. Zhang, "Automorphic period and the central value of Rankin-Selberg $L$-function," J. Amer. Math. Soc., vol. 27, iss. 2, pp. 541-612, 2014.
    @ARTICLE{Z14,
      author = {Zhang, Wei},
      title = {Automorphic period and the central value of {R}ankin-{S}elberg {$L$}-function},
      journal = {J. Amer. Math. Soc.},
      fjournal = {Journal of the American Mathematical Society},
      volume = {27},
      year = {2014},
      number = {2},
      pages = {541--612},
      issn = {0894-0347},
      mrclass = {11F67 (11F70 11G40 22E55)},
      mrnumber = {3164988},
      mrreviewer = {Neven Grbac},
      doi = {10.1090/S0894-0347-2014-00784-0},
      url = {http://dx.doi.org/10.1090/S0894-0347-2014-00784-0},
      zblnumber = {1294.11069},
      }

Authors

Zhiwei Yun

Yale University, New Haven, CT

Wei Zhang

Columbia University, New York, NY

Current address:

Massachusetts Institute of Technology, Cambridge, MA