On quotients of Hom-functors and representations of finite general linear groups. I (Q912205): Difference between revisions

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)].