Year: 2026
Type: preprint
Abstract: In this paper, we construct explicit Dennis trace maps from algebraic $K$-theory to Hochschild homology for dg module and curved dg comodule categories, and prove their compatibility with derived Koszul duality. For this, we construct a natural chain map $τ$ from the chains on the newly defined thickened nerve to the total complex of the dg cyclic nerve, with explicit formulas incorporating morphisms and coherent higher homotopies, which generalizes McCarthy's approach. This $τ$ construction works both for modules over dg algebras and for cdg comodules over counital conilpotent curved dg coalgebras. Combining the $τ$ with the dg-enriched Waldhausen $S_\bullet$-construction and a Hochschild delooping theorem yields the Dennis trace maps. For thick subcategories corresponding under derived Koszul duality, we prove that the induced $K$-theory equivalences and Hochschild homology isomorphisms fit into natural commutative diagrams with these trace maps.
Source: arXiv (Cornell University)
Author: Huang, Maozhou
Institution: Chongqing University of Technology
Language: English
Subfield: Mathematical Physics
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
Award: G5047429720
OpenAlex ID: W7222998192