Higher topological cyclic homology and the Segal conjecture for tori
type: Item
instance of: scholarly article
title: Higher topological cyclic homology and the Segal conjecture for tori
zbMATH Open document ID: 1223.55004
author: Gunnar Carlsson
author: Christopher L. Douglas
author: Bjørn Ian Dundas
published in: Advances in Mathematics
publication date: 2011-01-12T00:00:00Z
full work available at URL: https://arxiv.org/abs/0803.2745
review text: In the chromatic picture of homotopy theory, different theories catch information at different heights: cohomology at height \(0\), \(K\)-theory height \(1\), elliptic cohomology height \(2\), etc. While there are geometric approaches to these three, other higher chromatic theories, such as the Morava \(K\)-theories, are constructed purely homotopy theoretically. The authors construct in this paper a higher topological cyclic homology and propose it as a more geometric approach to higher chromatic information. This is motivated by the red-shift conjecture of Madsen and Rognes according to which the \(n\)th iterated algebraic \(K\)-theory of a ring spectrum is of chromatic height \(n\), and the fact that the cyclotomic trace from algebraic \(K\)-theory to topological cyclic homology is a relative equivalence -- with the latter significantly easier to compute. In brief the construction is as follows. Topological cyclic homology of a connective spectrum \(A\) is obtained from the fixed point data of topological Hochschild homology, a spectrum that is non-equivariantly equivalent to \(A \otimes S^1\), see [\textit{L. Hesselholt} and \textit{Ib Madsen}, Topology 36, No.~1, 29--101 (1997; Zbl 0866.55002)]. Height \(n\) topological cyclic homology is constructed in a similar way where the circle \(S^1\) is replaced by the \(n\)-dimensional torus. The main theorem of the paper is a description of relations between restriction, Frobenius, Verschiebung and differential maps, which for \(n = 1\) generalize results that proved powerful calculational tools in the hands of Hesselholt and Madsen. As an application of their theory the authors give a description for the cohomotopy type of the classifying space of tori (the Segal conjecture for the tori).
reviewed by: U. Tillmann
Mathematics Subject Classification ID: 55P42
Mathematics Subject Classification ID: 19D55
Mathematics Subject Classification ID: 55N15
Mathematics Subject Classification ID: 55Q55
Mathematics Subject Classification ID: 55U10
zbMATH DE Number: 5835550
zbMATH Keywords: topological cyclic homology
zbMATH Keywords: topological Hochschild homology
zbMATH Keywords: Segal conjecture
zbMATH Keywords: equivariant spectra
zbMATH Keywords: higher de Rham-Witt complex
zbMATH Keywords: covering homology
zbMATH Keywords: chromatic red shift
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W1989447223
Wikidata QID: Q122957579
arXiv ID: 0803.2745
cites work: Algebraic \(K\)-theory of topological \(K\)-theory
cites work: Stable bundles over rig categories
cites work: Q5290469
cites work: Topological automorphic forms
cites work: The cyclotomic trace and algebraic K-theory of spaces
cites work: Covering homology
cites work: Equivariant stable homotopy and Segal's Burnside ring conjecture
cites work: On the homotopy fixed point problem for free loop spaces and other function complexes
cites work: A survey of equivariant stable homotopy theory
cites work: Homotopy theory of diagrams
cites work: The Burnside ring of profinite groups and the Witt vector construction
cites work: Relative \(K\)-theory and topological cyclic homology
cites work: The Segal conjecture for compact Lie groups
cites work: Relative algebraic K-theory and cyclic homology
cites work: Generalised Witt vectors
cites work: On the \(p\)-typical curves in Quillen's \(K\)-theory
cites work: On the \(K\)-theory of finite algebras over Witt vectors of perfect fields
cites work: On the \(K\)-theory of local fields
cites work: On the de Rham–Witt complex in mixed characteristic
cites work: Q4418786
cites work: Applications of the transfer to stable homotopy theory
cites work: On Stable Maps From Eilenberg-Maclane Spaces to Classifying Spaces
cites work: Q4280933
cites work: Relative algebraic \(K\)-theory and topological cyclic homology
cites work: Classifying spaces and classifying topoi
cites work: On the \(S^ 1\)-Segal conjecture
cites work: Q5653365
cites work: The Segal Conjecture for Cyclic Groups and its Consequences
cites work: Q3747338
cites work: Nilpotence and Periodicity in Stable Homotopy Theory. (AM-128)
cites work: Q5631792
cites work: Configuration-spaces and iterated loop-spaces
cites work: Q4905314
cites work: Infinite loop G-spaces associated to monoidal G-graded categories
cites work: Q5290477
cites work: Homotopy colimits in the category of small categories
DOI: 10.1016/J.AIM.2010.08.016
description: scientific article