相关论文: Bi-relative algebraic K-theory and topological cyc…
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…
We establish various properties of the p-adic algebraic K-theory of smooth algebras over perfectoid rings living over perfectoid valuation rings. In particular, the p-adic K-theory of such rings is homotopy invariant, and coincides with the…
This paper is concerned with the algebraic K-theory of locally convex algebras stabilized by operator ideals, and its comparison with topological K-theory. We show that the obstruction for the comparison map between algebraic and…
Regular algebraic $K$-theory for groups is a homology theory for discrete groups closely connected (but different from) group homology. It also gives a version of algebraic $K$-theory for rings by the simple functorial mapping assigning to…
The article gives the second part of the treatise on Regular Algebraic $K$-theory (Sections V & VI) of the author. Regular algebraic $K$-theory for groups is a homology theory for discrete groups closely connected to (but different from)…
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…
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…
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…
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…
This paper describes the $K$-theory structure for three algebra classes. For cyclic $p$-group rings and truncated polynomial rings over $\mathbb{Z}/p^s\mathbb{Z}$, we determine reduced $K_2$-structures via a common algebraic framework. For…
We establish formulas for computation of the higher algebraic $K$-groups of the endomorphism rings of objects linked by a morphism in an additive category. Let ${\mathcal C}$ be an additive category, and let $Y\ra X$ be a covariant morphism…
Let $K$ be a complete discrete valuation field with finite residue field of characteristic $p$, and let $D$ be a central division algebra over $K$ of finite index $d$. Thirty years ago, Suslin and Yufryakov showed that for all prime numbers…
We introduce a homology theory for k-graphs and explore its fundamental properties. We establish connections with algebraic topology by showing that the homology of a k-graph coincides with the homology of its topological realisation as…
We show that the algebraic K-theory of semi-valuation rings with stably coherent regular semi-fraction ring satisfies homotopy invariance. Moreover, we show that these rings are regular if their valuation is non-trivial. Thus they yield…
We prove that for a quasi-regular semiperfectoid $\mathbb{Z}_p^{\rm cycl}$-algebra $R$ (in the sense of Bhatt-Morrow-Scholze), the cyclotomic trace map from the $p$-completed $K$-theory spectrum $K(R;\mathbb{Z}_p)$ of $R$ to the topological…
We discuss which part of the rationalized algebraic K-theory of a group ring is detected via trace maps to Hochschild homology, cyclic homology, periodic cyclic or negative cyclic homology.
We show that for a coconnective ring spectrum satisfying regularity and flatness assumptions, its algebraic K-theory agrees with that of its $\pi_0$. We prove this as a consequence of a more general devissage result for stable infinity…
We study algebraic K-theory, syntomic cohomology, and prismatic cohomology of Cartier smooth rings. As an application, we provide an alternative proof of Kelly-Morrow's generalization of the Geisser-Levine theorem computing $p$-adic…
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…