A control theorem for primitive ideals in Iwasawa algebras (Q2193222): Difference between revisions

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\).