Representations of the double Burnside algebra and cohomology of the extraspecial \(p\)-group (Q403063)

Let \(p\) be an odd prime and let \(E = p^{1+2}_+\) be the extraspecial \(p\)-group of order \(p^3\) and exponent \(p\). Note that \(E = p^{1+2}_+\) has a presentation as \[ E = <a, b,c ~|~ [a, b] = c, a^p = b^p = c^p = [a, c] = [b, c] = 1 >. \] Let \(P\) be a finite \(p\)-group and \(A_p(P,P)\) the double Burnside algebra over a finite field \(\mathbb{F}_p\). By the beautiful results of the Segal conjecture in [\textit{G. Carlsson}, Ann. Math. (2) 120, 189--224 (1984; Zbl 0586.55008)] and [\textit{L. G. Lewis} et al., CMS Conf. Proc. 2, No.2, 165--179 (1982; Zbl 0572.55006)], it can be seen that the endomorphism ring of the \(p\)-completed classifying space \(BE\) is isomorphic to the completion of the double Burnside ring \(A_{\mathbb{Z}}(P,P)\). It follows that the indecomposable stable summands of \(BP\) correspond to primitive idempotents of the double Burnside algebra \(A_p (P,P)\) over \(\mathbb{F}_p\). The papers by \textit{D. J. Benson} and \textit{M. Feshbach} [Topology 31, No. 1, 157--176 (1992; Zbl 0752.55008)], and by \textit{J. Martino} and \textit{S. Priddy} [Topology 31, No. 1, 143--156 (1992; Zbl 0752.55010)] classified simple \(A_p(P,P)\)-modules and studied complete stable splittings \(BG \simeq X_1 \vee X_2 \vee \cdots \vee X_N\) for the classifying spaces \(BG\) of finite groups \(G\) corresponding to idempotent decompositions of the identity in the ring of homotopy classes of stable self-maps \(\{ BG, BG\}\). The authors determine the mod \(p\) cohomology of stable summands of the \(p\)-completed classifying space \(BE\) for the extraspecial \(p\)-group \(E = p^{1+2}_+\) through the action of double Burnside algebra \(A_p (E,E)\) over \(\mathbb{F}_p\). The construction here is purely algebraic and well organized.