The symmetric-power conjecture for Hochschild homology of smooth proper dg categories

Let T\mathcal{T} be a smooth proper dg category, and let SymnT\operatorname{Sym}^n\mathcal{T} denote its nnth symmetric power in the sense of Ganter–Kapranov. Write Sym\operatorname{Sym}^{\bullet} for the symmetric algebra and let tt be a formal variable. The symmetric-power conjecture. One has

n0HH(SymnT)tnSym(i1HH(T)ti).\bigoplus_{n\geq 0}\operatorname{HH}_{*}(\operatorname{Sym}^n\mathcal T)t^n \cong \operatorname{Sym}^{\bullet}\left(\bigoplus_{i\geq 1}\operatorname{HH}_{*}(\mathcal T)t^i\right).

This generalizes the Fock-space formula for Hochschild homology of symmetric powers and is motivated by the corresponding formula for Hilbert schemes of points on smooth projective surfaces. The conjecture is presented as a proposed generalization and no resolution is given here.

Sources & referencesView supporting material

Primary source

Pieter Belmans, Lie Fu and Andreas Krug, “Hochschild cohomology of Hilbert schemes of points on surfaces”, arXiv:2309.06244 (2023).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.