A proof of Schwartz's conjecture about the eigenvalues of Lannes' \(T\)-functor (Q891452): Difference between revisions

Let \(p\) be a prime number, let \(A\) be the mod \(p\) Steenrod algebra and let \(\mathcal{U}\) be the category of unstable \(A\)-modules. We denote by \(T: \mathcal{U} \rightsquigarrow \mathcal{U}\) Lannes' \(T\)-functor which is left adjoint to the functor \(M \mapsto M \otimes H^{*}(B(\mathbb{Z}/p\mathbb{Z});\; \mathbb{F}_{p})\). The functor \(T\) induces a linear operator on the Grothendieck group \(K_{n}^{red}\) generated by indecomposable summands of the mod \(p\) cohomology of rank \(n\) elementary abelian \(p\)-groups. In this paper the author gives an algebraic proof of a conjecture due to Lionel Schwartz which asserts that this linear operator is diagonalizable over \(\mathbb{Q}\), with eigenvalues \(1, p, \dots , p^{n}\) and with multiplicities \(p^{n} - p^{n-1}, p^{n-1} - p^{n-2}, \dots , p-1, 1\) respectively (For a ``topological'' proof of this conjecture see [\textit{N. D. H. Hai}, C. R., Math., Acad. Sci. Paris 353, No. 3, 197--202 (2015; Zbl 1318.55015)]). The methods of proof use the work of \textit{J. C. Harris} and \textit{R. J. Shank} [Trans. Am. Math. Soc. 333, No.2, 579--606 (1992; Zbl 0759.55014)] and the theory of Brauer characters of finite groups.