Presentation of the Iwasawa algebra of the first congruence kernel of a semi-simple, simply connected Chevalley group over Z_p
\textit{M. Lazard}, in his seminal work [Publ. Math., Inst. Hautes Étud. Sci. 26, 389--603 (1965; Zbl 0139.02302)] studied non-commutative Iwasawa algebras for pro-\(p\) groups. They are completed group algebras \[ \Lambda(P) :=\varprojlim_{N\underline P} \mathbb{Z}_p[P/N], \] where \(\mathbb{Z}_p\) is the ring of \(p\)-adic integers, \(P\) is a pro-\(p\) group and the inverse limit is taken over the open normal subgroups \(N\) of \(P\). It seems that explicit description, by generators and relations, of these algebras was inaccessible. However, as noticed by \textit{L. Clozel} [Doc. Math. 16, 545--559 (2011; Zbl 1263.22011)], \textit{J.-P. Serre}'s presentation of semi-simple Lie algebras [Complex semisimple Lie algebras. Translated from the French by G. A. Jones. Reprint of the 1987 ed. New York, NY: Springer (2001; Zbl 1058.17005)] and \textit{R. Steinberg}'s presentation of Chevalley groups [Lectures on Chevalley groups. Notes prepared by John Faulkner and Robert Wilson. New Haven, CT: Yale University (1968; Zbl 1196.22001)] make us believe that the objects coming from semi-simple split groups have explicit presentation. In this well-written paper under review, the author gives an explicit presentation (by generators and relations) of the Iwasawa algebra for the first congruence kernel of a semi-simple, simply connected Chevalley group over \(\mathbb{Z}_p\), extending the proof given by Clozel [loc. cit] for the group \(\Gamma_1(\text{SL}_2(\mathbb{Z}_p))\), the first congruence kernel of \(\text{SL}_2(\mathbb{Z}_p)\) for primes \(p>2\). Let \(G\) be a semi-simple, simply connected Chevalley group over \(\mathbb{Z}_p\). We can view \(G\) as a group scheme over \(\mathbb{Z}\) and denote \(G(1):= \text{ker}(G(\mathbb{Z}_p)\longrightarrow G(\mathbb{Z}/p\mathbb{Z}))\) to be the principal congruence kernel. It should be remarked that the subtle construction of ordered basis for \(G(1)\) will be very useful for the cohomology of uniform pro-\(p\) groups.
- Explicit presentation of an Iwasawa algebra: the case of pro-\(p\) Iwahori subgroup of \(\mathrm{SL}_n (\mathbb{Z}_p)\)
- A LOCALISABLE CLASS OF PRIMITIVE IDEALS OF UNIFORM NILPOTENT IWASAWA ALGEBRAS
- Presentation of an Iwasawa algebra: the case of \(\Gamma_1\text{SL}(2,\mathbb Z_p)\)
- Explicit ring-theoretic presentation of Iwasawa algebras
- Normal elements in the Iwasawa algebras of Chevalley groups
- \(p\)-adic analytic groups
- p-adic Lie groups
- Algebras of p-adic distributions and admissible representations
- Chevalley groups over local rings
- Homomorphismes abstraits de groupes algébriques simples
- scientific article; zbMATH DE number 4021392 (Why is no real title available?)
- Presentation of an Iwasawa algebra: the case of \(\Gamma_1\text{SL}(2,\mathbb Z_p)\)
- The centre of completed group algebras of pro-p groups.
- Zariskian filtrations
- Explicit ring-theoretic presentation of Iwasawa algebras
- Normal elements in the Iwasawa algebras of Chevalley groups
- Normal elements in the mod-\(p\) Iwasawa algebra over \(\mathrm{SL}_n(\mathbb{Z}_p)\): a computational approach
- Explicit presentation of an Iwasawa algebra: the case of pro-\(p\) Iwahori subgroup of \(\mathrm{SL}_n (\mathbb{Z}_p)\)
- Presentation of an Iwasawa algebra: the case of \(\Gamma_1\text{SL}(2,\mathbb Z_p)\)
- Normal elements of noncommutative Iwasawa algebras over \(\mathrm{SL}_{3}(\mathbb{Z}_{p})\)
This page was built for publication: Presentation of the Iwasawa algebra of the first congruence kernel of a semi-simple, simply connected Chevalley group over \(\mathbb{Z}_p\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1663532)
