Rings of symmetric functions as modules over the Steenrod algebra (Q2426842): Difference between revisions

Let \(\Gamma\) be the bigraded algebra with \(\Gamma_{s,t} = H_{t-s} (B({\mathbb Z}/2)^{\times s}; {\mathbb Z}/2)\) and \(\gamma_k \in \Gamma_{1, k+1}\) the canonical generators. Let \({\mathcal A}\) be the usual mod \(2\) Steenrod algebra and \({\mathcal H}\) the bigraded Steenrod algebra with generators \(\{Sq^i \mid i \geq 0\}\) subject to the Adem relations (bigraded by degree and by length of monomials and with \(Sq^0 \neq 1\)) as introduced by \textit{A. Liulevicius} [``The factorization of cyclic reduced powers by secondary cohomology operations.'' Mem. Am. Math. Soc. 42 (1962; Zbl 0131.38101)]. \(\Gamma_{s,*}\) has an \({\mathcal A}\)-action dual to the \({\mathcal A}\)-action on \(H^*(B({\mathbb Z}/2)^{\times s}; {\mathbb Z}/2)\) and \(\Gamma^{\mathcal A}\) denotes the \(\mathcal A\) annihilated elements with respect to this action, which form a subalgebra of \(\Gamma\). \({\mathbb Z}/2 \otimes _\Sigma \Gamma\) and \(({\mathbb Z}/2 \otimes_\Sigma \Gamma)^{\mathcal A}\) are the algebra and subalgebra defined by \(({\mathbb Z}/2 \otimes_\Sigma \Gamma)_{s,*} = {\mathbb Z}/2 \otimes_{\Sigma_s} \Gamma_{s,*}\) and \(({\mathbb Z}/2 \otimes_\Sigma \Gamma)^{\mathcal A}_{s,*} = (({\mathbb Z}/2 \otimes_\Sigma \Gamma)_{s,*})^{\mathcal A}\) respectively. The main results of this paper are that there is a left action of \(\mathcal H\) on \({\mathbb Z}/2 \otimes_\Sigma \Gamma\) making it an \({\mathcal H}\)-algebra uniquely determined by the condition \(Sq^0(\gamma_k) = \gamma_{2k+1} \forall k\) and that \(({\mathbb Z}/2 \otimes_\Sigma \Gamma)^{\mathcal A}\) is stable under this action and so is also an \({\mathcal H}\)-algebra.