Differentials in the homological homotopy fixed point spectral sequence

DOI10.2140/AGT.2005.5.653MaRDI QIDQ2571360zbMATH OpenOpenAlexFDO

Publication date 1 November 2005

Published in Algebraic \& Geometric Topology (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0406081, https://eudml.org/doc/125419, http://www.emis.de/journals/UW/agt/AGTVol5/agt-5-27.abs.html

zbMATH Keywords

algebraic K-theory commutative S-algebra differentials Dyer-Lashof operations homotopy fixed points homotopy orbits Tate spectrum topological cyclic homology topological Hochschild homology

Mathematics Subject Classification ID

(K)-theory and homology; cyclic homology and cohomology (19D55) Spectra with additional structure ((E_infty), (A_infty), ring spectra, etc.) (55P43) Equivariant homotopy theory in algebraic topology (55P91) Dyer-Lashof operations (55S12) General theory of spectral sequences in algebraic topology (55T05)

Abstract: We analyze in homological terms the homotopy fixed point spectrum of a T-equivariant commutative S-algebra R. There is a homological homotopy fixed point spectral sequence with E^2_{s,t} = H^{-s}_{gp}(T; H_t(R; F_p)), converging conditionally to the continuous homology H^c_{s+t}(R^{hT}; F_p) of the homotopy fixed point spectrum. We show that there are Dyer-Lashof operations beta^epsilon Q^i acting on this algebra spectral sequence, and that its differentials are completely determined by those originating on the vertical axis. More surprisingly, we show that for each class x in the $^{2r}-term of the spectral sequence there are 2r other classes in the E^{2r}-term (obtained mostly by Dyer-Lashof operations on x) that are infinite cycles, i.e., survive to the E^infty-term. We apply this to completely determine the differentials in the homological homotopy fixed point spectral sequences for the topological Hochschild homology spectra R = THH(B) of many S-algebras, including B = MU, BP, ku, ko and tmf. Similar results apply for all finite subgroups C of T, and for the Tate- and homotopy orbit spectral sequences. This work is part of a homological approach to calculating topological cyclic homology and algebraic K-theory of commutative S-algebras.

Review text

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}$.

Recommendations

Cites work

Cited in

(18)

This page was built for publication: Differentials in the homological homotopy fixed point spectral sequence

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