The Hochschild homology of a noncommutative symmetric quotient stack

TL;DR

This paper establishes an orbifold decomposition for the Hochschild homology of symmetric powers of a DG category, revealing a deep algebraic structure and explicit homotopy equivalences in noncommutative geometry.

Contribution

It introduces an orbifold decomposition theorem for Hochschild homology of noncommutative symmetric quotient stacks, with explicit constructions of homotopy equivalences.

Findings

Hochschild homology of symmetric powers is isomorphic to a symmetric algebra.

Explicit homotopy equivalences are constructed for Hochschild complexes.

Structures of Fock space, Hopf algebra, and lambda-ring are induced on Hochschild homology.

Abstract

We prove an orbifold type decomposition theorem for the Hochschild homology of the symmetric powers of a small DG category $\mathcal{A}$. In noncommutative geometry, these can be viewed as the noncommutative symmetric quotient stacks of $\mathcal{A}$. We use this decomposition to show that the total Hochschild homology of the symmetric powers of $\mathcal{A}$ is isomorphic to the symmetric algebra $S^*(\mathrm{HH}_\bullet(\mathcal{A}) \otimes t \mathbb{k}[t])$. Our methods are explicit - we construct mutually inverse homotopy equivalences of the standard Hochschild complexes involved. These explicit maps are then used to induce from the symmetric algebra onto the total Hochschild homology the structures of the Fock space for the Heisenberg algebra of $\mathcal{A}$, of a Hopf algebra, and of a free $\lambda$-ring generated by $\mathrm{HH}_\bullet(\mathcal{A})$.