Abstract
The 2-primary Hopf invariant 1 elements in the stable homotopy groups of spheres form the most accessible family of elements. In this paper, we explore some properties of the \(\mathcal {E}_\infty \) ring spectra obtained from certain iterated mapping cones by applying the free algebra functor. In fact, these are equivalent to Thom spectra over infinite loop spaces related to the classifying spaces \(B\mathrm {SO},\,B\mathrm {Spin},\,B\mathrm {String}\). We show that the homology of these Thom spectra are all extended comodule algebras of the form \(\mathcal {A}_*\square _{\mathcal {A}(r)_*}P_*\) over the dual Steenrod algebra \(\mathcal {A}_*\) with \(\mathcal {A}_*\square _{\mathcal {A}(r)_*}\mathbb {F}_2\) as an algebra retract. This suggests that these spectra might be wedges of module spectra over the ring spectra \(H\mathbb {Z}\), \(k\mathrm {O}\) or \(\mathrm {tmf}\); however, apart from the first case, we have no concrete results on this.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The 2-primary Hopf invariant 1 elements in the stable homotopy groups of spheres form the most accessible family of elements. In this paper, we explore some properties of the \(\mathcal {E}_\infty \) ring spectra obtained from certain iterated mapping cones by applying the free algebra functor. In fact, these are equivalent to Thom spectra over infinite loop spaces related to the classifying spaces \(B\mathrm {SO}\), \(B\mathrm {Spin}\) and \(B\mathrm {String}\).
We show that the homology of these Thom spectra are all extended comodule algebras of the form \(\mathcal {A}_*\square _{\mathcal {A}(r)_*}P_*\) over the dual Steenrod algebra \(\mathcal {A}_*\) with \(\mathcal {A}_*\square _{\mathcal {A}(r)_*}\mathbb {F}_2\) as a comodule algebra retract. This suggests that these spectra might be wedges of module spectra over the ring spectra \(H\mathbb {Z}\), \(k\mathrm {O}\) or \(\mathrm {tmf}\); however, apart from the first case, we have no concrete results on this.
Our results and methods of proof owe much to the work of Liulevicius [24, 25] and Pengelley [30–32], and are also related to the work of Bahri and Mahowald [4] (indeed, there are analogues of our results for \(\mathcal {E}_2\) Thom spectra of the kind they discuss). However, we use some additional ingredients: in particular, we make use of formulae for the interaction between the \(\mathcal {A}_*\)-coaction and the Dyer–Lashof operations in the homology of an \(\mathcal {E}_\infty \) ring spectrum described in [9]. We also take a slightly different approach to identifying when the homology of a ring spectrum is a cotensor product of the dual Steenrod algebra \(\mathcal {A}_*\) over a finite quotient Hopf algebra \(\mathcal {A}(n)_*\), making use of the fact that the dual Steenrod algebra is an extended \(\mathcal {A}(n)_*\)-comodule; in turn, this is a consequence of the P-algebra property of the Steenrod algebra \(\mathcal {A}^*\).
We remark that the finite complexes of Sect. 1 also appear in the recent preprint by Behrens et al. [13]: each is the first of a sequence of generalised integral Brown–Gitler spectra associated with \(H\mathbb {Z}\), \(k\mathrm {O}\) and \(\mathrm {tmf}\), see [13, 5, 15, 18]. We understand that Bob Bruner and John Rognes have also considered such spectra.
Conventions We will work 2-locally throughout this paper; thus, all simply connected spaces and spectra will be assumed to be localised at the prime 2, and \(\mathscr {M}_S\) will denote the category of S-modules where S is the 2-local sphere spectrum as considered in [17]. We will write \(S^0\) for a chosen cofibrant replacement for the S-module S and \(S^n=\Sigma ^nS^0\). When discussing CW skeleta of a space X, we will always assume that we have chosen minimal CW models in the sense of [12], so that cells correspond to a basis of \(H_*(X)=H_*(X;\mathbb {F}_2)\).
Notation When working with cell complexes (of spaces or spectra), we will often indicate the mapping cone of a coextension \(\widetilde{g}\) of a map \(g:S^n\rightarrow S^k\) by writing \(X\cup _fe^k\cup _g e^{n+1}\).
Of course, this notation is ambiguous, but nevertheless suggestive. When working stably with spectra, we will often write \(h:S^{n+r}\rightarrow S^{k+r}\) for the suspension \(\Sigma ^rh\) of a map \(h:S^n\rightarrow S^k\). We will also often identify stable homotopy classes with representing elements.
2 Iterated mapping cones built with elements of Hopf invariant 1
The results of this section can be proved by homotopy theory calculations using basic facts about the elements of Hopf invariant 1 in the homotopy groups of the sphere spectrum \(S^0\),
In particular, the following identities are well known; for example, see [33, figure A3.1a]:
Although the next result is probably well known, we outline some details of the constructions of such spectra, and in particular describe their homology as \(\mathcal {A}_*\)-comodules. Later, we will produce naturally occurring examples of such spectra, but we feel it worthwhile discussing there construction from a homotopy theoretic point of view first. We do not address the question of uniqueness, but it seems possible that they are unique up to equivalence.
Proposition 1.1
The following CW spectra exist:
Sketch of proof
In each of the iterated mapping cones below, we will denote the homology generator corresponding to the unique cell in dimension n by \(x_n\).
The case of \(S^0\cup _\eta \cup _2e^3\) is obvious.
Consider the mapping cone of \(\nu \), \(C_\nu =S^0\cup _\nu e^4\). As \(\nu \eta =0\), there is a factorisation of \(\eta \) on the 4-sphere through \(C_\nu \).
Also, \(2\eta =0\) and \(\pi _5(S^0)=0\), and hence \(2\widetilde{\eta x_4}=0\). A cobar representative for \(\widetilde{\eta x_4}\) in the classical Adams \(\mathrm {E}_2\)-term is
We can form the mapping cone \(C_{\widetilde{\eta x_4}}=C_\nu \cup _{\widetilde{\eta x_4}}e^6\) and, since \(2\widetilde{\eta x_4}=0\), there is a factorisation of 2 on the 6-sphere through \(C_{\widetilde{\eta x_4}}\).
A cobar representative of \(\widetilde{2x_6}\) is
Consider the mapping cone of \(\sigma \), \(C_\sigma =S^0\cup _\sigma e^8\). As \(\sigma \nu =0\), there is a factorisation of \(\nu \) on the 8-cell through \(C_\sigma \).
Also, \(\nu \eta =0\) and \(\pi _{12}(S^0)=0=\pi _{13}(S^0)\), and hence \(\eta (\widetilde{\nu x_8})=0\).
As \({{\mathrm{Ext}}}^{1,12}_{\mathcal {A}_*}(\mathbb {F}_2,H_*(S^0))=0\), the element
is a cobar representative for \(\widetilde{\nu x_8}\).
We can form the mapping cone \(C_{\widetilde{\nu x_8}}=C_\sigma \cup _{\widetilde{\nu x_8}}e^{12}\) and, since \(\eta \widetilde{\nu x_8}=0\), there is a factorisation of \(\eta \) on the 12-sphere through \(C_{\widetilde{\nu x_8}}\).
As part of the long exact sequence for the homotopy of the mapping cone, we have the exact sequence
and we have \(\pi _{13}(S^0)=0=\pi _{13}(S^8)\), so \(\pi _{13}(C_\sigma )=0\). Therefore, \(2(\widetilde{\eta x_{12}})=0\) and we can factorise 2 on the 14-sphere through the mapping cone of \(\widetilde{\eta x_{12}}\), \(C_{\widetilde{\eta x_{12}}}\).
A cobar representative of \(\widetilde{2x_{14}}\) is
The homology of the mapping cone \(C_{\widetilde{2x_{14}}}\) has a basis \(x_0,x_8,x_{12},x_{14},x_{15}\), with coaction given by
These calculations show that the CW spectra of the stated forms do indeed exist. \(\square \)
Remark 1.2
The spectra of Proposition 1.1 are all minimal atomic in the sense of [12]; this follows from the fact that in each case the mod 2 cohomology is a cyclic \(\mathcal {A}^*\)-module.
3 Some \(\mathcal {E}_\infty \) Thom spectra
Consider the three infinite loop spaces \(B\mathrm {SO}= B\mathrm {O}\langle 2\rangle \), \(B\mathrm {Spin}= B\mathrm {O}\langle 4\rangle \) and \(B\mathrm {String}= B\mathrm {O}\langle 8\rangle \). The 3-skeleton of \(B\mathrm {SO}\) is
since \({{\mathrm{Sq}}}^1w_2=w_3\). Similarly, the 7-skeleton of \(B\mathrm {Spin}\) is
since \({{\mathrm{Sq}}}^2w_4=w_6\) and \({{\mathrm{Sq}}}^1w_6=w_7\). Finally, the 15-skeleton of \(B\mathrm {String}\) is
since \({{\mathrm{Sq}}}^4w_8=w_{12}\), \({{\mathrm{Sq}}}^2w_{12}=w_{14}\) and \({{\mathrm{Sq}}}^1w_{14}=w_{15}\).
The skeletal inclusion maps induce (virtual) bundles whose Thom spectra are themselves skeleta of the universal Thom spectra \(M\mathrm {SO}\), \(M\mathrm {Spin}\) and \(M\mathrm {String}\). Routine calculations with Steenrod operations and the Wu formulae show that
Thus, these Thom spectra are examples of ‘iterated Thom complexes’ similar in spirit to those discussed in [10].
Each skeletal inclusion factors uniquely through an infinite loop map \(j_r\),
where \(\mathrm {Q}=\Omega ^\infty \Sigma ^\infty \) is the free infinite loop space functor. We can also form the associated Thom spectrum \(Mj_r\) which is an \(\mathcal {E}_\infty \) ring spectrum admitting an \(\mathcal {E}_\infty \) morphism \(Mj_r\rightarrow M\mathrm {O}\langle 2^r\rangle \) factoring the corresponding skeletal inclusion.
Using the algebra of “Appendix 1”, it is easy to see that the skeletal inclusions induce monomorphisms in homology whose images contain the lowest degree generators:
Each of the natural orientations \(M\mathrm {O}\langle n\rangle \rightarrow H\mathbb {F}_2\) above induces an algebra homomorphism \(H_*(M\mathrm {O}\langle n\rangle )\rightarrow \mathcal {A}_*\) for which
We also note that the skeleta can be identified with skeleta of \(H\mathbb {Z}\), \(k\mathrm {O}\) and \(\mathrm {tmf}\); namely, there are orientations inducing weak equivalences
The first two are induced from well-known orientations, while the third relies on unpublished work of Ando et al. [3]. Actually, such morphisms can be produced using the reduced free commutative S-algebra functor \(\widetilde{\mathbb {P}}\) of [7], which has a universal property analogous to that of the usual free functor \(\mathbb {P}\) of [17].
Proposition 2.1
For \(r=1,2,3\), the natural map \(M\mathrm {O}\langle 2^r\rangle ^{[2^{r+1}-1]}\rightarrow Mj_r\) has unique extensions to a weak equivalence of \(\mathcal {E}_\infty \) ring spectra
The orientations of (2.1) induce morphisms of \(\mathcal {E}_\infty \) ring spectra
Proof
The existence of such morphisms depends on the universal property of \(\widetilde{\mathbb {P}}\). The proof that those of the first kind are equivalences depends on a comparison of the homology rings using Theorem 2.3 below.\(\square \)
Remark 2.2
In fact, the weak equivalences of (2.1) extend to weak equivalences
The homology of \(Mj_r\) can be determined from that of the underlying infinite loop space using the Thom isomorphism, while that for the others it depends on a general description of the homology of \(H_*(\widetilde{\mathbb {P}}X)\) which can be found in [7].
Theorem 2.3
The homology rings of the Thom spectra \(Mj_r\) are given by
The \(\mathcal {E}_\infty \) orientations \(Mj_r\rightarrow H\mathbb {F}_2\) induce algebra homomorphisms \(H_*(Mj_r)\rightarrow \mathcal {A}_*\) which have images
Recalling Remark 1.2, we note the following where the minimal atomic \(\mathcal {E}_\infty \) ring spectrum is used in the sense of Hu, Kriz and May, and was subsequently developed further in [11].
Proposition 2.4
Each of the \(\mathcal {E}_\infty \) ring spectra \(Mj_r\) \((r=1,2,3)\) is minimal atomic.
Proof
In [7], we showed that for \(X\in S^0/\mathscr {M}_S\) in the slice category of S-modules under a cofibrant replacement of S,
hence,
For \(Mj_r\sim \widetilde{\mathbb {P}}M\mathrm {O}\langle 2^r\rangle ^{[2^{r+1}-1]}\), this gives
The \((2^{r+1}-1)\)-skeleton for a minimal cell structure on the spectrum \(Mj_r\) agrees with \(M\mathrm {O}\langle 2^r\rangle ^{[2^{r+1}-1]}\), and this is a minimal atomic S-module as noted in Remark 1.2. It follows that the mod 2 Hurewicz homomorphism \(\pi _*(Mj_r)\rightarrow H_*(Mj_r)\) is trivial in the range \(0<*<2^{r+1}\). Hence, the \({{\mathrm{TAQ}}}\) Hurewicz homomorphism
is trivial. Now by [11, theorem 3.3], \(Mj_r\) is minimal atomic as claimed. \(\square \)
4 Some coalgebra
In this section, we review some useful results on comodules over Hopf algebras. Although most of this material is standard, we state some results in a precise form suitable for our requirements. Since writing early versions of this paper, we became aware of work by Hill [20] which uses similar results.
First, we recall a standard algebraic result, for example see [31, lemma 3.1]. We work vector spaces over a field \(\Bbbk \) and will set \(\otimes =\otimes _\Bbbk \). There are slight modifications required for the graded case which we leave the reader to formulate; however as we work exclusively in characteristic 2, these have no significant effect in this paper. We refer to the classic paper of Milnor and Moore [28] for background material on coalgebra.
Let A be a commutative Hopf algebra over a field \(\Bbbk \), and let B be a quotient Hopf algebra of A. We denote the product and antipode on A by \(\phi _A\) and \(\chi \), and the coaction on a left comodule D by \(\psi _D\). We will identify the cotensor product \(A\square _B\Bbbk \subseteq A\otimes \Bbbk \) with a subalgebra of A under the canonical isomorphism \(A\otimes \Bbbk \xrightarrow {\;\cong \;}A\).
Lemma 3.1
Let D be a commutative A-comodule algebra. Then there is an isomorphism of A-comodule algebras
where \(\psi _{D}x = \sum _ia_i\otimes x_i\) denotes the coaction on \(x\in D\).
Here, the codomain has the diagonal A-comodule structure, while the domain has the left A-comodule structure.
Here is an easily proved generalisation of this result.
Lemma 3.2
Let C be a commutative B-comodule algebra and let D be a commutative A-comodule algebra, then there is an isomorphism of A-comodule algebras
where the domain has the diagonal left A-coaction and \(C\otimes D\) has the diagonal left B-coaction.
Explicitly, on an element
the isomorphism has the effect
where \(\psi _{D}w = \sum _ia_i\otimes w_i\) as above. Similarly, the inverse is given by
Now, suppose that H is a finite-dimensional Hopf algebra. If K is a sub-Hopf algebra of H, it is well known that H is a free left or right K-module, i.e. \(H\cong K\otimes U\) or \(H\cong U\otimes K\) for a vector space U (see [29, theorems 31.1.5 and 3.3.1]). This dualises as follows: If L is a quotient Hopf algebra of H, then H is an extended left or right L-comodule, i.e. \(H\cong L\otimes V\) or \(H\cong V\otimes L\) for a vector space V; in fact, \(V=H\square _L\Bbbk \). More generally, according to Margolis [26, pp. 193 and 240], if H is a P-algebra, then a result of the first kind holds for any finite-dimensional sub-Hopf algebra K.
We need to make use of the finite dual of a Hopf algebra H, namely
Then, \(H^{\mathrm {o}}\) becomes an Hopf algebra with product and coproduct obtained from the adjoints of the coproduct and product of H. We will say that H is a P-coalgebra if \(H^{\mathrm {o}}\) is a P-algebra.
Lemma 3.3
Suppose that A is a commutative Hopf algebra which is a P-coalgebra. If B is a finite dimensional quotient Hopf algebra of A, then A is an extended right (or left) B-comodule, i.e. \(A \cong W\otimes B\) (or \(A \cong B\otimes W\) ) for some vector space W, and in fact \(W\cong A\square _B\Bbbk \) (or \(W\cong \Bbbk \square _BA\) ).
Corollary 3.4
For any right B-comodule L or left B-comodule M, as vector spaces,
These are isomorphisms of left or right A-comodules for suitable comodule structures on the right hand sides.
To understand the relevant A-comodule structure on \((A\square _B\Bbbk )\otimes M\), note that there is an isomorphism of left A-comodules
where the right hand factor is the isomorphism of Lemma 3.3.
Crucially for our purposes, for a prime p, the Steenrod algebra \(\mathcal {A}^*\) is a P-algebra in the sense of Margolis [26], i.e. it is a union of finite sub-Hopf algebras. When \(p=2\),
and it follows from the preceding results that if \(n\geqslant 0\), \(\mathcal {A}^*\) is free as a right or left \(\mathcal {A}(n)^*\)-module; see [26, pp. 193 and 240]. Dually, \((\mathcal {A}_*)^{\mathrm {o}}=\mathcal {A}^*\) and \(\mathcal {A}_*\) is an extended \(\mathcal {A}(n)_*\)-comodule:
Given this, we see that for any left \(\mathcal {A}(n)_*\)-comodule \(M_*\), as vector spaces
In fact, this is also an isomorphism left \(\mathcal {A}_*\)-comodules.
Here is an explicit description of isomorphisms of the type given by Lemma 3.3. For \(n\geqslant 0\), we will use the function
For any natural number r, write
where \(0\leqslant r''(n,i)<\mathrm {e}_n(i)\). We note that
and
We will indicate elements of \(\mathcal {A}(n)_*\) by writing \(\Vert {z}\Vert \) for the coset of z which is always chosen to be a sum of monomials \(\zeta _1^{s_1}\zeta _2^{s_2}\ldots \zeta _\ell ^{s_\ell }\) with exponents satisfying \(0\leqslant s_i<\mathrm {e}_n(i)\).
Proposition 3.5
For \(n\geqslant 0,\) there is an isomorphism of right \(\mathcal {A}(n)_*\)-comodules
given on basic tensors by
We will also use the following result to construct algebraic maps in lieu of geometric ones. The proof is a straightforward generalisation of a standard one for the case where \(B=\Bbbk \).
Lemma 3.6
Suppose that M is a left A-comodule and N is a left B-comodule. Then there is a natural isomorphism
where \(\widetilde{f}\) is the unique factorisation of \(({{\mathrm{Id}}}\otimes f)\psi _M\) through \(A\square _B N\).
Furthermore, if M is an A-comodule algebra and N is a B-comodule algebra, then if f is an algebra homomorphism, so is \(\widetilde{f}\).
As an example of the multiplicative version of this result, suppose that M is an A-comodule algebra which is augmented. Then there is a composite homomorphism of B-comodule algebras \(\alpha :M \rightarrow \Bbbk \rightarrow N\) giving rise to homomorphism of A-comodule algebras
where \(\psi _M(x) = a\otimes 1 + \cdots + 1\otimes x\).
5 The homology of \(Mj_r\) for \(r=1,2,3\)
Now we analyse the specific cases for \(H_*(Mj_r)\) for \(r=1,2,3\). Since some of the details differ in each case, we treat these separately. In each case, there is a commutative diagram of commutative \(\mathcal {A}_*\)-comodule algebras
in which \(I_r\lhd H_*(Mj_r)\) is a certain \(\mathcal {A}(r-1)_*\)-comodule ideal. In each case, the proof involves showing that the dashed arrow is an isomorphism.
5.1 The homology of \(Mj_1\)
By Theorem 2.3,
where the left \(\mathcal {A}_*\)-coaction is determined by
To calculate the coaction on the other generators \(\mathrm {Q}^Ix_2\) and \(\mathrm {Q}^Jx_3,\) we follow [9] and use the right coaction
where \(\psi (z) = \sum _i\alpha _i\otimes z_i\) and \(\chi \) is the antipode of \(\mathcal {A}_*\). So,
In general, if z has degree m, then
By (4.3),
We also have
Combining these, we obtain
or equivalently,
We will consider the sequence of elements \(X_{1,1}\) and \(X_{1,s}\in H_{2^{s}-1}(Mj_1)\) (\(s\geqslant 2\)) defined by
where \(\mathrm {Q}^{(i_1,i_2,\ldots ,i_\ell )} =\mathrm {Q}^{i_1}\mathrm {Q}^{i_2}\ldots \mathrm {Q}^{i_\ell }\). We claim that \(X_{1,s}\) have the following right and left coactions:
To prove these, we use induction on s, where the early cases \(s=1,2,3\) are known already. For the inductive step, assume that (4.6) holds for some \(s\geqslant 3\). Then,
giving the result for \(s+1\). Here for terms of form \(\mathrm {Q}^{|u|+|v|+1}(u\otimes v),\) we have
by the Cartan formula and unstable conditions.
Under the homomorphism \(\rho :H_*(Mj_1)\rightarrow \mathcal {A}_*\) induced by the orientation \(Mj_1\rightarrow H\mathbb {F}_2\), we have
Also,
and for each admissible monomial I, \(\rho (\mathrm {Q}^Ix_2)\in \mathcal {A}_*\) is a square.
This shows that the restriction of \(\rho \) to the subalgebra generated by the \(X_{1,s}\) is an isomorphism of \(\mathcal {A}_*\)-comodule algebras
where
In the algebra \(H_*(Mj_1)\), the regular sequence \(X_{1,s}\) (\(s\geqslant 1\)) generates an ideal
This is not an \(\mathcal {A}_*\)-subcomodule since, for example,
However, under the induced \(\mathcal {A}(0)_*\)-coaction
the last term becomes trivial; in fact,
where we identify elements of \(\mathcal {A}(0)_*\) with representatives in \(\mathcal {A}_*\). More generally, by (4.7), for \(s\geqslant 2\),
It follows that \(I_1\) is an \(\mathcal {A}(0)_*\)-invariant ideal.
Proposition 4.1
There is an isomorphism of commutative \(\mathcal {A}_*\)-comodule algebras
Proof
Taking \(r=1\), from (4.1), we obtain a commutative diagram of commutative \(\mathcal {A}_*\)-comodule algebras
and furthermore
giving
The latter form part of a set of polynomial generators for the polynomial ring
Now, a straightforward argument shows that the dashed arrow is surjective; but as the Poincaré series of \(H_*(Mj_1)\) and \((\mathcal {A}_*\square _{\mathcal {A}(0)_*}\mathbb {F}_2)\otimes H_*(Mj_1)/I_1\) are equal, it is actually an isomorphism. Therefore,
\(\square \)
Remark 4.2
For the purposes of proving such a result, we might as well have set \(X_{1,3} = \mathrm {Q}^4x_3\) and
since
and so on. However, the cases of \(Mj_2\) and \(Mj_3\) will require modifications similar to the ones we have used above which give an indication of the methods required.
We have the following splitting result.
Proposition 4.3
There is a splitting of \(\mathcal {A}_*\)-comodule algebras
where \(H_*(Mj_1)\rightarrow H_*(H\mathbb {Z})=\mathcal {A}_*\square _{\mathcal {A}(0)_*}\mathbb {F}_2\) is induced by the \(\mathcal {E}_\infty \) orientation \(Mj_1\rightarrow H\mathbb {Z}\).
Proof
This is proved using Lemma 3.6 together with the trivial \(\mathcal {A}(0)_*\)-comodule algebra homomorphism \(\mathcal {A}_*\square _{\mathcal {A}(0)_*}\mathbb {F}_2\rightarrow H_*(Mj_1)/I_1\). \(\square \)
5.2 The homology of \(Mj_2\)
We have
with right coaction satisfying
Furthermore,
so the left \(\mathcal {A}(1)_*\)-coproduct
has
We also have
so
Now, we define a sequence of elements \(X_{2,s}\) (\(s\geqslant 1\)) by
An inductive calculation shows that for \(s\geqslant 4\),
So this sequence is regular and generates an \(\mathcal {A}(1)_*\)-invariant ideal
The next result follows using similar arguments to those in the proof of Proposition 4.1 using the diagram (4.1).
Proposition 4.4
There is an isomorphism of \(\mathcal {A}_*\)-comodule algebras
The \(\mathcal {E}_\infty \) morphism \(Mj_2\rightarrow k\mathrm {O}\) induces an algebra homomorphism \(H_*(Mj_2)\rightarrow H_*(k\mathrm {O})\subseteq \mathcal {A}_*\) under which
We have the following splitting result analogous to Proposition 4.3.
Proposition 4.5
There is a splitting of \(\mathcal {A}_*\)-comodule algebras
where \(H_*(Mj_2)\rightarrow H_*(k\mathrm {O})=\mathcal {A}_*\square _{\mathcal {A}(1)_*}\mathbb {F}_2\) is induced by the \(\mathcal {E}_\infty \) orientation \(Mj_2\rightarrow k\mathrm {O}\).
5.3 The homology of \(Mj_3\)
In \(H_*(Mj_3)\), consider the regular sequence
We leave the reader to verify that the ideal
is \(\mathcal {A}(2)_*\)-invariant. The proof of the following result is similar to those of Propositions 4.1 and 4.4 using the diagram (4.1).
Proposition 4.6
There is an isomorphism of \(\mathcal {A}_*\)-comodule algebras
The \(\mathcal {E}_\infty \) morphism \(Mj_3\rightarrow \mathrm {tmf}\) induces an algebra homomorphism \(H_*(Mj_3)\rightarrow H_*(\mathrm {tmf})\subseteq \mathcal {A}_*\) under which
We have the following splitting result analogous to Propositions 4.3 and 4.5.
Proposition 4.7
There is a splitting of \(\mathcal {A}_*\)-comodule algebras
where \(H_*(Mj_3)\rightarrow H_*(\mathrm {tmf})=\mathcal {A}_*\square _{\mathcal {A}(2)_*}\mathbb {F}_2\) is induced by the \(\mathcal {E}_\infty \) orientation \(Mj_3\rightarrow \mathrm {tmf}\).
We end this discussion by recording the following result which was in part motivated by a result of Lawson and Naumann [23].
Theorem 4.8
There is a morphism of \(\mathcal {E}_\infty \) ring spectra \(Mj_3\rightarrow k\mathrm {O}\) which induces an epimorphism
on \(H_*(-)\) and an epimorphism \(\pi _k(Mj_3)\rightarrow \pi _k(k\mathrm {O})\) for \(k\ne 4\).
Proof
We will use the fact that \(Mj_3\sim \widetilde{\mathbb {P}}\mathrm {tmf}^{[15]}\) and show the existence of a suitable \(\mathcal {E}_\infty \) morphism \(\widetilde{\mathbb {P}}\mathrm {tmf}^{[15]}\rightarrow k\mathrm {O}\).
We first require a map \(\mathrm {tmf}^{[15]}\rightarrow k\mathrm {O}\) extending the unit map \(S^0\rightarrow k\mathrm {O}\). The existence of maps can be shown using classical obstruction theory, since the successive obstructions lie in the groups \(H^8(\mathrm {tmf}^{[15]};\pi _7(k\mathrm {O}))\), \(H^{12}(\mathrm {tmf}^{[15]};\pi _{11}(k\mathrm {O}))\), \(H^{14}(\mathrm {tmf}^{[15]};\pi _{13}(k\mathrm {O}))\) and \(H^{15}(\mathrm {tmf}^{[15]};\pi _{14}(k\mathrm {O}))\), all of which are trivial. For definiteness, choose such a map as \(\theta :\mathrm {tmf}^{[15]}\rightarrow k\mathrm {O}\).
Let us examine the induced \(\mathcal {A}_*\)-comodule homomorphism \(\theta _*:H_*(\mathrm {tmf}^{[15]})\rightarrow H_*(k\mathrm {O})\subseteq \mathcal {A}_*\). By Lemma 3.6, we have
so \(\theta _*\) is a uniquely determined. Recall the formulae for the coaction on \(H_*(\mathrm {tmf}^{[15]})\) given in (1.2a); we find that
There is a unique extension of \(\theta \) to a morphism of \(\mathcal {E}_\infty \) ring spectra \(\widetilde{\theta }:\widetilde{\mathbb {P}}\mathrm {tmf}^{[15]}\rightarrow k\mathrm {O}\). The homology of \(\widetilde{\mathbb {P}}\mathrm {tmf}^{[15]}\) is given in Theorem 2.3, and for \(s\geqslant 5\)
It follows that
To prove the result about homotopy groups, we show first that \(\theta _*:\pi _k(\mathrm {tmf}^{[15]})\rightarrow \pi _k(k\mathrm {O})\) is surjective when \(k=8,9,10,12\). We will use some arguments about some Toda brackets in \(\pi _*(\mathrm {tmf}^{[15]})\) and \(\pi _*(k\mathrm {O})\); similar results were used in [12, section 7]. Given an S-module X, we can define Toda brackets of the form \(\langle \alpha ,\beta ,\gamma \rangle \subseteq \pi _{a+b+c+1}(X)\), where \(\alpha \in \pi _a(S)\), \(\beta \in \pi _b(S)\) and \(\gamma \in \pi _c(X)\) satisfy \(\alpha \beta =0\) in \(\pi _{a+b}(S)\) and \(\beta \gamma =0\) in \(\pi _{b+c}(X)\). The indeterminacy here is as usual
The case \(k=8\) follows from the well-known facts that the Toda brackets \(\langle 16,\sigma ,1\rangle \subseteq \pi _8(\mathrm {tmf})\) and \(\langle 16,\sigma ,1\rangle \subseteq \pi _8(k\mathrm {O})\) contain generators \(c'_4\in \pi _8(\mathrm {tmf})\cong \pi _8(\mathrm {tmf}^{[15]})\) and \(w\in \pi _8(k\mathrm {O}),\) respectively. Naturality shows that \(\theta _*:\pi _8(\mathrm {tmf}^{[15]})\rightarrow \pi _8(k\mathrm {O})\) is surjective.
For the cases \(k=9,10,\) we can use multiplication by \(\eta \) and \(\eta ^2\) in \(\pi _*(\mathrm {tmf})^{[15]}\) and \(\pi _*(k\mathrm {O})\) to see that \(\theta _*:\pi _k(\mathrm {tmf})^{[15]}\rightarrow \pi _k(k\mathrm {O})\) is surjective in these cases.
For \(k=12,\) we need to know the classical result \(\nu w=0\) as well as \(\nu c'_4=0\); the latter can be read off of the Adams spectral sequence diagrams in [16, chapter 13]. Given these facts, it follows that the Toda brackets \(\langle 8,\nu ,c'_4\rangle \subseteq \pi _{12}(\mathrm {tmf}) \cong \pi _{12}(\mathrm {tmf}^{[15]})\) and \(\langle 8,\nu ,w\rangle \subseteq \pi _{12}(k\mathrm {O})\) contain generators and naturality shows that \(\theta _*:\pi _{12}(\mathrm {tmf}^{[15]})\rightarrow \pi _{12}(k\mathrm {O})\) is surjective.
To finish our argument, we know that when \(k=8,9,10,12,\) the composition
is surjective. Using multiplication by the image of \(c'_4\) in \(\pi _*(\widetilde{\mathbb {P}}\mathrm {tmf}^{[15]}),\) it is straightforward to show that \(\theta _*:\pi _k(\mathrm {tmf}^{[15]})\rightarrow \pi _k(k\mathrm {O})\) is surjective for all \(k>4\). \(\square \)
In [23], Lawson and Naumann have shown the existence of an \(\mathcal {E}_\infty \) map \(\mathrm {tmf}\rightarrow k\mathrm {O}\) whose restriction to \(\mathrm {tmf}^{[15]}\) could be used in the proof above. However, our argument does not assume the prior existence of such a map and seems more elementary. Indeed, our result suggests the possibility of a more direct approach to building an \(\mathcal {E}_\infty \) morphism \(\mathrm {tmf}\rightarrow k\mathrm {O}\) in comparison with the approach of Lawson and Naumann: it would suffice to show that the map \(\mathcal {I}\rightarrow k\mathrm {O}\) from the homotopy fibre \(\mathcal {I}\) of the \(\mathcal {E}_\infty \) morphism \(\widetilde{\mathbb {P}}\mathrm {tmf}^{[15]}\rightarrow k\mathrm {O}\) was null homotopic, so there is an \(\mathcal {E}_\infty \) morphism \(\mathrm {tmf}\rightarrow k\mathrm {O}\) making the following diagram homotopy commutative.
To date, we have been unable to make this approach work.
6 Some other examples
Our approach to proving algebraic splittings of the homology of \(\mathcal {E}_\infty \) Thom spectra can be used to rederive many known results for classical examples such as \(M\mathrm {O}\), \(M\mathrm {SO}\), \(M\mathrm {SO}\), \(M\mathrm {Spin}\), \(M\mathrm {String}=M\mathrm {O}\langle 8\rangle \) and \(M\mathrm {U}\). We can also obtain some other new examples with these methods.
6.1 An example related to \(k\mathrm {U}\)
Our first example is based on similar ideas to those used to construct the spectra \(Mj_r\), but using \(\mathrm {Spin}^{\mathrm {c}}\). The low-dimensional homology of \(B\mathrm {Spin}^{\mathrm {c}}\) can be read off from Theorem 7.2 and Remark 7.3. Passing to the Thom spectrum over the 7-skeleton \((B\mathrm {Spin}^{\mathrm {c}})^{[7]},\) we have for its homology
For our purposes, the fact that there are two 4-cells is problematic, so we instead restrict to a smaller complex. The map \(B\mathrm {Spin}^{[7]}\rightarrow B\mathrm {Spin}^c\) induces an epimorphism in cohomology, and the resulting map \(S^2\vee B\mathrm {Spin}^{[7]} \rightarrow B\mathrm {Spin}^c\) induces a monomorphism in homology with image
The Thom spectrum over this space has a cell structure of the form
The skeletal inclusion factors through an infinite loop map
and we obtain an \(\mathcal {E}_\infty \) Thom spectrum \(Mj^\mathrm {c}\) over \(\mathrm {Q}(S^2\vee B\mathrm {Spin}^{[7]})\) whose homology is
It is easy to see that there is a morphism of \(\mathcal {E}_\infty \) ring spectra
inducing an epimorphism on \(H_*(-)\) under which
The 7-skeleton of \(Mj^\mathrm {c}\) has the form
since \(\pi _3(C_\eta )\cong \pi _3(S^0)/\eta \pi _1(S^0)=\pi _3(S^0)/4\pi _3(S^0)\) and the generators are detected by \({{\mathrm{Sq}}}^4\). It follows that there is an element \(\pi _4(Mj^\mathrm {c})\) with Hurewicz image \(x_4+x_2^2\), and if \(w:S^4\rightarrow Mj^\mathrm {c}\) is a representative, we can form the \(\mathcal {E}_\infty \) cone \(Mj^\mathrm {c}/\!/w\) as the pushout in the diagram
taken in the category \(\mathscr {C}_S\) of commutative S-algebras. There is a Künneth spectral sequence of the form
where the \(H_*(Mj^\mathrm {c})\) is the \(H_*(\mathbb {P}S^4)\)-module algebra
where
Notice that the term \(\mathrm {Q}^I(x_2^2)\) is either trivial (if at least one term in I is odd) or a square (if all terms in I are even), hence can be used as a polynomial generator of \(H_*(Mj^\mathrm {c})\) in place of \(\mathrm {Q}^Ix_4\). It follows that \(H_*(Mj^\mathrm {c})\) is a free \(H_*(\mathbb {P}S^4)\)-module, so the spectral sequence is trivial with
therefore we have
Here is the 7-skeleton of \(Mj^\mathrm {c}/\!/w\).
We define a sequence of elements \(X_s\) in \(H_*(Mj^\mathrm {c}/\!/w)\) by
This is a regular sequence and the induced coaction over the quotient Hopf algebra
satisfies
therefore the ideal \(I^{\mathrm {c}}=(X_s:s\geqslant 1)\lhd H_*(Mj^\mathrm {c}/\!/w)\) is an \(\mathcal {E}(1)_*\)-invariant regular ideal.
Recall that
We have proved the following analogues of earlier results.
Proposition 5.1
There is an isomorphism of \(\mathcal {A}_*\)-comodule algebras
Proposition 5.2
There is a splitting of \(\mathcal {A}_*\)-comodule algebras
where \(H_*(Mj^\mathrm {c}/\!/w)\rightarrow H_*(k\mathrm {U})=\mathcal {A}_*\square _{\mathcal {E}(1)_*}\mathbb {F}_2\) is induced by a factorisation \(Mj^\mathrm {c}\rightarrow Mj^\mathrm {c}/\!/w\rightarrow k\mathrm {U}\) of the \(\mathcal {E}_\infty \) orientation.
Of course, in principle use of the well-known lightning flash technology of [1, 2] should lead to a description of \(H_*(Mj^\mathrm {c}/\!/w)/I^{\mathrm {c}}\) as an \(\mathcal {E}(1)_*\)-comodule. For example, there are many infinite lightning flashes such as the following
as well as parallelograms such as
which can be determined by using [9, proposition 7.3].
6.2 An example related to the Brown–Peterson spectrum
From [8, section 4] we recall the 2-local \(\mathcal {E}_\infty \) ring spectrum \(R_\infty \) for which there is a map of commutative ring spectra \(R_\infty \rightarrow BP\) inducing a rational equivalence, an epimorphism \(\pi _*(R_\infty )\rightarrow \pi _*(BP)\), and \(H_*(R_\infty )\) contains a regular sequence \(z_s\in H_{2^{2+1}-2}(R_\infty )\) mapping to the generators \(t_s\in H_{2^{2+1}-2}(BP)\) which in turn map to \(\zeta _s^2\in H_{2^{2+1}-2}(H)=\mathcal {A}_{2^{2+1}-2}\) under the induced ring homomorphisms
We note that both of these homomorphisms are compatible with the Dyer–Lashof operations, even though BP is not known to be an \(\mathcal {E}_\infty \) ring spectrum. These elements \(z_s\) have the following coactions:
and generate an ideal \(I_\infty \lhd H_*(R_\infty )\).
Let
the exterior quotient Hopf algebra. Although it \(\mathcal {E}_*\) is not finite dimensional, it is still true that \(\mathcal {A}_*\) is an extended right \(\mathcal {E}_*\)-comodule,
Under the induced \(\mathcal {E}_*\)-coaction on \(H_*(R_\infty )\), \(I_\infty \) is an \(\mathcal {E}_*\)-comodule ideal, therefore \(H_*(R_\infty )/I_\infty \) is an \(\mathcal {E}_*\)-comodule algebra.
Proposition 5.3
There is an isomorphism of commutative \(\mathcal {A}_*\)-comodule algebras
and a splitting \(\mathcal {A}_*\)-comodule algebras
where \(\mathcal {A}_*\square _{\mathcal {E}_*}\mathbb {F}_2\cong H_*(BP)\) and the right hand homomorphism is induced from the morphism of commutative ring spectra \(R_\infty \rightarrow BP\).
This result supports the view that \(R_\infty \) admits a map \(BP\rightarrow R_\infty \) extending the unit \(S^0\rightarrow R_\infty \) and then the composition
would necessarily be a weak equivalence since BP is minimal atomic in the sense of [12].
7 Speculation and conjectures
Our algebraic splittings of \(H_*(Mj_r)\) are consistent with spectrum-level splittings. Indeed, in the case of \(r=1\), a result of Mark Steinberger [14] already shows that \(Mj_1\) splits as a wedge of suspensions of \(H\mathbb {Z}\) and \(H\mathbb {Z}/2^s\) for \(s\geqslant 1\), all of which are \(H\mathbb {Z}\)-module spectra. In fact a direct argument is also possible.
Using Lemma 3.2, it is easy to see that if a spectrum X is a module spectrum over one of \(H\mathbb {Z}\), \(k\mathrm {O}\) or \(\mathrm {tmf}\) then its homology is a retract of the extended comodule \(\mathcal {A}_*\square _{\mathcal {A}(r)_*}H_*(X)\) for the relevant value of r; a similar observation holds for a module spectrum over \(k\mathrm {U}\) and \(\mathcal {A}_*\square _{\mathcal {E}(1)_*}H_*(X)\). Thus our algebraic results provide evidence for the following conjectural splittings.
Conjecture 6.1
As a spectrum, \(Mj_2\) is a wedge of \(k\mathrm {O}\)-module spectra, \(Mj_3\) is a wedge of \(\mathrm {tmf}\)-module spectra and \(Mj^\mathrm {c}\) is a wedge of \(k\mathrm {U}\)-module spectra.
Here the phrase ‘module spectrum’ can be interpreted either purely homotopically, or strictly in the sense of [17]. In each case, it is enough to produce any map \(E\rightarrow Mj\) extending the unit (up to homotopy), for then the \(\mathcal {E}_\infty \) structure on Mj gives rise to a homotopy commutative diagram of the following form.
Related to this conjecture, and indeed implied by it, is the following where we know that analogues hold for the cases \(Mj_1\), \(Mj_2\), \(Mj^\mathrm {c}\), i.e. the natural homomorphisms
are epimorphisms. One approach to verifying these is by using the Adams spectral sequence: in each of the first two cases, the lowest degree element in the \(\mathrm {E}_2\)-term not associated with the \(\mathcal {A}_*\square _{\mathcal {A}(r-1)_*}\mathbb {F}_2\) summand is one of the elements \(\mathrm {Q}^3x_2\) or \(\mathrm {Q}^5x_4,\) and this is too far along to give elements supporting anomalous differentials on this summand, and the multiplicative structure completes the argument. Here is a small portion of the Adams spectral sequence for \(Mj_2\) to illustrate this, with \(\mathrm {Q}^5x_4\) at position (9, 0) and most of the diagram being part of the \(\mathrm {E}_2\)-term for \(k\mathrm {O}\). Since
this element \(\mathrm {Q}^5x_4\) does not produce an \(h_0\) tower; in fact, the \(\mathcal {A}(1)_*\)-subcomodule
gives rise to a copy of the Adams \(\mathrm {E}_2\)-term for \(k\mathrm {O}\wedge (S^0\cup _2 e^1)\) carried on \(\mathrm {Q}^5x_4\).
In the third case, the first element not in the \(k\mathrm {U}\) summand is \(\mathrm {Q}^3x_2\) and a similar argument applies.
Conjecture 6.2
The \(\mathcal {E}_\infty \) orientation \(Mj_3\rightarrow \mathrm {tmf}\) induces a ring epimorphism \(\pi _*(Mj_3)\rightarrow \pi _*(\mathrm {tmf})\).
This is easily seen to be true up to degree 16 and also holds rationally. To go further seems to require a detailed examination of the Adams spectral sequences for \(\pi _*(Mj_3)\) and \(\pi _*(\mathrm {tmf})\), and to date we have checked it up to degree 26. Of course, this conjecture is implied by the above splitting conjecture.
To understand how the splitting question might be resolved, let us examine the settled case of \(Mj_1\). This provides a universal example for the general splitting result of Steinberger [14, theorem III.4.2], and the general case is implied by that of \(Mj_1\). Since
we have
Following the strategy of Steinberger’s proof for the general case, we consider the \(\mathcal {A}(0)_*\)-comodule structure of \(H_*(Mj_1)/I_1\), or equivalently its \(\mathcal {A}(0)^*\)-module structure. Of course, here there is only one copy of \(H\mathbb {Z}\), and the remaining summands are suspensions of \(H\mathbb {Z}/2^r\) for various r.
The Bockstein spectral sequence for \(H_*(Mj_1;\mathbb {Z}_{(2)})\) can be determined from this using formulae for higher Bocksteins of [27, proposition 6.8], which we learnt about from Rolf Hoyer and Peter May.
Let E be a connective finite type 2-local \(\mathcal {E}_\infty \) ring spectrum and let \(x\in H_{2m}(E)\) where \(m\in \mathbb {Z}\). Writing \(\beta _k\) for the kth higher Bockstein operation, and assuming that \(\beta _{k-1}x\) is defined, we have
These formulae determine higher differentials in the Bockstein spectral sequence for \(H_*(E;\mathbb {Z}_{(2)})\). The first differential \(\beta _1={{\mathrm{Sq}}}^1_*\) is given on polynomial generators by
In each of the cases with \(i_1\) even, \(\mathrm {Q}^{(i_1-1,i_2,\ldots ,i_k)}x_s\) is a polynomial generator except when \(i_1=i_2+\cdots +i_k+s+1\) and then
As a dga with respect to \(\beta _1\), \(H_*(Mj_1)\) is a tensor product of acyclic subcomplexes of the form \(\mathbb {F}_2[\beta _1\mathrm {Q}^Ix_s,\mathrm {Q}^Ix_s]\) where \(s=2,3\) and \(I=(i_1,\ldots ,i_k)\ne ()\) with \(i_1\) even, together with \(\mathbb {F}_2[x_2,x_3]\) and the polynomial ring generated by the squares not already accounted for. In particular, the \(\mathrm {E}^2\)-term of the Bockstein spectral sequence agrees with the \(\beta _1\)-homology of \(H_*(Mj_1)/I_1\). The higher Bocksteins now follow from the above formulae (6.2) and (6.3).
This approach might be generalised to the cases of \(Mj_2\), \(Mj_3\) and \(Mj^\mathrm {c}\) by studying suitable Bockstein spectral sequences for \(k\mathrm {O}_*(Mj_2)\), \(\mathrm {tmf}_*(Mj_3)\) and \(k\mathrm {U}_*(Mj^\mathrm {c})\). We remark that the \(\mathcal {E}_\infty \) ring spectra \(H\mathbb {Z}\wedge Mj_1\), \(k\mathrm {O}\wedge Mj_2\) and \(\mathrm {tmf}\wedge Mj_3\) can be identified in different guises using the Thom diagonals associated with the \(\mathcal {E}_\infty \) orientations \(Mj_1\rightarrow H\mathbb {Z}\), \(MJ_2\rightarrow k\mathrm {O}\) and \(Mj_3\rightarrow \mathrm {tmf}\), giving weak equivalences of \(\mathcal {E}_\infty \) ring spectra
and there are isomorphisms of \(\mathcal {A}_*\)-comodule algebras
The referee has raised the question of whether the approach of Subsection 5.1 can be used to produce an \(\mathcal {E}_\infty \) Thom spectrum related to \(\mathrm {tmf}_1(3)\) as \(Mj^\mathrm {c}\) is related to \(k\mathrm {U}\). We recall from [23] that there is a commutative diagram of 2-local \(\mathcal {E}_\infty \) ring spectra
On applying \(H_*(-)\), this induces the following diagram of \(\mathcal {A}_*\)-comodule subalgebras of \(\mathcal {A}_*\).
We propose using the space
which admits a map to \(B\mathrm {Spin}^{\mathrm {c}}\) that restricts to a map inducing an epimorphism in cohomology on each wedge summand. Extending this to an infinite loop map
we obtain an \(\mathcal {E}_\infty \) Thom spectrum Mj.
Conjecture 6.3
There is an \(\mathcal {E}_\infty \) morphism \(Mj\rightarrow \mathrm {tmf}_1(3)\) which factors through an \(\mathcal {E}_\infty \) 3-cell complex \(Mj/\!/w_4,w_8,w_{12}\) with \(\mathcal {E}_\infty \) cells of dimensions 5, 9 and 13 attached by maps \(w_4,w_8,w_{12}\). Moreover, the morphism \(Mj/\!/w_4,w_8,w_{12}\rightarrow \mathrm {tmf}_1(3)\) induces an epimorphism on \(H_*(-)\) which is an isomorphism up to degree 15.
We have not yet checked all the details, but it seems plausible that the approach used for \(Mj^\mathrm {c}\) offers a route to doing this. Of course, we might then expect a splitting of \(Mj/\!/w_4,w_8,w_{12}\) into \(\mathrm {tmf}_1(3)\)-module spectra, or at least that the map \(Mj/\!/w_4,w_8,w_{12}\rightarrow \mathrm {tmf}_1(3)\) induces an epimorphism on \(\pi _*(-)\).
References
Adams, J.F.: Stable Homotopy and Generalised Homology. University of Chicago Press, Chicago (1974)
Adams, J.F., Priddy, S.B.: Uniqueness of \(B\)SO. Math. Proc. Camb. Philos. Soc. 80, 475–509 (1976)
Ando, M., Hopkins, M., Rezk, C.: Multiplicative orientations of \(KO\)-theory and of the spectrum of topological modular forms. http://www.math.uiuc.edu/mando/papers/koandtmf.pdf (2010)
Bahri, A.P., Mahowald, M.E.: A direct summand in \(H^*(M{\rm O}\langle 8\rangle,\mathbb{Z}_{2})\). Proc. Am. Math. Soc. 78, 295–298 (1980)
Bailey, S.M.: On the spectrum \(b{\rm o}\mathit{\wedge \rm tmf}\). J. Pure Appl. Algebra 214(4), 392–401 (2010)
Baker, A.: Husemoller–Witt decompositions and actions of the Steenrod algebra. Proc. Edinb. Math. Soc. (2) 28, 271–288 (1985)
Baker, A.: Calculating with topological André–Quillen theory, I: homotopical properties of universal derivations and free commutative \(S\)-algebras (2012). arXiv:1208.1868 (v5+)
Baker, A.: BP: close encounters of the \({\cal {E}}_{\infty }\) kind. J. Homotopy Relat. Struct. 92, 257–282 (2014)
Baker, A.: Power operations and coactions in highly commutative homology theories. Publ. Res. Inst. Math. Sci. Kyoto Univ. 51, 237–272 (2015)
Baker, A., Clarke, F.W., Ray, N., Schwartz, L.: On the Kummer congruences and the stable homotopy of BU. Trans. Am. Math. Soc. 316, 385–432 (1989)
Baker, A., Gilmour, H., Reinhard, P.: Topological André–Quillen homology for cellular commutative \(S\)-algebras. Abh. Math. Semin. Univ. Hambg. 78(1), 27–50 (2008)
Baker, A.J., May, J.P.: Minimal atomic complexes. Topology 43(2), 645–665 (2004)
Behrens, M., Ormsby, K., Stapleton, N., Stojanoska, V.: On the ring of cooperations for \(2\)-primary connective topological modular forms (2015). arXiv:1501.01050
Bruner, R.R., May, J.P., McClure, J.E., Steinberger, M.: \(H_\infty \) ring spectra and their applications. In: Lect. Notes Math. vol. 1176 (1986)
Cohen, F.R., Davis, D.M., Goerss, P.G., Mahowald, M.E.: Integral Brown–Gitler spectra. Proc. Am. Math. Soc. 103, 1299–1304 (1988)
Douglas, C.L., Francis, J., Henriques, A.G., Hill, M.A.: Topological modular forms. Math. Surv. Monogr. 201 (2015). (Based on the Talbot workshop, North Conway, NH, USA, March 25–31, 2007)
Elmendorf, A.D., Kriz, I., Mandell, M.A., May, J.P.: Rings, modules, and algebras in stable homotopy theory. Math. Surv. Monogr. 47 (1997). (With an appendix by M. Cole)
Goerss, P.G., Jones, J.D.S., Mahowald, M.E.: Some generalized Brown–Gitler spectra. Trans. Am. Math. Soc. 294, 113–132 (1986)
Harada, M., Kono, A.: Cohomology mod \(2\) of the classifying space of \({\rm Spin}^c(n)\). Publ. Res. Inst. Math. Sci. 22, 543–549 (1986)
Hill, M.A.: Cyclic comodules, the homology of \(j\), and \(j\)-homology. Topol. Appl. 155, 1730–1736 (2008)
Kochman, S.O.: Homology of the classical groups over the Dyer–Lashof algebra. Trans. Am. Math. Soc. 185, 83–136 (1973)
Lance, T.: Steenrod and Dyer-Lashof operations on \(BU\). Trans. Am. Math. Soc. 276, 497–510 (1983)
Lawson, T., Naumann, N.: Strictly commutative realizations of diagrams over the Steenrod algebra and topological modular forms at the prime \(2\). Int. Math. Res. Not. IMRN 10, 2773–2813 (2014)
Liulevicius, A.: Notes on homotopy of Thom spectra. Am. J. Math. 86, 1–16 (1964)
Liulevicius, A.: Homology comodules. Trans. Am. Math. Soc. 134, 375–382 (1968)
Margolis, H.R.: Spectra and the Steenrod algebra. In: Modules Over the Steenrod Algebra and the Stable Homotopy Category, North-Holland (1983)
May, J.P.: A general algebraic approach to Steenrod operations. Lect. Notes Math. 168, 153–231 (1970)
Milnor, J.W., Moore, J.C.: On the structure of Hopf algebras. Ann. Math. (2) 81, 211–264 (1965)
Montgomery, S.: Hopf algebras and their actions on rings. In: CBMS Regional Conference Series in Mathematics, vol. 82 (1993)
Pengelley, D.J.: The \(A\)-algebra structure of Thom spectra: \(MSO\) as an example. In: CMS Conf. Proc. Current Trends in Algebraic Topology, Part 1 (London, Ont., 1981), vol. 2, pp. 511–513 (1982)
Pengelley, D.J.: The mod two homology of \(MSO\) and \(MSU\) as A comodule algebras, and the cobordism ring. J. Lond. Math. Soc. 2(25), 467–472 (1982)
Pengelley, D.J.: \(H^*(M{\rm O}\langle 8\rangle; \,\mathbb{Z}/2)\) is an extended \(A^*_2\)-coalgebra. Proc. Am. Math. Soc. 87, 355–356 (1983)
Ravenel, D.C.: Complex cobordism and stable homotopy groups of spheres. In: Pure and Applied Mathematics, vol. 121. Academic Press, New York (1986)
Stong, R.E.: Determination of \(H^*(BO(k,\ldots ), Z_2)\) and \(H^*(BU(k,\ldots ), Z_2)\). Trans. Am. Math. Soc. 107, 526–544 (1963)
Stong, R.E.: Notes on cobordism theory. In: Mathematical Notes. Princeton University Press, Princeton and University of Tokyo Press, Tokyo (1968)
Author information
Authors and Affiliations
Corresponding author
Additional information
The author would like to thank the following for their helpful comments over many years: Tilmann Bauer, Mark Behrens, Irina Bobkova, Bob Bruner, André Henriques, Mike Hill, Rolf Hoyer, Peter Landweber, Arunas Liulevicius, Peter May, David Pengelley, John Rognes and Markus Szymik. Part of the work in this paper was carried out while the author was a participant in the Hausdorff Trimester Program Homotopy theory, manifolds, and field theories during July and August 2015 and he would like to acknowledge the support of the Hausdorff Research Institute for Mathematics.
This paper is dedicated to the memory of Sam Gitler.
Appendices
Appendix 1: On the homology of connective covers of \(B\mathrm {O}\)
We review the structure of the homology Hopf algebras \(H_*(B\mathrm {O}\langle n\rangle ;\mathbb {F}_2)\) for \(n=1,2,4,8\). The dual cohomology rings were originally determined by Stong, but later a body of literature by Bahri, Kochman, Pengelley as well as the present author evolved describing these homology rings. We will use the Husemoller–Witt decompositions of [6] to give explicit algebra generators; the actions of Steenrod and Dyer–Lashof operations on these can be determined using the work of Kochman and Lance [21, 22].
We recall that there are polynomial generators \(a_{k,s}\in H_{2^sk}(B\mathrm {O})\) (k odd, \(s\geqslant 0\)) such that
is a polynomial sub-Hopf algebra and there is a decomposition of Hopf algebras
For each odd k, there is an isomorphism of Hopf algebras
Here, the dual Hopf algebra \(\mathrm {B}[k]^*={{\mathrm{Hom}}}(\mathrm {B}[k]_*,\mathbb {F}_2)\) is isomorphic to \(\mathrm {B}[k]_*\), i.e. these are self-dual Hopf algebras. There is also a decomposition of Hopf algebras
For each \(h\geqslant 1\), there is a monomorphism of Hopf algebras which multiplies degrees by \(2^h\),
whose image is denoted by \(\mathrm {B}^{(h)}[k]_*\). Notice that the primitives in \(\mathrm {B}^{(h)}[k]_*\) are the powers
Dually, there is an epimorphism of Hopf algebras
and this induces an isomorphism of Hopf algebras
which divides degrees by \(2^h\). The dual Hopf algebra of \(\mathrm {B}^{(h)}[k]_*\) is
Let \(\alpha =\alpha _2\) denote the dyadic number function which counts the number of non-zero coefficients in the binary expansion of a natural number.
Theorem 7.1
The natural infinite loop maps \(B\mathrm {O}\langle n\rangle \rightarrow B\mathrm {O}\langle 1\rangle =B\mathrm {O}\) \((n=2,4,8)\) induce monomorphisms of Hopf algebras \(H_*(B\mathrm {O}\langle n\rangle )\rightarrow H_*(B\mathrm {O})\) whose images are the following sub-Hopf algebras of \(H_*(B\mathrm {O})\):
By dualising and using the above observations, we obtain Hopf algebra decompositions of the cohomology of these spaces. For example,
We may identify \(H_*(M\mathrm {O}\langle n\rangle )\) with \(H_*(B\mathrm {O}\langle n\rangle )\) using the Thom isomorphism which is an isomorphism of algebras over the Dyer–Lashof algebra, but not over the Steenrod algebra. To avoid excessive notation, we will often treat the Thom isomorphism as an equality and write \(a_{k,s}^{(r)}\) for each of the corresponding elements.
The generators \(a_{2^s-1,0}\) are particularly interesting. In \(H_*(B\mathrm {O})\), \(a_{2^s-1,0}\) is primitive, and in \(H_*(M\mathrm {O})\) there is a simple formula for the \(\mathcal {A}_*\)-coaction:
The natural orientation \(M\mathrm {O}\rightarrow H\mathbb {F}_2\) induces an algebra homomorphism over both of the Dyer–Lashof and Steenrod algebras under which
For completeness, we also describe the homology of \(B\mathrm {Spin}^{\mathrm {c}}\) in similar algebraic form to that of Theorem 7.1, since we are not aware of this being documented anywhere else; note that [35, p. 293] contains an apparently incorrect statement on the mod 2 cohomology, while [19] describes the cohomology of \(B\mathrm {Spin}^{\mathrm {c}}(n)\).
Theorem 7.2
The natural infinite loop map \(B\mathrm {Spin}^{\mathrm {c}}\rightarrow B\mathrm {O}\) induces a monomorphism of Hopf algebras \(H_*(B\mathrm {Spin}^{\mathrm {c}})\rightarrow H_*(B\mathrm {O})\) with image
Sketch of proof
The cohomology ring \(H^*(B\mathrm {Spin}^{\mathrm {c}})\) can be calculated using the Serre spectral sequence
for the fibration sequence
Then,
where \(w_k\in H^k(B\mathrm {SO})\) is the image of the k-th Stiefel-Whitney class, while \(x\in H^2(K(\mathbb {Z},2))\) and \(x^{2^t}\in H^{2^{t+1}}(K(\mathbb {Z},2))\) transgresses to
As \(d_{2^{t+1}+1}(x^{2^t})\) has to be a primitive, it must agree with the element \(a_{2^{t+1}+1,0}\). It follows that the natural map \(B\mathrm {Spin}^{\mathrm {c}}\rightarrow B\mathrm {O}\) induces an epimorphism \(H^*(B\mathrm {O})\rightarrow H^*(B\mathrm {Spin}^{\mathrm {c}})\), while dually \(H_*(B\mathrm {Spin}^{\mathrm {c}})\rightarrow H_*(B\mathrm {O})\) is a monomorphism. Also, \(H^*(B\mathrm {Spin}^{\mathrm {c}})\) is polynomial with one generator in each degree k where either \(\alpha (k)>2\) or k is even with \(\alpha (k)\leqslant 2\). Indeed, there is an isomorphism of Hopf algebras
The claimed description of the homology \(H_*(B\mathrm {Spin}^{\mathrm {c}})\) follows. \(\square \)
Remark 7.3
The natural map \(B\mathrm {Spin}\rightarrow B\mathrm {Spin}^{\mathrm {c}}\) induces a homomorphism in homology whose image contains \((a_{1,0}^{(1)})^2\), \(a_{3,0}^{(1)}\) and \(a_{7,0}\).
Appendix 2: Dyer–Lashof operations and Steenrod coactions
For the convenience of the reader, we summarise some results from [9] which are based on the work of Kochman and Steinberger [14, 21].
The mod 2 Steenrod algebra \(\mathcal {A}_*\) is the homology of the mod 2 Eilenberg–Mac Lane spectrum \(H=H\mathbb {F}_2\) which is an \(\mathcal {E}_\infty \) ring spectrum and so \(\mathcal {A}_*\) supports an action of the Dyer–Lashof operations. However, when dealing with the left \(\mathcal {A}_*\)-coaction on the homology of an \(\mathcal {E}_\infty \) ring spectrum, it is often convenient to consider a twisted version formed using the antipode \(\chi \) and given by
Based on Steinberger’s determination of the usual action [14], by [9, lemma 4.4] we have the following equivalent formulae for all \(s\geqslant 1\):
The spectra \(H\mathbb {Z}\), \(k\mathrm {O}\) and \(\mathrm {tmf}\) are all \(\mathcal {E}_\infty \) ring spectra and there are \(\mathcal {E}_\infty \) morphisms \(H\mathbb {Z}\rightarrow H\mathbb {F}_2\), \(k\mathrm {O}\rightarrow H\mathbb {F}_2\) and \(\mathrm {tmf}\rightarrow H\mathbb {F}_2\) inducing monomorphisms on \(H_*(-)\) identifying their homology with the subalgebras
It follows that each of these subalgebras is closed under the Dyer–Lashof operations. More generally, from the work of Stong [34], each of the \(\mathcal {E}_\infty \) morphisms \(M\mathrm {O}\langle 2^d\rangle \rightarrow H\mathbb {F}_2\) induces a ring homomorphism whose image is \(\mathbb {F}_2[\zeta _1^{2^d},\zeta _2^{2^{d-1}},\ldots , \zeta _{d}^2,\zeta _{d+1},\zeta _{d+2},\ldots ]\) and this must be closed under the Dyer–Lashof operations.
We will give a purely algebraic generalisation of these observations.
For \(n\geqslant 0\), let
This is a Hopf ideal and \(\mathcal {A}(n)_* = \mathcal {A}_*/\mathcal {I}(n)\) is a well-known finite quotient Hopf algebra. We also set
and observe that
Lemma 8.1
Let \(s\geqslant 1\). If \(k\in \mathbb {N}\), then \(\mathrm {Q}^k \zeta _s \in \mathcal {I}(s-1)\); more generally, for \(r\geqslant 0\), \(\mathrm {Q}^k(\zeta _s^{2^r}) \in \mathcal {I}(s+r-1)\).
Proof
We make use of the results of [9, section 5].
The proof is by induction on s. When \(s=1\), for \(k\geqslant 1\), write \(k=2m\) or \(k=2m+1\). Then,
and
Now, suppose that the result holds for all \(s<n\). Recall that for \(k\geqslant 2^n-1\), \(\mathrm {Q}^k\zeta _n=0\) unless \(k\equiv 0 mod {2^n}\) or \(k\equiv 2^n-1 mod {2^n}\) when
and similarly \(\mathrm {Q}^{2^nm+2^n-1}\zeta _n \in \mathcal {I}(n-1)\).
For \(r\geqslant 0\), \(\mathrm {Q}^k(\zeta _s^{2^r})=0\) unless \(2^r{\mid } k\), and then by (8.2),
\(\square \)
Corollary 8.2
For \(n\geqslant 0\), the cotensor product \(\mathcal {A}_*\square _{\mathcal {A}(n)_*}\mathbb {F}_2\subseteq \mathcal {A}_*\) is closed under the Dyer–Lashof operations, and the Dyer–Lashof operations commute with the Hopf algebra quotient homomorphism \(\mathcal {A}_*\rightarrow \mathcal {A}(n)_*\).
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Baker, A. \(\mathcal {E}_\infty \) ring spectra and elements of Hopf invariant 1. Bol. Soc. Mat. Mex. 23, 195–231 (2017). https://doi.org/10.1007/s40590-016-0096-8
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40590-016-0096-8