Extensions of simple modules for finite Chevalley groups (Q580498): Difference between revisions

Let G be an almost simple algebraic group over an algebraically closed field of characteristic \(p>0\), defined and split over \(F_ p\). For \(n\geq 1\) let G(n) denote the finite group of rational points of G over \(F^ n_ p\). Let T be a split maximal torus in G and X(T) its character group. Having chosen a set of simple roots, let \(X(T)_+\) be the set of dominant characters. Let \(X_ n(T)\) be the set of \(p^ n\)-restricted characters, i.e. the set of \(\lambda\in X(T)\) such that \(<\alpha^ v,\lambda ><p^ n\) for all simple roots \(\alpha\), where \(\alpha^ v\) is the coroot associated to \(\alpha\). Then \(X(T)_+\) and \(X_ n(T)\) parameterize the simple G-modules and the simple G(n)-modules, respectively. Let L(\(\lambda)\) be the simple G-module with highest weight \(\lambda\). Let \(\alpha_ 0\) denote the highest short root. Then the author proves the following theorem (2.8): let \(\lambda,\mu \in X_ n(T)\) with \(<\alpha^ v_ 0,\lambda +\mu ><p^ n-p^{n-1}-1\). Then the restriction map \(Ext^ 1_ G(L(\mu),L(\mu))\to Ext^ 1_{G(n)}(L(\mu),L(\lambda))\) is an isomorphism. In the next section he considers the generic case when \(\lambda\) and \(\mu\) are ``sufficiently deep'' inside alcoves and proves a theorem (3.2) connecting \(Ext^ 1_{G(n)}(L(\mu),L(\lambda))\) with Ext and Hom groups for G. He generalizes these results to twisted groups in (3.4). Finally he computes all extensions between simple modules for SL(3,p) and SU(p,3) \((p>3)\) and for Sp(4,p) \((p>5)\).