Differential calculus of Hochschild pairs for infinity-categories (Q2220005)

Let \(R\) be a commutative ring spectrum and \(\mathcal{C}\) a small \(R\)-linear stable idempotent-complete \(\infty\)-category. The author proves that the pair \((\mathcal{HH}^{\bullet}(\mathcal{C}),\mathcal{HH}_{\bullet}(\mathcal{C}))\) formed by the Hochschild cohomology and homology \(R\)-module spectra has a natural structure of \(\operatorname{\mathbf{KS}}\)-algebra in the \(\infty\)-category of \(R\)-module spectra \(\operatorname{Mod}_{R}\), where \(\operatorname{\mathbf{KS}}\) denotes the two-colored topological operad introduced by [\textit{M. Kontsevich} and \textit{Y. Soibelman}, Lect. Notes Phys. 757, 153--219 (2009; Zbl 1202.81120)] (see Thm. 7.14). The author also provides an equivariant version of the previous result (see Thm. 9.1).