BV-operators and the secondary Hochschild complex (Q2223440): Difference between revisions

In 1995, \textit{M. Gerstenhaber} and \textit{A. A. Voronov} [Int. Math. Res. Not. 1995, No. 3, 141--153 (1995; Zbl 0827.18004)] introduced the concept of a homotopy G-algebra \(V^{\bullet}\), which is a brace algebra (a graded vector space together with a collection of braces satisfying the higher pre-Jacobi identities; braces may be better understand in the context of operads) equipped with a differential of degree \(+1\) and a product of degree \(0\) satisfying certain conditions. Since \(V^{\bullet}\) is also a differential graded associative algebra, we can associate the cohomology space \(H(V^{\bullet})\), which has the structure of a Gerstenhaber algebra. In this article, the authors introduce the notion of a BV-operator \(\Delta: V^{\bullet}\rightarrow V^{\bullet-1}\), see Definition 2. If the homotopy G-algebra \(V^{\bullet}\) has this kind of BV-operator \(\Delta\), the authors show that the brackets of the above Gerstenhaber algebra \(H(V^{\bullet})\) are determined by \(\Delta\) similarly to the BV-algebra case (Batalin-Vilkovisky algebra). However, \(\Delta\) may not commute with the differentials giving \(H(V^{\bullet})\), hence may not induce a BV-operator on \(H(V^{\bullet})\). Secondary Hochschild cohomology \(H^{\bullet}(A,B,\varepsilon)\) (where \(A\) is an algebra, \(\varepsilon:B\rightarrow A\) is an extension of rings such that \(\varepsilon(B)\subseteq Z(A)\) and \(B\) is a commutative algebra) was introduced by \textit{M. D. Staic} [Algebr. Represent. Theory 19, No. 1, 47--56 (2016; Zbl 1345.16012)] to study some kind of deformations. In 2015, \textit{M. D. Staic} and \textit{A. Stancu} [Homology Homotopy Appl. 17, No. 1, 129--146 (2015; Zbl 1346.16004)] proved that the secondary Hochschild complex \(C^{\bullet}(A,B,\varepsilon)\), with coefficients in the \(A-A\)-bimodule \(A\), is a non-symmetric operad with multiplication, hence it inherits a homotopy G-algebra structure. If \(A\) is a symmetric finite dimensional \(k\)-algebra (i.e., it is equipped with a symmetrizing form inducing an isomorphism of \(A\)-\(A\)-bimodules between \(A\) and its \(k\)-dual, \(k\) is a field) the authors define a BV-operator \(\Delta:C^{\bullet}(A,B,\varepsilon)\rightarrow C^{\bullet-1}(A,B,\varepsilon)\). Next, they show how the Gerstenhaber bracket on the secondary Hochschild cohomology of \((A,B,\varepsilon)\) is defined by the above \(\Delta\), similarly to the BV-formalism. A commutative diagram involving the BV-operator \(\Delta^{\bullet}\) and the so-called Connes' B-operator, in the above context, is also obtained.