Dickson invariants and a new description of H^*(Q₀S^0,Z/pZ) via H^*(B _ , Z / p Z)
Let \(Q=\Omega^\infty\Sigma^\infty\) and \(Q_0S^0\) be the base point component of \(QS^0\). If \(\Sigma_\infty\) is the infinite symmetric group and \(B\Sigma_\infty\) its classifying space, then Quillen and, independently, Barratt and Priddy, have shown that the natural map \(Q_0S^0\to B\Sigma_\infty\) induces a cohomology isomorphism. This paper offers a new perspective on this result. The first major result of the paper offers a new basis for \(H^*(B\Sigma_\infty;\mathbb{Z}/p\mathbb{Z})\) for any prime \(p\). Let \(D=\coprod_{k\geq 1} D^+_k\) be the Dickson algebra monomials of positive degree and arbitrary length. A submodule \(SD=\coprod_{k\geq 1} SD^+_k\) is defined. If \(p=2\), \(SD_k= SD^+_k\) and a set of generators \(d_{k,k-r}\), \(1\leq r\leq k\), is described and \(H^*(B\Sigma_\infty; \mathbb{Z}/2\mathbb{Z})\) is shown to be isomorphic to a polynomial algebra generated by products \(\prod_{1\leq r\leq k} d^{m_r}_{k,k-r}\), where \((m_1, m_2,\dots, m_k)\) is any \(k\)-tuple such that not all of the entries are even. A description of \(H^*(B\Sigma_\infty; \mathbb{Z}/p\mathbb{Z})\) is also provided. If \(\mathcal A_p\) is the \(\text{mod\,}p\) Steenrod algebra, then the second major result of the paper offers a complete \(\mathcal A_p\) filtration \(A^1\subset A^2\subset\cdots \subset H^*(Q_0 S^0; \mathbb{Z}/p\mathbb{Z})\) such that there are algebra isomorphisms \(A^{s+1}\cong A^s\otimes V(SD^\#(s+1))\) and \(\mathcal A_p\) algebra isomorphisms \(A^{s+1}/A^s\cong V(SD^\#(s+1))\), where \(D^\#\) and \(SD^\#\) are the corresponding restricted Lie algebras and \(V(SD^\#)\) is the universal enveloping algebra on \(SD^\#\).
- Dickson coinvariants and the homology of \(QS^ 0\)
- scientific article; zbMATH DE number 3960555
- Modular invariants and the mod \(p\) cohomology algebra of the infinite symmetric group
- On stability of stationary hypersurfaces for the partitioning problem for balls in space forms
- scientific article; zbMATH DE number 3897139
- Cohomology Operations (AM-50)
- Extended Dyer-Lashof algebras and modular coinvariants
- Homology of the infinite symmetric group
- scientific article; zbMATH DE number 3927909 (Why is no real title available?)
- scientific article; zbMATH DE number 4067870 (Why is no real title available?)
- scientific article; zbMATH DE number 3523842 (Why is no real title available?)
- scientific article; zbMATH DE number 635673 (Why is no real title available?)
- On the action of the Dyer-Lashof algebra in \(H*(G)\)
- On the homology of non-connected monoids and their associated groups
- On the structure of Hopf algebras
- Rational homotopy theory
- Self-Maps of Loop Spaces. I
- Self-Maps of Loop Spaces. II
- Some Remarks on the Structure of Hopf Algebras
- Symmetric invariants and cohomology of groups
- The homology of iterated loop spaces
- The Steenrod Algebra Action on Generators of Rings of Invariants of Subgroups of GL n ( Z /p Z )
- The unstable Adams spectral sequence for free iterated loop spaces
This page was built for publication: Dickson invariants and a new description of \(H^{*}(Q_{0}S^{0},{\mathbb{Z}}/p{\mathbb{Z}})\) via \(H^{*}(B\Sigma _{\infty }, {\mathbb{Z}} / p {\mathbb{Z}})\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q382404)
