Abstract:Topological cyclic homology is a refinement of Connes--Tsygan's cyclic homology which was introduced by Bökstedt--Hsiang--Madsen in 1993 as an approximation to algebraic $K$-theory. There is a trace map from algebraic $K$-theory to topological cyclic homology, and a theorem of Dundas--Goodwillie--McCarthy asserts that this induces an equivalence of relative theories for nilpotent immersions, which gives a way for computing $K$-theory in various situations. The construction of topological cyclic homology is based on genuine equivariant homotopy theory, the use of explicit point-set models, and the elaborate notion of a cyclotomic spectrum. The goal of this paper is to revisit this theory using only homotopy-invariant notions. In particular, we give a new construction of topological cyclic homology. This is based on a new definition of the $\infty$-category of cyclotomic spectra: We define a cyclotomic spectrum to be a spectrum $X$ with $S^1$-action (in the most naive sense) together with $S^1$-equivariant maps $\varphi_p: X\to X^{tC_p}$ for all primes $p$. Here $X^{tC_p}=\mathrm{cofib}(\mathrm{Nm}: X_{hC_p}\to X^{hC_p})$ is the Tate construction. On bounded below spectra, we prove that this agrees with previous definitions. As a consequence, we obtain a new and simple formula for topological cyclic homology. In order to construct the maps $\varphi_p: X\to X^{tC_p}$ in the example of topological Hochschild homology we introduce and study Tate diagonals for spectra and Frobenius homomorphisms of commutative ring spectra. In particular we prove a version of the Segal conjecture for the Tate diagonals and relate these Frobenius homomorphisms to power operations.

On a Completion of Cohomological Functors Generalising Tate Cohomology I

On a Completion of Cohomological Functors Generalising Tate Cohomology II

Tate Homology with Respect to Cotorsion Pairs

Relative Cohomology and Generalized Tate Cohomology

Relative and Tate Homology with Respect to Semidualizing Modules

Group completions and the homotopical monadicity theorem

On topological cyclic homology

Tate Cohomology of Gorenstein Flat Modules with Respect to Semidualizing Modules

Gorenstein rings via homological dimensions, and symmetry in vanishing of Ext and Tate cohomology

Extensions of tautological rings and motivic structures in the cohomology of $\overline{\mathcal{M}}_{g,n}$

A Model Structure Approach to the Tate–Vogel Cohomology

On homology with coefficients and generalized inductions

Cohomology operations for moment-angle complexes and resolutions of Stanley-Reisner rings

Homotopy coherent theorems of Dold-Kan type

Unwinding the relative Tate diagonal

Cohomology of $(φ, τ)$-modules

BALANCE FOR TATE COHOMOLOGY WITH RESPECT TO SEMIDUALIZING MODULES

Equivariant Algebraic K-Theory and Derived completions II: the case of Equivariant Homotopy K-Theory and Equivariant K-Theory

Algebraic Cobordism and Étale Cohomology

A Generalized Contou-Carrère Symbol and its Reciprocity Laws in Higher Dimensions