Higher-order and secondary Hochschild cohomology (Q338050)

Higher-order Hochschild cohomology as introduced by \textit{T. Pirashvili} [Ann. Sci. Éc. Norm. Supér. (4) 33, No. 2, 151--179 (2000; Zbl 0957.18004)] associates to a simplicial set \(X\), a commutative \(k\)-algebra \(A\) and an \(A\)-bimodule \(M\) the higher order Hochschild cohomology groups \(H^n_X (A,M)\). Secondary Hochschild cohomology as introduced by \textit{M. D. Staic} [Algebr. Represent. Theory 19, No. 1, 47--56 (2016; Zbl 1345.16012)] associates with a triple \((A,B,\epsilon)\) (where \(\epsilon\) defines a \(B\)-algebra structure on~\(A\)) and a \(B\)-symmetric \(A\)-bimodule the secondary Hochschild cohomology groups \(H^n \big( (A,B,\epsilon), M \big)\). The two notions are unified in the present paper. The authors exhibit a construction that associates to a pair of simplicial sets \(Y \supseteq X\), a triple \((A,B,\epsilon)\) consisting of commutative \(k\)-algebras \(A\) and \(B\) and a \(k\)-algebra morphism \(\epsilon : A \rightarrow B\), and a symmetric \(A\)-bimodule \(M\) new cohomology groups denoted \(H^n_{(X,Y)} \big( (A,B,\epsilon), M \big)\). For \(X=Y\) this recovers higher-order Hochschild cohomology, for \(Y=D^2\) and \(X=S^1\) the construction yields secondary Hochschild cohomology.