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.

Delooping cyclic groups with lens spaces in homotopy type theory

Delooping generated groups in homotopy type theory

Cogroupoid structures on the circle and the Hodge degeneration

Complex-projective and lens product spaces

The Homotopy Type of the Baily–Borel and Allied Compactifications

Cohomology of the diffeomorphism group of the connected sum of two generic lens spaces

A new construction of lens spaces

Cyclic Homology and Group Actions

Ample groupoids, topological full groups, algebraic K-theory spectra and infinite loop spaces

Torus bundles over lens spaces

Homology of torus spaces with acyclic proper faces of the orbit space

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

The real projective spaces in homotopy type theory

Loop homology of spheres and complex projective spaces

On loop Deligne--Lusztig varieties of Coxeter-type for inner forms of ${\rm GL}_n$

Schematic homotopy types and non-abelian Hodge theory

On topological cyclic homology

A cocyclic construction of $S^1$-equivariant homology and application to string topology

Lens spaces as dual complexes of Log Calabi-Yau pairs

Group completions and the homotopical monadicity theorem