On the faithfulness of certain representations of \(\mathrm{GL}_2(\mathbb F)\) under an Iwasawa algebra (Q396485)

This paper concerns a technical result on the ideals of an Iwasawa algebra \(E[[U]]\) for a given field \(E\) of characteristic \(p\) and the subgroup \(U\) of upper triangular unipotent matrices of \(\mathrm{GL}(2,F)\) where \(F\) is a finite extension of \({\mathbb Q}_{p}\). Note that if \(F\) is different from \({\mathbb Q}_{p}\), \(E[[U]]\) is no more a complete valuation ring and it contains ideals which are not open. Let \(T_{0}\) be the subgroup of diagonal matrices with integer coefficients and \((2,2)\)-entry being equal to 1. The result in question claims that every non-zero ideal of \(E[[U]]\) which is invariant under the conjugacy action of an open subgroup of \(T_{0}\) is an open ideal of \(E[[U]]\). The proof uses classical techniques in the theory of Iwasawa algebras. The authors deduce from it several consequences on \(E[[U]]\)-modules. In particular, they prove that the action of \(E[[U]]\) on an infinite dimensional irreducible smooth representation of \(\mathrm{GL}(2,F)\) is faithful and that for any finitely generated reflexive \(E[[U]]\)-module endowed with a semi-linear action of \(T_{0}\), its localization at a non-maximal prime ideal \({\mathfrak p}\) is a free module over the localization of \(E[[U]]\) at \({\mathfrak p}\).