Detecting periodic elements in higher topological Hochschild homology. (English) Zbl 1384.55007

The topological Hochschild homology spectrum of a commutative ring spectrum \(R\) can be modeled by the tensor \(R \otimes S^1\) of \(R\) with the \(1\)-sphere. The tensor \(\Lambda_X R = R \otimes X\) of \(R\) with a more general space \(X\) is also known as the Loday construction and has been studied by M.Brun, G. Carlsson and B. I. Dundas [Adv. Math. 225, No. 6, 3166-3213 (2010; Zbl 1208.19003)]. The purpose of the present work is to calculate the homotopy groups \(\Lambda_X R\) when \(R\) is the Eilenberg-Mac Lane spectrum \(H \mathbb F_p\) at a prime \(p \geq 5\), the space \(X\) is either an \(n\)-sphere \(S^n\) or an \(n\)-torus \(T^n\), and \(n\leq p\).
The relevance of these calculations comes from the hope that fixed point information of the iterated topological Hochschild homology spectrum \(\Lambda_{T^n}(R)\) should provide an approximation to the iterated algebraic \(K\)-theory \(K^{(n)}(R) = K(K(\dots K(R)))\) of \(R\), just as the topological cyclic homology spectrum built from fixed points of the topological Hochschild homology spectrum \(\Lambda_{S^1}R\) approximates the algebraic \(K\)-theory of \(R\). The chromatic redshift conjecture predicts that under suitable assumptions, algebraic \(K\)-theory should increase chromatic complexity. Thus \(\Lambda_{T^n} H \mathbb F_p\) may be among the most accessible objects that can provide evidence for chromatic redshift in high chromatic levels. In fact, the author shows that in accordance with these expectations, the image of \(v_{n-1}\) under the unit map \(\mathbb F_p[v_{n-1}] \cong \pi_* k(n-1) \to k(n-1)_*( \Lambda_{T^n} H \mathbb F_p)^{h T^n}\) is non-zero. Here \(k(n-1)\) is the connective Morava \(K\)-theory spectrum, \(k(n-1)_*\) denotes \(k(n-1)\)-homology, and \( ( \Lambda_{T^n} H \mathbb F_p)^{h T^n}\) is the \(T^n\)-homotopy fixed point spectrum of \(\Lambda_{T^n} H \mathbb F_p\).
To establish these results, the author first determines the homotopy groups of \(\Lambda_{S^n} H \mathbb F_p\). Using this, he sets up a family of bar spectral sequences and exploits a multifold Hopf algebra structure coming from the various circles in \(T^n\) in order to compute the homotopy groups of \(\Lambda_{T^n} H \mathbb F_p\). The result about the image of \(v_{n-1}\) in the \(k(n-1)\)-homology of \((\Lambda_{T^n} H \mathbb F_p)^{h T^n}\) is the consequence of an analysis of the homotopy fixed point spectral sequence.


55P42 Stable homotopy theory, spectra
55P91 Equivariant homotopy theory in algebraic topology
19D55 \(K\)-theory and homology; cyclic homology and cohomology
55T99 Spectral sequences in algebraic topology


Zbl 1208.19003
Full Text: DOI arXiv Link


[1] 10.1353/ajm.0.0105 · Zbl 1271.55009
[2] 10.2140/agt.2005.5.1223 · Zbl 1087.55009
[3] 10.1353/ajm.2005.0036 · Zbl 1107.55006
[4] 10.1007/BF02392794 · Zbl 1019.18008
[5] ; Ausoni, Enseign. Math., 54, 13, (2008)
[6] ; Baas, Topology, geometry and quantum field theory. London Math. Soc. Lecture Note Ser., 308, 18, (2004)
[7] ; Boardman, Homotopy invariant algebraic structures. Contemp. Math., 239, 49, (1999)
[8] 10.1007/BF01231296 · Zbl 0804.55004
[9] 10.1016/j.aim.2010.05.018 · Zbl 1208.19003
[10] 10.2140/agt.2005.5.653 · Zbl 1078.19003
[11] 10.1016/j.aim.2010.08.016 · Zbl 1223.55004
[12] ; Cartan, Algèbres d’Eilenberg-Mac Lane et homotopie. Séminaire Henri Cartan de l’Ecole Normale Supérieure, 7, (1956)
[13] 10.1007/978-1-4471-4393-2 · Zbl 1272.55002
[14] ; Elmendorf, Rings, modules, and algebras in stable homotopy theory. Mathematical Surveys and Monographs, 47, (1997)
[15] 10.1007/BF02392597 · Zbl 0892.19003
[16] 10.1016/0040-9383(96)00003-1 · Zbl 0866.55002
[17] 10.4007/annals.2016.184.1.1 · Zbl 1366.55007
[18] 10.1090/S0002-9947-96-01742-4 · Zbl 0869.55017
[19] 10.1007/BF01214408 · Zbl 0309.55003
[20] ; Mandell, Equivariant orthogonal spectra and S-modules. Mem. Amer. Math. Soc., 755, (2002) · Zbl 1025.55002
[21] 10.1112/S0024611501012692 · Zbl 1017.55004
[22] ; McCleary, A user’s guide to spectral sequences. Cambridge Studies in Advanced Mathematics, 58, (2001) · Zbl 0959.55001
[23] 10.1016/S0022-4049(97)00118-7 · Zbl 0885.55004
[24] 10.2307/2374721 · Zbl 0770.55010
[25] 10.2307/1969932 · Zbl 0080.38003
[26] 10.2307/1970615 · Zbl 0163.28202
[27] 10.1023/A:1007892801533 · Zbl 0938.55017
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.