Characteristic-free resolutions of Weyl and Specht modules. (Q765661): Difference between revisions

Let \(R\) be a commutative Noetherian ring and let \(n,r\in\mathbb N\). Let \(\Lambda^+(n,r)\) be the set of partitions of \(r\) into at most \(n\) parts. Let \(S_R(n,r)\) be the endomorphism algebra of \((R^n)^{\otimes r}\) (the Schur algebra), a quasi-hereditary algebra with standard modules the Weyl modules, \(W_\lambda^R\) for \(\lambda\in\Lambda^+(n,r)\). The authors study the problem of constructing explicit resolutions of Weyl modules in terms of direct sums of tensor products of divided powers of \(R^n\). They require these resolutions to be finite and universal (defined over the integers). -- Their method is to analyse certain rank one modules \(R_\lambda\) for the Borel-Schur algebra \(S^+_R(n,r)\) and show that the \(R_\lambda\) (\(\lambda\in\Lambda^+(n,r)\)) are acyclic with respect to the induction functor \(S_R(n,r)\otimes_{S^+_R(n,r)}-\), thus generalising a result of Woodcock for \(R\) an infinite field. When \(r\leqslant n\), by applying the Schur functor they obtain a resolution by permutation modules of the co-Specht module corresponding to \(\lambda\). As a corollary they consider a certain complex \((\widetilde C_k^\lambda,k\geqslant-1)\) with the property that \(\widetilde C_{-1}^\lambda\) is the co-Specht module associated to \(\lambda\) and the \(\widetilde C_k^\lambda\) are permutational modules over the symmetric group \(\mathfrak S_r\), for \(k\geqslant 0\). They verify a conjecture of Boltje and Hartmann by showing that this complex is exact, hence it gives a permutational resolution of the co-Specht module.