Hopf algebroids with balancing subalgebra

Abstract: Recently, S. Meljanac proposed a construction of a class of examples of an algebraic structure with properties very close to the Hopf algebroids

H

over a noncommutative base

A

of other authors. His examples come along with a subalgebra

m a t h c a l B

of

H o t i m e s H

, here called the balancing subalgebra, which contains the image of the coproduct and such that the intersection of

m a t h c a l B

with the kernel of the projection

H o t i m e s H o H o t i m e s_{A} H

is a two-sided ideal in

m a t h c a l B

which is moreover well behaved with respect to the antipode. We propose a set of abstract axioms covering this construction and make a detailed comparison to the Hopf algebroids of Lu. We prove that every scalar extension Hopf algebroid can be cast into this new set of axioms. We present an observation by G. B"ohm that the Hopf algebroids constructed from weak Hopf algebras fit into our framework as well. At the end we discuss the change of balancing subalgebra under Drinfeld-Xu procedure of twisting of associative bialgebroids by invertible 2-cocycles.

Review text

A certain algebraic structure reminiscent of that of a Hopf algebroid \(H\) over a noncommutative base \(A\) was constructed by \textit{T. Jurić} et al. [Phys. Lett., A 377, No. 38, 2472--2476 (2013; Zbl 1311.81155); Int. J. Mod. Phys. A 29, No. 5, Article ID 1450022, 32 p. (2014; Zbl 1284.81175)]. Their examples come along with a subalgebra \(\mathcal B\) of \(H\otimes H\) which contains the image of the coproduct and whose intersection with the kernel of the projection \(H\otimes H\to H\otimes_A H\) is a two-sided ideal in \(\mathcal B\) well behaved with respect to the antipode. In this paper, the authors propose a set of axioms covering Meljanac's construction. In their new axiomatization, the subalgebra \(B\otimes H\otimes H\) is called the balancing subalgebra and the new version of a Hopf algebroid over noncommutative base algebra \(A\) is named a Hopf \(A\)-algebroid with balancing subalgebra \(\mathcal B\). A detailed comparison with the Hopf algebroids of \textit{J.-H. Lu} [Int. J. Math. 7, No. 1, 47--70 (1996; Zbl 0884.17010)] is given. It is shown that every scalar extension Hopf algebroid can be cast into a Hopf algebroid with a suitable choice of balancing subalgebra \(\mathcal B\). An observation of G. Böhm, saying that each weak Hopf algebra gives rise to a Hopf algebroid, is presented in their framework. The effect on the balancing subalgebra under Drinfeld-Xu procedure of twisting of associative bialgebroids is also discussed.

Recommendations

Cites work

Cited in

(6)

This page was built for publication: Hopf algebroids with balancing subalgebra

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