A control theorem for primitive ideals in Iwasawa algebras
Let \(p\) be a fixed prime, \(K/\mathbb{Q}_p\) be a finite extension, \(\mathcal{O}\) the ring of integers of \(K\), \(\pi\) be a uniformiser for \(\mathcal{O}\), and let \(G\) be a uniform pro-\(p\) group in the sense of [\textit{J. D. Dixon} et al., Analytic pro-\(p\) groups. 2nd ed. Cambridge: Cambridge University Press (1999; Zbl 0934.20001)]. One can define the Iwasawa algebra of \(G\) with coefficients in \(\mathcal{O}\) to be the \(\mathcal{O}\)-algebra \[ \mathcal{O}G:=\varprojlim_{N\unlhd_{O} G}\mathcal{O}[G/N]. \] An ongoing project is to investigate the ideal structure of \(\mathcal{O}G\) and give a complete classification of prime ideals of \(\mathcal{O}G\), which were carried out by \textit{K. Ardakov} and \textit{K. A. Brown} [Doc. Math. Extra Vol., 7--33 (2007; Zbl 1125.16011); Adv. Math. 218, No. 3, 865--901 (2008 Zbl 1153.16015); Invent. Math. 190, No. 2, 439--503 (2012; Zbl 1263.16026); Adv. Math. 354, Article ID 106755, 56 p. (2019; Zbl 1444.16031)] but these results only apply in a characteristic \(p\) setting, i.e., they apply only to prime ideals of \(\mathcal{O}G\) which contain \(p\). This paper will focus instead on the characteristic \(0\) case. Define \(KG:=\mathcal{O}G\otimes K\), then using Lemma 21.1 of \textit{P. Schneider} [\(p\)-adic Lie groups. Berlin: Springer (2011; Zbl 1223.22008)], this can be realized as the algebra of continuous, \(K\)-valued distributions on \(G\), i.e., as a dense subalgebra of the distribution algebra \(D(G, K)\) of \(K\)-analytic distributions on \(G\). For the sake of this reason, we call \(KG\) the Iwasawa algebra of continuous \(K\)-distributions of \(G\). The main aim of this work under review is to classify prime ideals in \(KG\). Precisely speaking, the author proves that all faithful, primitive ideals in the Iwasawa algebra \(KG\) are controlled by \(C_G(Z_2(G))\), the centraliser of the second term in the upper central series for \(G\).
- \(p\)-adic analytic groups
- p-adic Lie groups
- Algebras of p-adic distributions and admissible representations
- Completed group algebras of abelian-by-procyclic groups
- scientific article; zbMATH DE number 1339096 (Why is no real title available?)
- Noncommutative Noetherian rings. With the cooperation of L. W. Small.
- On irreducible representations of compact p-adic analytic groups
- Prime ideals in nilpotent Iwasawa algebras.
- Ring-theoretic properties of Iwasawa algebras: a survey.
- The controller subgroup of one-sided ideals in completed group rings.
- Verma modules for Iwasawa algebras are faithful
- Zariskian filtrations
This page was built for publication: A control theorem for primitive ideals in Iwasawa algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2193222)
