\(\Gamma\)-invariant ideals in Iwasawa algebras. (Q1020966)

In recent years, a lot of attempts have been made to understand the structure of ideals in non-commutative Iwasawa algebras. These are the completed group algebras \(\Omega_G\) of compact \(p\)-adic analytic groups \(G\) with coefficients in the finite field \(\mathbb{F}_p\). For more details about non-commutative Iwasawa, we refer the reader to the survey paper by \textit{K. Ardakov, K. A. Brown} [Doc. Math., J. DMV Extra Vol., 7-33 (2006; Zbl 1125.16011)]. The paper under review should be viewed as an continuation of the works of \textit{K. Ardakov, F. Wei, J. J. Zhang} [Adv. Math. 218, No. 3, 865-901 (2008; Zbl 1153.16015) and J. Algebra 320, No. 1, 259-275 (2008; Zbl 1162.16013)]. The methods of this paper are very much in the spirit of the latter works. Let \(kG\) be the completed group algebra of a uniform pro-\(p\) group \(G\) with coefficients in a field \(k\) of characteristic \(p\). The authors study right ideals \(I\) in \(kG\) that are invariant under the action of another uniform pro-\(p\) group \(\Gamma\). They prove that if \(I\) is non-zero then an irreducible component of the characteristic support of \(kG/I\) must be contained in a certain finite union of rational linear subspaces of \(\text{Spec\,gr\,}kG\). The minimal codimension of these subspaces gives a lower bound on the homological height of \(I\) in terms of the action of a certain Lie algebra on \(G/G^p\). If we take \(\Gamma\) to be \(G\) acting on itself by conjugation, then \(\Gamma\)-invariant right ideals of \(kG\) are precisely the two-sided ideals of \(kG\). And then they obtain a non-trivial lower bound on the homological height of a possible non-zero two-sided ideal. For example, when \(G\) is open in \(\text{SL}_n(\mathbb{Z}_p)\) this lower bound equals \(2n-2\). This gives a significant improvement of the results of Ardakov, Wei and Zhang [op. cit., Zbl 1153.16015].