Abstract
We introduce and study a large class of coalgebras (possibly (non)coassociative) with group-algebraic structures Hopf (non)coassociative group-algebras. Hopf (non)coassociative group-algebras provide a unifying framework for classical Hopf algebras and Hopf group-algebras and Hopf coquasigroups. We introduce and discuss the notion of a quasitriangular Hopf (non)coassociative π-algebra and show some of its prominent properties, e.g., antipode S is bijective. As an application of our theory, we construct a new braided T-category and give a new solution to the generalized quantum Yang–Baxter equation.
Keywords:
braided T-category; quantum Yang–Baxter equation; Hopf (non)coassociative group-algebra; quasitriangular Hopf (non)coassociative π-algebra MSC:
16T05; 16W99
1. Introduction
Topological quantum field theories (TQFT’s) realize topological invariants of manifolds using ideas from quantum field theory (QFT), see [1,2]. Turaev introduced in [3] a homotopy quantum field theory (HQFT) as a version of a TQFT for manifolds endowed with maps into a fixed topological space and found an algebraic characterization of 2-dimensional HQFT’s whose target space is the Eilenberg–MacLane space determined by a group . Furthermore, he established a 3-dimensional HQFT with target space by introducing the notion of a modular -category based on a deep connection between the theory of braided categories and invariants of knots, links and 3-manifolds (see [4]). This connection has been essential in the construction of quantum invariants of knots and 3-manifolds from quantum groups, see [2,5].
Turaev proposed the following open problem in [4]; Can one systematically produce interesting modular -categories?
Examples of such modular -categories can be constructed from the so-called Hopf π-(co)algebras which can be regarded as a generalization of a Hopf algebra, see [6,7,8]. At present, many research works have been done for Hopf -(co)algebras, such as Turaev’s Hopf group-coalgebras (cf. [9]), group coalgebra Galois extensions (cf. [10]), Larson-Sweedler theorem (cf. [11]), twisted Drinfel’d doubles (cf. [12]), double construction and Yetter-Drinfel’d modules (cf. [13,14,15]). We mention that a Hopf -coalgebra can be regarded as a -cograded multiplier Hopf algebra, see [16].
In 2010, Klim and Majid in [17] introduced the notion of a Hopf (co)quasigroup which is a particular case of the notion of an H-bialgebra introduced in [18]. The further research of this mathematical object can be found in the references about many topics, such as Hopf modules (cf. [19]), actions (cf. [20]), twisted smash products (cf. [21]), Yetter–Drinfel’d modules (cf. [22]), and Hopf quasicomodules (cf. [23]).
To highlight Turaev’s achievements on the modular -categories, in this article we prefer using the notion of a braided T-category (over ) appeared in [13] to using a modular -category [6]. We will provide a new approach to a braided T-category (over ) based on the notion of a quasitriangular Hopf (non)coassociative -algebra.
An outline of the paper is as follows.
Section 2 provides some preliminary background needed in the paper, such as group-algebras, group-convolution algebras, Hopf group-algebras and Turaev’s braided categories.
In Section 3, we give a new characterization of Hopf group-algebras based on the idea from [24,25]. We mainly prove that is a Hopf -algebra if and only if is a -algebra homomorphism and the right and left -Galois maps are bijective.
In Section 4, we introduce and study the notion of a Hopf non-coassociative -algebra which is a large class of coalgebras (possibly non-coassociative) with group-algebraic structures unifying the notions of a classical Hopf algebra, a Hopf -algebra and a Hopf coquasigroup. We study its algebraic properties, such as anti-(co)multiplicativity of the antipode.
In Section 5 we mainly study the notion of a crossed Hopf non-coassociative -algebra and give some properties of the crossing map. In addition, in Section 6, we discuss the definition and properties of an almost cocommutative Hopf non-coassociative -algebra and obtain its equivalent characterization.
In the final section, we will introduce and discuss the definition of a quasitriangular Hopf non-coassociative -algebra H and study some main properties of H. We construct a new braided T-category over H.
Throughout the paper, we let be a fixed group and be a field (although much of what we do is valid over any commutative ring). We use the Sweedler’s notation to express the coproduct of a coalgebra C as (cf. [26]).
We set . All algebras are supposed to be over and unitary, but not necessarily associative. The tensor product is always assumed to be over . If U and V are -spaces, will denote the flip map defined by .
We use for the identity map on U, although sometimes, we also write U for this map. We use for the map . The identity element in a quasigroup is denoted by e.
2. Preliminaries
In this section, we recall some basic notions used later, such as group-algebras, group-convolution algebras, Hopf group-algebras and braided T-categories.
2.1. Group-Algebras
We recall the definition of a -algebra, following [4]. A -algebra (over ) is a family of -spaces endowed with a family of -linear maps (the multiplication) and a -linear map (the unit) such that m is associative in the sense that, for any
Note that is an algebra in the usual sense of the word.
For all , we write . The associativity axiom gives that
Set . The unit axiom gives that
For all , the -space is called the -th component of A.
A -algebra morphism between two -algebras A and (with multiplications m and , respectively) is a family of -linear maps such that and for all . The -algebra isomorphism is a -algebra morphism in which each is a linear isomorphism.
Set and . Then comes a -algebra with the same unit element 1 as in A and the multiplication given by .
2.2. Group-Convolution Algebra
Let be a -algebra and be a (not necessarily coassociative) coalgebra with comultiplication and counit . For any and , we define their convolution product by
Using Equation (3), one verifies that the -space
endowed with the convolution product ∗ and the unit element , is called π-convolution algebra, which is not necessarily a coassociative -graded algebra.
In particular, for , the associative -graded algebra is denoted by .
2.3. Hopf Group-Algebras
Recall from [3] that a Hopf group-algebra over is a -algebra , endowed with a family of -linear maps (the antipode) such that the following conditions hold:
Let be a Hopf -algebra. Then
2.4. Braided T-Categories
Let be a group. A pre-T-category (over π) is given by the following datum:
- A tensor category .
- A family of sub categories such that is a disjoint union of this family and that , for any and .Furthermore, satisfies the following condition:
- Denote by the group of the invertible strict tensor functors from to itself, a group homomorphism the conjugation such that for any . Then we call a crossed T-category.
We will use the left index notation in Turaev: Given and an object , the functor will be denoted by or . We use the notation for . Then we have and . We remark that since the conjugation is a group homomorphism, for any , we have and and that since, for any , the functor is strict, we have , for any morphism f and g in , and . In addition, we will use for a set of morphisms (or arrows) from U to V in .
Recall from [13] or [6] that a braided T-category (over ) is a crossed T-category endowed with a braiding, i.e., with a family of isomorphisms
satisfying the following conditions:
- ⋅
- for any arrow with , , we have
- ⋅
- for all , we have
- ⋅
- for any , , .
3. A New Characterization of Hopf Group-Algebras
Based on the idea from [24,25], in this section we mainly show that H is a Hopf -algebra if and only if is a -algebra homomorphism and the right and left -Galois maps both have inverses.
Proposition 1.
If H is a Hopf π-algebra, then the families of linear maps (called the left π-Galois map) and (called the right π-Galois map), defined, respectively, by
are bijective.
Proof.
Define two families of linear maps
respectively, by
By a straightforward application of the properties of S one can show that is the inverse of and that is the inverse of . □
If the antipode S has an inverse, then also the other families of linear maps, defined by
are bijections. This follows, e.g., from the fact that will be the antipode if we set as an algebra and replace by the opposite comultiplication .
We now discuss some results if is a unital, but not necessarily associative, group algebra over with a family of coassociative comultiplications, a family of linear maps, such that the families of linear maps and are bijections.
Define a family of maps by
where denotes multiplication, considered as a linear map from to and where is defined as before by .
Lemma 1.
For all , we have .
Proof.
By the coassociativity of , one can easily obtain
Assume and, since is surjective, let
If we apply and then multiply with to the both sides of the above equation, where , on the left, by the direct conclusion of coassociativity given above, we can obtain
By the definition of we get
So
Because this holds for all , we get
This gives the required formula. □
Lemma 2.
.
Proof.
By the surjectivity of , defined by , we see that for all a in and b in . This gives the result. □
Define a family of linear maps
by .
Remark 1.
The formula in Lemma 1 can be rewritten as
It can be concluded that the associativity of holds if and only if .
By the definition of , we also get
and, by the surjectivity of ; hence,
These formulas just mean
It shows that, for any , is a coalgebra.
Define a family of maps by where denotes multiplication, considered as a linear map from to and where is defined as before by .
Similar to Lemmas 1 and 2, we have
Lemma 3.
For all and , we have .
Lemma 4.
.
Define a family of linear maps
by .
Remark 2.
The formula in Lemma 3 can be rewritten as
It can be concluded that the associativity of holds if and only if .
By the definition of , we also get
and, by the surjectivity of ; hence,
These formulas just mean
It shows that, for any , is a coalgebra.
Due to the loss of the associativity of , the counit family is not necessarily a -algebra homomorphism even when is a -algebra homomorphism. From now on, every group algebra will tacitly be assumed to carry the associativity of its multiplication and we also suppose that is a -algebra homomorphism.
We will show that satisfies the usual properties of the counit family in Hopf group-algebra theory.
Lemma 5.
is a π-algebra homomorphism.
Proof.
By Lemma 1, we have
for all . Then
By the surjectivity of we get
for all . Again by the surjectivity of we get
This means
Set and , we have
Since , we obtain
whereby . □
Remark that, by a similar reasoning, we can also claim that is a -algebra homomorphism.
In fact, for all , . In order to check this result, we need the following lemma.
Lemma 6.
For all , .
Proof.
Assume and, since is surjective, let
Hence,
□
Lemma 7.
For all , .
Proof.
For all , by the definition of F, we have
By Lemma 6, we also get
It follows that . □
We have constructed a counit family satisfying the usual properties of the counit family in Hopf group-algebra theory.
We will construct an antihomomorphism that has the properties of the antipode in the Hopf group-algebra theory.
Definition 1.
Define a family of linear maps by
for all .
Lemma 8.
Proof.
As in the proof of Lemma 1, for and , we get
if . Then, by the definition of S, we get
Hence,
This is true for all and hence proves the result. □
Lemma 9.
For all and , we have
Proof.
We get this formula if we apply on the equation in Lemma 8 because
□
Lemma 10.
for all and .
Proof.
We have
for all and . By the surjectivity of , we get
for all and . Again by the surjectivity of , we get
whence □
Define another one family of linear maps by
for all .
Completely similar as in Lemma 8, we get here that
Lemma 11.
.
Lemma 12.
Proof.
By Lemma 11, we get
And if we apply to the both sides of the above equation, we get the formula in the statement of the lemma with instead of S because
We now show that . Indeed, we have, by definition,
if . If we apply and multiply with to the both sides of the equation: , we get
And if we apply to the both sides of the above equation, we obtain, using Lemma 9, that
This shows that . This proves the lemma; the formula was already proven for . □
Apropos of Lemmas 9 and 12, by setting and , we have the usual formulas
We have constructed an antihomomorphism that has the properties of the antipode in the Hopf group-algebra theory.
From the above discussion, we get the following the main result.
Theorem 1.
If is a unital associative group algebra over with a family of coassociative comultiplications, then H is a Hopf π-algebra if and only if Δ is a π-algebra homomorphism and the right and left π-Galois maps both have inverses.
4. Hopf (Non)coassociative Group-Algebras
We begin by the main definition of this paper which is slightly dual to the notion of a quasigroup Hopf group-coalgebra studied in [27].
Definition 2.
A Hopf non-coassociative group-algebra over π is a π-algebra , endowed with a family of -linear maps (the antipode) such that the following conditions hold:
We remark that the notion of a Hopf non-coassociative group-algebra is not self-dual and that is a (classical) Hopf coquasigroup. Let , is a (classical) Hopf coquasigroup. One can easily verify that a Hopf non-coassociative group-algebra is a Hopf -algebra if and only if its coproduct is coassociative.
In this paper, a Hopf non-coassociative group-algebra over is called Hopf non-coassociative π-algebra.
Remark 3.
Definition 3.
Let H be a Hopf non-coassociative group-algebra. Then, for all and ,
- (1)
- H iscommutativeif.
- (2)
- H iscocommutativeif each is cocommutative.
- (3)
- H isflexibleif
- (4)
- H isalternativeif
- (5)
- H is calledMoufangif
A Hopf non-coassociative group-algebra H is said to be of finite type if, for all is finite dimensional (over ). Note that it does not mean that is finite-dimensional (unless , for all but a finite number of ).
The antipode of H is said to be bijective if each is bijective. We will later show that it is bijective whenever H is quasitriangular (see Theorem 12).
Example 1.
Let be a Hopf coquasigroup and the group π act on H by Hopf coquasigroup endomorphisms.
- (1)
- Set where the coalgebra is a copy of H for each . Fix an identification isomorphism of coalgebras . For , one defines a multiplication byfor any . The counit is defined by for . For any , the antipode is given by . All the axioms of a Hopf non-coassociative π-algebra for follow directly from definitions.
- (2)
- Let be the same family of coalgebras with the same counit, the multiplication and the antipode defined bywhere . The axioms of a Hopf non-coassociative π-algebra for follow from definitions. Both and are extensions of H since as Hopf coquasigroups.
Example 2.
- (1)
- Let be a π-algebra. SetThen is a π-algebra, called opposite to A.If is a Hopf non-coassociative group-algebra whose antipode is bijective, then the opposite π-algebra , where as a coalgebra, is a Hopf non-coassociative π-algebra with antipode .
- (2)
- Let be a Hopf non-coassociative π-algebra. Suppose that the antipode of H is bijective. For any , let be the coopposite coalgebra to . Then , endowed with the multiplication and unit of H and with the antipode , is a Hopf non-coassociative π-algebra called coopposite to H.
- (3)
- Let be a Hopf non-coassociative π-algebra. Even if the antipode of H is not bijective, one can always define a Hopf non-coassociative π-algebra opposite and coopposite to H by setting
Definition 4.
Let and be Hopf non-coassociative π-algebras. A Hopf non-coassociative π-algebra morphism between H and is a π-algebra morphism between H and such that, for any is a coalgebra morphism and . The Hopf non-coassociative π-algebra isomorphism is a Hopf non-coassociative π-algebra morphism in which each is a linear isomorphism.
Let us first remark that, when is a finite group, there is a one-to-one correspondence between (isomorphic classes of) -algebras and (isomorphic classes of) -graded algebras. Recall that an algebra is -graded if A admits a decomposition as a direct sum of -spaces such that
Let us denote by the canonical injection. Then is a -algebra with multiplication and unit . Conversely, if is a -algebra, then is a -graded algebra with multiplication and unit given on the summands by
Let now be a Hopf non-coassociative group-algebra, where is a finite group. Then the algebra defined as above, is a Hopf coquasigroup with comultiplication , counit element , and antipode given by
In what follows, we study structure properties for a Hopf non-coassociative -algebra.
Theorem 2.
Let be a Hopf non-coassociative π-algebra. Then
Proof.
Equation (19) is directly obtained by applying to Equation (17) in the definition of a Hopf nonassociative -coalgebra. We now show Equation (20) as follows:
Thus,
To show Equation (22), for all, , we have that
Thus,
Corollary 1.
The antipode of a Hopf non-coassociative π-algebra is unique.
Proof.
If are two antipodes on a Hopf non-coassociative -algebra H, then they are equal in that, for any and ,
□
Corollary 2.
Let be a Hopf non-coassociative π-algebra with the antipode . Then is the unique convolution inverse of in the convolution algebra , for all .
Proof.
Equation (19) says that is a convolution inverse of in the convolution algebra , for all . Fix . Let be a right convolution inverse of in the convolution algebra . For all , we compute
Fix . Let now be a left convolution inverse of in the convolution algebra . Similarly, we have . Therefore, is the unique convolution inverse of in the convolution algebra , for all . □
Similarly, one can get
Corollary 3.
Let be a Hopf non-coassociative π-algebra with the antipode . Then is the unique convolution inverse of in the convolution algebra , for all .
Corollary 4.
Let be a Hopf non-coassociative π-algebra. Then is a subgroup of π.
Proof.
Set . Since , we first have , i.e., , and so .
Now let whereby , then there exists Using Equation (13), one can see that . It follows that . Then let . In a similar manner, one can also obtain that . Thus, , i.e., and so .
Finally, let . By Equation (23), . Therefore and hence . □
The following theorem sheds considerable light on the concept of a Hopf non-coassociative -algebra morphism.
Theorem 3.
Let and be Hopf non-coassociative π-algebras. A π-algebra morphism between H and such that, for any is a coalgebra morphism satisfies , for all .
Proof.
Consider the convolution inverse of in the convolution algebra ,
whence is a left convolution inverse of in the convolution algebra ,
whence is a right convolution inverse of in the convolution algebra ,
from which we obtain . This completes the proof. □
By looking into the proof of Theorem 3, we note that and are convolution inverses in the convolution algebra . More precisely, we claim:
Corollary 5.
If is a Hopf non-coassociative π-algebra morphism between H and . Then:
- (1)
- is the unique convolution inverse of in the convolution algebra ;
- (2)
- is the unique convolution inverse of in the convolution algebra .
Proof.
We first establish part (1). Fix . Let be a right convolution inverse of in the convolution algebra .
Fix . Let now be a left convolution inverse of in the convolution algebra . Similarly, we have .
is therefore the unique convolution inverse of in the convolution algebra , for all .
We now turn to part (2). Fix . Let be a right convolution inverse of in the convolution algebra .
Fix . Let now be a left convolution inverse of in the convolution algebra . Similarly, we have . Therefore, is the unique convolution inverse of in the convolution algebra , for all . □
The following two corollaries can be directly deduced from Theorems 2 and 3.
Corollary 6.
If H is a Hopf non-coassociative π-algebra, then the map (where both are opposite and ) is a Hopf non-coassociative π-algebra isomorphism.
Corollary 7.
If H is a Hopf non-coassociative π-algebra with an invertible antipode S, then the map (where both are opposite and ) is a Hopf non-coassociative π-algebra isomorphism.
Theorem 4.
Let H be a Hopf non-coassociative π-algebra. Then for any if H is commutative or cocommutative.
Proof.
For any . Let . If H is commutative, we have
It follows that
Similar to the case of H being cocommutative. □
Theorem 5.
Let H be a Hopf non-coassociative π-algebra such that each exists, for all . Then the following identities are equivalent:
- (1)
- , for all .
- (2)
- , for all .
- (3)
- , for all .
Proof.
Let and We have
If holds, we then find that , which implies that holds.
If is satisfied, then one has
Applying to the second tensor factor we obtain
So holds since S is bijective.
We have shown
Similarly one proves □
Theorem 6.
Let H be a Hopf non-coassociative π-algebra with a bijective antipode S and the composite inverse to S. Then
for all and .
Proof.
The proof is straightforward. □
Theorem 7.
Let H be a Hopf non-coassociative π-algebra such that each exists, for all . Then the following identities are equivalent:
- (1)
- (2)
- (3)
Proof.
Let . Then
Similarly, implies
Similarly, implies □
We have observed that if H is a Hopf non-coassociative -algebra with antipode S then is a Hopf non-coassociative -algebra with antipode . Furthermore, the following theorem says, if or is a Hopf non-coassociative -algebra, then S is bijective, and vice versa.
Proposition 2.
Suppose that H is a Hopf non-coassociative π-algebra with antipode S over the field . Then the following are equivalent:
- (a)
- is a Hopf non-coassociative π-algebra.
- (b)
- is a Hopf non-coassociative π-algebra.
- (c)
- S is bijective.
If S is bijective, then and have antipodes and , respectively.
Proof.
Since and , the parts (a) and (b) are equivalent.
If the part (c) holds, then it is easy to check that Part (a) holds. Conversely, suppose that is a Hopf non-coassociative -algebra with antipode . Then , or equivalently, , for . Applying to the left-hand side of the above equation, we have
Replacing h with in this equation, one has
or equivalently,
Therefore and are both left inverses of in the convolution algebra . It follows from Corollary 3 that which establishes that the part (a) implies that the part (c). □
Theorem 8.
Let H be a commutative flexible Hopf non-coassociative π-algebra. Then
Proof.
. Since H is flexible, we have that
□
In the end of this section, we study how to construct an coassociator for any Hopf non-coassociative -algebra.
Definition 5.
In any Hopf non-coassociative π-algebra, we define the coassociator
for all and .
Remark 4.
For the next theorem, we will use some convenient notation. Let H be a Hopf non-coassociative π-algebra. we write
Theorem 9.
Let H be a Hopf non-coassociative π-algebra. Then
- (1)
- The associator exists and is uniquely determined as.
- (2)
- (3)
- (4)
- (5)
Proof.
The proof of this theorem consists of a long tedious computation. We just show readers as follows for the part (1). The other are similar.
, we have that
and
□
5. Crossed Hopf Non-Coassociative -Algebras
In this section we mainly study the notion of a crossed Hopf non-coassociative -algebra and give some properties of the crossing map.
Definition 6.
A Hopf non-coassociative π-algebra is said to be crossed provided it is endowed with a family of -linear maps (the cocrossing) such that
The following result is straightforward.
Lemma 13.
Let H be a crossed Hopf non-coassociative π-algebra with cocrossing φ. Then
- (a)
- for all
- (b)
- for all
- (c)
- φ preserves the antipode, i.e., for all
- (d)
- if is a left (resp. right) π-integral in H and , then is also a left (resp. right) π-integral on H;
- (e)
- if is a π-grouplike element of H and , then is also a π-grouplike element of H.
Let H be a crossed Hopf non-coassociative -algebra with cocrossing . If the antipode of H is bijective, then the opposite (resp. coopposite) coquasigroup Hopf -algebra to H (see Example 2) is crossed with cocrossing given by
for all .
Let be a crossed Hopf non-coassociative -algebra. Similar to ([4], Section 11.6), its mirror is defined by the following procedure: set as a coalgebra, , , , . It is also a crossed Hopf non-coassociative -algebra.
6. Almost Cocommutative Hopf Non-Coassociative -Algebras
The aim of this section is to discuss the definition and properties of an almost cocommutative Hopf non-coassociative -algebra and to obtain its equivalent condition.
Definition 7.
A crossed Hopf non-coassociative π-algebra with a bijective antipode S is called almost cocommutative if there exists a family of invertible elements (the R-matrix) such that, for any and ,
and the family R is invariant under the crossing, i.e., for any ,
Note that is an almost cocommutative Hopf coquasigroup. It is customary to write for .
Equation (28) in Definition 7 can be written equivalently as:
for any and .
It is obvious that, for any ,
The family is therefore invariant under the crossing, i.e., for any ,
Our first proposition generalizes the basic fact about almost cocommutative Hopf non-coassociative -algebras.
Note that is an almost cocommutative Hopf coquasigroup. It is customary to write for .
Our first proposition generalizes the basic fact about almost cocommutative Hopf non-coassociative -algebras.
Proposition 3.
Let H be a crossed Hopf non-coassociative π-algebra, and V, W left π-modules over H, then is also a left π-module over H. If H is almost cocommutative, then as left π-modules over H.
Proof.
Similar as in the Hopf coquasigroup case, we define
for all and , . It is easy to see that is a left -module over H. If H is almost cocommutative with . Then for all , , define
By Equation (28), is an isomorphism with inverse given by
where . □
Recall from Theorem 4 that if H be cocommutative, then . This fact can also be generalized.
Proposition 4.
Let H be an almost cocommutative Hopf non-coassociative π-algebra. Then is an inner automorphism of H. More precisely, let , where . Then, we have
- (1)
- is invertible, , and ;
- (2)
- is relatively central for ;
- (3)
- .
Proof.
We first show that , for all . Since H be almost cocommutative, we have
i.e.,
Thus
Since S is antimultiplicative, hence
i.e.,
Following the axiom (16) of Hopf non-coassociative -algebra, we have
The following two equalities can be verified in a similar way.
We next show that is invertible. Write . Applying to both sides of yields from which follows by Equation (30). Observe that we have not used the fact that S is bijective at this point. Since S is bijective we can use Equation (32) to calculate . We have shown that has a left inverse and a right inverse. is therefore invertible. By Equations (30)–(32), the three equations below can be therefore deduced:
Applying to Equation (33) and replacing h by yields the formula .
Applying to Equation (34) and replacing h by gives rise to the formula .
Applying to Equation (35) and replacing h by gives birth to the formula .
To check that is relatively central for , we will prove that for all , .
Let , then
and
So
i.e., for all .
To check that is relatively central for , we will prove that for all , .
Let , then
and
So
i.e., for all .
To check that is relatively central for , we will prove that for all , .
Let , then
and
So
i.e., for all .
This completes the proof. □
Corollary 8.
- (1)
- ;
- (2)
- ;
- (3)
- . In particular, and commute;
- (4)
- . In particular, and commute;
- (5)
- .
Proof.
Part (1) is straightforward from Proposition 4. Apropos of part (2), we calculate as follows:
and also
Thus and are inverses, from which .
To show part (3), we use part (1) and Proposition 4 to calculate
whereby and commute.
To establish part (4), we use part (3) to make the following calculation:
whereby and commute.
It remains to check part (5). Observe that
and also that
Thus and are inverses.
It follows from Proposition 4 that
□
Corollary 9.
.
Proof.
We first show that , for all . Since H is almost cocommutative, we have
i.e.,
Thus
Using that S is antimultiplicative we have
i.e.,
Following the axiom (16) of coquasigroup Hopf -algebra, we have
It follows that
Applying to this expression and replacing h by yields the following calculation:
or equivalently, . □
Corollary 10.
For any , for all . In particular, is a central element of H.
Proof.
Let , then
and
So
i.e., for all . □
It is well-known that the two equivalent conditions for a Hopf coquasigroup to be almost cocommutative have been obtained in [17]. Next in a similar way we will prove one equivalent condition for a Hopf non-coassociative -algebra to be almost cocommutative.
Set , , , and . Recall from the statement (3) in Example 2 that
is again a Hopf non-coassociative -algebra where we write .
We can now define -module actions of on by
for all , and , .
Fix , and define -module actions of H on by
for all , , and .
It is easy to check that
whereby
for all and .
Therefore, we can define
for all and . It is obvious that
Next we will prove that there is a close relationship between the -module actions and of H on .
Lemma 14.
We have , for all and .
Proof.
Let and , then
The third equality follows from the axioms of a coquasigroup Hopf -algebra. □
Now, we give an equivalent condition for a Hopf non-coassociative -algebra to be almost cocommutative, provided the family R is invariant under the crossing.
Proposition 5.
Let H be a Hopf non-coassociative π-algebra and . Define by , . Give the π-module structures over H described above. Then the following are equivalent:
- (1)
- for all and , we have
- (2)
- for all and , we havewhere is formally similar to the π-module action and is an associated function defined by , for any .
Proof.
For all , and ,
Since , thus
It follows that
for all , and .
For all , and , we have
Thus
i.e.,
Then we have
This completes the proof. □
The following corollary is a direct conclusion.
Corollary 11.
Let H be an almost cocommutative Hopf non-coassociative π-algebra with an invertible antipode S. Then , for all .
7. Quasitriangular Hopf Non-Coassociative -Algebras
In the current section, we will introduce and discuss the definition of a quasitriangular Hopf non-coassociative -algebra and study its main properties. We construct a new Turaev’s braided monoidal category over a quasitriangular Hopf non-coassociative -algebra H.
Definition 8.
Note that is a (classical) R-matrix for the Hopf coquasigroup .
We find that a quasitriangular Hopf non-coassociative -algebra also constructs a solution to the generalized quantum Yang–Baxter equation and a much stronger property of its antipode holds which are similar as a quasitriangular Hopf coquasigroup in [23].
Example 3.
Let H be a quasitriangular Hopf non-coassociative π-algebra with R-matrix .
- (1)
- We can consider the coopposite crossed Hopf non-coassociative π-algebra to H. It is quasitriangular by setting .
- (2)
- Consider again the coopposite crossed Hopf non-coassociative π-algebra to H. It is quasitriangular by setting .
Lemma 15.
If is quasitriangular, then the following additional properties hold:
- (1)
- ;
- (2)
- ;
- (3)
- ;
- (4)
- .
Proof.
We only need to show part (1) since the proof of other parts is similar. Applying to both sides of Equation (37), we obtain whence . □
Lemma 16.
Let be a quasitriangular Hopf non-coassociative π-algebra, and write . Then, for any , is invertible. More precisely, we have .
Proof.
Theorem 10.
Let be a quasitriangular Hopf non-coassociative π-algebra, and write . Then is invertible and .
Proof.
Applying to both sides of Equation (37) yields:
or equivalently,
Multiplying both sides on the left by , by using Lemma 15, we obtain
Hence, follows by the invertiblity of .
Applying to both sides of Equation (37) yields:
or equivalently,
Multiplying both sides on the right by , by using Lemma 15, we obtain
Hence, follows by the invertiblity of .
Therefore is invertible and . □
Theorem 11.
If is quasitriangular, then the following additional properties hold:
- (1)
- ;
- (2)
- ;
- (3)
- ;
- (4)
- satisfies the generalized quantum Yang–Baxter equation:
Proof.
We first establish part (1). Using Lemma 15 and Theorem 10, we apply to both sides of Equation (36) to obtain
i.e., . Thus part (1) follows by setting .
Parts (2) and (3) follow directly from part (1) and Theorem 10.
To show part (4), we use Equation (37) to calculate
Thus satisfies the generalized quantum Yang–Baxter equation. □
Proposition 6.
Let be a quasitriangular Hopf non-coassociative π-algebra. For any , set . Then is invertible, , , and , for all .
Proof.
The calculations in the proof of Corollary 9 and Proposition 4 showed that holds and where as well as . Let . Then and by Theorems 10 and 11. Let . Then . Now by Theorem 11. Therefore, . Since
it follows that and commute. Consequently
We have shown that has a left inverse and also has a right inverse. Therefore is invertible. As and hold, our proof is complete. □
Definition 9.
Let be a quasitriangular Hopf non-coassociative π-algebra over . The Drinfel’d element of is the element of Proposition 6. The quantum Casimir element of H is the family of products.
Theorem 12.
Let be a quasitriangular Hopf non-coassociative π-algebra with the antipode S. Then S is bijective; thus H is almost cocommutative.
Proof.
We set . Using Proposition 6 we have
and similarly for , , and .
This means that is an antipode on and hence the inverse of the antipode S on H according to Proposition 2. □
The following reconciles the original definition of quasitriangular Hopf non-coassociative -algebra with the one given here.
Proposition 7.
Let H be a crossed Hopf non-coassociative π-algebra over and . Then the following are equivalent:
- (a)
- is quasitriangular.
- (b)
- H is almost cocommutative, where is invertible and satisfies Equations (36) and (37).
Proof.
What the entire preceding discussion illustrates is the following equivalent characterization for a quasitriangular Hopf non-coassociative -algebra:
Definition 10.
Corollary 12.
Let be a quasitriangular Hopf non-coassociative π-algebra with a bijective antipode S, then
- (1)
- ;
- (2)
- for all , where and ;
- (3)
- for all , where and ;
- (4)
- for all , where and ;
- (5)
- and .
Proof.
Apropos of part (1). Write . Consider the calculation:
from which we obtain . We use Theorem 11 to obtain , or equivalently by the bijectivity of S, thus leading to the formula:
To establish part (2), observe from Proposition 4 that is invertible and for all , then
or equivalently for all . Similarly for parts (3) and (4). Part (5) follows from the calculations below:
and
□
Corollary 13.
for all and , where .
Proof.
Observe from Propositon 4 and Corollary 9 that is invertible and for all , then
or equivalently for all . □
Proposition 8.
Let be a quasitriangular Hopf non-coassociative π-algebra with antipode S over and let be the Drinfel’d element of . If the second tensor factor of is coassociative, then the following hold:
- (a)
- and .
- (b)
- .
- (c)
- .
- (d)
- is a group-like element of .
Proof.
To show part (a), we write . Therefore .
Applying and to both sides of Equation (36), respectively, we obtain
Using Proposition 6 and part (1) of Theoerm 11, we calculate
and thus
Since H is quasitriangular, S is bijective by Theorem 12. Write . By Equations (28) and (29), we have
from which we derive the commutation relation:
Applying to both sides of , which follows from Theorem 10, and using part (1) of Theorem 11, we obtain
Using Equations (40)–(42) as well as part (1) of Theorem 11 again, we continue our calculation of
from which we also have
Moreover,
We have established part (a).
To see parts (b) and (c), we deduce from part (a) that
and the two factors commute; thus
and the two factors commute.
It remains to establish part (d). Consider the following calculation:
□
In [28], the twisting theory for quasitriangular Hopf algebras was studied by a 2-cocycle. By using the dual of cocycle (called a 2-cocycle), multiplication alteration for bialgebras was investigated in [29,30]. In what follows, we will introduce the definition of 2-cocycle for Hopf non-coassociative -algebra.
Definition 11.
Let be a crossed Hopf non-coassociative π-algebra. If there exists a family of invertible elements (the R-matrix) such that, the family R is invariant under the crossing, i.e., for any ,
and, for any ,
i.e.,
Then R is called a 2-cocycle.
From Theorem 11, it is easy to see that a quasitriangular Hopf non-coassociative -algebra is a crossed Hopf non-coassociative -algebra with a 2-cocycle.
Definition 12.
Let H be a Hopf non-coassociative π-algebra. We say that a family of is aπ-representationover H if M has a right π-module structure, it means that there is a family
of -linear maps (the π-action), such that ψ is associative in the sense that, for any
We shall associate with every Hopf non-coassociative -algebra a category of -representations which has a natural structure of a -category.
Explicitly, for any , by an object in the category we mean a vector space is a right H-module with a structure:
The category is the disjoint union of the categories where is the category of H-modules and H-linear homomorphisms. By Proposition 3, the tensor product and the unit object in are defined in the usual way using the comultiplication and the unit 1. That is,
for any and .
The associativity morphisms are the standard identification isomorphisms.
Furthermore, let be a quasitriangular Hopf -quasialgebra. The automorphism of H defines an automorphism, of .
If is in , then has the same underlying vector space as M and each acts as multiplication by . Every -homomorphism is mapped to itself considered as a -homomorphism. It is easy to check that is a crossed -category (see [4]).
A universal R-matrix in H induces a braiding in as follows. For and , the braiding
is the composition of multiplication by , permutation . The conditions defining a universal R-matrix ensure that is a braiding.
We now obtain
Theorem 13.
Let H be any quasitriangular Hopf non-coassociative π-algebra. Then the category of π-representations is a braided T-category.
Author Contributions
Conceptualization, S.Z. and S.W.; methodology, S.Z. and S.W.; investigation, S.Z. and S.W.; resources, S.Z. and S.W.; writing—original draft preparation, S.Z. and S.W.; writing—review and editing, S.Z. and S.W.; visualization, S.Z. and S.W. All authors have read and agreed to the published version of the manuscript.
Funding
This research was funded by the National Natural Science Foundation of China (Grant No. 11871144).
Institutional Review Board Statement
Not applicable.
Informed Consent Statement
Not applicable.
Data Availability Statement
Data sharing is not applicable to this article as no new data were created or analyzed in this study.
Acknowledgments
The authors are very grateful to the anonymous referee for his/her thorough review of this work and his/her comments. The second author thanks the financial support of the National Natural Science Foundation of China (Grant No. 11871144).
Conflicts of Interest
The authors declare no conflict of interest.
References
- Witten, E. Topological quantum field theory. Commun. Math. Phys. 1988, 117, 353–386. [Google Scholar] [CrossRef]
- Turaev, V. Quantum Invariants of Knots and 3-Manifolds; De Gruyter Studies in Mathematics; Walter de Gruyter: Berlin, Germany, 1994; Volume 18, p. 588. [Google Scholar]
- Turaev, V. Homotopy field theory in dimension 2 and group-algebras. arXiv 1999, arXiv:math/9910010. [Google Scholar]
- Turaev, V. Homotopy field theory in dimension 3 and crossed group-categories. arXiv 2000, arXiv:math/0005291. [Google Scholar]
- Reshetikhin, N.; Turaev, V. Invariants of 3-manifolds via link polynomials and quantum groups. Invent. Math. 1991, 103, 547–597. [Google Scholar] [CrossRef]
- Turaev, V. Homotopy Quantum Field Theory; European Mathematical Society Publishing House: Zurich, Switzerland, 2010. [Google Scholar]
- Virelizier, A. Hopf group-coalgebras. J. Pure Appl. Algebra 2002, 171, 75–122. [Google Scholar] [CrossRef]
- Turaev, V. Crossed group-categories. Arab. J. Forence Eng. 2008, 2, 483–503. [Google Scholar]
- Caenepeel, S.; Lombaerde, M.D. A categorical approach to Turaev’s Hopf group-coalgebras. Commun. Algebra 2006, 34, 2631–2657. [Google Scholar] [CrossRef]
- Wang, S.H. Group Entwining Structures and Group Coalgebra Galois Extensions. Commun. Algebra 2004, 32, 3437–3457. [Google Scholar] [CrossRef]
- Buckley, M.; Fieremans, T.; Vasilakopoulou, C.; Vercruysse, J. A Larson-Sweedler theorem for Hopf V-categories. Adv. Math. 2021, 376, 107456. [Google Scholar] [CrossRef]
- Wang, S.H. Turaev Group Coalgebras and Twisted Drinfel’d Double. Indiana Univ. Math. J. 2009, 58, 1395–1418. [Google Scholar] [CrossRef]
- Panaite, F.; Staic, M.D. Generalized (anti) Yetter-Drinfel’d modules as components of a braided T-category. Isr. J. Math. 2007, 158, 349–365. [Google Scholar] [CrossRef][Green Version]
- Zunino, M. Double Construction for Crossed Hopf Coalgebras. J. Algebra 2005, 278, 43–75. [Google Scholar] [CrossRef][Green Version]
- Zunino, M. Yetter-Drinfel’d modules for crossed structures. J. Pure Appl. Algebra 2004, 193, 313–343. [Google Scholar] [CrossRef][Green Version]
- Delvaux, L.; Daele, A.V.; Wang, S.H. Quasitriangular ( G-cograded) multiplier Hopf algebras. J. Algebra 2005, 289, 484–514. [Google Scholar] [CrossRef]
- Klim, J.; Majid, S. Hopf quasigroups and the algebraic 7-sphere. J. Algebra 2010, 323, 3067–3110. [Google Scholar] [CrossRef]
- Pérez-Izquierdo, J.M. Algebras, hyperalgebras, nonassociative bialgebras and loops. Adv. Math. 2007, 208, 834–876. [Google Scholar] [CrossRef]
- Brzeziński, T. Hopf modules and the fundamental theorem for Hopf (co)quasigroups. Int. Electron. J. Algebra 2010, 8, 114–128. [Google Scholar]
- Brzeziński, T.; Jiao, Z.M. Actions of Hopf quasigroups. Commun. Algebra 2012, 40, 681–696. [Google Scholar] [CrossRef][Green Version]
- Fang, X.L.; Wang, S.H. Twisted smash product for Hopf quasigroups. J. Southeast Univ. (Engl. Ed.) 2011, 27, 343–346. [Google Scholar]
- Álvarez, J.N.A.; Vilaboa, J.M.F.; Rodríguez, R.G.; Calvo, C.S. Projections and Yetter–Drinfel’d modules over Hopf (co)quasigroups. J. Algebra 2015, 443, 153–199. [Google Scholar] [CrossRef]
- Gu, Y.; Wang, S.H. Hopf quasicomodules and Yetter-Drinfel’d quasicomodules. Commun. Algebra 2019, 48, 351–379. [Google Scholar] [CrossRef]
- Daele, A.V. Multiplier Hopf Algebras. Trans. Am. Math. Soc. 1994, 342, 917–932. [Google Scholar] [CrossRef]
- Daele, A.V. An Algebraic Framework for Group Duality. Adv. Math. 1998, 140, 323–366. [Google Scholar] [CrossRef]
- Sweedler, M.E. Hopf Algebras; Benjami: New York, NY, USA, 1969. [Google Scholar]
- Zhang, S.L.; Wang, S.H. Fundamentals of quasigroup Hopf group-coalgebras. J. Southeast Univ. Engl. Ed. 2021, 37, 114–118. [Google Scholar]
- Gurevich, D.; Majid, S. Braided groups of Hopf algebras obtained by twisting. Pac. J. Math. 1994, 162, 27–44. [Google Scholar] [CrossRef]
- Doi, Y. Braided bialgebras and quadratic blalgebras. Commun. Algebra 1993, 21, 1731–1749. [Google Scholar] [CrossRef]
- Doi, Y.; Takeuch, M. Multiplication alteration by two-cocycles—The quantum version. Commun. Algebra 1994, 22, 5715–5732. [Google Scholar] [CrossRef]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations. |
© 2022 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).