Abstract
Let p be an odd prime number. In this paper, we study the growth of the Sylow p-subgroups of the even K-groups of rings of integers in a p-adic Lie extension. Our results generalize previous results of Coates and Ji—Qin, where they considered the situation of a cyclotomic ℤp-extension. Our method of proof differs from these previous works. Their proof relies on an explicit description of certain Galois group via Kummer theory afforded by the context of a cyclotomic ℤp-extension, whereas our approach is via considering the Iwasawa cohomology groups with coefficients in ℤp (i) for i ≥ 2. We should mention that this latter approach is possible thanks to the Quillen—Lichtenbaum Conjecture which is now known to be valid by the works of Rost—Voevodsky. We also note that the approach allows us to work with more general p-adic Lie extensions that do not necessarily contain the cyclotomic ℤp-extension, where the Kummer theoretical approach does not apply. Along the way, we study the torsionness of the second Iwasawa cohomology groups with coefficients in ℤp (i) for i ≥ 2. Finally, we give examples of p-adic Lie extensions, where the second Iwasawa cohomology groups can have nontrivial μ-invariants.
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
References
P. N. Balister and S. Howson, Notes on Nakayama’s lemma for compact Λ-modules, Asian Journal of Mathematics 1 (1997), 224–229.
H. Bass, J. Milnor and J.-P. Serre, Solution of the congruence subgroup problem for SLn (n ≥ 3) and Sp2n (n ≥ 2), Institut des Hautes Études Scientifiques. Publications Mathématiques 33 (1967), 59–137.
S. Bloch and K. Kato, p-adic étale cohomology, Institut des Hautes Études Scientifiques. Publications Mathématiques 63 (1986), 107–152.
S. Bloch and K. Kato, L-functions and Tamagawa numbers of motives, in The Grothendieck Festschrift, Vol. I, Progress in Mathematics, Vol. 86, Birkhäuser, Boston, MA, 1990, pp. 333–400.
A. Borel, Stable real cohomology of arithmetic groups, Annales Scientifiques de l’École Normale Supérieure 7 (1974), 235–272.
J. Browkin and H. Gangl, Tame and wild kernels of quadratic imaginary number fields, Mathematics of Computation 68 (1999), 291–305.
J. Coates, On K2and some classical conjectures in algebraic number theory, Annals of Mathematics 95 (1972), 99–116.
J. Coates, T. Fukaya, K. Kato, R. Sujatha and O. Venjakob, The GL2main conjecture for elliptic curves without complex multiplication, Publications Mathématiques. Institut de Hautes Études Scientifiques 101 (2005), 163–208.
A. A. Cuoco and P. Monsky, Class numbers in Z dp -extensions, Mathematische Annalen 255 (1981), 235–258.
A. A Cuoco, Generalized Iwasawa invariants in a family, Compositio Mathematica 51 (1984), 89–103.
D. Delbourgo and A. Lei, Estimating the growth in Mordell—Weil ranks and Shafarevich—Tate groups over Lie extensions, Ramanujan Journal 43 (2017), 29–68.
J. Dixon, M. P. F. Du Sautoy, A. Mann and D. Segal, Analytic Pro-p Groups, Cambridge Studies in Advanced Mathematics, Vol. 38, Cambridge University Press, Cambridge, 1999.
W. G. Dwyer and E. Friedlander, Algebraic and etale K-theory, Transactions of the American Mathematical Society 292 (1985), 247–280.
B. Ferrero and L. C. Washington, The Iwasawa invariant μp vanishes for abelian number fields, Annals of Mathematics 109 (1979), 377–395.
T. Fukaya and K. Kato, A formulation of conjectures on p-adic zeta functions in non-commutative Iwasawa theory, in Proceedings of the St. Petersburg Mathematical Society, Vol. XII, American Mathematical Society Translations, Series 2, Vol. 219, American Mathematical Society, Providence, 2006, pp. 1–85.
H. Garland, A finiteness theorem for K2of a number field, Annals of Mathematics 94 (1971), 534–548.
K. R. Goodearl and R. B. Warfield, An Introduction to Non-Commutative Noetherian Rings, London Mathematical Society Student Texts, Vol. 61, Cambridge University Press, Cambridge, 2004.
Y. Hachimori and R. Sharifi, On the failure of pseudo-nullity of Iwasawa modules, Journal of Algebraic Geometry 14 (2005), 567–591.
M. Harris, p-adic representations arising from descent on abelian varieties, Compositio Mathematica 39 (1979), 177–245.
M. Harris, Correction to: “p-adic representations arising from descent on abelian varieties”, Compositio Mathematica 121 (2000), 105–108.
S. Howson, Euler characteristics as invariants of Iwasawa modules, Proceedings of the London Mathematical Society 85 (2002), 634–658.
S. Howson, Structure of central torsion Iwasawa modules, Bulletin de la Société Mathématique de France 130 (2002), 507–535.
K. Iwasawa, On Γ-extensions of algebraic number fields, Bulletin of the American Mathematical Society 65 (1959), 183–226.
K. Iwasawa, On ZOn the Iwasawa asymptotic class number formula forΛ-extensions of algebraic number fields, Annals of Mathematics 98 (1973), 246–326.
U. Jannsen, Iwasawa modules up to isomorphism, in Algebraic Number Theory, Advanced Studies in Pure Mathematics, Vol. 17, Academic Press, Boston, MA, 1989, pp. 171–207.
Q. Ji and H. Qin, Iwasawa theory for \({K_{2n}}{{\cal O}_F}\), Journal of K-Theory 12 (2013), 115–123.
M. Kolster, K-theory and arithmetic, in Contemporary Developments in Algebraic K-Theory, ICTP Lecture Notes, Vol. 15, Abdus Salam International Centre for Theoretical Physics, Trieste, 2004, pp. 191–258.
T. Y. Lam, Lectures on Modules and Rings, Graduate Texts in Mathematics, Vol. 189, Springer, New York, 1999.
A. Lei, Estimating class numbers over metabelian extensions, Acta Arithmetica 180 (2017), 347–364.
M. Levine, The indecomposable K3of fields, Annales Scientifiques de l’École Normale Supérieure 22 (1989), 255–344.
D. Liang and M. F. Lim, On the Iwasawa asymptotic class number formula for ℤ rp ⋊ ℤp-extensions, Acta Arithmetica 189 (2019), 191–208.
M. F. Lim, Notes on the fine Selmer groups, Asian Journal of Mathematics 21 (2017), 337–362.
M. F. Lim, Comparing the π-primary submodules of the dual Selmer groups, Asian Journal of Mathematics 21 (2017), 1153–1182.
M. F. Lim, A note on asymptotic class number upper bounds in p-adic Lie extensions, Acta Mathematica Sinica (English Series) 35 (2019), 1481–1490.
M. F. Lim and R. Sharifi, Nekovář duality over p-adic Lie extensions of global fields, Documenta Mathematica 18 (2013), 621–678.
A. Merkurjev and A. Suslin, On the norm residue homomorphism of degree three, Izvestiya Akademii Nauk SSSR. Seriya Matematicheskaya 54 (1990), 339–356.
J. Milne, Arithmetic Duality Theorems, BookSurge, Charleston, SC, 2006.
J. Milnor, Algebraic K-theory and quadratic forms, Inventiones Mathematicae 9 (1969/70), 318–344.
J. Nekovář, Selmer complexes, Astérisque 310 (2006).
J. Neukirch, A. Schmidt and K. Wingberg, Cohomology of Number Fields, Grundlehren der mathematischen Wissenschaften, Vol. 323, Springer, Berlin, 2008.
A. Neumann, Completed group algebras without zero divisors, Archiv der Mathematik 51 (1988), 496–499.
Y. Ochi and O. Venjakob, On the ranks of Iwasawa modules over p-adic Lie extensions, Mathematical Proceedings of the Cambridge Philosophical Society 135 (2003), 25–43.
G. Perbet, Sur les invariants d’Iwasawa dans les extensions de Lie p-adiques, Algebra & Number Theory 5 (2011), 819–848.
D. Quillen, Higher algebraic K-theory. I, in Algebraic K-theory, I: Higher K-theories (Proc. Conf., Battelle Memorial Inst., Seattle, Wash., 1972), Lecture Notes in Mathematics, Vol. 341, Springer, Berlin 1973, pp. 85–147.
D. Quillen, Finite generation of the groups Ki of rings of algebraic integers, in Algebraic K-theory, I: Higher K-theories (Proc. Conf., Battelle Memorial Inst., Seattle, Wash., 1972), Lecture Notes in Mathematics, Vol. 341, Springer, Berlin, 1973, pp. 179–198.
P. Schneider, Über gewisse Galoiscohomologiegruppen, Mathematische Zeitschrift 168 (1979), 181–205.
R. Sharifi, Reciprocity maps with restricted ramification, Transactions of the American Mathematical Society, to appear, https://arxiv.org/abs/1609.03616.
C. Soulé, K-théorie des anneaux d’entiers de corps de nombres et cohomologie étale, Inventiones Mathematicae 55 (1979), 251–295.
O. Venjakob, On the structure theory of the Iwasawa algebra of a p-adic Lie group, Journal of the European Mathematical Society 4 (2002), 271–311.
O. Venjakob, A non-commutative Weierstrass preparation theorem and applications to Iwasawa theory, Journal für die Reine und Angewandte Mathematik 559 (2003), 153–191.
V. Voevodsky, On motivic cohomology with Z/l-coefficients, Annals of Mathematics 174 (2011), 401–438.
C. Weibel, Algebraic K-theory of rings of integers in local and global fields, in Handbook of K-theory. Vols. 1, 2, Springer, Berlin, 2005, pp. 139–190.
C. Weibel, The norm residue isomorphism theorem, Journal of Topology 2 (2009), 346–372.
C. Weibel, The K-Book, An introduction to algebraic K-theory. Graduate Studies in Mathematics, Vol. 145, American Mathematical Society, Providence, RI, 2013.
Acknowledgement
The author would like to thank John Coates and Antonio Lei for their interest and comments. He also liked to thank the anonymous referee for the many valuable comments and for pointing out some inaccuracies in a previous draft of the paper. This research is supported by the National Natural Science Foundation of China under Grant No. 11550110172 and Grant No. 11771164.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Lim, M.F. On the growth of even K-groups of rings of integers in p-adic Lie extensions. Isr. J. Math. 249, 735–767 (2022). https://doi.org/10.1007/s11856-022-2324-4
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11856-022-2324-4