A Dundas-McCarthy theorem for bimodules over exact categories

Abstract

From a bimodule $M$ over an exact category $C$, we define an exact category $C⋉M$ with a projection down to $C$. This construction classifies certain split square zero extensions of exact categories. We show that the trace map induces an equivalence between the relative $K$-theory of $C⋉M$ and its relative topological cyclic homology. When applied to the bimodule $\mathrm{hom}(-,-{\otimes }_{A}M)$ on the category of finitely generated projective modules over a ring $A$ one recovers the classical Dundas-McCarthy theorem for split square zero extensions of rings.

15 pages