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.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to reconstruct and understand the theory of Topological Cyclic Homology (TC), especially to simplify its definition by using only homotopy - invariant concepts. Specifically, the author hopes:
1. **Redefine Cyclotomic Spectra**: The author introduces a new definition of cyclotomic spectra in the ∞ - category, that is, a spectrum \(X\) with an \(S^1\) - action and for all prime numbers \(p\), an \(S^1\) - equivariant map \(\phi_p: X\rightarrow X^{tC_p}\), where \(X^{tC_p}=\text{cofib}(Nm: X^{hC_p}\rightarrow X^{hC_p})\) is the Tate construction.
2. **Simplify the formula of TC**: Based on the above new definition, the author derives a simple and novel TC formula, making it easier to calculate and understand. This new formula is especially applicable to spectra with a lower bound.
3. **Provide a direct construction**: To make the theory more operable, the author provides a direct construction method for associated cyclotomic spectra, especially when dealing with E∞ - algebras, constructing the required Frobenius maps through tools such as tensor products and Tate diagonals.
4. **Verify the consistency with previous definitions**: The author proves that in the case of spectra with a lower bound, their new definition is consistent with the previous definitions, thus ensuring the correctness and universality of the theory.
5. **Apply to specific examples**: The author also explores several specific examples, such as commutative algebras, loop spaces and rings of characteristic \(p\), showing the application of the new theory in these cases.
Through these efforts, the author aims to make the TC theory more intuitive and easy to use, while revealing its underlying deep structure and properties. This not only helps to understand TC itself, but also provides a powerful tool for the research of algebraic K - theory and other related fields.
### Formula Summary
- **Tate Construction**:
\[
X^{tC_p}=\text{cofib}(Nm: X^{hC_p}\rightarrow X^{hC_p})
\]
- **Definition of Cyclotomic Spectrum**:
\[
\text{Cyclotomic Spectrum}=(X, (\phi_p)_{p\in P})
\]
where \(X\) is a spectrum with an \(S^1\) - action and \(\phi_p: X\rightarrow X^{tC_p}\) for all prime numbers \(p\).
- **New formula of TC**:
\[
TC(A)\rightarrow THH(A)^{hT}\xrightarrow{(\phi_p^{hT}-\text{can})_{p\in P}}\prod_{p\in P}(THH(A)^{tC_p})^{hT}
\]
Through these formulas and definitions, the author successfully simplifies and deepens the understanding of TC.