(Co)cyclic (co)homology of bialgebroids: An approach via (co)monads

DOI10.1007/S00220-008-0540-3zbMATH Open1153.18004arXiv0705.3190OpenAlexW1979448866MaRDI QIDQ956643FDOQ956643

Dragoş Ştefan, Gabriella Böhm

Publication date: 25 November 2008

Published in: Communications in Mathematical Physics (Search for Journal in Brave)

Abstract: For a (co)monad T_l on a category M, an object X in M, and a functor Pi: M o C, there is a (co)simplex Z^*:=Pi T_l^{* +1} X in C. Our aim is to find criteria for para-(co)cyclicity of Z^*. Construction is built on a distributive law of T_l with a second (co)monad T_r on M, a natural transformation i:Pi T_l o Pi T_r, and a morphism w: T_r X o T_l X in M. The relations i and w need to satisfy are categorical versions of Kaygun's axioms of a transposition map. Motivation comes from the observation that a (co)ring T over an algebra R determines a distributive law of two (co)monads T_l=T otimes_R (-) and T_r = (-)otimes_R T on the category of R-bimodules. The functor Pi can be chosen such that Z^n= That{otimes}_R... hat{otimes}_R T hat{otimes}_R X is the cyclic R-module tensor product. A natural transformation i:T hat{otimes}_R (-) o (-) hat{otimes}_R T is given by the flip map and a morphism w: X otimes_R T o Totimes_R X is constructed whenever T is a (co)module algebra or coring of an R-bialgebroid. Stable anti Yetter-Drinfel'd modules over certain bialgebroids, so called x_R-Hopf algebras, are introduced. In the particular example when T is a module coring of a x_R-Hopf algebra B and X is a stable anti Yetter-Drinfel'd B-module, the para-cyclic object Z_* is shown to project to a cyclic structure on T^{otimes_R *+1} otimes_B X. For a B-Galois extension S o T, a stable anti Yetter-Drinfel'd B-module T_S is constructed, such that the cyclic objects B^{otimes_R *+1} otimes_B T_S and T^ {hat{otimes}_S *+1} are isomorphic. As an application, we compute Hochschild and cyclic homology of a groupoid with coefficients, by tracing it back to the group case. In particular, we obtain explicit expressions for ordinary Hochschild and cyclic homology of a groupoid.

Full work available at URL: https://arxiv.org/abs/0705.3190

Recommendations

• Cyclic homology arising from adjunctions
• A categorical approach to cyclic cohomology of quasi-Hopf algebras and Hopf algebroids
• A categorical approach to cyclic duality.
• Hopf cyclic cohomology in braided monoidal categories
• Examples of para-cocyclic objects induced by \(BD\)-laws

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Cites Work

• The local index formula in noncommutative geometry
• Title not available (Why is that?)
• Title not available (Why is that?)
• Adjoint functors and triples
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Hopf algebras, cyclic cohomology and the transverse index theorem
• Title not available (Why is that?)
• General twisting of algebras.
• Groups of algebras over \(A\otimes \bar A\)
• Bialgebroid actions on depth two extensions and duality.
• Duals and doubles of quantum groupoids (\(\times_R\)-Hopf algebras)
• Braided cyclic cocycles and nonassociative geometry
• The cyclic homology of the group rings
• Coalgebra bundles
• HOPF ALGEBROIDS AND QUANTUM GROUPOIDS
• Bialgebras over noncommutative rings and a structure theorem for Hopf bimodules
• Stable anti-Yetter-Drinfeld modules.
• Larson-Sweedler theorem and the role of grouplike elements in weak Hopf algebras.
• Para-Hopf algebroids and their cyclic cohomology
• Bialgebroids, \(\times_A\)-bialgebras and duality
• Hopf-cyclic homology and cohomology with coefficients.
• Bialgebra cyclic homology with coefficients.
• A NOTE ON CYCLIC DUALITY AND HOPF ALGEBRAS
• HOPF–CYCLIC HOMOLOGY AND RELATIVE CYCLIC HOMOLOGY OF HOPF–GALOIS EXTENSIONS
• The universal Hopf-cyclic theory.
• Doi-Koppinen modules for quantum groupoids.
• Cyclic cohomology of étale groupoids: The general case
• Invariant cyclic homology
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Cyclic Cohomology of Corings
• Title not available (Why is that?)

Cited In (17)

• Examples of para-cocyclic objects induced by \(BD\)-laws
• Recent developments around partial actions
• Batalin-Vilkovisky algebra structures on (Co)Tor and Poisson bialgebroids.
• A categorical approach to cyclic duality.
• The periodic cyclic homology of crossed products of finite type algebras
• Coactions on Hochschild homology of Hopf-Galois extensions and their coinvariants.
• Equivariant Hopf Galois extensions and Hopf cyclic cohomology
• The universal Hopf-cyclic theory.
• The cyclic theory of Hopf algebroids.
• Comodules and Corings
• Factorisations of distributive laws
• New coefficients for Hopf Cyclic Cohomology
• Morita base change in Hopf-cyclic (co)homology.
• Cohomology for partial actions of Hopf algebras
• On Cyclic Cohomology of ×-Hopf algebras
• Centres, trace functors, and cyclic cohomology
• When Ext is a Batalin-Vilkovisky algebra

This page was built for publication: (Co)cyclic (co)homology of bialgebroids: An approach via (co)monads

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