Iterated doubles of the Joker and their realisability

DOI10.4310/HHA.2018.V20.N2.A17MaRDI QIDQ721501zbMATH OpenWikidataFDO

Authors D. Kharzeev

Publication date 19 July 2018

Published in Homology, Homotopy and Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1710.02974

zbMATH Keywords

secondary cohomology operationsstable homotopy theorySteenrod algebra

Mathematics Subject Classification ID

Stable homotopy theory, spectra (55P42) Steenrod algebra (55S10) Secondary and higher cohomology operations in algebraic topology (55S20)

Abstract: Let $mathcalA(1{)}^{\ast }$ be the subHopf algebra of the mod~$2$ Steenrod algebra $mathcal{A}^{\ast }$ generated by $mathrm{Sq}^1$ and $mathrm{Sq}^2$. The emph{Joker} is the cyclic $mathcalA(1{)}^{\ast }$-module $mathcalA(1{)}^{\ast }/mathcalA(1{)}^{\ast }mathrm{Sq}^3$ which plays a special r^ole in the study of $mathcalA(1{)}^{\ast }$-modules. We discuss realisations of the Joker both as an $mathcal{A}^{\ast }$-module and as the cohomology of a spectrum. We also consider analogous $mathcalA(n{)}^{\ast }$-modules for $ngeq2$ and prove realisability results (both stable and unstable) for $n=2,3$ and non-realisability results for $ngeq4$.

Review text

The cyclic \(\mathcal{A}(1)^{\ast}\)-module \(J:=\mathcal{A}(1)^{\ast}/(\text{Sq}^{3})\), known as the ``Joker, was first studied by \textit{J. F. Adams} and \textit{S. B. Priddy} [Math. Proc. Camb. Philos. Soc. 80, 475--509 (1976; Zbl 0338.55011)] in connection with the \(\Omega^{\infty}\)-structure on BSO and BU, and has since appeared in many contexts in stable homotopy theory. To explain the name, the picture on p. 341 should be rotated by \(90^{o}\). The question of its realizability requires first equipping it with a full \(\mathcal{A}^{\ast}\)-module structure (which is possible in two ways, dual to each other) and then realizing this module by a spectrum or space. Using the notion of doubling for \(\mathcal{A}\) and \(\mathcal{A}(n)\), one can construct \(\mathcal{A}(n)\)-modules \(\text{Joker}(n)\) for each \(n\geq 2\) by (iterated) doubling of the original \(J\) (resulting in spaced out versions of the original picture), again with two possible \(\mathcal{A}\)-module structures, dual to each other. The author uses some well-known Toda brackets to show that the two \(\mathcal{A}\)-module structures for \(J\) can be realized by finite \(2\)-local CW spectra Spanier-Whitehead dual to each other (these can be used to recover two of the four realizations of \(\mathcal{A}(1)\)). This is also true of \(\text{Joker}(n)\) for \(n=2,3\). However, in Theorem 4.6 he shows that \(\text{Joker}(n)\) cannot be realized for \(n\geq 4\) (which is clear for \(n\geq 5\) by \textit{J. F. Adams} [Ann. Math. (2) 72, 20--104 (1960; Zbl 0096.17404)]). He also discusses the question of unstable realization (by spaces).

Recommendations

• The realizability of some finite-length modules over the Steenrod algebra by spaces
• The infinite loop Adams conjecture via classification theorems for ℱ-spaces
• Unstable Projectives and Stable Ext: with Applications
• scientific article; zbMATH DE number 3854013
• The image of the stable J-homomorphism
• On the homology of certain spaces looped beyond their connectivity
• Iterates of the suspension map and Mitchell's finite spectra with A_k-free cohomology
• \(H_{\infty}\) ring spectra and their applications
• scientific article; zbMATH DE number 1665411
• scientific article; zbMATH DE number 4126315

Cited in

(3)

• Real characters, double covers, and the multiplier. II
• The connective \textit{KO}-theory of the Eilenberg-MacLane space \(K(\mathbb{Z}_2, 2)\). I: The \(E_2\) page
• The realizability of some finite-length modules over the Steenrod algebra by spaces

This page was built for publication: Iterated doubles of the Joker and their realisability

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