A non-trivial ghost kernel for complex projective spaces with symmetries (Q345166)

Let \(G\) be a finite group of order \(p\) where \(p\) is a prime and let \([X, Y]^G\) denote the group of equivariant stable homotopy classes of maps between \(G\)-CW-complexes \(X\) and \(Y\). Then the ghost map NEWLINE\[NEWLINE[X, Y]^G \to \text{H}^0(G; [X, Y])\oplus [X^G, Y^G]NEWLINE\]NEWLINE represents the map sending a stable \(G\)-map \(f\) to the pair \((f, f^G)\). Let \(V_a=a\mathbb{C}G\) denote the multiple of the regular representation \(\mathbb{C}G\) of \(G\). If \(a \geq 2\), then \(\mathbb{R}G\) can be embedded in \(V_a/\mathbb{C}\), the complement of \(\mathbb{C}\) in \(V_a\). Put \(W_a=V_a/(\mathbb{C}\oplus \mathbb{R}G)\) for \(a \geq 2\). Then the main result of this paper is that if \(p \geq 5\), the ghost kernel for NEWLINE\[NEWLINE[\mathbb{C}\text{P}(V_a)_+, S^{W_a}]^GNEWLINE\]NEWLINE is non-trivial where \(\mathbb{C}\text{P}(V_a)\) is the complex projective space of \(V_a\) and \(S^{W_a}\) is the one-point compactification of \(W_a\). Incidentally, in the previous paper [Topology Appl. 154, No. 11, 2323--2332 (2007; Zbl 1125.57016)] the author showed that if \(W_a\) is replaced therein by \(V_a/\mathbb{C}\), the ghost map is injective. In the case considered in this paper the proof is completed by observing that the target and source of the ghost map are respectively zero and not zero. However, it is easily seen that the target is zero and so the bulk of the paper is devoted to the proof of the non-triviality of the source. In consequence, using the Adams spectral sequence based on Borel cohomology the author obtains that the source group is elementary abelian of rank \(r\) with \(1 \leq r \leq (p+1)/2\).