On the averaged Colmez conjecture

Abstract

The Colmez conjecture is a formula expressing the Faltings height of an abelian variety with complex multiplication in terms of some linear combination of logarithmic derivatives of Artin $L$-functions. The aim of this paper to prove an averaged version of the conjecture, which was also proposed by Colmez.

  • [An] Go to document G. W. Anderson, "Logarithmic derivatives of Dirichlet $L$-functions and the periods of abelian varieties," Compositio Math., vol. 45, iss. 3, pp. 315-332, 1982.
    @ARTICLE{An,
      author = {Anderson, Greg W.},
      title = {Logarithmic derivatives of {D}irichlet {$L$}-functions and the periods of abelian varieties},
      journal = {Compositio Math.},
      fjournal = {Compositio Mathematica},
      volume = {45},
      year = {1982},
      number = {3},
      pages = {315--332},
      issn = {0010-437X},
      mrclass = {10D25 (12A70 14G10 14G20 14K22)},
      mrnumber = {0656608},
      mrreviewer = {David Goss},
      url = {http://www.numdam.org/item?id=CM_1982__45_3_315_0},
      zblnumber = {0501.14025},
      }
  • [AGHM18] Go to document F. Andréatta, E. Goren, B. Howard, and K. Madapusi-Pera, "Faltings heights of abelian varieties with complex multiplication," Ann. of Math., vol. 187, iss. 2, pp. 391-531, 2018.
    @ARTICLE{AGHM18,
      author = {Andréatta, F. and Goren, E. and Howard, B. and Madapusi-Pera, K.},
      title = {Faltings heights of abelian varieties with complex multiplication},
      journal = {Ann. of Math.},
      volume = {187},
      number = {2},
      pages = {391--531},
      doi = {10.4007/annals.2018.187.2.3},
      year = {2018},
      zblnumber = {},
      }
  • [BC] J. -F. Boutot and H. Carayol, "Uniformisation $p$-adique des courbes de Shimura: les théorèmes de Čerednik et de Drinfel\cprime d," Astérisque, iss. 196-197, p. 7, 45-158 (1992), 1991.
    @ARTICLE{BC,
      author = {Boutot, J.-F. and Carayol, H.},
      title = {Uniformisation {$p$}-adique des courbes de {S}himura: les théorèmes de Čerednik et de {D}rinfel\cprime d},
      note = {Courbes modulaires et courbes de Shimura (Orsay, 1987/1988)},
      journal = {Astérisque},
      fjournal = {Astérisque},
      number = {196-197},
      year = {1991},
      pages = {7, 45--158 (1992)},
      issn = {0303-1179},
      mrclass = {11G18 (14G20 14G35)},
      mrnumber = {1141456},
      mrreviewer = {Min Ho Lee},
      zblnumber = {0781.14010},
      }
  • [Ca] Go to document H. Carayol, "Sur la mauvaise réduction des courbes de Shimura," Compositio Math., vol. 59, iss. 2, pp. 151-230, 1986.
    @ARTICLE{Ca,
      author = {Carayol, Henri},
      title = {Sur la mauvaise réduction des courbes de {S}himura},
      journal = {Compositio Math.},
      fjournal = {Compositio Mathematica},
      volume = {59},
      year = {1986},
      number = {2},
      pages = {151--230},
      issn = {0010-437X},
      mrclass = {11G18 (11G15 14H25 14K22)},
      mrnumber = {0860139},
      mrreviewer = {Ernst-Ulrich Gekeler},
      url = {http://www.numdam.org/item?id=CM_1986__59_2_151_0},
      zblnumber = {0607.14021},
      }
  • [Ce] Go to document I. V. Cherednik, "Towers of algebraic curves that can be uniformized by discrete subgroups of ${ PGL}_{2}(k_{w})\times E$," Mat. Sb. (N.S.), vol. 99(141), iss. 2, pp. 211-247, 296, 1976.
    @ARTICLE{Ce,
      author = {Cherednik, I. V.},
      title = {Towers of algebraic curves that can be uniformized by discrete subgroups of {${\rm PGL}\sb{2}(k\sb{w})\times E$}},
      journal = {Mat. Sb. (N.S.)},
      volume = {99(141)},
      year = {1976},
      number = {2},
      pages = {211--247, 296},
      mrclass = {14G25 (10D10)},
      mrnumber = {0506278},
      mrreviewer = {Author's review},
      zblnumber = {0329.14014},
      doi = {10.1070/SM1976v028n02ABEH001647},
      }
  • [CS] Go to document A. Selberg and S. Chowla, "On Epstein’s zeta-function," J. Reine Angew. Math., vol. 227, pp. 86-110, 1967.
    @ARTICLE{CS,
      author = {Selberg, Atle and Chowla, S.},
      title = {On {E}pstein's zeta-function},
      journal = {J. Reine Angew. Math.},
      fjournal = {Journal für die Reine und Angewandte Mathematik},
      volume = {227},
      year = {1967},
      pages = {86--110},
      issn = {0075-4102},
      mrclass = {10.41},
      mrnumber = {0215797},
      mrreviewer = {E. Grosswald},
      doi = {10.1515/crll.1967.227.86},
      zblnumber = {0166.05204},
      }
  • [Co] Go to document P. Colmez, "Périodes des variétés abéliennes à multiplication complexe," Ann. of Math. (2), vol. 138, iss. 3, pp. 625-683, 1993.
    @ARTICLE{Co,
      author = {Colmez, Pierre},
      title = {Périodes des variétés abéliennes à multiplication complexe},
      journal = {Ann. of Math. (2)},
      fjournal = {Annals of Mathematics. Second Series},
      volume = {138},
      year = {1993},
      number = {3},
      pages = {625--683},
      issn = {0003-486X},
      mrclass = {14K22 (11R42 14F30 14L05)},
      mrnumber = {1247996},
      mrreviewer = {Greg W. Anderson},
      doi = {10.2307/2946559},
      zblnumber = {0826.14028},
      }
  • [De] Go to document P. Deligne, "Travaux de Shimura," Lecture Notes in Math., vol. 244, pp. 123-165, 1971.
    @ARTICLE{De,
      author = {Deligne, Pierre},
      title = {Travaux de {S}himura},
      booktitle = {Séminaire {B}ourbaki, 23ème année (1970/71), {E}xp. {N}o. 389},
      pages = {123--165},
      journal = {Lecture Notes in Math.},
      fjournal = {Lecture Notes in Mathematics},
      volume = {244},
      publisher = {Springer, Berlin},
      year = {1971},
      mrclass = {14G25 (10D25 14K15)},
      mrnumber = {0498581},
      mrreviewer = {Author's review},
      zblnumber = {0225.14007},
      url = {http://www.numdam.org/item?id=SB_1970-1971__13__123_0},
      }
  • [Fa] Go to document G. Faltings, "Endlichkeitssätze für abelsche Varietäten über Zahlkörpern," Invent. Math., vol. 73, iss. 3, pp. 349-366, 1983.
    @ARTICLE{Fa,
      author = {Faltings, G.},
      title = {Endlichkeitssätze für abelsche {V}arietäten über {Z}ahlkörpern},
      journal = {Invent. Math.},
      fjournal = {Inventiones Mathematicae},
      volume = {73},
      year = {1983},
      number = {3},
      pages = {349--366},
      issn = {0020-9910},
      mrclass = {11D41 (11G30 14G25)},
      mrnumber = {0718935},
      mrreviewer = {James Milne},
      doi = {10.1007/BF01388432},
      zblnumber = {0588.14026},
      }
  • [Gr1] Go to document B. H. Gross, "On canonical and quasicanonical liftings," Invent. Math., vol. 84, iss. 2, pp. 321-326, 1986.
    @ARTICLE{Gr1,
      author = {Gross, Benedict H.},
      title = {On canonical and quasicanonical liftings},
      journal = {Invent. Math.},
      fjournal = {Inventiones Mathematicae},
      volume = {84},
      year = {1986},
      number = {2},
      pages = {321--326},
      issn = {0020-9910},
      mrclass = {14L05 (11S31 14H25)},
      mrnumber = {0833193},
      mrreviewer = {K. Shiratani},
      doi = {10.1007/BF01388810},
      zblnumber = {0597.14044},
      }
  • [Gr2] Go to document B. H. Gross, "On the periods of abelian integrals and a formula of Chowla and Selberg," Invent. Math., vol. 45, iss. 2, pp. 193-211, 1978.
    @ARTICLE{Gr2,
      author = {Gross, Benedict H.},
      title = {On the periods of abelian integrals and a formula of {C}howla and {S}elberg},
      note = {With an appendix by David E. Rohrlich},
      journal = {Invent. Math.},
      fjournal = {Inventiones Mathematicae},
      volume = {45},
      year = {1978},
      number = {2},
      pages = {193--211},
      issn = {0020-9910},
      mrclass = {14K22 (14K15 33A25)},
      mrnumber = {0480542},
      mrreviewer = {Neal Koblitz},
      doi = {10.1007/BF01390273},
      zblnumber = {0418.14023},
      }
  • [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},
      zblnumber = {0608.14019},
      }
  • [Il] L. Illusie, "Déformations de groupes de Barsotti-Tate (d’après A. Grothendieck)," Astérisque, iss. 127, pp. 151-198, 1985.
    @ARTICLE{Il,
      author = {Illusie, Luc},
      title = {Déformations de groupes de {B}arsotti-{T}ate (d'après {A}. {G}rothendieck)},
      note = {Seminar on arithmetic bundles: the Mordell conjecture (Paris, 1983/84)},
      journal = {Astérisque},
      fjournal = {Astérisque},
      number = {127},
      year = {1985},
      pages = {151--198},
      issn = {0303-1179},
      mrclass = {14L05 (11G07 11G10 11S31)},
      mrnumber = {0801922},
      zblnumber = {1182.14050},
      }
  • [Kim] Go to document W. Kim, "The classification of $p$-divisible groups over 2-adic discrete valuation rings," Math. Res. Lett., vol. 19, iss. 1, pp. 121-141, 2012.
    @ARTICLE{Kim,
      author = {Kim, Wansu},
      title = {The classification of {$p$}-divisible groups over 2-adic discrete valuation rings},
      journal = {Math. Res. Lett.},
      fjournal = {Mathematical Research Letters},
      volume = {19},
      year = {2012},
      number = {1},
      pages = {121--141},
      issn = {1073-2780},
      mrclass = {14L15 (11S20 14F30)},
      mrnumber = {2923180},
      mrreviewer = {Marc-Hubert Nicole},
      doi = {10.4310/MRL.2012.v19.n1.a10},
      zblnumber = {1284.14056},
      }
  • [Ki1] Go to document M. Kisin, "Crystalline representations and $F$-crystals," in Algebraic Geometry and Number Theory, Birkhäuser Boston, Boston, MA, 2006, vol. 253, pp. 459-496.
    @INCOLLECTION{Ki1,
      author = {Kisin, Mark},
      title = {Crystalline representations and {$F$}-crystals},
      booktitle = {Algebraic Geometry and Number Theory},
      series = {Progr. Math.},
      volume = {253},
      pages = {459--496},
      publisher = {Birkhäuser Boston, Boston, MA},
      year = {2006},
      mrclass = {11S20 (14F30)},
      mrnumber = {2263197},
      mrreviewer = {Martin C. Olsson},
      doi = {10.1007/978-0-8176-4532-8_7},
      zblnumber = {1184.11052},
      }
  • [Ki2] Go to document M. Kisin, "Integral models for Shimura varieties of abelian type," J. Amer. Math. Soc., vol. 23, iss. 4, pp. 967-1012, 2010.
    @ARTICLE{Ki2,
      author = {Kisin, Mark},
      title = {Integral models for {S}himura varieties of abelian type},
      journal = {J. Amer. Math. Soc.},
      fjournal = {Journal of the American Mathematical Society},
      volume = {23},
      year = {2010},
      number = {4},
      pages = {967--1012},
      issn = {0894-0347},
      mrclass = {11G18 (14G35)},
      mrnumber = {2669706},
      mrreviewer = {Jeffrey D. Achter},
      doi = {10.1090/S0894-0347-10-00667-3},
      zblnumber = {1280.11033},
      }
  • [La] Go to document E. Lau, "Relations between Dieudonné displays and crystalline Dieudonné theory," Algebra Number Theory, vol. 8, iss. 9, pp. 2201-2262, 2014.
    @ARTICLE{La,
      author = {Lau, Eike},
      title = {Relations between {D}ieudonné displays and crystalline {D}ieudonné theory},
      journal = {Algebra Number Theory},
      fjournal = {Algebra \& Number Theory},
      volume = {8},
      year = {2014},
      number = {9},
      pages = {2201--2262},
      issn = {1937-0652},
      mrclass = {14L05 (14F30)},
      mrnumber = {3294388},
      mrreviewer = {Alexander Boris Ivanov},
      doi = {10.2140/ant.2014.8.2201},
      zblnumber = {1308.14046},
      }
  • [Li] Go to document T. Liu, "The correspondence between Barsotti-Tate groups and Kisin modules when $p=2$," J. Théor. Nombres Bordeaux, vol. 25, iss. 3, pp. 661-676, 2013.
    @ARTICLE{Li,
      author = {Liu, Tong},
      title = {The correspondence between {B}arsotti-{T}ate groups and {K}isin modules when {$p=2$}},
      journal = {J. Théor. Nombres Bordeaux},
      fjournal = {Journal de Théorie des Nombres de Bordeaux},
      volume = {25},
      year = {2013},
      number = {3},
      pages = {661--676},
      issn = {1246-7405},
      mrclass = {14L05 (14L15)},
      mrnumber = {3179680},
      mrreviewer = {Alan Koch},
      url = {http://jtnb.cedram.org/item?id=JTNB_2013__25_3_661_0},
      zblnumber = {1327.14206},
      }
  • [Me] Go to document W. Messing, The Crystals Associated to Barsotti-Tate Groups: with Applications to Abelian Schemes, Springer-Verlag, Berlin, 1972, vol. 264.
    @BOOK{Me,
      author = {Messing, William},
      title = {The Crystals Associated to {B}arsotti-{T}ate Groups: with Applications to Abelian Schemes},
      series = {Lect. Notes in Math.},
      volume = {264},
      publisher = {Springer-Verlag, Berlin},
      year = {1972},
      pages = {iii+190},
      mrclass = {14L05 (14B20 14D15 14F30 14K10)},
      mrnumber = {0347836},
      mrreviewer = {F. Oort},
      zblnumber = {0243.14013},
      doi = {10.1007/BFb0058301},
      }
  • [Ob] Go to document A. Obus, "On Colmez’s product formula for periods of CM-abelian varieties," Math. Ann., vol. 356, iss. 2, pp. 401-418, 2013.
    @ARTICLE{Ob,
      author = {Obus, Andrew},
      title = {On {C}olmez's product formula for periods of {CM}-abelian varieties},
      journal = {Math. Ann.},
      fjournal = {Mathematische Annalen},
      volume = {356},
      year = {2013},
      number = {2},
      pages = {401--418},
      issn = {0025-5831},
      mrclass = {14K15 (11G15 11G20 14K22)},
      mrnumber = {3048601},
      mrreviewer = {Fumio Hazama},
      doi = {10.1007/s00208-012-0855-4},
      zblnumber = {1357.11059},
      }
  • [Ra] Go to document M. Raynaud, "Schémas en groupes de type $(p,\dots, p)$," Bull. Soc. Math. France, vol. 102, pp. 241-280, 1974.
    @ARTICLE{Ra,
      author = {Raynaud, Michel},
      title = {Schémas en groupes de type {$(p,\dots, p)$}},
      journal = {Bull. Soc. Math. France},
      fjournal = {Bulletin de la Société Mathématique de France},
      volume = {102},
      year = {1974},
      pages = {241--280},
      issn = {0037-9484},
      mrclass = {14L20 (14L25)},
      mrnumber = {0419467},
      mrreviewer = {F. Oort},
      url = {http://www.numdam.org/item?id=BSMF_1974__102__241_0},
      zblnumber = {0325.14020},
      }
  • [SGA7] Go to document Groupes de monodromie en géométrie algébrique. I, Grothendieck, A., Raynaud, M., and Rim, D. S., Eds., Springer-Verlag, Berlin-New York, 1972, vol. 288.
    @BOOK{SGA7, editor = {Grothendieck, A. and Raynaud, M. and Rim, D. S.},
      title = {Groupes de monodromie en géométrie algébrique. {I}},
      series = {Lecture Notes in Math.},
      volume = {288},
      note = {Séminaire de Géométrie Algébrique du Bois-Marie 1967--1969 (SGA 7 I)},
      publisher = {Springer-Verlag, Berlin-New York},
      year = {1972},
      pages = {viii+523},
      mrclass = {14-06},
      mrnumber = {0354656},
      zblnumber = {0237.00013},
      doi = {10.1007/BFb0068688},
      }
  • [Ts] Go to document J. Tsimerman, "The André-Oort conjecture for $A_g$," Ann. of Math., vol. 187, iss. 2, pp. 379-390, 2018.
    @ARTICLE{Ts,
      author = {Tsimerman, J.},
      title = {The {A}ndré-{O}ort conjecture for $A_g$},
      journal = {Ann. of Math.},
      number = {2},
      volume = {187},
      year = {2018},
      pages = {379--390},
      doi = {10.4007/annals.2018.18.2.2},
      zblnumber = {},
      }
  • [Wa] 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{Wa,
      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},
      }
  • [Ya1] Go to document T. Yang, "An arithmetic intersection formula on Hilbert modular surfaces," Amer. J. Math., vol. 132, iss. 5, pp. 1275-1309, 2010.
    @ARTICLE{Ya1,
      author = {Yang, Tonghai},
      title = {An arithmetic intersection formula on {H}ilbert modular surfaces},
      journal = {Amer. J. Math.},
      fjournal = {American Journal of Mathematics},
      volume = {132},
      year = {2010},
      number = {5},
      pages = {1275--1309},
      issn = {0002-9327},
      mrclass = {11G15 (11F41 11G50 14G40)},
      mrnumber = {2732347},
      mrreviewer = {Damian Rössler},
      doi = {10.1353/ajm.2010.0002},
      zblnumber = {1206.14049},
      }
  • [Ya2] Go to document T. Yang, "Arithmetic intersection on a Hilbert modular surface and the Faltings height," Asian J. Math., vol. 17, iss. 2, pp. 335-381, 2013.
    @ARTICLE{Ya2,
      author = {Yang, Tonghai},
      title = {Arithmetic intersection on a {H}ilbert modular surface and the {F}altings height},
      journal = {Asian J. Math.},
      fjournal = {Asian Journal of Mathematics},
      volume = {17},
      year = {2013},
      number = {2},
      pages = {335--381},
      issn = {1093-6106},
      mrclass = {11G15 (11F41 14K22)},
      mrnumber = {3078934},
      mrreviewer = {Federica Galluzzi},
      doi = {10.4310/AJM.2013.v17.n2.a4},
      zblnumber = {1298.11056},
      }
  • [YZZ] X. Yuan, S. Zhang, and W. Zhang, The Gross-Zagier formula on Shimura curves, Princeton University 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 = {Annals of Mathematics Studies},
      volume = {184},
      publisher = {Princeton University 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},
      }
  • [Zh] Go to document S. Zhang, "Gross-Zagier formula for ${ GL}_2$," Asian J. Math., vol. 5, iss. 2, pp. 183-290, 2001.
    @ARTICLE{Zh,
      author = {Zhang, Shou-Wu},
      title = {Gross-{Z}agier formula for {${\rm GL}_2$}},
      journal = {Asian J. Math.},
      fjournal = {Asian Journal of Mathematics},
      volume = {5},
      year = {2001},
      number = {2},
      pages = {183--290},
      issn = {1093-6106},
      mrclass = {11G18 (11F67 11G50 14G35)},
      mrnumber = {1868935},
      mrreviewer = {Douglas L. Ulmer},
      doi = {10.4310/AJM.2001.v5.n2.a1},
      zblnumber = {1111.11030},
      }

Authors

Xinyi Yuan

University of California at Berkeley, Berkeley, CA

Shou-Wu Zhang

Princeton University, Princeton, NJ