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 the geometric fixed points of the real topological cyclic homology of $\mathbb{Z}/4$

On the geometric fixed points of real topological cyclic homology

On topological cyclic homology

On Fixed-Point Sets of $\Z_2$-Tori in Positive Curvature

The homotopy theory of cyclotomic spectra, 10 years later

Relative cyclotomic structures and equivariant complex cobordism

Cyclotomic Structures in Symplectic Topology

Topological cyclic homology of Cartier smooth rings

Seiberg-Witten Floer K-theory and cyclic group actions on spin four-manifolds with boundary

Homotopy and the Homomorphism Threshold of Odd Cycles

Topological $ΔG$ homology of rings with twisted $G$-action

Topological characterization and Hodge structures of some rationally elliptic projective fourfolds

Tautological and non-tautological cycles on the moduli space of abelian varieties

Motivic real topological Hochschild spectrum

The geometric diagonal of the special linear algebraic cobordism

Topological cyclic homology of local fields

The cyclic bar construction and fundamental groups

Cyclic Homology and Group Actions

Symmetries of the cyclic nerve

The cohomology of framed moduli spaces and the coordinate ring of torus fixed points of quotient singularities

Uniqueness of real ring spectra up to higher homotopy