The Benson-Symonds invariant for ordinary and signed permutation modules (Q2042948)

Let \(k\) be a field of prime characteristic \(p\) and \(G\) a finite group. Let \(M\) be a finitely generated \(kG\)-module, and write \(M=M'\oplus(\hbox{proj})\), where \(M'\) has no projective summand and \((\hbox{proj})\) is projective. Define the \textit{core} of \(M\) to be the submodule \(\hbox{core}_G(M)=M'\), and let \(c_n^G(M)=\dim_k(\hbox{core}_G(M)^{\otimes n})\). In [\textit{D. Benson} and \textit{P. Symonds}, J. Lond. Math. Soc., II. Ser. 101, No. 2, 828--856 (2020; Zbl 1481.20027)], the authors show that the limit \(\gamma_G(M)=\lim_{n\to\infty}\sqrt[n]{c_n^G(M)}\) exists. In the article under review, the author calculates \(\gamma_G(M)\) for all the signed permutation modules of symmetric groups. The first main result is an explicit formula for \(\gamma_{\mathcal S_n}(M^{(\lambda|\mu)})\), where \(\lambda,\mu\) are partitions of \(a,b\) respectively, where \(\mathcal S_n\) denotes the symmetric group of degree \(n\), and where \(n=a+b\). The second main result states that if \(n=rp+a_0\) with \(a_0<p\), and if \(P\) is an elementary abelian \(p\)-subgroup of \(\mathcal S_n\) of rank \(r\), generated by \(r\) disjoint \(p\)-cycles, then the restriction \(M_P\) of \(M\) to \(P\) satisfies the following. Write \(M_P=N\oplus Q\) where \(N\) is the maximal possible summand of \(M_P\) which is not \(p\)-faithful. Then \(\gamma_{\mathcal S_n}(M^{(\lambda|\mu)})=\dim_k(N)\).