Related papers: Integral Excision for K-Theory
We extend Geisser and Hesselholt's result on ``bi-relative K-theory'' from discrete rings to connective ring spectra. That is, if $\mathcal A$ is a homotopy cartesian $n$-cube of ring spectra (satisfying connectivity hypotheses), then the…
To any pullback square of ring spectra we associate a new ring spectrum and use it to describe the failure of excision in algebraic $K$-theory. The construction of this new ring spectrum is categorical and hence allows to determine the…
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…
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…
Topological cyclic homology is a refinement of Connes--Tsygan's cyclic homology which was introduced by B\"okstedt--Hsiang--Madsen in 1993 as an approximation to algebraic $K$-theory. There is a trace map from algebraic $K$-theory to…
Let $f:A \to B$ be a ring homomorphism of not necessarily unital rings and $I\triangleleft A$ an ideal which is mapped by f isomorphically to an ideal of B. The obstruction to excision in K-theory is the failure of the map between relative…
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…
We prove that algebraic K-theory, topological Hochschild homology and topological cyclic homology satisfy cubical and cosimplicial descent at connective structured ring spectra along 1-connected maps of such ring spectra.
By a theorem of Suslin, a Tor-unital (not necessarily unital) ring satisfies excision in algebraic K-theory. We give a new and direct proof of Suslin's result based on an exact sequence of categories of perfect modules. In fact, we prove a…
We prove that TR is corepresentable by the reduced topological Hochschild homology of the flat affine line $\mathbf{S}[t]$ as a functor defined on the $\infty$-category of cyclotomic spectra with values in the $\infty$-category of spectra…
We study algebraic K-theory and topological Hochschild homology in the setting of bimodules over a stable category, a datum we refer to as a laced category. We show that in this setting both K-theory and THH carry universal properties, the…
We prove that the tangent complex of K-theory, in terms of (abelian) deformation problems over a characteristic 0 field k, is cyclic homology (over k). This equivalence is compatible with the $\lambda$-operations. In particular, the…
Associated to a discrete group $G$, one has the topological category of finite dimensional (unitary) $G$-representations and (unitary) isomorphisms. Block sums provide this category with a permutative structure, and the associated…
The classical trace map is a highly non-trivial map from algebraic K-theory to topological Hochschild homology (or topological cyclic homology) introduced by B\"okstedt, Hsiang and Madsen. It led to many computations of algebraic K-theory…
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…
Let $p\in \mathbb{Z}$ be an odd prime. We prove a spectral version of Tate-Poitou duality for the algebraic $K$-theory spectra of number rings with $p$ inverted. This identifies the homotopy type of the fiber of the cyclotomic trace…
We call a diagram D absolutely cartesian if F(D) is homotopy cartesian for all homotopy functors F. This is a sensible notion for diagrams in categories C where Goodwillie's calculus of functors may be set up for functors with domain C. We…
Cut-and-paste $K$-theory has recently emerged as an important variant of higher algebraic $K$-theory. However, many of the powerful tools used to study classical higher algebraic $K$-theory do not yet have analogues in the cut-and-paste…
Fix an odd prime $p$. Let $X$ be a pointed space whose $p$-completed K-theory $\mathrm{KU}_p^*(X)$ is an exterior algebra on a finite number of odd generators; examples include odd spheres and many H-spaces. We give a…
Let $X$ be a quasi projective scheme over a noetherian affine scheme $Spec(A)$, $U\subseteq X$ be an open subset, and $Z=X-U$.Assume that $Z$ is complete intersection, with $k=codim Z$. Consider the map $$ q:{\mathbb K}\left({\mathscr…