On quotients of Hom-functors and representations of finite general linear groups. I (Q912205): Difference between revisions
From MaRDI portal
Latest revision as of 14:24, 20 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On quotients of Hom-functors and representations of finite general linear groups. I |
scientific article |
Statements
On quotients of Hom-functors and representations of finite general linear groups. I (English)
0 references
1990
0 references
The author studies functors on certain module categories which arise in the following way. Let R be a commutative Noetherian ring and T a semi- perfect R-algebra which is finitely generated as R-module. Let mod T denote the category of unital, finitely generated T-modules. Let \(M\in mod T\) and let \(P\in mod T\) be a projective T-module with an epimorphism \(\beta\) : \(P\to M\) such that ker \(\beta\) is invariant under the action of \({\mathcal E}=End_ T(P)\). Let \({\mathcal H}=End_ T(M)\). Then \({\mathcal H}\) can be identified with \({\mathcal E}/J_{\beta}\), where \(J_{\beta}\) is the ideal of \({\mathcal E}\) defined by \(J_{\beta}=\{\phi \in {\mathcal E}|\) \(\phi\) (P)\(\subseteq \ker \beta \}\). Define \(H=H_ M: mod T\to mod {\mathcal H}\) to be the functor defined by \(H(V)=Hom_ T(P,V)/Hom_ T(P,V)J_{\beta}\), for \(V\in mod T\). The author proves some general properties of the functor H. For example, he shows (2.25) that if \(V\in mod T\) is irreducible then H(V) is either zero or irreducible. These general results are applied to the case of an order in a semisimple algebra over a field. Let \({\mathcal O}\) be a complete discrete valuation ring with quotient field K. Let \(T_ K\) be a semisimple K-algebra and let \({\mathcal T}_{{\mathcal O}}\) be an \({\mathcal O}\)-order in \(T_ K\). Let \(M=M_ K\) be a \(T_ K\)-module with endomorphism ring \({\mathcal H}_ K\), and let \(M_{{\mathcal O}}\) be a \(T_{{\mathcal O}}\)-lattice in \(M_ K\). Then \({\mathcal H}_{{\mathcal O}}=End_{T_{{\mathcal O}}}(M_{{\mathcal O}})\) is an \({\mathcal O}\)-order in \({\mathcal H}_ K\), and the author proves a theorem (4.9) connecting the decomposition matrices of \(T_{{\mathcal O}}\) and \({\mathcal H}_{{\mathcal O}}\). A corollary (4.10) shows that the decomposition matrix of \({\mathcal H}_{{\mathcal O}}\) is a submatrix of the decomposition matrix of \(T_{{\mathcal O}}\). The author states that in further papers he plans to apply these results to give simpler proofs of results of himself and G. James on the modular representation theory of general linear groups in non-describing characteristics [see e.g. the author and \textit{G. James}, Proc. Lond. Math. Soc., III. Ser. 59, 23-50 (1989)].
0 references
module categories
0 references
finitely generated T-modules
0 references
order
0 references
semisimple algebra
0 references
decomposition matrices
0 references
modular representation
0 references
general linear groups
0 references