Relations among the kernels and images of Steenrod squares acting on right A-modules

From MaRDI portal
(Redirected from Relations among the kernels and images of Steenrod squares acting on right A-modules)
Relations among the kernels and images of Steenrod squares acting on right \(\mathcal A\)-modules



Abstract: In this note, we examine the right action of the Steenrod algebra mathcalA on the homology groups H∗(BVs,F2), where Vs=F2s. We find a relationship between the intersection of kernels of Sq2i and the intersection of images of Sq2i+1−1, which can be generalized to arbitrary right mathcalA-modules. While it is easy to show that for any given kgeq0, the reverse inclusion need not be true. We develop the machinery of homotopy systems and null subspaces in order to address the natural question of when the reverse inclusion can be expected. In the second half of the paper, we discuss some counter-examples to the reverse inclusion, for small values of k, that exist in H∗(BVs,F2).


Let \(A\) be the mod-\(2\) Steenrod algebra, \(V \cong (\mathbb{Z}/2\mathbb{Z})^{k},\; k \geq 1\) be an elementary abelian \(2\)-group of rank \(k\) and \(H_{*}V \cong H_{*}(V,\; \mathbb{F}_{2})\) be the mod-\(2\) homology of \(V\).NEWLINENEWLINEIn this paper the author studies the right action of \(A\) on \(H_{*}V\) and looks to the determination of a basis of the space \(\{x \in H_{*}V \mid xSq^{i} = 0, i > 0\}\) (this problem is dual to the ``hit problem). For this, the author examines the relationship between the intersection of the kernels of \(Sq^{2^{i}}\), \(\bigcap_{i=1}^{p}\ker(Sq^{2^{i}})\), and the intersection of the images of \(Sq^{2^{i+1}-1}\), \(\bigcap_{i=1}^{p}\mathrm{im}(Sq^{2^{i+1}-1})\), \(p \geq 0\).











This page was built for publication: Relations among the kernels and images of Steenrod squares acting on right \(\mathcal A\)-modules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q456829)