Cyclic Gerstenhaber-Schack cohomology (Q2140248)

We know that deformations of an associative algebra is controlled by its Hochschild cohomology [\textit{M. Gerstenhaber}, Ann. Math. (2) 78, 267--288 (1963; Zbl 0131.27302)]. The same way, deformations of a bialgebra is controlled by Gerstenhaber-Schack cohomology [\textit{M. Gerstenhaber} and \textit{S. D. Schack}, Contemp. Math. 134, 51--92 (1992; Zbl 0788.17009)]. The main problem the authors tackle arises from the question whether Gerstenhaber-Schack cohomology carries a Gerstenhaber bracket analogous to the bracket structure on Hochschild cohomology. The authors show that when the underlying bialgebra is a Hopf algebra the diagonal of the Gerstenhaber-Schack complex carries an operad structure with multiplication (Theorem B). Since bisimplicial objects are homotopic to their diagonals, the Gerstenhaber-Schack cohomology carries a natural Gerstenhaber bracket due to [\textit{M. Gerstenhaber} and \textit{S. D. Schack}, Contemp. Math. 134, 51--92 (1992; Zbl 0788.17009); \textit{J. E. McClure} and \textit{J. H. Smith}, Contemp. Math. 293, 153--193 (2002; Zbl 1009.18009)]. Moreover, they also show that (Theorem C) when the antipode of the underlying Hopf algebra is involutive, or when the Hopf algebra has a modular pair in involution, then operad is cyclic, and therefore, the Gerstenhaber-Schack cohomology supports a Batalin-Vilkovisky algebra structure by [\textit{L. Menichi}, \(K\)-Theory 32, No. 3, 231--251 (2004; Zbl 1101.19003)]. Interestingly, the bracket is trivial when the Hopf algebra is finite dimensional (Theorem D), and therefore, Gerstenhaber-Schack cohomology has a \(e_3\)-algebra structure due to [\textit{D. Fiorenza} and \textit{N. Kowalzig}, Int. Math. Res. Not. 2020, No. 23, 9148--9209 (2020; Zbl 1468.55008)].