scientific article; zbMATH DE number 15318

From MaRDI portal
Publication:3971965





[For the entire collection see Zbl 0695.00014.] Let \(G\) be a group of \({\mathbf F}_ q\)-rational points of a connected algebraic reductive group defined over the finite field \({\mathbf F}_ q\) and let \(U\) be the group of rational points of a rational maximal unipotent subgroup. Consider the induced representation \(\text{Ind}^ G_ U 1\) over \({\mathbf Z}\), and let \(E\) be its endomorphism algebra (over \(\mathbf Z\)). A model of the induced representation is given by \([U] {\mathbf Z}G\), where \({\mathbf Z}G\) is the group algebra of \(G\) and \([U]\) is the sum of all elements in \(U\). Over \(\mathbf Q\), the algebra \(E\otimes {\mathbf Q}\) is isomorphic to the subalgebra \([U]{\mathbf Q} G[U]\) acting on \([U]{\mathbf Q}G\) by left multiplication. This is not true over \({\mathbf Z}\). The authors prove that there exists a subalgebra \(\Gamma\) of \({\mathbf Z}G\) which acts on \([U]{\mathbf Z}G\) by left multiplication and is isomorphic to \(E\). The proof is constructive: the subalgebra \(\Gamma\) is given by an explicit basis. Then, using the fact that \([U^ -] {\mathbf Z} G \otimes_{\mathbf Z} (\text{St}){\mathbf Z}G\) (where \((\text{St}){\mathbf Z}G\) is a model of the Steinberg representation) is isomorphic to \({\mathbf Z}G\) as a right \({\mathbf Z}G\)-module, the authors obtain an isomorphism of \(\text{End}_{{\mathbf Z}G}([U^ -]{\mathbf Z}G)\) onto \(\Gamma\) acting on \([U^ -]{\mathbf Z}G\) by left multiplication. Combining these embeddings with natural isomorphisms of \(\text{End}_{{\mathbf Z}G} ([U]{\mathbf Z}G)\) onto \(\text{End}_{{\mathbf Z}G}([U^ -]{\mathbf Z}G)\) and onto \(\Gamma\) provides automorphisms of \(\text{End}_{{\mathbf Z}G} ([U] {\mathbf Z}G)\). If \(T\) is the group of rational points of a rational maximal torus normalizing \(U\), the ``quotient by \(T\) of these constructions give similar results for the induced representation \(\text{Ind}^ G_ B 1\), where \(B\) is the ``Borel subgroup \(TU\). The authors thus recover one of their earlier results [cf. J. Algebra 105, 159-174 (1974; Zbl 0606.20009)].











This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3971965)