Higher extensions between modules for SL₂.

From MaRDI portal
Publication:864576



Abstract: We calculate Ext^*_{SL_2(k)}(Delta(lambda), Delta(mu)), Ext^*_{SL_2(k)}(L(lambda), Delta(mu)), Ext^*_{SL_2(k)}(Delta(lambda), L(mu)), and Ext^*_{SL_2(k)}(L(lambda), L(mu)), where Delta(lambda) is the Weyl module of highest weight lambda, L(lambda) is the simple SL_2(k)-module of highest weight lambda and our field k is algebraically closed of positive characteristic. We also get analogous results for the Dipper-Donkin quantisation. To do thus we construct the Lyndon-Hochschild-Serre spectral sequence in a new way, and find a new condition for the E_2 page of any spectral sequence to be the same as the E_infty page.


Let \(G\) be the reductive algebraic group \(\text{SL}_2\) over a field \(k\) of characteristic \(p>0\), or its Dipper-Donkin quantization. The author derives recursive formulas for \(\text{Ext}^\bullet_G(\Delta(\lambda),\Delta(\mu))\), \(\text{Ext}^\bullet_G(L(\lambda),\Delta(\mu))\), \(\text{Ext}^\bullet_G(\Delta(\lambda),L(\mu))\), \(\text{Ext}^\bullet_G(L(\lambda),L(\mu))\). Here \(L(\lambda)\) is the simple module with highest weight \(\lambda\) and \(\Delta(\lambda)\) is the Weyl module of highest weight \(\lambda\). One tool is a novel way of constructing a Lyndon-Hochschild-Serre spectral sequence. It involves resolutions with modules for the full group that are only injective resolutions upon restriction to the normal subgroup. Thus the double complex at the \(E_0\) page may be kept much smaller than usual. This improves the grip on the \(E_r\) differentials for \(r\geq 2\). In the paper this advantage is amply demonstrated when the normal subgroup is the first Frobenius kernel.











This page was built for publication: Higher extensions between modules for \(\text{SL}_2\).

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