Schur subalgebras and an application to the symmetric group (Q5925803)

Let \(K\) be an infinite field of characteristic \(p\) and \(E\) be an \(n\)-dimensional vector space over \(K\). Then the symmetric group \(S_r\) acts on \(\bigotimes^rE\) by place permutation and therefore \(\bigotimes^rE\) becomes a \(KS_r\) module. The Schur algebra \(S(n,r)\) is defined to be the endomorphism ring \(\text{End}_{KS_r}(\bigotimes^rE)\). For \(d\in\mathbb{N}\) define the function \(h\colon\mathbb{N}\to\mathbb{N}_0\) by \(h(d):=\max\{e\mid p^e\leq d\}\). Let \(d\leq r\) be natural numbers of the same parity such that \(r\equiv d\pmod{p^{h(d)+1}}\). The first main result of the paper under review is that the Schur algebra \(S(2,d)\) is isomorphic to a subalgebra of \(S(2,r)\) of the form \(eS(2,r)e\) where \(e\in S(2,r)\) is an idempotent. Using this result the author proves a correspondence between the Specht modules \(S^{(d-k,k)}\) and \(S^{(r-k,k)}\), where \(S^{(\lambda)}\) is the Specht module of the group algebra \(KS_m\) corresponding to the partition \(\lambda\) of \(m\).