The Hochschild homology of a noncommutative symmetric quotient stack

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Anno, Rina, Baranovsky, Vladimir, Logvinenko, Timothy
Format: Preprint
Published: 2025
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866911348371226624
author Anno, Rina
Baranovsky, Vladimir
Logvinenko, Timothy
author_facet Anno, Rina
Baranovsky, Vladimir
Logvinenko, Timothy
contents 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 $λ$-ring generated by $\mathrm{HH}_\bullet(\mathcal{A})$.
format Preprint
id arxiv_https___arxiv_org_abs_2512_25039
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle The Hochschild homology of a noncommutative symmetric quotient stack
Anno, Rina
Baranovsky, Vladimir
Logvinenko, Timothy
Algebraic Geometry
Category Theory
Representation Theory
18G90, 14F08, 14C35, 16E40, 19D55
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 $λ$-ring generated by $\mathrm{HH}_\bullet(\mathcal{A})$.
title The Hochschild homology of a noncommutative symmetric quotient stack
topic Algebraic Geometry
Category Theory
Representation Theory
18G90, 14F08, 14C35, 16E40, 19D55
url https://arxiv.org/abs/2512.25039