Abstract. We give a systematic description of the cyclic cohomology theory of Hopf algebroids in terms of its associated category of modules. Then we introduce a dual cyclic homology theory by applying cyclic duality to the underlying cocyclic object. We derive general structure theorems for these theories in the special cases of commutative and cocommutative Hopf algebroids. Finally, we compute the cyclic theory in examples associated to Lie-Rinehart algebras and étale groupoids.
The origin and interplay of products and dualities in algebraic\ud
(co)homology theories is ascribed to a ×_A-Hopf algebra structure\ud
on the relevant universal enveloping algebra. This provides a unified\ud
treatment for example of results by Van den Bergh about\ud
Hochschild (co)homology and by Huebschmann about Lie–Rinehart\ud
(co)homology
This article studies the algebraic structure of homology theories defined by a left Hopf algebroid U over a possibly noncommutative base algebra A, such as for example Hochschild, Lie algebroid (in particular Lie algebra and Poisson), or group and etale groupoid (co)homology. Explicit formulae for the canonical Gerstenhaber algebra structure on Ext U pA, Aq are given. The main technical result constructs a Lie derivative satisfying a generalised Cartan-Rinehart homotopy formula whose essence is that Tor U pM, Aq becomes for suitable right U -modules M a Batalin-Vilkovisky module over Ext U pA, Aq, or in the words of Nest, Tamarkin, Tsygan and others, that Ext U pA, Aq and Tor U pM, Aq form a differential calculus. As an illustration, we show how the wellknown operators from differential geometry in the classical Cartan homotopy formula can be obtained. Another application consists in generalising Ginzburg's result that the cohomology ring of a Calabi-Yau algebra is a Batalin-Vilkovisky algebra to twisted Calabi-Yau algebras.
ABSTRACT. In this article, we show under what additional ingredients a comp (or opposite) module over an operad with multiplication can be given the structure of a cyclic k-module and how the underlying simplicial homology gives rise to a Batalin-Vilkovisky module over the cohomology of the operad. In particular, one obtains a generalised Lie derivative and a generalised (cyclic) cap product that obey a Cartan-Rinehart homotopy formula, and hence yield the structure of a noncommutative differential calculus in the sense of Nest, Tamarkin, Tsygan, and others. Examples include the calculi known for the Hochschild theory of associative algebras, for Poisson structures, but above all the calculus for general left Hopf algebroids with respect to general coefficients (in which the classical calculus of vector fields and differential forms is contained).
We show under what conditions the complex computing general Ext-groups carries the structure of a cyclic operad such that Ext becomes a Batalin-Vilkovisky algebra. This is achieved by transferring cyclic cohomology theories for the dual of a (left) Hopf algebroid to the complex in question, which asks for the notion of contramodules introduced along with comodules by Eilenberg-Moore half a century ago. Another crucial ingredient is an explicit formula for the inverse of the Hopf-Galois map on the dual, by which we illustrate recent categorical results and answer a long-standing open question. As an application, we prove that the Hochschild cohomology of an associative algebra A is Batalin-Vilkovisky if A itself is a contramodule over its enveloping algebra A b A op . This is, for example, the case for symmetric algebras and Frobenius algebras with semisimple Nakayama automorphism. We also recover the construction for Hopf algebras.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.