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.

A pro-cdh topology on formal schemes

A procdh topology

On pro-cdh descent on derived schemes

The cdh-local motivic homotopy category

Topological cyclic homology of Cartier smooth rings

Hochschild cohomology in toposes

Cdh Descent for Homotopy Hermitian $K$-Theory of Rings with Involution

On topological cyclic homology

A better comparison of cdh- and ldh-cohomologies

The homotopy theory of differentiable sheaves

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

A p-adic Cartier isomorphism between the A_inf-cohomology and de Rham-Witt complexes for semistable formal schemes

Schematic homotopy types and non-abelian Hodge theory

A topology on E-theory

Finiteness of Cohomology for Pro-locally Proper Maps

Homotopy Theory in Digital Topology

Higher K-theory of forms II. From exact categories to chain complexes

A real analogue of the Hodge conjecture

$(\infty,2)$-Topoi and descent

Equivariant cd-structures and descent theory

Recovering the relative poset structure of a covering of schemes using glued topoi