Cyclic Gerstenhaber-Schack cohomology

(Co)homology of rings and associative algebras (e.g., Hochschild, cyclic, dihedral, etc.) (16E40) Hopf algebras and their applications (16T05) Other (co)homology theories (category-theoretic aspects) (18G90) Operads (general) (18M60) (K)-theory and homology; cyclic homology and cohomology (19D55)

Abstract: We show that the diagonal complex computing the Gerstenhaber-Schack cohomology of a bialgebra (that is, the cohomology theory governing bialgebra deformations) can be given the structure of an operad with multiplication if the bialgebra is a (not necessarily finite dimensional) Hopf algebra with invertible antipode; if the antipode is involutive, the operad is even cyclic. Therefore, the Gerstenhaber-Schack cohomology of any such Hopf algebra carries a Gerstenhaber resp. Batalin-Vilkovisky algebra structure; in particular, one obtains a cup product and a cyclic boundary B that generate the Gerstenhaber bracket, and that allows to define cyclic Gerstenhaber-Schack cohomology. In case the Hopf algebra in question is finite dimensional, the Gerstenhaber bracket turns out to be zero in cohomology and hence the interesting structure is not given by this e_2-algebra structure but rather by the resulting e_3-algebra structure, which is expressed in terms of the cup product and B.

Review text

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)].

Recommendations

Cites work

Cited in

(8)

This page was built for publication: Cyclic Gerstenhaber-Schack cohomology

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2140248)