On the \(U\)-module structure of the unipotent Specht modules of finite general linear groups. (Q279741)

Let \(\mathbb F_q\) be a finite field of characteristic \(p\). Let \(F\) be a field whose characteristic is coprime to \(p\) and which contains a primitive \(p\)-th root of unity. Let \(U=U_n(q)\) be the group of lower unitriangular \(n\times n\) matrices in \(G=GL_n(q)\). For a partition \(\lambda\) of \(n\), put \(M^\lambda=\mathrm{Ind}^G_{P_\lambda}F\), where \(P_\lambda\) is the standard parabolic subgroup with respect to \(\lambda\) containing the upper unitriangular matrices. We have an \(FG\)-module \(S^\lambda\) known as a unipotent Specht module. It may be defined as the intersection of kernels of some homomorphisms \(M^\lambda\to M^\mu\). The case that \(\lambda\) has two parts was studied in a combinatorial fashion by \textit{M. Brandt} et al. [Proc. Lond. Math. Soc. (3) 98, No. 1, 1-18 (2009; Zbl 1231.20014)]. They produced a `standard basis' of \(S^\lambda\) and `rank polynomials' that count the sizes of certain subsets of the standard basis. The present paper provides a more representation theoretic proof of these results. First one decomposes \(M^\lambda\) completely into a direct sum of irreducible \(FU\)-modules. Then one uses the description of \(S^\lambda\) as an intersection of kernels.