Linearity of \(\mathbb{Z}_p[\![t]\!]\)-perfect groups. (Q1768264)

Let \(R\) be a commutative Noetherian local pro-\(p\) domain and \(m\) its maximal ideal. The notion of \(R\)-standard group is defined by \textit{A. Lubotzky} and \textit{A. Shalev} [in Isr. J. Math. 85, No. 1-3, 307-337 (1994; Zbl 0819.20030)]. The group \(G\) is called \(R\)-standard if \(G\) is equal to \((m^l)^{(d)}\) as a set, and the group operation is given by a formal group law, i.e.\ a \(d\)-tuple \({\mathbf F}=(F_1,\dots,F_d)\) of power series over \(R\) in \(2d\) variables, as follows: for all \(x,y\in G=(m^l)^{(d)}\) we have \(x\cdot y=(F_1(x,y),\dots,F_d(x,y))\). The number \(d\geq 0\) is the dimension of \(G\) and \(l>0\) is the level of \(G\). If \(i\geq l\) then \(G_i=(m^i)^{(d)}\) is a normal subgroup of \(G\). An \(R\)-standard group \(G\) of level \(l\) is \(R\)-perfect if \([G,G]=G_{2l}\). A topological group \(G\) is called \(R\)-analytic if it has an open subgroup which is \(R\)-standard. \textit{M. Lazard} proved the linearity of \(\mathbb{Z}_p\)-analytic pro-\(p\) groups [Publ. Math., Inst. Hautes Étud. Sci. 26, 389-603 (1965; Zbl 0139.02302)]. It is natural to ask whether \(R\)-analytic pro-\(p\) groups are linear for arbitrary \(R\). The reviewer [in J. Algebra 255, No. 2, 392-404 (2002; Zbl 1018.20022)] proved that \(R\)-analytic just infinite pro-\(p\) groups are linear over \(R\). In the paper under review the authors prove the linearity of \(\mathbb{Z}_p[\![t]\!]\)-standard groups. The proof follows the ideas of the proof that every \(\mathbb{Z}_p\)-analytic pro-\(p\) group is linear. Let \(G\) be a \(\mathbb{Z}_p[\![t]\!]\)-standard group of level 1. The main step of the proof consists in showing how the natural norm of \(\mathbb{Z}_p[G]\) can be extended to \(\mathbb{Q}_p[G]\). Denote by \(\widehat A\) the completion of \(\mathbb{Q}_p[G]\) with respect to this norm. Thus, we can speak about \(\log G_2\leq\widehat A\). Then the next step of the proof is to show that \(L=\overline{\mathbb{Q}_p\log G_2}\) is a finite-dimensional \(\mathbb{Q}_p[\![t]\!]\)-Lie algebra. Using a result of \textit{T. Weigel} [J. Algebra 212, No. 2, 613-625 (1999; Zbl 1043.17501)] it is shown that \(L\) has a finite-dimensional representation with some additional properties. Combining this representation of \(L\) with the exponential map, the required finite-dimensional representation of \(G_2\) is obtained. Since \(G_2\) is of finite index in \(G\), \(G\) is also linear.