Related papers: The $p$-completed cyclotomic trace in degree $2$

The cyclotomic trace provides a comparison of the algebraic K-theory spectrum and a pro-spectrum TR that is built from the cyclic fixed points of topological Hochschild homology. In a previous paper with Ib Madsen, we used this comparison…

Given a henselian pair $(R, I)$ of commutative rings, we show that the relative $K$-theory and relative topological cyclic homology with finite coefficients are identified via the cyclotomic trace $K \to \mathrm{TC}$. This yields a…

In this note, we study the $p$-complete topological cyclic homology of the affine line relative to a ring $A$ which is smooth over a perfectoid ring $R$. Denoting by $NTC(A; \mathbb{Z}_p)$ the spectrum which measures the failure of…

It is well-known that algebraic K-theory preserves products of rings. However, in general, algebraic K-theory does not preserve fiber-products of rings, and bi-relative algebraic K-theory measures the deviation. It was proved by Cortinas…

We describe spectral model category structures on the categories of cyclotomic spectra and $p$-cyclotomic spectra (in orthogonal spectra) with triangulated homotopy categories. We show that the functors $TR$ and $TC$ are corepresentable in…

This survey of topological cyclic homology is a chapter in the Handbook on Homotopy Theory. We give a brief introduction to topological cyclic homology and the cyclotomic trace map following Nikolaus-Scholze, followed by a proof of…

We provide a new construction of the topological cyclic homology $TC(C)$ of any spectrally-enriched $\infty$-category $C$, which affords a precise algebro-geometric interpretation of the cyclotomic trace map $K(X) \to TC(X)$ from algebraic…

The purpose of this paper is to present a simple and explicit construction of the Bokstedt-Hsiang-Madsen cyclotomic trace relating algebraic K-theory and topological cyclic homology. Our construction also incorporates Goodwillie's idea of a…

Let $R$ be a positively graded algebra over a field. We say that $R$ is Hilbert-cyclotomic if the numerator of its reduced Hilbert series has all of its roots on the unit circle. Such rings arise naturally in commutative algebra, numerical…

We show that perfectoidization can be (almost) calculated by using $p$-root closure in certain cases, including the semiperfectoid case. To do this, we focus on the universality of perfectoidization and uniform completion, as well as the…

We calculate the mod (p, v_1, v_2) homotopy V(2)_* TC(BP<2>) of the topological cyclic homology of the truncated Brown--Peterson spectrum BP<2>, at all primes p\ge7, and show that it is a finitely generated and free F_p[v_3]-module on 12p+4…

Let $R$ be a regular semi-local ring, essentially of finite type over an infinite perfect field of characteristic $p \ge 3$. We show that the cycle class map with modulus from an earlier work of the authors induces a pro-isomorphism between…

We determine the A(1)-homotopy of the topological cyclic homology of the connective real K-theory spectrum ko. The answer has an associated graded that is a free F_2[v_2^4]-module of rank 52, on explicit generators in stems -1 \le * \le 30.…

We prove that the relative K-groups associated with a nilpotent extension of Z/p^N Z-algebras and the bi-relative K-groups associated with a Milnor square of Z/p^N Z-algebras are p-primary torsion groups of bounded exponent. We also show…

We study the algebraic $K$-theory of rings of the form $R[x]/x^e$. We do this via trace methods and filtrations on topological Hochschild homology and related theories by quasisyntomic sheaves. We produce computations for $R$ a perfectoid…

In this paper, we use trace methods to study the algebraic $K$-theory of rings of the form $R[x_1,\ldots, x_d]/(x_1,\ldots, x_d)^2$. We compute the relative $p$-adic $K$ groups for $R$ a perfectoid ring. In particular, we get the integral…

We give a new formula for $p$-typical real topological cyclic homology that refines the fiber sequence formula discovered by Nikolaus and Scholze for $p$-typical topological cyclic homology to one involving genuine $C_2$-spectra. To…

If A is a homotopy cartesian square of ring spectra satisfying connectivity hypotheses, then the cube induced by Goodwillie's integral cyclotomic trace from K(A) to TC(A) is homotopy cartesian. In other words, the homotopy fiber of the…

Let L/K be an extension of absolutely abelian number fields of equal conductor, n. The image of the ring of integers of L under the trace map from L to K is an ideal in the ring of integers in K. We compute the absolute norm of this ideal…

We show that for an associative algebra A and its ideal I such that the I-adic topology on A coincides with the p-adic topology, the relative continuous K-theory pro-spectrum "lim"K(A_i, IA_i), where A_i :=A/p^i A, is naturally isogenous to…