×

Batalin-Vilkovisky algebras and cyclic cohomology of Hopf algebras. (English) Zbl 1101.19003

One of the central ideas of homotopy theory is that additional algebraic structure on the (co)homology or homotopy of a space may be helpful in computing this (co)homology or homotopy. From this point of view, it is an interesting remark that some structures of a Gerstenhaber bracket may be derived from a Batalin-Vilkovisky (BV) structure. Here a (graded) Gerstenhaber structure on a graded vector space is a graded product and a bracket of degree \(-1\) which satisfy a Leibniz identity. The main example is the Gerstenhaber structure on the Hochschild cohomology of an associative algebra, found by M. Gerstenhaber [Ann. Math. (2) 78, 267–288 (1963; Zbl 0131.27302)]. On the other hand, a BV structure on a graded vector space is a graded product and a degree \(-1\) operator \(B\) such that \(B^2=0\) and which satisfies a rather complicated identity. Setting \[ \{a,b\}:=(-1)^{| a| }(B(ab)-B(a)b-(-1)^{| a| }aB(b)), \] one recovers from a BV structure a Gerstenhaber structure.
The article under review shows that the Adams cobar construction \(\Omega{\mathcal H}\) on a Hopf algebra \({\mathcal H}\) carries a BV structure on its cohomology which is derived from the cocyclic module structure of A. Connes and H. Moscovici [Commun. Math. Phys. 198, 199–246 (1998; Zbl 0940.58005)] and which gives back the classical Gerstenhaber structure.
The proof relies on the operadic description of the involved structures, and the author shows in particular that for a cyclic operad \(O\) with multiplication, the structure of a cosimplicial module extends to a structure of a cocyclic module such that Connes boundary operator on the associated cochain complex induces a BV structure.
Another context where similar constructions are possible is the theory of symmetric algebras, i.e., an algebra \(A\) equipped with an isomorphism of \(A\)-bimodules \(A\cong A^*\) of \(A\) with its linear dual. As a corollary, the author obtains a BV structure on the Hochschild cohomology of \(A\) (with coefficients in \(A\)), giving back a result of Tradler [unpublished].
In related work, Kaufmann, Tradler-Zeinalian [T. Tradler and M. Zeinalian, J. Pure Appl. Algebra 204, 280–299 (2006; Zbl 1147.16012)], Costello and Kontsevich-Soibelman prove that the BV algebra structure on \(HH^{*}(A,A)\) comes from the action of various operads or PROPs on the Hochschild cochain complex \(\mathcal{C}^{*}(A,A)\): the so-called cyclic Deligne conjecture.

MSC:

19D55 \(K\)-theory and homology; cyclic homology and cohomology
16W30 Hopf algebras (associative rings and algebras) (MSC2000)
18D50 Operads (MSC2010)
55P48 Loop space machines and operads in algebraic topology
16E40 (Co)homology of rings and associative algebras (e.g., Hochschild, cyclic, dihedral, etc.)
17B70 Graded Lie (super)algebras
17B62 Lie bialgebras; Lie coalgebras
PDFBibTeX XMLCite
Full Text: DOI arXiv

References:

[2] Chas, M. and Sullivan, D.: String topology, preprint: math. GT/991159, 1999.
[4] Connes, A. and Moscovici, H.: Cyclic cohomology and Hopf algebra symmetry, Conférence Moshé Flato 1999, Vol. I (Dijon), Math. Phys. Stud. vol. 21, Kluwer, 2000, pp. 199-246.
[7] Gerstenhaber, M. and Schack S.: Algebras, bialgebras, quantum groups, and algebraic deformation, Deformation theory and quantum groups with applications to mathematical physics (Amherst, MA, 1990), Contemp. Math. vol. 134, Amer. Math. Soc. 1992, pp. 51-92. · Zbl 0788.17009
[9] Getzler, E. and Kapranov, M.: Cyclic operads and cyclic homology, Conf. Proc. Lecture Notes Geom. Topology, IV, Internat. Press, 1995, pp. 167-201. · Zbl 0883.18013
[12] McClure, J. and Smith, J.: A solution of Deligne?s hochschild cohomology conjecture, contemp. Math., vol. 293, pp. 153-193, Amer. Math. Soc. 2002. · Zbl 1009.18009
[13] McClure, J. and Smith, J.: Operads and cosimplicial objects: an introduction, Proceedings of a NATO Advanced Study Institute (J. Greenlees, ed.), NATO Sciences Series, vol. 131, Kluwer, 2004, pp. 133-171. · Zbl 1080.55010
[14] Markl, M., Shnider, S. and Stasheff, J.: Operads in algebra, topology and physics, Mathematical Surveys and Monographs, vol. 96, Amer. Math. Soc. 2002. · Zbl 1017.18001
[16] Seibt, P.: Cyclic homology of algebras, World Scientific Publishing, 1987. · Zbl 0743.16009
[18] Tradler, T.: The BV algebra on Hochschild cohomology induced by infinity inner products, preprint: math.QA/0210150, 2002.
[19] Van der Laan, P.: Operads and the Hopf algebras of renormalisation, preprint: math.QA/0311013, 2003.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.