On the Gross–Stark Conjecture

Samit Dasgupta; Mahesh Kakde; Kevin Ventullo

doi:https://doi.org/10.4007/annals.2018.188.3.3

Abstract

In 1980, Gross conjectured a formula for the expected leading term at $s=0$ of the Deligne–Ribet $p$-adic $L$-function associated to a totally even character $\psi $ of a totally real field $F$. The conjecture states that after scaling by $L(\psi \omega ^{-1}, 0)$, this value is equal to a $p$-adic regulator of units in the abelian extension of $F$ cut out by $\psi \omega ^{-1}$. In this paper, we prove Gross’s conjecture.

Show/hide bibliography for this article

[bkl] $Go to document$ A. Beilinson, G. Kings, and A. Levin, "Topological polylogarithms and $p$-adic interpolation of $L$-values of totally real fields," Math. Ann., vol. 371, iss. 3-4, pp. 1449-1495, 2018.

Show bibtex

@ARTICLE{bkl, author = {Beilinson, Alexander and Kings, Guido and Levin, Andrey}, title = {Topological polylogarithms and $p$-adic interpolation of {$L$}-values of totally real fields}, journal = {Math. Ann.}, fjournal = {Mathematische Annalen}, volume = {371}, year = {2018}, number = {3-4}, pages = {1449--1495}, issn = {0025-5831}, mrclass = {11G55 (33B30)}, mrnumber = {3831278}, doi = {10.1007/s00208-018-1645-4}, url = {https://doi.org/10.1007/s00208-018-1645-4}, zblnumber = {}, }
[burns] D. Burns, On derivatives of $p$-adic $L$-series at $s=0$.

Show bibtex

@MISC{burns, author = {Burns, D.}, title = {On derivatives of $p$-adic {$L$}-series at $s=0$}, note = {\emph{J. Reine Angew. Math., to appear}}, zblnumber = {}, }
[cn] $Go to document$ P. Cassou-Noguès, "Valeurs aux entiers négatifs des fonctions zêta et fonctions zêta $p$-adiques," Invent. Math., vol. 51, iss. 1, pp. 29-59, 1979.

Show bibtex

@ARTICLE{cn, author = {Cassou-Noguès, Pierrette}, title = {Valeurs aux entiers négatifs des fonctions zêta et fonctions zêta {$p$}-adiques}, journal = {Invent. Math.}, fjournal = {Inventiones Mathematicae}, volume = {51}, year = {1979}, number = {1}, pages = {29--59}, issn = {0020-9910}, mrclass = {12A70 (12B40)}, mrnumber = {0524276}, mrreviewer = {Lawrence Washington}, doi = {10.1007/BF01389911}, url = {https://doi.org/10.1007/BF01389911}, zblnumber = {0408.12015}, }
[pcsd] $Go to document$ P. Charollois and S. Dasgupta, "Integral Eisenstein cocycles on ${\bf GL}_n$, I: Sczech’s cocycle and $p$-adic $L$-functions of totally real fields," Camb. J. Math., vol. 2, iss. 1, pp. 49-90, 2014.

Show bibtex

@ARTICLE{pcsd, author = {Charollois, Pierre and Dasgupta, Samit}, title = {Integral {E}isenstein cocycles on {${\bf GL}_n$}, {I}: {S}czech's cocycle and {$p$}-adic {$L$}-functions of totally real fields}, journal = {Camb. J. Math.}, fjournal = {Cambridge Journal of Mathematics}, volume = {2}, year = {2014}, number = {1}, pages = {49--90}, issn = {2168-0930}, mrclass = {11F41 (11F67 11F70)}, mrnumber = {3272012}, mrreviewer = {Shuichiro Takeda}, doi = {10.4310/CJM.2014.v2.n1.a2}, url = {https://doi.org/10.4310/CJM.2014.v2.n1.a2}, zblnumber = {1353.11074}, }
[ddp] $Go to document$ S. Dasgupta, H. Darmon, and R. Pollack, "Hilbert modular forms and the Gross-Stark conjecture," Ann. of Math. (2), vol. 174, iss. 1, pp. 439-484, 2011.

Show bibtex

@ARTICLE{ddp, author = {Dasgupta, Samit and Darmon, Henri and Pollack, Robert}, title = {Hilbert modular forms and the {G}ross-{S}tark conjecture}, journal = {Ann. of Math. (2)}, fjournal = {Annals of Mathematics. Second Series}, volume = {174}, year = {2011}, number = {1}, pages = {439--484}, issn = {0003-486X}, mrclass = {11F41 (11F80 11R42 11R80)}, mrnumber = {2811604}, mrreviewer = {Rolf Berndt}, doi = {10.4007/annals.2011.174.1.12}, url = {https://doi.org/10.4007/annals.2011.174.1.12}, zblnumber = {1250.11099}, }
[ds] $Go to document$ S. Dasgupta and M. Spiess, On the characteristic polynomial of the Gross regulator matrix.

Show bibtex

@MISC{ds, author = {Dasgupta, Samit and Spiess, M.}, title = {On the characteristic polynomial of the {G}ross regulator matrix}, note = {to appear in \emph{Trans. Amer. Math. Soc.}}, sortyear={2020}, zblnumber = {}, url={https://doi.org/10.1090/tran/7393}, }
[dr] $Go to document$ P. Deligne and K. A. Ribet, "Values of abelian $L$-functions at negative integers over totally real fields," Invent. Math., vol. 59, iss. 3, pp. 227-286, 1980.

Show bibtex

@ARTICLE{dr, author = {Deligne, Pierre and Ribet, Kenneth A.}, title = {Values of abelian {$L$}-functions at negative integers over totally real fields}, journal = {Invent. Math.}, fjournal = {Inventiones Mathematicae}, volume = {59}, year = {1980}, number = {3}, pages = {227--286}, issn = {0020-9910}, mrclass = {12A70 (10D21)}, mrnumber = {0579702}, mrreviewer = {Neal Koblitz}, doi = {10.1007/BF01453237}, url = {https://doi.org/10.1007/BF01453237}, zblnumber = {0434.12009}, }
[federergross] $Go to document$ L. J. Federer and B. H. Gross, "Regulators and Iwasawa modules," Invent. Math., vol. 62, iss. 3, pp. 443-457, 1981.

Show bibtex

@ARTICLE{federergross, author = {Federer, Leslie Jane and Gross, Benedict H.}, title = {Regulators and {I}wasawa modules}, note = {with an appendix by Warren Sinnott}, journal = {Invent. Math.}, fjournal = {Inventiones Mathematicae}, volume = {62}, year = {1981}, number = {3}, pages = {443--457}, issn = {0020-9910}, mrclass = {12A35 (12A70)}, mrnumber = {0604838}, mrreviewer = {Lawrence Washington}, doi = {10.1007/BF01394254}, url = {https://doi.org/10.1007/BF01394254}, zblnumber = {0468.12005}, }
[fg] $Go to document$ B. Ferrero and R. Greenberg, "On the behavior of $p$-adic $L$-functions at $s=0$," Invent. Math., vol. 50, iss. 1, pp. 91-102, 1978/79.

Show bibtex

@ARTICLE{fg, author = {Ferrero, Bruce and Greenberg, Ralph}, title = {On the behavior of {$p$}-adic {$L$}-functions at {$s=0$}}, journal = {Invent. Math.}, fjournal = {Inventiones Mathematicae}, volume = {50}, year = {1978/79}, number = {1}, pages = {91--102}, issn = {0020-9910}, mrclass = {12B30}, mrnumber = {0516606}, mrreviewer = {Daniel Barsky}, doi = {10.1007/BF01406470}, url = {https://doi.org/10.1007/BF01406470}, zblnumber = {0441.12003}, }
[greenberg] $Go to document$ R. Greenberg, "Trivial zeros of $p$-adic $L$-functions," in $p$-adic Monodromy and the Birch and Swinnerton-Dyer Conjecture, Amer. Math. Soc., Providence, RI, 1994, vol. 165, pp. 149-174.

Show bibtex

@INCOLLECTION{greenberg, author = {Greenberg, Ralph}, title = {Trivial zeros of {$p$}-adic {$L$}-functions}, booktitle = {{$p$}-adic Monodromy and the {B}irch and {S}winnerton-{D}yer Conjecture}, venue = {{B}oston, {MA}, 1991}, series = {Contemp. Math.}, volume = {165}, pages = {149--174}, publisher = {Amer. Math. Soc., Providence, RI}, year = {1994}, mrclass = {11G40 (11F67 11S40)}, mrnumber = {1279608}, mrreviewer = {K. Shiratani}, doi = {10.1090/conm/165/01606}, url = {https://doi.org/10.1090/conm/165/01606}, zblnumber = {0838.11070}, }
[gross] B. H. Gross, "$p$-adic $L$-series at $s=0$," J. Fac. Sci. Univ. Tokyo Sect. IA Math., vol. 28, iss. 3, pp. 979-994 (1982), 1981.

Show bibtex

@ARTICLE{gross, author = {Gross, Benedict H.}, title = {{$p$}-adic {$L$}-series at {$s=0$}}, journal = {J. Fac. Sci. Univ. Tokyo Sect. IA Math.}, fjournal = {Journal of the Faculty of Science. University of Tokyo. Section IA. Mathematics}, volume = {28}, year = {1981}, number = {3}, pages = {979--994 (1982)}, issn = {0040-8980}, mrclass = {12B30}, mrnumber = {0656068}, mrreviewer = {Lawrence Washington}, zblnumber = {0507.12010}, }
[gk] $Go to document$ B. H. Gross and N. Koblitz, "Gauss sums and the $p$-adic $\Gamma $-function," Ann. of Math. (2), vol. 109, iss. 3, pp. 569-581, 1979.

Show bibtex

@ARTICLE{gk, author = {Gross, Benedict H. and Koblitz, Neal}, title = {Gauss sums and the {$p$}-adic {$\Gamma $}-function}, journal = {Ann. of Math. (2)}, fjournal = {Annals of Mathematics. Second Series}, volume = {109}, year = {1979}, number = {3}, pages = {569--581}, issn = {0003-486X}, mrclass = {12B40 (10G15 14F30)}, mrnumber = {0534763}, mrreviewer = {Daniel Barsky}, doi = {10.2307/1971226}, url = {https://doi.org/10.2307/1971226}, zblnumber = {0406.12010}, }
[hida] $Go to document$ H. Hida, "On $p$-adic Hecke algebras for ${ GL}_2$ over totally real fields," Ann. of Math. (2), vol. 128, iss. 2, pp. 295-384, 1988.

Show bibtex

@ARTICLE{hida, author = {Hida, Haruzo}, title = {On {$p$}-adic {H}ecke algebras for {${\rm GL}_2$} over totally real fields}, journal = {Ann. of Math. (2)}, fjournal = {Annals of Mathematics. Second Series}, volume = {128}, year = {1988}, number = {2}, pages = {295--384}, issn = {0003-486X}, mrclass = {11F41 (11F85)}, mrnumber = {0960949}, mrreviewer = {Sheldon Kamienny}, doi = {10.2307/1971444}, url = {https://doi.org/10.2307/1971444}, zblnumber = {0658.10034}, }
[m] $Go to document$ B. Mazur, "How can we construct abelian Galois extensions of basic number fields?," Bull. Amer. Math. Soc. (N.S.), vol. 48, iss. 2, pp. 155-209, 2011.

Show bibtex

@ARTICLE{m, author = {Mazur, Barry}, title = {How can we construct abelian {G}alois extensions of basic number fields?}, journal = {Bull. Amer. Math. Soc. (N.S.)}, fjournal = {American Mathematical Society. Bulletin. New Series}, volume = {48}, year = {2011}, number = {2}, pages = {155--209}, issn = {0273-0979}, mrclass = {11R32 (11-02 11F80 11R04)}, mrnumber = {2774089}, mrreviewer = {Jürgen Ritter}, doi = {10.1090/S0273-0979-2011-01326-X}, url = {https://doi.org/10.1090/S0273-0979-2011-01326-X}, zblnumber = {1228.11163}, }
[mw] $Go to document$ B. Mazur and A. Wiles, "Class fields of abelian extensions of ${\bf Q}$," Invent. Math., vol. 76, iss. 2, pp. 179-330, 1984.

Show bibtex

@ARTICLE{mw, author = {Mazur, Barry and Wiles, A.}, title = {Class fields of abelian extensions of {${\bf Q}$}}, journal = {Invent. Math.}, fjournal = {Inventiones Mathematicae}, volume = {76}, year = {1984}, number = {2}, pages = {179--330}, issn = {0020-9910}, mrclass = {11R23 (11G05)}, mrnumber = {0742853}, mrreviewer = {Kenneth A. Ribet}, doi = {10.1007/BF01388599}, url = {https://doi.org/10.1007/BF01388599}, zblnumber = {0545.12005}, }
[ribet] $Go to document$ K. A. Ribet, "A modular construction of unramified $p$-extensions of$Q(\mu _{p})$," Invent. Math., vol. 34, iss. 3, pp. 151-162, 1976.

Show bibtex

@ARTICLE{ribet, author = {Ribet, Kenneth A.}, title = {A modular construction of unramified {$p$}-extensions of{$Q(\mu \sb{p})$}}, journal = {Invent. Math.}, fjournal = {Inventiones Mathematicae}, volume = {34}, year = {1976}, number = {3}, pages = {151--162}, issn = {0020-9910}, mrclass = {12A35 (10D05)}, mrnumber = {0419403}, mrreviewer = {V. V. Sokurov}, doi = {10.1007/BF01403065}, url = {https://doi.org/10.1007/BF01403065}, zblnumber = {0338.12003}, }
[ser] . J-P. Serre, Corps locaux, Actualités Sci. Indust., No. 1296. Hermann, Paris, 1962.

Show bibtex

@BOOK{ser, author = {Serre, {\relax J-P}}, title = {Corps locaux}, series = {Publications de l'Institut de Mathématique de l'Université de Nancago, VIII}, publisher = {Actualités Sci. Indust., No. 1296. Hermann, Paris}, year = {1962}, pages = {243}, mrclass = {10.67 (10.68)}, mrnumber = {0150130}, mrreviewer = {T. Nakayama}, zblnumber = {0137.02601}, }
[skinnercmi] C. Skinner, Galois representations, Iwasawa theory and special values of ${L}$-functions, 2009.

Show bibtex

@MISC{skinnercmi, author = {Skinner, C.}, title={Galois representations, {I}wasawa theory and special values of ${L}$-functions}, note={CMI Lecture Notes}, year={2009}, }
[spiesshilb] $Go to document$ M. Spiess, "On special zeros of $p$-adic $L$-functions of Hilbert modular forms," Invent. Math., vol. 196, iss. 1, pp. 69-138, 2014.

Show bibtex

@ARTICLE{spiesshilb, author = {Spie\ss, Michael}, title = {On special zeros of {$p$}-adic {$L$}-functions of {H}ilbert modular forms}, journal = {Invent. Math.}, fjournal = {Inventiones Mathematicae}, volume = {196}, year = {2014}, number = {1}, pages = {69--138}, issn = {0020-9910}, mrclass = {11F41 (11F67 11F70 11G40)}, mrnumber = {3179573}, mrreviewer = {Lei Yang}, doi = {10.1007/s00222-013-0465-0}, url = {https://doi.org/10.1007/s00222-013-0465-0}, zblnumber = {06294031}, }
[spiess] $Go to document$ M. Spiess, "Shintani cocycles and the order of vanishing of $p$-adic Hecke $L$-series at $s=0$," Math. Ann., vol. 359, iss. 1-2, pp. 239-265, 2014.

Show bibtex

@ARTICLE{spiess, author = {Spiess, Michael}, title = {Shintani cocycles and the order of vanishing of {$p$}-adic {H}ecke {$L$}-series at {$s=0$}}, journal = {Math. Ann.}, fjournal = {Mathematische Annalen}, volume = {359}, year = {2014}, number = {1-2}, pages = {239--265}, issn = {0025-5831}, mrclass = {11R42 (11R23 11R80)}, mrnumber = {3201900}, mrreviewer = {Volker Ziegler}, doi = {10.1007/s00208-013-0983-5}, url = {https://doi.org/10.1007/s00208-013-0983-5}, zblnumber = {1307.11125}, }
[tatebook] J. Tate, Les Conjectures de Stark sur les Fonctions $L$ d’Artin en $s=0$, Birkhäuser Boston, Inc., Boston, MA, 1984, vol. 47.

Show bibtex

@BOOK{tatebook, author = {Tate, John}, title = {Les Conjectures de {S}tark sur les Fonctions {$L$} d'{A}rtin en {$s=0$}}, series = {Progr. Math.}, volume = {47}, note = {lecture notes edited by Dominique Bernardi and Norbert Schappacher}, publisher = {Birkhäuser Boston, Inc., Boston, MA}, year = {1984}, pages = {143}, isbn = {0-8176-3188-7}, mrclass = {11R42}, mrnumber = {0782485}, mrreviewer = {Leslie Jane Federer}, zblnumber = {0545.12009}, }
[v] $Go to document$ K. Ventullo, "On the rank one abelian Gross-Stark conjecture," Comment. Math. Helv., vol. 90, iss. 4, pp. 939-963, 2015.

Show bibtex

@ARTICLE{v, author = {Ventullo, Kevin}, title = {On the rank one abelian {G}ross-{S}tark conjecture}, journal = {Comment. Math. Helv.}, fjournal = {Commentarii Mathematici Helvetici. A Journal of the Swiss Mathematical Society}, volume = {90}, year = {2015}, number = {4}, pages = {939--963}, issn = {0010-2571}, mrclass = {11S40 (11F33 11F41 11F80 11R23)}, mrnumber = {3433283}, mrreviewer = {Timothy All}, doi = {10.4171/CMH/374}, url = {https://doi.org/10.4171/CMH/374}, zblnumber = {1377.11113}, }
[wiles2] $Go to document$ A. Wiles, "On ordinary $\lambda$-adic representations associated to modular forms," Invent. Math., vol. 94, iss. 3, pp. 529-573, 1988.

Show bibtex

@ARTICLE{wiles2, author = {Wiles, A.}, title = {On ordinary {$\lambda$}-adic representations associated to modular forms}, journal = {Invent. Math.}, fjournal = {Inventiones Mathematicae}, volume = {94}, year = {1988}, number = {3}, pages = {529--573}, issn = {0020-9910}, mrclass = {11F41 (11F80 11R23 11R80)}, mrnumber = {0969243}, mrreviewer = {Sheldon Kamienny}, doi = {10.1007/BF01394275}, url = {https://doi.org/10.1007/BF01394275}, zblnumber = {0664.10013}, }
[wiles] $Go to document$ A. Wiles, "The Iwasawa conjecture for totally real fields," Ann. of Math. (2), vol. 131, iss. 3, pp. 493-540, 1990.

Show bibtex

@ARTICLE{wiles, author = {Wiles, A.}, title = {The {I}wasawa conjecture for totally real fields}, journal = {Ann. of Math. (2)}, fjournal = {Annals of Mathematics. Second Series}, volume = {131}, year = {1990}, number = {3}, pages = {493--540}, issn = {0003-486X}, mrclass = {11R42 (11F67 11R23)}, mrnumber = {1053488}, mrreviewer = {Alexey A. Panchishkin}, doi = {10.2307/1971468}, url = {https://doi.org/10.2307/1971468}, zblnumber = {0719.11071}, }

On the Gross–Stark Conjecture

Abstract

Authors