On the cup product of singular Hochschild cohomology (Q2166348)

In this paper the author considers \(A\) to be a right noetherian \(k\)-algebra over a field \(k\) such that the enveloping algebra \(A^e= A^{\mathrm{op}}\otimes A\) is also noetherian. The singularity category \(\mathcal{D}_{\mathrm{sg}}(A^e)\) is the Verdier quotient of the bounded derived category of finitely generated right \(A^e\)-modules, \(\mathcal{D}^b(A^e),\) by the full subcategory consisting of perfect complexes; that is, bounded complexes of finitely generated projective \(A-A\)-bimodules. Inspired by work of \textit{W. Lowen} and \textit{M. Van den Bergh }[``\(B_\infty\)-structure on the derived endomorphism algebra of the unit in a monoidal category'', Preprint, \url{arXiv:1907.06026}] there is also the monoidal singularity category \(\mathcal{D}_{\mathrm{sg}}^{\mathrm{cof}}(A^e),\) recalled in Definition 3.2. By a result of \textit{M. Suarez-Alvarez} [Proc. Am. Math. Soc. 132, No. 8, 2241--2246 (2004; Zbl 1045.18002)], on any monoidal category there is a suspended version of the Eckmann-Hilton argument. The singular Hochschild cohomology \(\mathrm{HH}_{\mathrm{sg}}^*(A),\) introduced by \textit{Z. Wang} in [``Singular Hochschild cohomology and Gerstenhaber algebra structure'', Preprint, \url{arXiv:1508.00190}], has a cup product which is defined on the singular Hochschild cochain complex; but, there is also a Yoneda product, obtained by interpreting \(\mathrm{HH}_{\mathrm{sg}}^*(A)\) as \(\mathrm{Hom}_{\mathcal{D}_{sg}^{\mathrm{cof}}(A^e)}(A,\Sigma^*A),\) where \(\Sigma\) is an automorphism of \(\mathcal{D}_{\mathrm{sg}}^{\mathrm{cof}}(A^e).\) In the main result, Theorem 1.1, the author shows that for the monoidal singularity category \(\mathcal{D}_{\mathrm{sg}}^{\mathrm{cof}}(A^e),\) the Yoneda product of the suspended monoidal category coincides with the cup product. As a consequence, the Yoneda product is graded commutative.