Differentials in the homological homotopy fixed point spectral sequence (Q2571360)

Let \(\mathbb{T} \subset \mathbb{C}^*\) be the circle group. Let \(E\mathbb{T}\) denote the unit sphere \(S(\mathbb{C}^\infty)\subset\mathbb{C}^\infty\) with the usual coordinatewise action by \(\mathbb{T}\). This becomes a free contractible \(\mathbb{T}\)-{\text{CW}} complex with one equivariant cell in each even dimension \(2n \geq 0\). In fact its equivariant \(2n\)-skeleton is \({E\mathbb{T}}^{(2n)}=S({\mathbb{C}}^{n+1})\) and \({E\mathbb{T}}^{(2n)}/{E\mathbb{T}}^{(2n-2)} ={\mathbb{T}}_+ \wedge S^{2n}\) where \(\mathbb{T}\) acts trivially on \(S^{2n}\). Let \(X\) be a \(\mathbb{T}\)-equivariant spectrum and let \(X^{h\mathbb{T}}\) denote the homotopy fixed point spectrum of \(X\) defined as the mapping spectrum \(X^{h\mathbb{T}}=F({E\mathbb{T}}_+, X)^{\mathbb{T}}\) of equivariant based maps from \({E\mathbb{T}}_+\) to \(X\). Here \({E\mathbb{T}}_+\) is viewed as the unreduced suspension spectrum of \(E\mathbb{T}\). Then there are canonical cofibre sequences of spectra \(\Sigma^{-2n}X=F({\mathbb{T}}_+\wedge S^{2n}, X)^{\mathbb{T}} \to F({E\mathbb{T}}^{(2n)}_+, X)^{\mathbb{T}} \to F({E\mathbb{T}}^{(2n-2)}_+, X)^{\mathbb{T}}\) with \(X^{h\mathbb{T}}=\lim_n F({\mathbb{T}}_+\wedge S^{2n}, X)^{\mathbb{T}}\). Applying\(\mod p\) homology \(H_*(-; {\mathbb{F}}_p)\) to these cofibre sequences one can obtain a natural spectral sequence \(E^r=E^r(X)\) with \(E^2_{s,t}\cong H_{s+t}(X; {\mathbb{F}}_p)\) for \(s=-2n\) and zero otherwise, converging conditionally to the continuous homology \(H^c_*(X^{h\mathbb{T}}; {\mathbb{F}}_p)\) of \(X^{h{\mathbb{T}}}\). Now to be exact any element of \(E^2_{-2n, t}\) takes the form of \(y^n\cdot x\) where \(x \in H_t(X; {\mathbb{F}}_p)\) through the canonical suspension isomorphism. As a matter of course the \(E^2\)-term can be therefore expressed as \(E^2_{*, *}=H^{-*}_{gp}({\mathbb{T}}; H_*(X; {\mathbb{F}}_p))=P(y)\otimes H_*(X; {\mathbb{F}}_p)\). Here \(H^{-*}_{gp}(-; M)\) denotes the group cohomology and \(P(y)\) the polynomial algebra on the Euler class \(y \in H^2_{gp}({\mathbb{T}}; {\mathbb{F}}_p)\) of the canonical line bundle over \(B{\mathbb{T}}=E{\mathbb{T}}/{\mathbb{T}}\). The spectral sequence obtained in such a way is called the homological homotopy fixed point spectral sequence for \(X\). In this paper the authors study this spectral sequence for a \({\mathbb{T}}\)-equivariant commutative \(S\)-algebra \(R\). In this case \(E^r(R)\) has an algebra product inherited from the one in \(R\), so that this spectral sequence becomes an algebra spectral sequence. Also one can define Dyer-Lashof operations \(Q^i\) and \(\beta Q^i\) acting on this spectral sequence where \(\beta\) denotes the homology Bockstein operation. The authors show that its differentials are completely determined by those originating on \(E^{2r}_{0, *} \subset H_*(R; {\mathbb{F}}_p)\) (Sections 2-4). The main theorem asserts that for each \(x \in H_t(R; {\mathbb{F}}_p)\) there are \(2r\) classes in \(E^{2r}_{0, t}\subset H_t(R; {\mathbb{F}}_p)\) obtained by Dyer-Lashof operations on \(x\), which survive to the \(E^\infty\)-term (Theorem 5.1). This theorem has applications to the homological homotopy fixed point spectral sequences for the topological Hochschild homotopy spectra \(R=THH(B)\) of \(S\)-algebras B, such as \(MU, BP, ku, ko\) and \(tmf\) (Section 6). The final section deals with some generalizations of the above results. The authors construct here spectral sequences similar to the one obtained above by replacing the homotopy fixed point spectrum \(X^{h{\mathbb{T}}}\) by the Tate construction \(X^{t{\mathbb{T}}}\) and the homotopy orbit \(X_{h{\mathbb{T}}}\). Moreover, they consider these three spectral sequences for the action of a finite cyclic subgroup \(C\) of \(\mathbb{T}\).