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.
-
[bkl]
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.
@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$.
@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]
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.
@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]
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.
@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]
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.
@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},
} -
@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]
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.
@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]
L. J. Federer and B. H. Gross, "Regulators and Iwasawa modules," Invent. Math., vol. 62, iss. 3, pp. 443-457, 1981.
@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]
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.
@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]
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.
@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.
@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]
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.
@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]
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.
@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]
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.
@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]
B. Mazur and A. Wiles, "Class fields of abelian extensions of ${\bf Q}$," Invent. Math., vol. 76, iss. 2, pp. 179-330, 1984.
@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]
K. A. Ribet, "A modular construction of unramified $p$-extensions of$Q(\mu _{p})$," Invent. Math., vol. 34, iss. 3, pp. 151-162, 1976.
@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.
@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.
@MISC{skinnercmi,
author = {Skinner, C.},
title={Galois representations, {I}wasawa theory and special values of ${L}$-functions},
note={CMI Lecture Notes},
year={2009},
} -
[spiesshilb]
M. Spiess, "On special zeros of $p$-adic $L$-functions of Hilbert modular forms," Invent. Math., vol. 196, iss. 1, pp. 69-138, 2014.
@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]
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.
@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.
@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]
K. Ventullo, "On the rank one abelian Gross-Stark conjecture," Comment. Math. Helv., vol. 90, iss. 4, pp. 939-963, 2015.
@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]
A. Wiles, "On ordinary $\lambda$-adic representations associated to modular forms," Invent. Math., vol. 94, iss. 3, pp. 529-573, 1988.
@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]
A. Wiles, "The Iwasawa conjecture for totally real fields," Ann. of Math. (2), vol. 131, iss. 3, pp. 493-540, 1990.
@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},
}