Characteristic elements for $p$-torsion Iwasawa modules
Authors:
Konstantin Ardakov and Simon Wadsley
Journal:
J. Algebraic Geom. 15 (2006), 339-377
DOI:
https://doi.org/10.1090/S1056-3911-05-00415-7
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.
AB K. Ardakov, K. A. Brown, Primeness, semiprimeness and localisation in Iwasawa Algebras, submitted.
- Armand Brumer, Pseudocompact algebras, profinite groups and class formations, J. Algebra 4 (1966), 442–470. MR 202790, DOI https://doi.org/10.1016/0021-8693%2866%2990034-2
CFKSV 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.
- 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
- J. Coates, P. Schneider, and R. Sujatha, Modules over Iwasawa algebras, J. Inst. Math. Jussieu 2 (2003), no. 1, 73–108. MR 1955208, DOI https://doi.org/10.1017/S1474748003000045
- 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
DDMS J.D. Dixon, M.P.F. Du Sautoy, A. Mann, D. Segal, Analytic pro-$p$ groups, 2nd edition, CUP (1999).
- Susan Howson, Euler characteristics as invariants of Iwasawa modules, Proc. London Math. Soc. (3) 85 (2002), no. 3, 634–658. MR 1936815, DOI https://doi.org/10.1112/S0024611502013680
- 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
- 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
- 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
- Masaru Osima, On primary decomposable group rings, Proc. Phys.-Math. Soc. Japan (3) 24 (1942), 1–9. MR 15113
- Donald S. Passman, Infinite crossed products, Pure and Applied Mathematics, vol. 135, Academic Press, Inc., Boston, MA, 1989. MR 979094
- Jean-Pierre Serre, Sur la dimension cohomologique des groupes profinis, Topology 3 (1965), 413–420 (French). MR 180619, DOI https://doi.org/10.1016/0040-9383%2865%2990006-6
- 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
- R. G. Swan, Algebraic $K$-theory, Lecture Notes in Mathematics, No. 76, Springer-Verlag, Berlin-New York, 1968. MR 0245634
Ven O. Venjakob, Characteristic elements in non-commutative Iwasawa theory, Habilitationsschrift, Heidelberg University (2003).
- Otmar Venjakob, On the structure theory of the Iwasawa algebra of a $p$-adic Lie group, J. Eur. Math. Soc. (JEMS) 4 (2002), no. 3, 271–311. MR 1924402, DOI https://doi.org/10.1007/s100970100038
- Charles Weibel and Dongyuan Yao, Localization for the $K$-theory of noncommutative rings, Algebraic $K$-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, DOI https://doi.org/10.1090/conm/126/00513
AB K. Ardakov, K. A. Brown, Primeness, semiprimeness and localisation in Iwasawa Algebras, submitted.
Bru A. Brumer, Pseudocompact algebras, profinite groups and class formations, J. Algebra 4(1966) 442-470.
CFKSV 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.
Clark J. Clark, Auslander-Gorenstein rings for beginners, International Symposium on Ring Theory (Kyongju, 1999), 95-115
CSS J. Coates, P. Schneider, R. Sujatha, Modules over Iwasawa algebras, J. Inst. Math. Jussieu 2 (2003), no. 1, 73-108.
CurRei C.W. Curtis, I. Reiner, Methods of Representation Theory, J. Wiley (1981).
DDMS J.D. Dixon, M.P.F. Du Sautoy, A. Mann, D. Segal, Analytic pro-$p$ groups, 2nd edition, CUP (1999).
Howson S. Howson, Euler characteristics as invariants of Iwasawa modules, Proc. London Math. Soc. (3) 85 (2002) 634-658.
Karp G. Karpilovsky, Structure of blocks of group algebras, Longman, Essex (1987).
MCR J.C. McConnell, J.C. Robson, Noncommutative Noetherian rings, AMS Graduate Studies in Mathematics, vol. 30.
NSW J. Neukirch, A. Schmidt, K. Wingberg, Cohomology of number fields, Grundlehren der Mathematischen Wissenschaften 323 Springer (2000).
Osima M. Osima, On primary decomposable group rings, Proc. Phy-Math. Soc. Japan (3) 24 (1942) 1-9.
Passman D. Passman, Infinite Crossed Products, Pure and Applied Mathematics vol. 135, Academic Press, San Diego, (1989).
Serre J.-P. Serre, Sur la dimension homologique des groupes profinis, Topology 3, (1965) 413-420.
Serre2 J.-P. Serre, Linear representations of finite groups, Graduate Texts in Mathematics 42 Springer (1977).
Swan R. G. Swan, Algebraic K-theory, Lecture Notes in Mathematics 76 Springer (1968).
Ven O. Venjakob, Characteristic elements in non-commutative Iwasawa theory, Habilitationsschrift, Heidelberg University (2003).
Ven2 O. Venjakob, On the structure theory of the Iwasawa algebra of a p-adic Lie group, J. Eur. Math. Soc. (3) 4 (2002) 271-311.
WeiYao C. Weibel, D. Yao, Localization for the $K$-theory of Noncommutative Rings, Contemporary Mathematics 126 (1992) Amer. Math. Soc., Providence, RI, 1992.
Additional Information
Konstantin Ardakov
Affiliation:
Christ’s College, University of Cambridge, Cambridge CB2 3BU, United Kingdom
Email:
K.Ardakov@dpmms.cam.ac.uk
Simon Wadsley
Affiliation:
DPMMS, University of Cambridge, Cambridge CB3 OWB, United Kingdom
MR Author ID:
770243
Email:
S.J Wadsley@dpmms.cam.ac.uk
Received by editor(s):
February 27, 2005
Received by editor(s) in revised form:
March 30, 2005
Published electronically:
June 7, 2005