ScalingStacks

Proof. We abbreviate $\mathcal{C}^{\prime}:=H^{\bullet}(\operatorname{Ch}_{\mathrm{dg}}(R\mathrm{-mod}^{\mathrm{gr.fr.}}))^{*}$. Let $\mathcal{C}$ denote the full subcategory generated by the indecomposable objects $C_{k}$. By Fact 4.11 and the discussion of the beginning of the section, it suffices to compute the bigraded zeroth Hochschild homology of $\mathcal{C}$. To this end, we study closed homogeneous endomorphisms of the objects $C_{k}$ and trace relations between them.

We note that the components of a chain map between shifts of such objects can have quantum degree zero or two (a scalar multiple of $\operatorname{Id}_{R}$ or $X_{R}$). Since the differential in every complex is of quantum degree two, this means that closed morphisms with components of quantum degree zero are homotopic if and only if they are equal.

First we investigate the chain maps between shifts of objects $C_{l}$ with components of quantum degree zero. For positive homological shifts (right shift) there are simply no closed morphisms, i.e. no chain maps. In shift zero we have the identity on every $C_{l}$ (which does not factor through any $C_{m}$ with $m\neq l$) and for negative homological shifts we have closed maps that factor into a composite of closed maps through a shift of a $C_{m}$ with $m<l$ (by induction, one can show that their trace classes actually vanish). Thus in bidegree $(0,0)$ we have a basis of trace classes $[\operatorname{Id}_{C_{l}}]$ for $l\geq 0$.

Second we are interested in chain maps between shifts of objects $C_{l}$ with components of quantum degree two. In negative homological shifts (left shift) all such maps are nullhomotopic. In non-negative homological shift, every such map is homotopic to a scalar multiple of $RX^{(l)}_{C_{k}}$. However, one easily checks that the trace class of $RX^{(l)}_{C_{k}}$ equals the trace class of $\pm RX^{(l)}_{C_{l}}$. Since these have bidegree $(l,2l+2)$ in the enriched $\operatorname{End}$ of $C_{l}$, we see that they are linearly independent. ∎