Computing 𝑝-adic L-functions of totally real fields

Lauder, Alan; Vonk, Jan

doi:10.1090/mcom/3678

Computing $p$-adic L-functions of totally real fields
HTML articles powered by AMS MathViewer

by Alan Lauder and Jan Vonk HTML | PDF

Math. Comp. 91 (2022), 921-942 Request permission

Abstract:

We describe an algorithm for computing $p$-adic L-functions of characters of totally real fields, using the Fourier expansions of diagonal restrictions of Hilbert modular forms.

References

Daniel Barsky, Fonctions zeta $p$-adiques d’une classe de rayon des corps de nombres totalement réels, Groupe d’Étude d’Analyse Ultramétrique (5e année: 1977/78), Secrétariat Math., Paris, 1978, pp. Exp. No. 16, 23 (French). MR 525346
Johannes Buchmann and Ulrich Vollmer, Binary quadratic forms, Algorithms and Computation in Mathematics, vol. 20, Springer, Berlin, 2007. An algorithmic approach. MR 2300780
P. Cartier and Y. Roy, Certains calculs numériques relatifs à l’interpolation $p$-adique des séries de Dirichlet, Modular functions of one variable, III (Proc. Internat. Summer School, Univ. Antwerp, Antwerp, 1972) Lecture Notes in Math., Vol. 350, Springer, Berlin, 1973, pp. 269–349 (French). MR 0330113
Pierrette Cassou-Noguès, Valeurs aux entiers négatifs des fonctions zêta et fonctions zêta $p$-adiques, Invent. Math. 51 (1979), no. 1, 29–59 (French). MR 524276, DOI 10.1007/BF01389911
Pierre Charollois and Samit Dasgupta, Integral Eisenstein cocycles on $\textbf {GL}_n$, I: Sczech’s cocycle and $p$-adic $L$-functions of totally real fields, Camb. J. Math. 2 (2014), no. 1, 49–90. MR 3272012, DOI 10.4310/CJM.2014.v2.n1.a2
Pierre Charollois, Samit Dasgupta, and Matthew Greenberg, Integral Eisenstein cocycles on $\mathbf {GL}_n$, II: Shintani’s method, Comment. Math. Helv. 90 (2015), no. 2, 435–477. MR 3351752, DOI 10.4171/CMH/360
Henri Cohen, Variations sur un thème de Seigel et Hecke, Acta Arith. 30 (1976/77), no. 1, 63–93 (French). MR 422215, DOI 10.4064/aa-30-1-63-93
Henri Darmon, Alan Lauder, and Victor Rotger, Stark points and $p$-adic iterated integrals attached to modular forms of weight one, Forum Math. Pi 3 (2015), e8, 95. MR 3456180, DOI 10.1017/fmp.2015.7
Henri Darmon, Alice Pozzi, and Jan Vonk, Diagonal restrictions of $p$-adic Eisenstein families, Math. Ann. 379 (2021), no. 1-2, 503–548. MR 4211095, DOI 10.1007/s00208-020-02086-2
H. Darmon, A. Pozzi, and J. Vonk, The values of the Dedekind-Rademacher cocycle at real multiplication points, Preprint, 2021.
Samit Dasgupta, Computations of elliptic units for real quadratic fields, Canad. J. Math. 59 (2007), no. 3, 553–574. MR 2319158, DOI 10.4153/CJM-2007-023-0
Samit Dasgupta, Shintani zeta functions and Gross-Stark units for totally real fields, Duke Math. J. 143 (2008), no. 2, 225–279. MR 2420508, DOI 10.1215/00127094-2008-019
Samit Dasgupta, Henri Darmon, and Robert Pollack, Hilbert modular forms and the Gross-Stark conjecture, Ann. of Math. (2) 174 (2011), no. 1, 439–484. MR 2811604, DOI 10.4007/annals.2011.174.1.12
Francisco Diaz y Diaz and Eduardo Friedman, Signed fundamental domains for totally real number fields, Proc. Lond. Math. Soc. (3) 108 (2014), no. 4, 965–988. MR 3198753, DOI 10.1112/plms/pdt025
S. Dasgupta and M. Kakde, On the Brumer–Stark conjecture, arXiv:abs/2010.00657, 2020.
Pierre Deligne and Kenneth A. Ribet, Values of abelian $L$-functions at negative integers over totally real fields, Invent. Math. 59 (1980), no. 3, 227–286. MR 579702, DOI 10.1007/BF01453237
Jordan S. Ellenberg, Sonal Jain, and Akshay Venkatesh, Modeling $\lambda$-invariants by $p$-adic random matrices, Comm. Pure Appl. Math. 64 (2011), no. 9, 1243–1262. MR 2839300, DOI 10.1002/cpa.20375
Bruce Ferrero and Lawrence C. Washington, The Iwasawa invariant $\mu _{p}$ vanishes for abelian number fields, Ann. of Math. (2) 109 (1979), no. 2, 377–395. MR 528968, DOI 10.2307/1971116
E. Hecke, Analytische funktionen und algebraische zahlen, Abh. Math. Sem. Univ. Hamburg 3 (1924), no. 1, 213–236 (German). MR 3069428, DOI 10.1007/BF02954625
Helmut Klingen, Über die Werte der Dedekindschen Zetafunktion, Math. Ann. 145 (1961/62), 265–272 (German). MR 133304, DOI 10.1007/BF01451369
Nicholas M. Katz, $p$-adic properties of modular schemes and modular forms, Modular functions of one variable, III (Proc. Internat. Summer School, Univ. Antwerp, Antwerp, 1972) Lecture Notes in Math., Vol. 350, Springer, Berlin, 1973, pp. 69–190. MR 0447119
Nicholas M. Katz, $p$-adic $L$-functions for CM fields, Invent. Math. 49 (1978), no. 3, 199–297. MR 513095, DOI 10.1007/BF01390187
Alan G. B. Lauder, Computations with classical and $p$-adic modular forms, LMS J. Comput. Math. 14 (2011), 214–231. MR 2831231, DOI 10.1112/S1461157011000155
Alan G. B. Lauder, Efficient computation of Rankin $p$-adic $L$-functions, Computations with modular forms, Contrib. Math. Comput. Sci., vol. 6, Springer, Cham, 2014, pp. 181–200. MR 3381453, DOI 10.1007/978-3-319-03847-6_{7}
Xavier-François Roblot, Computing $p$-adic $L$-functions of totally real number fields, Math. Comp. 84 (2015), no. 292, 831–874. MR 3290966, DOI 10.1090/S0025-5718-2014-02889-5
Jean-Pierre Serre, Formes modulaires et fonctions zêta $p$-adiques, Modular functions of one variable, III (Proc. Internat. Summer School, Univ. Antwerp, Antwerp, 1972) Lecture Notes in Math., Vol. 350, Springer, Berlin, 1973, pp. 191–268 (French). MR 0404145
Takuro Shintani, On evaluation of zeta functions of totally real algebraic number fields at non-positive integers, J. Fac. Sci. Univ. Tokyo Sect. IA Math. 23 (1976), no. 2, 393–417. MR 427231
Goro Shimura, The special values of the zeta functions associated with Hilbert modular forms, Duke Math. J. 45 (1978), no. 3, 637–679. MR 507462
Carl Ludwig Siegel, Berechnung von Zetafunktionen an ganzzahligen Stellen, Nachr. Akad. Wiss. Göttingen Math.-Phys. Kl. II 1969 (1969), 87–102 (German). MR 252349
K. Slavov, Gross–Stark units for totally real number fields, Senior thesis, Harvard University, 2007.
William Stein, Modular forms, a computational approach, Graduate Studies in Mathematics, vol. 79, American Mathematical Society, Providence, RI, 2007. With an appendix by Paul E. Gunnells. MR 2289048, DOI 10.1090/gsm/079
Jan Vonk, Computing overconvergent forms for small primes, LMS J. Comput. Math. 18 (2015), no. 1, 250–257. MR 3349318, DOI 10.1112/S1461157015000042
A. Wiles, The Iwasawa conjecture for totally real fields, Ann. of Math. (2) 131 (1990), no. 3, 493–540. MR 1053488, DOI 10.2307/1971468