Skip to main content
Log in

On the growth of even K-groups of rings of integers in p-adic Lie extensions

  • Published:
Israel Journal of Mathematics Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

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

  1. P. N. Balister and S. Howson, Notes on Nakayama’s lemma for compact Λ-modules, Asian Journal of Mathematics 1 (1997), 224–229.

    Article  MathSciNet  MATH  Google Scholar 

  2. 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.

    Article  Google Scholar 

  3. S. Bloch and K. Kato, p-adic étale cohomology, Institut des Hautes Études Scientifiques. Publications Mathématiques 63 (1986), 107–152.

    Article  MATH  Google Scholar 

  4. 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.

    Google Scholar 

  5. A. Borel, Stable real cohomology of arithmetic groups, Annales Scientifiques de l’École Normale Supérieure 7 (1974), 235–272.

    Article  MathSciNet  MATH  Google Scholar 

  6. J. Browkin and H. Gangl, Tame and wild kernels of quadratic imaginary number fields, Mathematics of Computation 68 (1999), 291–305.

    Article  MathSciNet  MATH  Google Scholar 

  7. J. Coates, On K2and some classical conjectures in algebraic number theory, Annals of Mathematics 95 (1972), 99–116.

    Article  MathSciNet  MATH  Google Scholar 

  8. 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.

    Article  MATH  Google Scholar 

  9. A. A. Cuoco and P. Monsky, Class numbers in Z dp -extensions, Mathematische Annalen 255 (1981), 235–258.

    Article  MathSciNet  MATH  Google Scholar 

  10. A. A Cuoco, Generalized Iwasawa invariants in a family, Compositio Mathematica 51 (1984), 89–103.

    MathSciNet  MATH  Google Scholar 

  11. 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.

    Article  MathSciNet  MATH  Google Scholar 

  12. 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.

    Book  MATH  Google Scholar 

  13. W. G. Dwyer and E. Friedlander, Algebraic and etale K-theory, Transactions of the American Mathematical Society 292 (1985), 247–280.

    MathSciNet  MATH  Google Scholar 

  14. B. Ferrero and L. C. Washington, The Iwasawa invariant μp vanishes for abelian number fields, Annals of Mathematics 109 (1979), 377–395.

    Article  MathSciNet  MATH  Google Scholar 

  15. 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.

    Google Scholar 

  16. H. Garland, A finiteness theorem for K2of a number field, Annals of Mathematics 94 (1971), 534–548.

    Article  MathSciNet  MATH  Google Scholar 

  17. 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.

    Book  MATH  Google Scholar 

  18. Y. Hachimori and R. Sharifi, On the failure of pseudo-nullity of Iwasawa modules, Journal of Algebraic Geometry 14 (2005), 567–591.

    Article  MathSciNet  MATH  Google Scholar 

  19. M. Harris, p-adic representations arising from descent on abelian varieties, Compositio Mathematica 39 (1979), 177–245.

    MathSciNet  MATH  Google Scholar 

  20. M. Harris, Correction to: “p-adic representations arising from descent on abelian varieties”, Compositio Mathematica 121 (2000), 105–108.

    Article  MathSciNet  MATH  Google Scholar 

  21. S. Howson, Euler characteristics as invariants of Iwasawa modules, Proceedings of the London Mathematical Society 85 (2002), 634–658.

    Article  MathSciNet  MATH  Google Scholar 

  22. S. Howson, Structure of central torsion Iwasawa modules, Bulletin de la Société Mathématique de France 130 (2002), 507–535.

    Article  MathSciNet  MATH  Google Scholar 

  23. K. Iwasawa, On Γ-extensions of algebraic number fields, Bulletin of the American Mathematical Society 65 (1959), 183–226.

    Article  MathSciNet  MATH  Google Scholar 

  24. K. Iwasawa, On ZOn the Iwasawa asymptotic class number formula forΛ-extensions of algebraic number fields, Annals of Mathematics 98 (1973), 246–326.

    Article  MathSciNet  Google Scholar 

  25. 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.

    Google Scholar 

  26. Q. Ji and H. Qin, Iwasawa theory for \({K_{2n}}{{\cal O}_F}\), Journal of K-Theory 12 (2013), 115–123.

    Article  MathSciNet  MATH  Google Scholar 

  27. 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.

    Google Scholar 

  28. T. Y. Lam, Lectures on Modules and Rings, Graduate Texts in Mathematics, Vol. 189, Springer, New York, 1999.

    Book  MATH  Google Scholar 

  29. A. Lei, Estimating class numbers over metabelian extensions, Acta Arithmetica 180 (2017), 347–364.

    Article  MathSciNet  MATH  Google Scholar 

  30. M. Levine, The indecomposable K3of fields, Annales Scientifiques de l’École Normale Supérieure 22 (1989), 255–344.

    Article  MATH  Google Scholar 

  31. D. Liang and M. F. Lim, On the Iwasawa asymptotic class number formula for rp ⋊ ℤp-extensions, Acta Arithmetica 189 (2019), 191–208.

    Article  MathSciNet  Google Scholar 

  32. M. F. Lim, Notes on the fine Selmer groups, Asian Journal of Mathematics 21 (2017), 337–362.

    Article  MathSciNet  MATH  Google Scholar 

  33. M. F. Lim, Comparing the π-primary submodules of the dual Selmer groups, Asian Journal of Mathematics 21 (2017), 1153–1182.

    Article  MathSciNet  MATH  Google Scholar 

  34. 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.

    Article  MathSciNet  MATH  Google Scholar 

  35. M. F. Lim and R. Sharifi, Nekovář duality over p-adic Lie extensions of global fields, Documenta Mathematica 18 (2013), 621–678.

    MathSciNet  MATH  Google Scholar 

  36. A. Merkurjev and A. Suslin, On the norm residue homomorphism of degree three, Izvestiya Akademii Nauk SSSR. Seriya Matematicheskaya 54 (1990), 339–356.

    MATH  Google Scholar 

  37. J. Milne, Arithmetic Duality Theorems, BookSurge, Charleston, SC, 2006.

    MATH  Google Scholar 

  38. J. Milnor, Algebraic K-theory and quadratic forms, Inventiones Mathematicae 9 (1969/70), 318–344.

    Article  MathSciNet  MATH  Google Scholar 

  39. J. Nekovář, Selmer complexes, Astérisque 310 (2006).

  40. J. Neukirch, A. Schmidt and K. Wingberg, Cohomology of Number Fields, Grundlehren der mathematischen Wissenschaften, Vol. 323, Springer, Berlin, 2008.

    Book  MATH  Google Scholar 

  41. A. Neumann, Completed group algebras without zero divisors, Archiv der Mathematik 51 (1988), 496–499.

    Article  MathSciNet  MATH  Google Scholar 

  42. 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.

    Article  MathSciNet  MATH  Google Scholar 

  43. G. Perbet, Sur les invariants d’Iwasawa dans les extensions de Lie p-adiques, Algebra & Number Theory 5 (2011), 819–848.

    Article  MathSciNet  MATH  Google Scholar 

  44. 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.

    Google Scholar 

  45. 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.

    Google Scholar 

  46. P. Schneider, Über gewisse Galoiscohomologiegruppen, Mathematische Zeitschrift 168 (1979), 181–205.

    Article  MathSciNet  MATH  Google Scholar 

  47. R. Sharifi, Reciprocity maps with restricted ramification, Transactions of the American Mathematical Society, to appear, https://arxiv.org/abs/1609.03616.

  48. C. Soulé, K-théorie des anneaux d’entiers de corps de nombres et cohomologie étale, Inventiones Mathematicae 55 (1979), 251–295.

    Article  MathSciNet  MATH  Google Scholar 

  49. 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.

    Article  MathSciNet  MATH  Google Scholar 

  50. 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.

    MathSciNet  MATH  Google Scholar 

  51. V. Voevodsky, On motivic cohomology with Z/l-coefficients, Annals of Mathematics 174 (2011), 401–438.

    Article  MathSciNet  MATH  Google Scholar 

  52. 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.

    Chapter  MATH  Google Scholar 

  53. C. Weibel, The norm residue isomorphism theorem, Journal of Topology 2 (2009), 346–372.

    Article  MathSciNet  MATH  Google Scholar 

  54. C. Weibel, The K-Book, An introduction to algebraic K-theory. Graduate Studies in Mathematics, Vol. 145, American Mathematical Society, Providence, RI, 2013.

    MATH  Google Scholar 

Download references

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

Authors

Corresponding author

Correspondence to Meng Fai Lim.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Revised:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11856-022-2324-4

Navigation