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.

Topological Hochschild homology of truncated Brown-Peterson spectra I

Uniqueness of $p$-local truncated Brown-Peterson spectra

Towards topological Hochschild homology of Johnson-Wilson spectra

Algebraic K-theory of elliptic cohomology

Lifting to truncated Brown-Peterson spectra and Hodge-de Rham degeneration in characteristic $p>0$

Whitehead Filtrations for Computations in Topological Hochschild Homology

Topological Hochschild homology of the image of j

The Brown-Peterson spectrum is not $\mathbb{E}_{2(p^2+2)}$ at odd primes

Unwinding the relative Tate diagonal

Computational tools for Real topological Hochschild homology

Topological recursion and uncoupled BPS structures I: BPS spectrum and free energies

Topological recursion and uncoupled BPS structures II: Voros symbols and the $τ$-function

Topological recursion for Kadomtsev-Petviashvili tau functions of hypergeometric type

Equivariant Witt Complexes and Twisted Topological Hochschild Homology

Calculating obstruction groups for E-infinity ring spectra

The $\mathbb{Z}/p$-equivariant spectrum $BP\mathbb{R}$ for an odd prime $p$

Topological recursion for Kadomtsev–Petviashvili tau functions of hypergeometric type

On topological cyclic homology

Topological recursion and variations of spectral curves for twisted Higgs bundles

The monochromatic Hahn-Wilson conjecture

Topological aspects of generalized Harper operators