通过仙人掌给出 Deligne 猜想的循环版本的证明

在本注记中,我们证明了一个具有非退化、对称、不变内积的结合代数的规范化 Hochschild 上链是带框小圆盘 operad 的一个链模型上的代数,该模型由仙人掌给出。特别地,在此意义下它们是一个同伦意义下的 BV 代数,且此类代数的 Hochschild 上同调是一个 BV 代数,其诱导括号与 Gerstenhaber 括号一致。为证明此结论,我们使用了一个由规范化仙人掌给出的带框小圆盘 operad 的胞腔链模型。该模型通过将我们的由无刺仙人掌给出的小圆盘 operad 的链模型与适配于仙人掌的 $(S^1)^{\times n}$ 的自然链模型张量积而得到。