An explicit Dennis trace and its compatibility with Koszul duality

@misc{huang2026explicit,
  title = {{An explicit Dennis trace and its compatibility with Koszul duality}},
  author = {Maozhou Huang},
  howpublished = {arXiv},
  year = {2026},
  month = oct,
  doi = {10.48550/arxiv.2610.25485},
  eprint = {2610.25485},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2610.25485},
}

TY  - UNPB
TI  - An explicit Dennis trace and its compatibility with Koszul duality
AU  - Maozhou Huang
PY  - 2026
DA  - 2026/10/18
PB  - arXiv
DO  - 10.48550/arxiv.2610.25485
UR  - https://arxiv.org/abs/2610.25485
AB  - 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_•-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.
ER  -