Journal of Algebraic Geometry

Journal of Algebraic Geometry

Online ISSN 1534-7486; Print ISSN 1056-3911



Characteristic elements for $p$-torsion Iwasawa modules

Authors: Konstantin Ardakov and Simon Wadsley
Journal: J. Algebraic Geom. 15 (2006), 339-377
Published electronically: June 7, 2005
MathSciNet review: 2199061
Full-text PDF

Abstract | References | Additional Information

Abstract: Let $G$ be a compact $p$-adic analytic group with no elements of order $p$. We provide a formula for the characteristic element (J. Coates, et. al., The $GL_2$ main conjecture for elliptic curves without complex multiplication, preprint) of any finitely generated $p$-torsion module $M$ over the Iwasawa algebra $\Lambda_G$ of $G$ in terms of twisted $\mu$-invariants of $M$, which are defined using the Euler characteristics of $M$ and its twists. A version of the Artin formalism is proved for these characteristic elements. We characterize those groups having the property that every finitely generated pseudo-null $p$-torsion module has trivial characteristic element as the $p$-nilpotent groups. It is also shown that these are precisely the groups which have the property that every finitely generated $p$-torsion module has integral Euler characteristic. Under a slightly weaker condition on $G$ we decompose the completed group algebra $\Omega_G$ of $G$ with coefficients in $\mathbb{F} _p$ into blocks and show that each block is prime; this generalizes a result of Ardakov and Brown (Primeness, semiprimeness and localisation in Iwasawa Algebras, submitted). We obtain a generalization of a result of Osima (On primary decomposable group rings, Proc. Phy-Math. Soc. Japan (3) 24 (1942) 1-9), characterizing the groups $G$ which have the property that every block of $\Omega_G$ is local. Finally, we compute the ranks of the $K_0$ group of $\Omega_G$ and of its classical ring of quotients $Q(\Omega_G)$ whenever the latter is semisimple.

References [Enhancements On Off] (What's this?)

  • 1. K. Ardakov, K. A. Brown, Primeness, semiprimeness and localisation in Iwasawa Algebras, submitted.
  • 2. Armand Brumer, Pseudocompact algebras, profinite groups and class formations, J. Algebra 4 (1966), 442–470. MR 0202790
  • 3. J. Coates, T. Fukaya, K. Kato, R. Sujatha, O. Venjakob, The $GL_2$ main conjecture for elliptic curves without complex multiplication, preprint, arXiv math NT/0404297.
  • 4. John Clark, Auslander-Gorenstein rings for beginners, International Symposium on Ring Theory (Kyongju, 1999) Trends Math., Birkhäuser Boston, Boston, MA, 2001, pp. 95–115. MR 1851195
  • 5. J. Coates, P. Schneider, and R. Sujatha, Modules over Iwasawa algebras, J. Inst. Math. Jussieu 2 (2003), no. 1, 73–108. MR 1955208, 10.1017/S1474748003000045
  • 6. Charles W. Curtis and Irving Reiner, Methods of representation theory. Vol. I, John Wiley & Sons, Inc., New York, 1981. With applications to finite groups and orders; Pure and Applied Mathematics; A Wiley-Interscience Publication. MR 632548
  • 7. J.D. Dixon, M.P.F. Du Sautoy, A. Mann, D. Segal, Analytic pro-$p$ groups, 2nd edition, CUP (1999).
  • 8. Susan Howson, Euler characteristics as invariants of Iwasawa modules, Proc. London Math. Soc. (3) 85 (2002), no. 3, 634–658. MR 1936815, 10.1112/S0024611502013680
  • 9. Gregory Karpilovsky, Structure of blocks of group algebras, Pitman Monographs and Surveys in Pure and Applied Mathematics, vol. 33, Longman Scientific & Technical, Harlow; John Wiley & Sons, Inc., New York, 1987. MR 914150
  • 10. J. C. McConnell and J. C. Robson, Noncommutative Noetherian rings, Revised edition, Graduate Studies in Mathematics, vol. 30, American Mathematical Society, Providence, RI, 2001. With the cooperation of L. W. Small. MR 1811901
  • 11. Jürgen Neukirch, Alexander Schmidt, and Kay Wingberg, Cohomology of number fields, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 323, Springer-Verlag, Berlin, 2000. MR 1737196
  • 12. Masaru Osima, On primary decomposable group rings, Proc. Phys.-Math. Soc. Japan (3) 24 (1942), 1–9. MR 0015113
  • 13. Donald S. Passman, Infinite crossed products, Pure and Applied Mathematics, vol. 135, Academic Press, Inc., Boston, MA, 1989. MR 979094
  • 14. Jean-Pierre Serre, Sur la dimension cohomologique des groupes profinis, Topology 3 (1965), 413–420 (French). MR 0180619
  • 15. Jean-Pierre Serre, Linear representations of finite groups, Springer-Verlag, New York-Heidelberg, 1977. Translated from the second French edition by Leonard L. Scott; Graduate Texts in Mathematics, Vol. 42. MR 0450380
  • 16. R. G. Swan, Algebraic 𝐾-theory, Lecture Notes in Mathematics, No. 76, Springer-Verlag, Berlin-New York, 1968. MR 0245634
  • 17. O. Venjakob, Characteristic elements in non-commutative Iwasawa theory, Habilitationsschrift, Heidelberg University (2003).
  • 18. Otmar Venjakob, On the structure theory of the Iwasawa algebra of a 𝑝-adic Lie group, J. Eur. Math. Soc. (JEMS) 4 (2002), no. 3, 271–311. MR 1924402, 10.1007/s100970100038
  • 19. Charles Weibel and Dongyuan Yao, Localization for the 𝐾-theory of noncommutative rings, Algebraic 𝐾-theory, commutative algebra, and algebraic geometry (Santa Margherita Ligure, 1989) Contemp. Math., vol. 126, Amer. Math. Soc., Providence, RI, 1992, pp. 219–230. MR 1156514, 10.1090/conm/126/00513

Additional Information

Konstantin Ardakov
Affiliation: Christ’s College, University of Cambridge, Cambridge CB2 3BU, United Kingdom

Simon Wadsley
Affiliation: DPMMS, University of Cambridge, Cambridge CB3 OWB, United Kingdom
Email: S.J

Received by editor(s): February 27, 2005
Received by editor(s) in revised form: March 30, 2005
Published electronically: June 7, 2005

Journal of Algebraic Geometry
The Journal of Algebraic Geometry
is sponsored by the Department of Mathematical Sciences
of Tsinghua University
and is distributed by the American Mathematical Society
for University Press, Inc.
Online ISSN 1534-7486; Print ISSN 1056-3911
© 2016 University Press, Inc.
AMS Website