Reflexive ideals in Iwasawa algebras

Let G be a torsionfree compact p-adic analytic group. We give sufficient conditions on p and G which ensure that the Iwasawa algebra ΩG of G has no non-trivial two-sided reflexive ideals. Consequently, these conditions imply that every non-zero normal element in ΩG is a unit. We show that these conditions hold in the case when G is an open subgroup of SL₂(Zp) and p is arbitrary. Using a previous result of the first author, we show that there are only two prime ideals in ΩG when G is a congruence subgroup of SL₂(Zp): the zero ideal and the unique maximal ideal. These statements partially answer some questions asked by the first author and Brown.     

K0 and the dimension filtration for p-torsion Iwasawa modules

Let G be a compact p-adic analytic group. We study K-theoreticquestions related to the representation theory of the completedgroup algebra kG of G with coefficients in a finite field kof characteristic p. We show that if M is a finitely generatedkG-module with canonical dimension smaller than the dimensionof the centralizer, as a p-adic analytic group, of any p-regularelement of G, then the Euler characteristic of M is trivial.Writing _i for the abelian category consisting of all finitelygenerated kG-modules of dimension at most i, we provide an upperbound for the rank of the natural map from the Grothendieckgroup of _i to that of _d, where d denotes the dimension of G.We show that this upper bound is attained in some special cases,but is not attained in general.     

Primeness, semiprimeness and localisation in Iwasawa algebras

Necessary and sufficient conditions are given for the completed group algebras of a compact -adic analytic group with coefficient ring the -adic integers or the field of elements to be prime, semiprime and a domain. Necessary and sufficient conditions are found for the localisation at semiprime ideals related to the augmentation ideals of closed normal subgroups. Some information is obtained about the Krull and global dimensions of the localisations. The results extend and complete work of A. Neumann and J. Coates et al.

     

On the Cartan Map for Crossed Products and Hopf–Galois Extensions

We study certain aspects of the algebraic K-theory of Hopf–Galois extensions. We show that the Cartan map from K-theory to G-theory of such an extension is a rational isomorphism, provided the ring of coinvariants is regular, the Hopf algebra is finite dimensional and its Cartan map is injective in degree zero. This covers the case of a crossed product of a regular ring with a finite group and has an application to the study of Iwasawa modules.