Advances in Pure Mathematics
Vol.07 No.07(2017), Article ID:77682,9 pages
10.4236/apm.2017.77023
From Braided Infinitesimal Bialgebras to Braided Lie Bialgebras
Shengxiang Wang1,2
1Department of Mathematics, Nanjing University, Nanjing, China
2School of Mathematics and Finance, Chuzhou University, Chuzhou, China
Copyright © 2017 by author and Scientific Research Publishing Inc.
This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).
http://creativecommons.org/licenses/by/4.0/
Received: May 22, 2017; Accepted: July 14, 2017; Published: July 17, 2017
ABSTRACT
The present paper is a continuation of [1] , where we considered braided infinitesimal Hopf algebras (i.e., infinitesimal Hopf algebras in the Yetter-Drin- feld category for any Hopf algebra H), and constructed their Drinfeld double as a generalization of Aguiar’s result. In this paper we mainly investigate the necessary and sufficient condition for a braided infinitesimal bialgebra to be a braided Lie bialgebra (i.e., a Lie bialgebra in the category ).
Keywords:
Braided Infinitesimal Bialgebra, Braided Lie Bialgebra, Yetter-Drinfeld Category, Balanceator
1. Introduction
An infinitesimal bialgebra is a triple , where is an associative algebra (possibly without unit), is a coassociative coalgebra (possibly without counit) such that
Infinitesimal bialgebras were introduced by Joni and Rota in [2] , called infini- tesimal coalgebra there, in the context of the calculus of divided differences [3] . In combinatorics, they were further studied in [4] [5] [6] . Aguiar established the basic theory of infinitesimal bialgebras in [7] [8] by investigating several examples and the notions of antipode, Drinfeld double and the associative Yang- Baxter equation keeping close to ordinary Hopf algebras. In [9] , Yau introduced the notion of Hom-infinitesimal bialgebras and extended Aguiar’s main results in [7] [8] to Hom-infinitesimal bialgebras.
One of the motivations of studying infinitesimal bialgebras is that they are closely related to Drinfeld’s Lie bialgebras (see [10] ). The cobracket in a Lie bialgebra is a 1-cocycle in Chevalley-Eilenberg cohomology, which is a 1-cocycle in Hochschild cohomology (i.e., a derivation) in a infinitesimal bialgebra. So the compatible condition in a infinitesimal bialgebra can be seen as an associative analog of the cocycle condition in a Lie bialgebra.
Motivated by [1] , in which we considered infinitesimal Hopf algebras in the Yetter-Drinfeld categories, called braided infinitesimal Hopf algebras, the natural idea is whether we can obtain braided Lie bialgebras (called generalized H-Lie bialgebras in [11] [12] ) from braided infinitesimal Hopf algebras. This becomes our motivation of writing this paper.
To give a positive answer to the question above, we organize this paper as follows.
In Section 1, we recall some basic definitions about Yetter-Drinfeld modules and braided Lie bialgerbas. In Section 2, we introduce the notion of the balanceator of a braided infinitesimal bialgerba and show that a braided infinitesimal bialgerba gives rise to a braided Lie bialgerba if and only if the balanceator is symmetric (see Theorem 2.3).
2. Preliminaries
In this paper, k always denotes a fixed field, often omitted from the notation. We use Sweedler’s ( [13] ) notation for the comultiplication: , for all . Let H be a Hopf algebra. We denote the category of left H-modules by . Similarly, we have the category of left H-comodules. For a left H- comodules , we also use Sweedler’s notation: for all .
A left-left Yetter-Drinfeld module M is both a left H-module and a left H- comodule satisfying the compatibility condition
(2.1)
for all and . The equation (1.1) is equivalent to
(2.2)
By [14] [15] , the left-left Yetter-Drinfeld category is a braided monoi- dal category whose objects are Yetter-Drinfeld modules, morphisms are both left H-linear and H-colinear maps, and its braiding is given by
for all and .
Let be an object in , the braiding is called symmetric on if the following condition holds:
(2.3)
which is equivalent to the following condition:
(2.4)
for any
In the category , we call an (co)algebra simply if it is both a left H- module (co)algebra and a left H-comodule (co)algebra. For more details about (co)module-(co)algebras, the reader can refer to [16] [17] .
A braided Lie algebra ( [11] ) in , called generalized H-Lie algebra there, is an object L in together with a bracket operation , which is a morphism in satisfying
(1) H-anti-commutativity:
(2) H-Jacobi identity:
for all , where denotes and the braiding for L.
Let A be an associative algebra in . Assume that the braiding is symmetric on A. Define
Then is a braided Lie algebra (see [11] ).
A braided Lie coalgebra ( [12] ) is an object in together with a linear map (called the cobracket), which is also a morphism in subject to the following conditions:
(1) H-anti-cocommutativity:
(2) H-coJacobi identity:
where denotes the braiding for L.
Dually, let be a coassociative coalgebra in . Assume that the braiding on C is symmetric. Define by
Then is a braided Lie coalgebras in (see [12] ).
A braided Lie bialgebra ( [18] ) is in , where is a braided Lie algebra, and is a braided Lie coalgebra, such that the compatibility condition holds:
where denotes the braiding for L.
3. Main Results
In this section, we will study the relation between braided infinitesimal bialge- bras and braided Lie bialgebras as a generalization of Aguiar’s result in [8] .
Let be a braided e-bialgebra in . For any , define an action of A on by
Then the action ® is a morphism in . In fact, for any and , we have
So ® is left H-linear. To show the left H-colinearity of the action ®, we compute
and
as desired.
Definition 2.1. Let be a braided infinitesimal bialgebra and the braiding of A. The map defined by
(3.1)
is called the balanceator of A. The balanceator B is called symmetric if . The braided infinitesimal bialgebra A is called balanced if on A.
Condition (2.1) can be written as follows:
Obviously,
Lemma 2.2. Let be a braided infinitesimal bialgebra and . Assume that the braiding on A is symmetric. Then the following equations hold:
(1)
(2)
(3)
Proof. (1) Since the braiding on A is symmetric, for all , we have , then
that is,
So (1) holds.
(2) To show the Equation (2.2), we need the following computation:
The last equality holds since is symmetric on A. Hence (2) holds.
(3) Finally, we check the Equation (2.3) as follows:
The last equality holds since is symmetric on A. Hence (3) holds as required. ,
Therem 2.3. Let be a braided infinitesimal bialgebra. Assume that the braiding on A is symmetric. Then is a braided Lie bialgebra if and only if .
Proof. Since is an associative algebra and is a coassociative coalgebra in , is a braided Lie algebra and is a braided Lie coalgebra. Therefore it remains to check the compatible condition:
for all . In fact, on the one hand, we have
On the other hand, we have
According to Lemma 2.2, we have
Therefore,
as desired. We complete the proof. ,
Corollary 2.4. Let be a braided infinitesimal bialgebra. Assume that the braiding on A is symmetric and the balanceator . Then is a braided Lie bialgebra.
Proof. Straightforward from Theorem 2.3. ,
Example 2.5. Let q be an 2th root of unit of k and G the cyclic group of order 2 generated by g, be the group algebra in the usual way. We consider the algebra . By [8] , is a infinitesimal bialgebra equipped with the comultiplication:
Define the left-H-module action and the left-H-comodule coaction of A by
It is not hard to check that the multiplication and the comultiplicaition are both H-linear and H-colinear, therefore is a braided infinitesimal bialgebra. Since and it is clear that if and only if . If , it is not hard to check that the balanceator is symmetric on . By Theorem 2.3, is a braided Lie bialgebra.
Example 2.6. Let q be a 4th root of unit of k. Consider the Hopf algebra , where G is a cyclic group of order 4 generated by g. Recall from [1] that is a braided infinitesimal bialgebra in equipped with the comultiplication:
and the H-module action, the H-comodule coaction:
Since
we claim that the balanceator is not symmetric. By Theorem 2.3, is not a braided Lie bialgebra, where m is the multiplication of A.
Let . It is clear that is both H-stable and
H-costable, hence is also a braided infinitesimal bialgebra contained in A. One can check easily that the balanceator on . By Corollary 2.4, is a braided Lie bialgebra.
Acknowledgements
The paper is partially supported by the China Postdoctoral Science Foundation (No. 2015M571725), the Key University Science Research Project of Anhui Province (Nos. KJ2015A294 and KJ2016A545), the outstanding top-notch talent cultivation project of Anhui Province (No. gxfx2017123) and the NSF of Chuzhou University (No. 2015qd01).
Cite this paper
Wang, S.X. (2017) From Braided Infinitesimal Bialgebras to Braided Lie Bialgebras. Advances in Pure Mathematics, 7, 366-374. https://doi.org/10.4236/apm.2017.77023
References
- 1. Wang, S.X. and Wang, S.H. (2014) Drinfeld Double for Braided Infinitesimal Hopf Algebras. Communications in Algebra, 42, 2196-2213. https://doi.org/10.1080/00927872.2013.766796
- 2. Joni, S.A. and Rota, G.C. (1979) Coalgebras and Bialgebras in Combinatorics. Studies in Applied Mathematics, 61, 93-139. https://doi.org/10.1002/sapm197961293
- 3. Hirschhorn, P.S. and Raphael, L.A. (1992) Coalgebraic Foundations of the Method of Divided Differences. Advances in Mathematics, 91, 75-135.
- 4. Aguiar, M. (2002) Infinitesimal Hopf Algebras and the Cd-Index of Polytopes. Discrete & Computational Geometry, 27, 3-28. https://doi.org/10.1007/s00454-001-0049-4
- 5. Ehrenborg, R. and Readdy, M. (1998) Coproducts and the Cd-Index. Journal of Algebraic Combinatorics, 8, 273-299. https://doi.org/10.1023/A:1008614816374
- 6. Foissy, L. (2009) The Infinitesimal Hopf Algebra and the Poset of Planar Forests. Journal of Algebraic Combinatorics, 30, 277-309. https://doi.org/10.1007/s10801-008-0163-y
- 7. Aguiar, M. (2000) Infinitesimal Hopf Algebras. Contemporary Mathematics, 267, 1-30. https://doi.org/10.1090/conm/267/04262
- 8. Aguiar, M. (2001) On the Associative Analog of Lie Bialgebras. Journal of Algebra, 244, 492-532. https://doi.org/10.1006/jabr.2001.8877
- 9. Yau, D. (2010) Infinitesimal Hom-Bialgebras and Hom-Lie Bialgebras. arXiv. 1001.5000v1.
- 10. Drinfeld, V.G. (1986) Quantum Groups. Proceedings International Congress of Mathematicians, Berkeley, 798-820.
- 11. Wang, S.H. (2002) On the Generalized H-Lie Structure of Associative Algebras in Yetter-Drinfeld Categories. Communications in Algebra, 30, 307-325. https://doi.org/10.1081/AGB-120006492
- 12. Wang, S.H. and Chen, H.X. (2002) Hopf-Galois Coextensions and Braided Lie Coalgebras. Progress in Natural Science, 12, 264-270.
- 13. Sweedle, M.E. (1969) Hopf Algebras. Benjamin, New York.
- 14. Joyal, A. and Street, R. (1993) Braided Tensor Category. Advances in Mathematics, 102, 20-78. https://doi.org/10.1006/aima.1993.1055
- 15. Radford, D.E. (1985) The Structure of a Hopf Algebra with a Projection. Journal of Algebra, 92, 332-347. https://doi.org/10.1016/0021-8693(85)90124-3
- 16. Kassel, C. (1995) Quantum Groups. GTM 155. Springer-Verlag, Berlin. https://doi.org/10.1007/978-1-4612-0783-2
- 17. Radford, D.E. and Towber, J. (1993) Yetter-Drinfeld Categories Associated to an Arbitrary Bialgebra. Journal of Pure and Applied Algebra, 87, 259-279. https://doi.org/10.1016/0022-4049(93)90114-9
- 18. Zhang, S.C. and Zhang, T. (2007) Double Bicrosssum of Braided Lie Algebras. Cornell University, New York.