Algebraic geometers study spaces by attaching algebraic invariants to them. One important such invariant is Hochschild homology, which captures how a geometric object or algebraic structure deforms and interacts with differential forms. When the spaces involved have a special feature called a "log structure," which is a way of carefully tracking where a space has boundary or singular behavior, there are different ways to define Hochschild homology for these log structures. Two prominent approaches were developed separately by mathematicians Rognes and Olsson, and it has been unclear how these two constructions relate to each other.
The main contribution of this paper is building a precise map, called a comparison morphism, that connects Rognes' version of logarithmic Hochschild homology to Olsson's version. This map is not just an abstract curiosity: it extends a previously known comparison between two different versions of a related object called the log cotangent complex, due to Gabber and Olsson respectively. Roughly speaking, the cotangent complex is a more refined version of the module of differential forms, and its log variants encode how forms behave near the boundary regions tracked by the log structure. The paper shows that Olsson's earlier comparison result between log cotangent complexes is recovered as the leading-order piece of this new, broader comparison.
Along the way, the authors prove several additional results that are useful independently. They establish a descent theorem for the cotangent complex that generalizes prior work by Bhatt, meaning the cotangent complex can be assembled from local pieces in a controlled way. They also introduce a general notion of "HKR completed Hochschild homology" for morphisms of derived stacks, a broad geometric setting that encompasses many modern constructions. This new notion is functorial, meaning it behaves consistently under maps between spaces, and it recovers existing definitions as special cases when the geometry is sufficiently simple.