On generalized main conjectures and 𝑝-adic Stark conjectures for Artin motives

Maksoud, Alexandre

doi:10.1090/tran/9131

On generalized main conjectures and $p$-adic Stark conjectures for Artin motives
HTML articles powered by AMS MathViewer

by Alexandre Maksoud

Trans. Amer. Math. Soc.

DOI: https://doi.org/10.1090/tran/9131

Published electronically: April 3, 2024

HTML | PDF | Request permission

Abstract:

Given an odd prime number $p$ and a $p$-stabilized Artin representation $\rho$ over $\mathbb {Q}$, we introduce a family of $p$-adic Stark regulators and we formulate an Iwasawa-Greenberg main conjecture and a $p$-adic Stark conjecture which can be seen as an explicit strengthening of conjectures by Perrin-Riou and Benois in the context of Artin motives. We show that these conjectures imply the $p$-part of the Tamagawa number conjecture for Artin motives at $s=0$ and we obtain unconditional results on the torsionness of Selmer groups. We also relate our new conjectures with various main conjectures and variants of $p$-adic Stark conjectures that appear in the literature. In the case of monomial representations, we prove that our conjectures are essentially equivalent to some newly introduced Iwasawa-theoretic conjectures for Rubin-Stark elements. We derive from this a $p$-adic Beilinson-Stark formula for finite-order characters of an imaginary quadratic field in which $p$ is inert.

Along the way, we prove that the Gross-Kuz’min conjecture unconditionally holds for abelian extensions of imaginary quadratic fields.

References

Fabrizio Andreatta and Adrian Iovita, Katz type p-adic L-functions for primes p non-split in the CM field, 2019.
J. Bellaïche, The eigenbook: eigenvarieties, families of Galois representations, p-adic L-functions, Pathways in Mathematics, Springer International Publishing, 2021.
Joël Bellaïche and Mladen Dimitrov, On the eigencurve at classical weight 1 points, Duke Math. J. 165 (2016), no. 2, 245–266. MR 3457673, DOI 10.1215/00127094-3165755
Jean-Robert Belliard, Sous-modules d’unités en théorie d’Iwasawa, Théorie des nombres, Années 1998/2001, Publ. Math. UFR Sci. Tech. Besançon, Univ. Franche-Comté, Besançon, 2002, pp. 12 (French, with French summary). MR 1987282
Denis Benois, On extra zeros of $p$-adic $L$-functions: the crystalline case, Iwasawa theory 2012, Contrib. Math. Comput. Sci., vol. 7, Springer, Heidelberg, 2014, pp. 65–133. MR 3586811
Denis Benois, Trivial zeros of $p$-adic $L$-functions at near-central points, J. Inst. Math. Jussieu 13 (2014), no. 3, 561–598. MR 3211799, DOI 10.1017/S1474748013000261
Adel Betina and Mladen Dimitrov, Geometry of the eigencurve at CM points and trivial zeros of Katz $p$-adic $L$-functions, Adv. Math. 384 (2021), Paper No. 107724, 43. MR 4246094, DOI 10.1016/j.aim.2021.107724
W. Bley, Equivariant Tamagawa number conjecture for abelian extensions of a quadratic imaginary field, Doc. Math. 11 (2006), 73–118. MR 2226270, DOI 10.4171/dm/205
Werner Bley and Martin Hofer, Construction of elliptic $\mathfrak {p}$-units, Development of Iwasawa theory—the centennial of K. Iwasawa’s birth, Adv. Stud. Pure Math., vol. 86, Math. Soc. Japan, Tokyo, [2020] ©2020, pp. 79–111. MR 4385080
Spencer Bloch and Kazuya Kato, $L$-functions and Tamagawa numbers of motives, The Grothendieck Festschrift, Vol. I, Progr. Math., vol. 86, Birkhäuser Boston, Boston, MA, 1990, pp. 333–400. MR 1086888
Armand Brumer, On the units of algebraic number fields, Mathematika 14 (1967), 121–124. MR 220694, DOI 10.1112/S0025579300003703
Dominik Bullach and Martin Hofer, On trivial zeroes of Euler systems for $\mathbb {G}_m$, arXiv:2102.01545, 2021.
David Burns, On derivatives of $p$-adic $L$-series at $s = 0$, J. Reine Angew. Math. 762 (2020), 53–104. MR 4195656, DOI 10.1515/crelle-2018-0020
David Burns, On derivatives of Artin $L$-series, Invent. Math. 186 (2011), no. 2, 291–371. MR 2845620, DOI 10.1007/s00222-011-0320-0
David Burns, Masato Kurihara, and Takamichi Sano, On zeta elements for $\Bbb G_m$, Doc. Math. 21 (2016), 555–626. MR 3522250, DOI 10.4171/dm/540
David Burns, Masato Kurihara, and Takamichi Sano, On Iwasawa theory, zeta elements for $\Bbb G_m$, and the equivariant Tamagawa number conjecture, Algebra Number Theory 11 (2017), no. 7, 1527–1571. MR 3697147, DOI 10.2140/ant.2017.11.1527
Kâzım Büyükboduk, Main conjectures for CM fields and a Yager-type theorem for Rubin-Stark elements, Int. Math. Res. Not. IMRN 2014 (2013), no. 21, 5832–5873.
Kâzım Büyükboduk and Ryotaro Sakamoto, On the non-critical exceptional zeros of Katz $p$-adic $L$-functions for CM fields, Adv. Math. 406 (2022), Paper No. 108478, 54. MR 4438060, DOI 10.1016/j.aim.2022.108478
Frank Calegari and Barry Mazur, Nearly ordinary Galois deformations over arbitrary number fields, J. Inst. Math. Jussieu 8 (2009), no. 1, 99–177. MR 2461903, DOI 10.1017/S1474748008000327
J. Coates and R. Sujatha, Cyclotomic fields and zeta values, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2006. MR 2256969
John Coates, Motivic $p$-adic $L$-functions, $L$-functions and arithmetic (Durham, 1989) London Math. Soc. Lecture Note Ser., vol. 153, Cambridge Univ. Press, Cambridge, 1991, pp. 141–172. MR 1110392, DOI 10.1017/CBO9780511526053.006
John Coates and Bernadette Perrin-Riou, On $p$-adic $L$-functions attached to motives over $\textbf {Q}$, Algebraic number theory, Adv. Stud. Pure Math., vol. 17, Academic Press, Boston, MA, 1989, pp. 23–54. MR 1097608, DOI 10.2969/aspm/01710023
Robert F. Coleman, Division values in local fields, Invent. Math. 53 (1979), no. 2, 91–116. MR 560409, DOI 10.1007/BF01390028
Pierre Colmez, Fonctions $L$ $p$-adiques, Astérisque 266 (2000), Exp. No. 851, 3, 21–58 (French, with French summary). Séminaire Bourbaki, Vol. 1998/99. MR 1772669
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, Alan Lauder, and Victor Rotger, Gross-Stark units and $p$-adic iterated integrals attached to modular forms of weight one, Ann. Math. Qué. 40 (2016), no. 2, 325–354 (English, with English and French summaries). MR 3529185, DOI 10.1007/s40316-015-0042-6
Samit Dasgupta, Mahesh Kakde, and Kevin Ventullo, On the Gross-Stark conjecture, Ann. of Math. (2) 188 (2018), no. 3, 833–870. MR 3866887, DOI 10.4007/annals.2018.188.3.3
Ehud de Shalit, Iwasawa theory of elliptic curves with complex multiplication, Perspectives in Mathematics, vol. 3, Academic Press, Inc., Boston, MA, 1987. $p$-adic $L$ functions. MR 917944
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
Pierre Deligne and Jean-Pierre Serre, Formes modulaires de poids $1$, Ann. Sci. École Norm. Sup. (4) 7 (1974), 507–530 (1975) (French). MR 379379, DOI 10.24033/asens.1277
Mladen Dimitrov and Alexandre Maksoud, $\mathcal {L}$-invariants of Artin motives, Ann. Math. Qué. 47 (2023), no. 1, 49–71 (English, with English and French summaries). MR 4569754, DOI 10.1007/s40316-022-00201-0
Matthew Emerton, Robert Pollack, and Tom Weston, Variation of Iwasawa invariants in Hida families, Invent. Math. 163 (2006), no. 3, 523–580. MR 2207234, DOI 10.1007/s00222-005-0467-7
Leslie Jane Federer and Benedict H. Gross, Regulators and Iwasawa modules, Invent. Math. 62 (1981), no. 3, 443–457. With an appendix by Warren Sinnott. MR 604838, DOI 10.1007/BF01394254
Joseph W. Ferrara, A $p$-adic Stark conjecture in the rank one setting, Acta Arith. 193 (2020), no. 4, 369–417. MR 4074397, DOI 10.4064/aa190212-15-8
Joseph William Ferrara, Stark’s conjectures for p-adic L-functions, Ph.D. Thesis, UC Santa Cruz, 2018.
M. Le Floc’h, A. Movahhedi, and T. Nguyen Quang Do, On capitulation cokernels in Iwasawa theory, Amer. J. Math. 127 (2005), no. 4, 851–877. MR 2154373, DOI 10.1353/ajm.2005.0028
Joe Flood, Pontryagin duality for topological modules, Proc. Amer. Math. Soc. 75 (1979), no. 2, 329–333. MR 532161, DOI 10.1090/S0002-9939-1979-0532161-7
Jean-Marc Fontaine and Bernadette Perrin-Riou, Autour des conjectures de Bloch et Kato: cohomologie galoisienne et valeurs de fonctions $L$, Motives (Seattle, WA, 1991) Proc. Sympos. Pure Math., vol. 55, Amer. Math. Soc., Providence, RI, 1994, pp. 599–706 (French). MR 1265546, DOI 10.1090/pspum/055.1/1265546
Ralph Greenberg, On a certain $l$-adic representation, Invent. Math. 21 (1973), 117–124. MR 335468, DOI 10.1007/BF01389691
Ralph Greenberg, Iwasawa theory for $p$-adic representations, Algebraic number theory, Adv. Stud. Pure Math., vol. 17, Academic Press, Boston, MA, 1989, pp. 97–137. MR 1097613, DOI 10.2969/aspm/01710097
Ralph Greenberg, Iwasawa theory for motives, $L$-functions and arithmetic (Durham, 1989) London Math. Soc. Lecture Note Ser., vol. 153, Cambridge Univ. Press, Cambridge, 1991, pp. 211–233. MR 1110394, DOI 10.1017/CBO9780511526053.008
Ralph Greenberg, Trivial zeros of p-adic L-functions, Contemp. Math. 165 (1994), 149–149.
Ralph Greenberg, On $p$-adic Artin $L$-functions II, Iwasawa theory 2012, Contrib. Math. Comput. Sci., vol. 7, Springer, Heidelberg, 2014, pp. 227–245. MR 3586815
Ralph Greenberg and Vinayak Vatsal, On the Iwasawa invariants of elliptic curves, Invent. Math. 142 (2000), no. 1, 17–63. MR 1784796, DOI 10.1007/s002220000080
Ralph Greenberg and Vinayak Vatsal, Iwasawa theory for Artin representations I, Development of Iwasawa Theory—the Centennial of K. Iwasawa’s Birth, Mathematical Society of Japan, 2020.
Benedict H. Gross, $p$-adic $L$-series at $s=0$, J. Fac. Sci. Univ. Tokyo Sect. IA Math. 28 (1981), no. 3, 979–994 (1982). MR 656068
H. Hida and J. Tilouine, Anti-cyclotomic Katz $p$-adic $L$-functions and congruence modules, Ann. Sci. École Norm. Sup. (4) 26 (1993), no. 2, 189–259. MR 1209708, DOI 10.24033/asens.1671
H. Hida and J. Tilouine, On the anticyclotomic main conjecture for CM fields, Invent. Math. 117 (1994), no. 1, 89–147. MR 1269427, DOI 10.1007/BF01232236
Haruzo Hida, Modules of congruence of Hecke algebras and $L$-functions associated with cusp forms, Amer. J. Math. 110 (1988), no. 2, 323–382. MR 935010, DOI 10.2307/2374505
Haruzo Hida, $p$-adic $L$-functions for base change lifts of $\textrm {GL}_2$ to $\textrm {GL}_3$, Automorphic forms, Shimura varieties, and $L$-functions, Vol. II (Ann Arbor, MI, 1988) Perspect. Math., vol. 11, Academic Press, Boston, MA, 1990, pp. 93–142. MR 1044829
Haruzo Hida, On the search of genuine p-adic modular L-functions for GL(n). With a correction to: on p-adic L-functions of GL(2)$\times$ GL(2) over totally real fields, Mém. Soc. Math. Fr. (N.S.) (1996), no. 1.
Haruzo Hida, Jacques Tilouine, and Eric Urban, Adjoint modular Galois representations and their Selmer groups, Proc. Nat. Acad. Sci. U.S.A. 94 (1997), no. 21, 11121–11124. Elliptic curves and modular forms (Washington, DC, 1996). MR 1491970, DOI 10.1073/pnas.94.21.11121
Kenkichi Iwasawa, On $\textbf {Z}_{l}$-extensions of algebraic number fields, Ann. of Math. (2) 98 (1973), 246–326. MR 349627, DOI 10.2307/1970784
Jean-François Jaulent, Classes logarithmiques des corps totalement réels, Acta Arith. 103 (2002), no. 1, 1–7 (French). MR 1904889, DOI 10.4064/aa103-1-1
Jean-François Jaulent, Sur les normes cyclotomiques et les conjectures de Leopoldt et de Gross-Kuz’min, Ann. Math. Qué. 41 (2017), no. 1, 119–140 (French, with English and French summaries). MR 3639653, DOI 10.1007/s40316-016-0069-3
Henri Johnston and Andreas Nickel, On the $p$-adic Stark conjecture at $s = 1$ and applications, J. Lond. Math. Soc. (2) 101 (2020), no. 3, 1320–1354. With an appendix by Tommy Hofmann, Johnston and Nickel. MR 4111943, DOI 10.1112/jlms.12310
Kazuya Kato, $p$-adic Hodge theory and values of zeta functions of modular forms, Astérisque 295 (2004), ix, 117–290 (English, with English and French summaries). Cohomologies $p$-adiques et applications arithmétiques. III. MR 2104361
Nicholas M. Katz, $p$-adic $L$-functions for CM fields, Invent. Math. 49 (1978), no. 3, 199–297. MR 513095, DOI 10.1007/BF01390187
Chandrashekhar Khare and Jean-Pierre Wintenberger, Serre’s modularity conjecture. I, Invent. Math. 178 (2009), no. 3, 485–504. MR 2551763, DOI 10.1007/s00222-009-0205-7
Sören Kleine, $T$-ranks of Iwasawa modules, J. Number Theory 196 (2019), 61–86. MR 3906468, DOI 10.1016/j.jnt.2018.09.022
Manfred Kolster, An idelic approach to the wild kernel, Invent. Math. 103 (1991), no. 1, 9–24. MR 1079838, DOI 10.1007/BF01239507
L. V. Kuz′min, The Tate module of algebraic number fields, Izv. Akad. Nauk SSSR Ser. Mat. 36 (1972), 267–327 (Russian). MR 304353
L. V. Kuz′min, Local and global universal norms of the cyclotomic $\Bbb Z_{\ell }$-extension of an algebraic number field, Izv. Ross. Akad. Nauk Ser. Mat. 82 (2018), no. 3, 90–107 (Russian, with Russian summary); English transl., Izv. Math. 82 (2018), no. 3, 532–548. MR 3807876, DOI 10.4213/im8653
Alexandre Maksoud, Théorie d’Iwasawa des motifs d’Artin et des formes modulaires de poids 1, arXiv:1811.05368, 2021.
J. Martinet, Character theory and Artin $L$-functions, Algebraic number fields: $L$-functions and Galois properties (Proc. Sympos., Univ. Durham, Durham, 1975) Academic Press, London-New York, 1977, pp. 1–87. MR 447187
B. Mazur and A. Wiles, Class fields of abelian extensions of $\textbf {Q}$, Invent. Math. 76 (1984), no. 2, 179–330. MR 742853, DOI 10.1007/BF01388599
J. S. Milne, Arithmetic duality theorems, Perspectives in Mathematics, vol. 1, Academic Press, Inc., Boston, MA, 1986. MR 881804
Jan Nekovář, Selmer complexes, Astérisque 310 (2006), viii+559 (English, with English and French summaries). MR 2333680
Bernadette Perrin-Riou, Théorie d’Iwasawa des représentations $p$-adiques sur un corps local, Invent. Math. 115 (1994), no. 1, 81–161 (French). With an appendix by Jean-Marc Fontaine. MR 1248080, DOI 10.1007/BF01231755
Bernadette Perrin-Riou, Fonctions L p-adiques des représentations p-adiques, Astérisque (1995).
Óscar Rivero and Victor Rotger, Derived Beilinson-Flach elements and the arithmetic of the adjoint of a modular form, J. Eur. Math. Soc. (JEMS) 23 (2021), no. 7, 2299–2335. MR 4269414, DOI 10.4171/jems/1054
Marti Roset, Victor Rotger, and Vinayak Vatsal, On the $\mathcal L$-invariant of the adjoint of a weight one modular form, J. Lond. Math. Soc. (2) 104 (2021), no. 1, 206–232. MR 4313244, DOI 10.1112/jlms.12428
Damien Roy, Matrices whose coefficients are linear forms in logarithms, J. Number Theory 41 (1992), no. 1, 22–47. MR 1161143, DOI 10.1016/0022-314X(92)90081-Y
Karl Rubin, The “main conjectures” of Iwasawa theory for imaginary quadratic fields, Invent. Math. 103 (1991), no. 1, 25–68. MR 1079839, DOI 10.1007/BF01239508
Karl Rubin, More “main conjectures” for imaginary quadratic fields, Elliptic curves and related topics, CRM Proc. Lecture Notes, vol. 4, Amer. Math. Soc., Providence, RI, 1994, pp. 23–28. MR 1260952, DOI 10.1090/crmp/004/02
Karl Rubin, A Stark conjecture “over $\mathbf Z$” for abelian $L$-functions with multiple zeros, Ann. Inst. Fourier (Grenoble) 46 (1996), no. 1, 33–62 (English, with English and French summaries). MR 1385509, DOI 10.5802/aif.1505
Karl Rubin, Euler systems, Annals of Mathematics Studies, vol. 147, Princeton University Press, Princeton, NJ, 2000. Hermann Weyl Lectures. The Institute for Advanced Study. MR 1749177, DOI 10.1515/9781400865208
T. Sano, Refined abelian Stark conjectures and the equivariant leading term conjecture of Burns, Compos. Math. 150 (2014), no. 11, 1809–1835. MR 3279258, DOI 10.1112/S0010437X14007416
H. M. Stark, $L$-functions at $s=1$. II. Artin $L$-functions with rational characters, Advances in Math. 17 (1975), no. 1, 60–92. MR 382194, DOI 10.1016/0001-8708(75)90087-0
Harold M. Stark, $L$-functions at $s=1$. IV. First derivatives at $s=0$, Adv. in Math. 35 (1980), no. 3, 197–235. MR 563924, DOI 10.1016/0001-8708(80)90049-3
John Tate, Les conjectures de Stark sur les fonctions $L$ d’Artin en $s=0$, Progress in Mathematics, vol. 47, Birkhäuser Boston, Inc., Boston, MA, 1984 (French). Lecture notes edited by Dominique Bernardi and Norbert Schappacher. MR 782485
Takae Tsuji, Semi-local units modulo cyclotomic units, J. Number Theory 78 (1999), no. 1, 1–26. MR 1706941, DOI 10.1006/jnth.1999.2398
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
Rodney I. Yager, On two variable $p$-adic $L$-functions, Ann. of Math. (2) 115 (1982), no. 2, 411–449. MR 647813, DOI 10.2307/1971398