Reach Us
+44-1522-440391

**Micho ÐURÐEVICH ^{*}**

Instituto de Matemáticas, UNAM, Area de la Investigacion Científica, Circuito Exterior, Ciudad Universitaria, México DF, CP 04510, Mexico

- *Corresponding Author:
- Micho ÐURÐEVICH

Instituto de Matemáticas,

UNAM, Area de la Investigacion Científica,

Circuito Exterior, Ciudad Universitaria,

México DF, CP 04510, Mexico

**E-mail:**[email protected]

**Received date: ** May 16, 2008 **Accepted Date: **December 07, 2008

**Visit for more related articles at** Journal of Generalized Lie Theory and Applications

A differential calculus of the first order over multi-braided quantum groups is developed. In analogy with the standard theory, left/right-covariant and bicovariant differential structures are introduced and investigated. Furthermore, antipodally covariant calculi are studied. The concept of the *-structure on a multi-braided quantum group is formulated, and in particular the structure of left-covariant *-covariant calculi is analyzed. These structures naturally incorporate the idea of the quantum Lie algebra associated to a given multibraded quantum group, the space of left-invariant forms corresponding to the dual of the Lie algebra itself. A special attention is given to differential calculi covariant with respect to the action of the associated braid system. In particular it is shown that the left/right braided-covariance appears as a consequence of the left/right-covariance relative to the group action. Braided counterparts of all basic results of the standard theory are found.

The basic theme of this study is the analysis of the first-order differential structures over multibraided quantum groups. Standard braided quantum groups are included as a special case into the theory of multi-braided quantum groups [3]. The difference between two types of braided quantum groups is in the behavior of the coproduct map. In the standard theory, the coproduct is interpretable as a morphism in a braided category generated by the basic algebra A and the associated braiding In our generalized framework two standard pentagonal diagrams expressing compatibility between and σ are replaced by a single more general octagonal diagram. We refer to [4] for a fully diagrammatic generalized categorical formulation of multi-braided quantum groups.

It turns out that the lack of the functoriality of the coproduct map is ‘measurable’ by a second braid operator Furthermore, two braid operators generate in a natural manner a generally infinite system of braid operators where n ∈ Z, which elegantly express twisting properties of all the maps appearing in the game. This explains our attribute multi-braided, for the structures we are dealing with.

Multi-braided quantum groups include various completely ‘pointless’ structures, overcoming in such a way an inherent geometrical inhomogeneity of standard quantum groups and braided quantum groups. This inhomogeneity is explicitly visible in geometrical situations in which ‘diffeomorphisms’ of quantum spaces appear. For example, in the theory of locally trivial quantum principal bundles over classical smooth manifolds [2] a natural correspondence between quantum *G*-bundles (where *G* is a standard compact quantum group) and ordinary Gcl-bundles (over the same manifold) holds. Here Gcl is the classical part of *G*.

The multi-braided formalism reduces to the standard braided quantum groups iff σ = τ, which means that all the operators σn coincide with σ. This is also equivalent to the multiplicativity of the counit map.

In the formalization of the concept of a first-order calculus, we shall follow [9]: If the algebra A represents a quantum space X, then every first-order calculus over X will be represented by an A-bimodule Γ, playing the role of the 1-forms on X, together with a standard derivation d: A → Γ playing the role of the differential. Such a formalization reflects noncommutativegeometric [1] philosophy, according to which the concept of a differential form should be the starting point for a foundation of the quantum differential calculus.

The paper is organized as follows. In Section 2 we first study differential calculi over a quantum space X, compatible in the appropriate sense with a single braid operator In this context, left/right, and bi-σ-covariant differential structures are distinguished. The notion of left σ-covariance requires a natural extendability of σ to a flip-over operator Similarly, right σ-covariance requires extendability of σ to a flip-over operator Finally, the concept of bi-σ-covariance is simply a symbiosis of the previous two.

We shall then briefly analyze general situations in which the calculus is covariant relative to a given braid system T operating in A.

At the end of Section 2 we begin the study of differential structures over multi-braided quantum groups. We shall prove that if A and σ are associated to a multi-braided quantum group G then the left/right σ-covariance implies the left/right σn-covariance, for each n ∈ Z. We shall also analyze interrelations between all possible flip-over operators and maps determining the group structure.

All considerations with braid operators can be performed at the language of braid and tangle diagrams, as in the framework of braided categories. The unique additional moment is that crossings of diagrams should be appropriately labeled, since we are in a multi-braided situation. At the diagramatic level, many of the proofs become very simple. However, in this study the considerations will be performed in the standard-algebraic way. For the reasons of completeness, all the proofs are included in the paper.

Through sections 3–5 we shall exclusively deal with a given multi-braided quantum group G. In Section 3 we begin with formulations of braided counterparts of concepts of the left, right and bi-covariance [9]. All these notions are intrinsically related to the problematics of generalizing the concept of Lie algebra. As in the standard theory [9], the notion of left covariance will be formulated by requiring a possibility of defining a left action Similarly, right covariance will be characterized by a possibility of a right action The notion of bicovariance is a symbiosis of the previous two. If we interpret the left-invariant elements of a left-covariant calculus as the dual of the associated quantum Lie algebra, then the bicovariance essentially adds the requirement of the existence of the adjont action of the group on the corresponding Lie algebra.

Our attention will be then confined to the left-covariant structures. As we shall see, left covariance implies left σ-covariance and, consequently, left σn-covariance, for each n ∈ Z. The corresponding flip over operators naturally describe twisting properties of the left action . Besides the study of properties of maps and , and their interrelations, we shall also analyze the internal structure of left-covariant calculi. It turns out that the situation is more or less the same as in the standard theory [9]. As a left/right *A*-module, every left-covariant Γ is free and can be invariantly decomposed

where Γ* _{inv}* is the space of left-invariant elements of Γ (as mentioned above, the dual of the quantum Lie algebra). We shall also prove a braided generalization of the structure theorem [9] by establishing a natural correspondence between (classes of isomorphic) left-covariant Γ and certain lineals R ⊆ ker(ε).

However, a full analogy with [9] breaks, because *R* is generally not a right ideal in A, but a right ideal in a simplified [3] algebra A_{0} obtained from A by an appropriate change of the product. The lineal R should also be left-invariant with respect to the action of .

However, a full analogy with [9] breaks, because R is generally not a right ideal in A, but a right ideal in a simplified [3] algebra A_{0} obtained from A by an appropriate change of the product. The lineal R should also be left-invariant with respect to the action of .

Concerning the concept of the right covariance, it is in some sense symmetric to that of the left covariance. For this reason, we shall not repeat completely analogous considerations for right-covariant calculi. The most important properties of them are collected, without proofs, in Appendix A. In particular, right covariance implies right σn-covariance, for each n ∈ Z.The study of bicovariant differential structures is the topic of Section 4. In the bicovariant case the action maps and , as well as the flip-over maps are mutually compatible, in a natural manner.

We shall characterize bicovariance in terms of the corresponding right A_{0}-ideals R. It turns out that the calculus is bicovariant if and only if R satisfies two additional conditions. The first one correspond to the adjoint invariance in the standard theory [9]. In its formulation, a braided analogue of the adjoint action of G on itself appears naturally. For this reason, the most important properties of this map are collected in Appendix B. The second additional condition for R, trivial in the standard theory, consists in its right τ -invariance.

In Section 5, we shall analyze differential structures which are covariant with respect to the antipodal map *k*: A → A. Such structures will be called *k*-covariant. As we shall see, a symbiosis of *k* and left covariance is equivalent to bicovariance.

In Section 6 we shall first introduce the concept of a *-structure on a multi-braided quantum group. Then, we pass to the study of *-covariant calculi, in the context of multi-braided quantum groups.

Besides other results we shall obtain a characterization of *-covariant left covariant structures Γ, in terms of the corresponding right A_{0}-ideal R. It turns out that a left-covariant calculus is *-covariant iff which is identical as in the standard theory [9].

In this paper only the abstract theory will be presented. Concrete examples will be included in the next part of the study, after developing a higher-order differential calculus. This will include differential structures over already considered groups, as well as new examples of ‘differential’ multi-braided quantum groups coming from the developed theory. Finally, let us mention that we shall assume here trivial braiding properties of the differential d: A → Γ. Our philosophy is that the non-trivial braidings involving the differential map should be interpreted as an extra structure given over the whole differential calculus.

Let A be a complex unital associative algebra. Let us denote by the multiplication in A. The algebra A will be interpreted as consisting of ‘smooth functions’ over some quantum space *X*.

By definition, a first order differential calculus over* X* is a unital A-bimodule Γ, equipped with a linear map d: A → Γ satisfying the Leibniz rule

and such that is surjective. Here, are the left and the right *A*-module structures of Γ.

Let us observe that d(1) = 0, and that the surjectivity of is equivalent to the surjectivity of , which is given by

Now, let us assume that X is a braided quantum space. In other words, we have in addition a bijective braid operator such that the following identities hold:

The operator σ naturally induces a structure of an associative algebra on with the unit element . Explicitly, the product is given by

We are going to analyze natural compatibility conditions between Γ and σ.

**Definition 2.1.** A first-order differential calculus Γ over X is called left σ-covariant iff there exists a linear operator satisfying

Similarly, we say that Γ is right σ-covariant iff there exists a linear operator such that

Finally, Γ is called bi-σ-covariant iff it is both right and left σ-covariant.

The idea beyond this definition is that ‘twistings’ between elements from A and Γ are performable ‘term by term’ such that twistings between the symbol *d* and elements from A are trivial.

It is easy to see that maps σ^{l} and σ^{r}, if they exist, are uniquely determined by (2.4) and (2.5) respectively.

Requirement (2.4) can be replaced by the equivalent

Similarly, the operator σ^{r} appearing in the context of the right σ-covariance can be characterized by

In the following proposition, the most important general properties of σ-covariant structures are collected.

**Proposition 2.2.** (i) If Γ is a left σ-covariant calculus, then

The map σ^{l} is surjective. Its kernel is an A-subbimodule of . Furthermore, we have

(ii) Similarly, if Γ is right σ-covariant then

The map σ^{r} is surjective, its kernel is an A-subbimodule of and the following identities hold

(iii) Finally, if Γ is bi-σ-covariant then

Proof. Let us assume that Γ is left σ-covariant. Identities (2.8) are obvious. Let us check (2.10)–(2.12). Using (2.4) we obtain

Furthermore,

Similarly, we find

The first term on the right-hand side of the above equality is equal to

while the second term reads

Combining the last two expressions we conclude

We prove (2.9). Direct transformations give

To prove the surjectivity of σ^{l}, it is sufficient to check that the elements of the form belong to im(σ^{l}). Let us define

Using (2.8) and (2.10) we obtain

The fact that ker(σ^{l}) is an A-subbimodule of directly follows from equalities (2.10) and (2.12).

In such a way we have shown (i). The right σ-covariance case can be treated in a similar manner. Finally, if Γ is bi-σ-covariant then

It is possible to construct ‘pathological’ examples in which maps σ^{l} or σ^{r} are not injective. However, besides certain technical complications such a possibility gives nothing essentially new. For this reason, we shall assume from this moment that every left/right σ-covariant calculus we are dealing with possesses bijective flip-over operator σ^{l} or σ^{r}. Modulo this assumption, left σ-covariance and right σ^{-1}-covariance are equivalent properties. In other words,

Now, we shall generalize the previous consideration to situations in which, instead of one, a system of mutually compatible braided quantum space [3] structures on X appears.

**Definition 2.3**. Let us assume that A is equipped with a braid system T . Then we shall say that X is a T -braided quantum space.

**Definition 2.4. **A first order calculus Γ over a T -braided quantum space X is called left/right/bi T -covariant iff it is left/right/bi *y*-covariant for each braiding *γ ∈ T* .

As explained in [3]-Appendix, every braid system T can be naturally completed. The completed system T ^{+} is defined as the minimal extension of T , invariant under ternar operations of the form δ = αβa^{-1} γ . Explicitly, T ^{+} is the union of systems T_{n}, where T_{0} = T and T_{n+1} is obtained from T_{n} by applying the above mentioned operations.

**Proposition 2.5.** *Let X be a T -braided quantum space and Γ a first-order calculus over X.*

*(i) If Γ is left T -covariant then it is also left T ^{+}-covariant. We have*

for each α; β; *γ ∈ T* ^{+}.

(ii) Similarly, if Γ is right T -covariant then it is right T ^{+}-covariant, too. We have

for each α; β; *γ ∈ T* ^{+}.

(iii) If Γ is bi-T -covariant, it is consequently also bi-T ^{+}-covariant and

for each α; β; *γ ∈ T* ^{+}.

**Proof.** Let us assume that Γ is left T -covariant. Then,

for each α; β; *γ ∈ T* . This means that Γ is left αβa^{-1} γ -covariant and (2.20) holds for the braidings from T . Now, we can proceed inductively and conclude that Γ is left T_{n}-covariant for each n ∈ N, and that (2.20) holds on T ^{+}.

Similarly, if Γ is right T -covariant then

for each α; β; *γ ∈ T* . This implies that Γ is right T ^{+}-covariant and that (2.22) holds for each α; β; *γ ∈ T* ^{+}.

Identities (2.21) and (2.23)–(2.24) can be derived in essentially the same manner as it is done in the proof of Proposition 2.2, in the case of a single flip-over operator.

From this moment, as well as through the next three sections we shall deal exclusively with braided quantum groups, in the sense of [3]. Let G be such a group, represented by A. We shall denote by the coproduct map, and by ε : A → C and *k*: A → A the counit and the antipode map respectively. Let be the intrinsic braid operator.

As explained in [3], twisting properties of the coproduct and the antipode are not properly expressible in terms a single braid operator σ. This is the place where a ‘secondary’ braid operator naturally enters the game. Explicitly, it is given by

The operators fσ; g form a braid system, and the completion *F = {σ; g} ^{+}* is consisting of maps of the form

where n ∈ Z.

**Proposition 2.6. ***(i) If Γ is left σ-covariant then it is also left F-covariant and*

*Moreover, the following twisting properties hold*

for each n;m ∈ Z.

(*ii) Similarly, if Γ is right σ-covariant then it is also right F-covariant and*

*We also have*

*for each n;m ∈ Z.*

Proof. Let us assume left σ-covariance of Γ, and consider a map determined by the right hand side of (2.26). Direct transformations give

Consequently, Γ is left τ-covariant and ξ = τ^{l}. According to Proposition 2.5 the calculus is left F-covariant.

Let us denote by a map determined by the right hand side of (2.27). We have then

Consequently, Γ is right τ^{-1}-covariant and ψ= (τ^{-1})r = ( l)τ^{-1}.

Let us prove the twisting property (2.29). Using the standard braid relations we obtain

Case (ii), when Γ is right σ-covariant, can be treated in a similar way.

Finally, let us describe twisting relations involving the antipode *k* and a σ-covariant first-order calculus Γ.

**Proposition 2.7.** *If Γ is left σ-covariant then*

*Similarly, if Γ is right F-covariant then*

*for each n ∈ Z.*

**Proof.** Let us assume that Γ is left σ-covariant. We have

If the calculus is right F-covariant then

We pass to definitions of first order differential structures which are covariant with respect to the comultiplication map

**Definition 3.1.** A first-order calculus Γ over G is called right-covariant iff there exists a linear map such that

The map is called the right action of G on Γ. It is uniquely determined by the above condition.

**Definition 3.2. **The calculus Γ is called left-covariant iff there exists a left action map satisfying

The map is uniquely determined by this condition.

**Definition 3.3.** We shall say that the calculus Γ is bicovariant, iff it is both left and rightcovarian

The above definitions naturally formulate braided generalizations of standard concepts of right/left and bi-covariance in the standard theory [9]. Throughout the rest of the section, we shall consider left-covariant differential structures..

**Proposition 3.4**. We have

Proof. Identity (3.3) is a direct consequence of (3.2). To prove (3.4), we start from (3.2) and apply elementary properties of the product and the coproduct maps:

It is worth noticing that

which also characterizes the map . The following proposition shows that gives a left comodule structure on Γ.

**Proposition 3.5.** We have

**Proof. **Applying (3.2) and performing further elementary transormations with the counit we obtain

Furthermore,

which completes the proof. We have used the ‘octagonal’ compatibility property between and σ.

As we shall now see, every left-covariant differential calculus Γ is left σ-covariant. According to Proposition 2.6, this means that Γ is left F-covariant, too.

**Proposition 3.6.** (i) The calculus Γ is, being left-covariant, also left F-covariant.

(ii) The diagram

is commutative.

Proof. Let be a map determined by

We shall prove that ξ satisfies a characteristic property for the flip-over operator σ^{l}. A direct computation gives

where we have introduced

The last term in the above sequence of transformations can be further written as follows:

Thus, Γ is left σ-covariant, = σ^{l} and diagram (3.8) is commutative. According to (i) Proposition 2.6 the calculus Γ is automatically left F-covariant.

The operator σ^{l} figures in the right multiplicativity law for the left action map.

**Proposition 3.7.** The diagram

is commutative.

**Proof.** According to Proposition 3.5 and diagram (3.8),

Our next proposition describes twisting properties of the left action map, with respect to the braid system F.

**Proposition 3.8.** We have

for each n;m ∈ Z. In particular, it follows that

**Proof.** Using (3.2) and the main properties of F we obtain

We pass to the study of the internal structure of left-covariant calculi. For a given Γ, let Γ* _{inv}* be the space of left-invariant elements of Γ. In other words

Let P : Γ → Γ be a linear map defined by

We are going to show that P projects Γ onto Γ* _{inv}*. Evidently, the elements of Γ

**Lemma 3.9.** We have

**Proof.** Applying (3.2)–(3.3), (3.13) and performing standard braided transformations we obtain

Now, it follows that P(Γ) ⊆ Γ* _{inv}*. Indeed, according to the previous lemma, it is sufficient to check that Pd(A) ⊆ Γ

Consequently, P projects Γ onto Γ* _{inv}* and the composition

is surjective.

It is easy to see, by the use of (3.10), that the flip-over operators map onto . Moreover, the corresponding restrictions mutually coincide.

**Lemma 3.10.*** We have*

*for each n ∈ Z.*

**Proof. **Applying the appropriate twisting properties we obtain

We are going to prove that the space Γ is naturally isomorphic to v, as a left *A*-module.

**Proposition 3.11.** The is an isomorphism of left *A*-modules. Its inverse is given by

**Proof. **The map is evidently a left *A*-module homomorphism. Let us check that are mutually inverse maps. Using (3.6)–(3.7) and (3.13) we obtain

On the other hand *P(aϑ)* = ε(a)ϑ for all a ∈ A and ϑ 2 Γ* _{inv}*. Using this and (3.4) we obtain

Consequently, the two maps are mutually inverse left *A*-module isomorphisms.

The above proposition allows us to identify In terms of this identification, the following correspondences hold

The following technical lemma will be useful in some further computations.

**Lemma 3.12.** *We have*

**Proof. **We compute

According to (3.15), this is further viewable as

The first term in the above difference is transformed further

Concerning the second term,

Let R be the intersection of spaces ker(π) and ker(ε). As follows directly from the previous lemma, the space R is a right ideal in the algebra A_{0}, which coincides as a vector space with A, but which is endowed with the product m_{0} = mτ^{-1}σ, as discussed in [3]-Appendix. According to (3.15), we have

The map π induces the isomorphism

It is easy to see that the map given by

defines a right A_{0}-module structure on the space Γ* _{inv}*. In the above formula it is assumed that a ∈ ker(ε), while b is arbitrary.

terms of the identification the right *A*-module structure is given by

where is the common left-invariant part of all operators We shall now prove that Γ is trivial as a right *A*-module.

**Proposition 3.13.** The multiplication map

is an isomorphism of right *A*-modules. Its inverse is given by

**Proof.** Clearly, (3.24) is a right *A*-module homomorphism. A direct computation gives

Furthermore,

The above computations are performed in the spaces respectively.

In the framework of the identification the following correspondences hold:

These correspondences follow from (3.24)–(3.25), performing simple algebraic transformations.

We are ready to present a braided counterpart of the reconstruction theorem [9] of the standard theory. As we have seen, every left-covariant calculus Γ is completely determined by the corresponding R. The following proposition shows that conversely, every right A_{0}-ideal which satisfies (3.20) naturally gives rise to a first-order left-covariant calculus.

**Proposition 3.14. ***Let R ⊆ ker(ε) be an arbitrary -invariant right A _{0}-ideal. Let us define spaces Γ_{inv} and Γ, together with maps by the equalities*

*Finally, define the maps*

*by equalities (3.17)–(3.18) and (3.23), respectively.*

*Then, and determine a structure of a unital A-bimodule on Γ. Moreover, Γ is a left-covariant first-order differential calculus over G, with the differential and the left action coinciding with the introduced d and respectively.*

**Proof.** It is clear that determines a left *A*-module structure on Γ. Let us prove that determines a right *A*-module structure. We have

Here, we have used (3.22)–(3.23), and identities

which follow from (3.15) and (3.22).

The maps and commute, because

It is easy to see that the bimodule Γ is unital.

According to Lemma 3.1∈ And equation (3.22),

Using this, equations (3.16) and (3.18) and (3.23) we obtain

To complete the proof, let us observe that (3.16) implies that given by (3.17) is indeed the left action.

In this section we shall study bicovariant differential calculi Γ over G. As in the standard theory [9] the right action and the left action are mutually compatible.

**Proposition 4.1. **The diagram

is commutative.

**Proof.** Applying (3.2) and (A.1) we obtain

As a simple consequence of (4.1) we find that the spaces Γ* _{inv}* and

**Proposition 4.2. ***The following identities hold*

**Proof.** We compute

Completely similarly,

We pass to the the analysis of the specific twisting properties of the left and the right action maps.

**Proposition 4.3.** *The following equalities hold*

**Proof.** A direct computation gives

Similarly we obtain

As a simple consequence of the previous proposition we find

The following proposition describes the corresponding restriction twistings.

**Proposition 4.4.** *The following identities hold*

**Proof.** Using standard twisting transformations we obtain

The second identity can be derived in a similar manner.

Let R ⊆ ker(ε) be the right A_{0}-ideal which canonically corresponds to Γ. In the following proposition we have characterized bicovariance in terms of R.

**Proposition 4.5. **(i) We have

(ii) Conversely, if R ⊆ ker(ε) corresponding to a left-covariant calculus Γ is ad-invariant, then the calculus Γ is bicovariant. Moreover, in terms of the identification the right action is given by

where the map is given by

**Proof. **The first statement of the proposition is a direct consequence of (4.2) and (4.8). Concerning the second part, it is sufficient to check that the map ξ given by the right-hand side of (4.12) satisfies (A.2)–(A.3). Using the structuralization as well as equalities (3.26) and (4.13) we obtain

Furthermore, (3.27) implies

Consequently, Γ is bicovariant and

In this Section we shall consider differential structures covariant relative to the antipode map.

**Definition 5.1.** A first-order calculus Γ is called *k*-covariant iff the following equivalence holds

Let us assume that Γ is *k*-covariant. Then the formula

consistently and uniquely determines a bijective map *μ*: Γ → Γ. It follows that

Let us analyze properties of Γ, in the case when it is also σ-covariant.

**Proposition 5.2.** *(i) If Γ is left σ-covariant (and accordingly, left F-covariant) then*

(ii) If Γ is right F-covariant then

**Proof. **Assume that Γ is left F-covariant. A direct computation gives

Furthermore,

Symmetrically, assuming the right F-covariance of Γ we get

Finally,

Now, we shall analyze interrelations between *k*-covariance and bicovariance.

**Proposition 5.3.*** A left-covariant calculus Γ is k-covariant if and only if it is bicovariant. In this case the following identities hold:*

*Moreover, the diagram*

*is commutative. Here, the vertical arrows are the corresponding double-sided actions and products.*

Proof. Let us assume that Γ is left-covariant and *k*-covariant, and let us consider a map ξ : Γ → defined by

It turns out that ξ is the right action for Γ. Indeed,

Consequently Γ is right-covariant with and (5.8) holds.

Similarly, if Γ is *k*-covariant and right-covariant then a map given by

satisfies

This implies that Γ is also left-covariant with and equality (5.9) holds.

Finally, let us assume that Γ is bicovariant and consider a map *μ*: Γ → Γ defined by diagram (5.10). Then a straightforward computation shows that equality (5.1) holds, and that { is bijective. In other words, Γ is *k*-covariant and (5.10) holds by construction.

Let us assume that Γ is bicovariant. Then the quadruplets corresponding to the left/right-covariant structure on Γ are naturally related via the antipodal maps. According to (5.8)–(5.9)

**Proposition 5.4.** *The following identities hold:*

where is the antipode associated to A_{0}.

**Proof.** A direct computation gives

Similarly,

Relations (5.15) immediately follow from (5.12), definition of spaces R and K and the fact that

Let us check (5.13)–(5.14). On the space the following equalities hold

Similarly, in the framework of the space we can write

In terms of the bimodule structuralizations the operator *μ* has a particularly simple form.

**Proposition 5.5.** *The following identities hold:*

**Proof.** We compute

Similarly,

Let us consider a quantum space X, represented by a unital algebra A and assume that X is T -braided. Let us also assume that A is equipped with a *-structure such that

for each α *γ ∈ T* . Here, is the standard transposition. It is easy to see that then (6.1) holds for every α *γ ∈ T* ^{+}. It is worth noticing that the operators

also form a braid system over A.

**Proposition 6.1.** *Let Γ over X be a *-covariant calculus. Then*

*(i) If Γ is left T -covariant then it is also left T _{c}-covariant and*

*(ii) Similarly, if Γ is right T -covariant then it is right T _{c}-covariant, with*

*Now switch to multi-braided quantum groups G. Let us assume that the *-structure on A satisfies*

**Definition 6.2. **We shall say that the antimultiplicative *-involution on A satisfying the above equality is a *-structure on a braided quantum group G.

This implies a number of further compatibility relations between*and maps appearing at the group level. At first, we have

The above equality implies

Furthermore, as in the classical theory we have

Really,

and consequently

Furthermore, let us examine interrelations between *, and braid operators and σ.

**Proposition 6.3. **The following identities hold:

**Proof.** Direct transformations give

where This proves (6.8). Furthermore, applying (6.8) and the definition of we obtain

Condition (6.4) says that the comultiplication Φ is a hermitian map, if s endowed with the *-structure induced by σ and *: A → A.

**Proposition 6.4.** *Consider a *-covariant differential calculus Γ over G.*

*(i) Assume that Γ is, in addition, left-covariant. Then*

*(ii) Similarly, if Γ is right-covariant then*

*(iii) If Γ is k-covariant then*

For the end of this section, let us characterize *-covariance of a left-covariant calculus in terms of the corresponding right A_{0}-ideal. It turns out that the characterization is the same as in the standard theory.

**Proposition 6.5.*** Let Γ be an arbitrary left-covariant calculus over G and R ⊆ ker(ε) the associated right A _{0}-ideal. Then the calculus Γ is *-covariant if and only if R is ^{+}k-invariant*.

**Proof.** If Γ is *-covariant then (6.11), together with the definition of R, implies that R is ^{+}*k*-invariant.

Conversely, let us assume that R is**k*-invariant. Then the formula (6.11) consistently defines an antilinear involution*: Γ* _{inv}* → Γ

According to Proposition 3.11 the formula (aϑ)^{+} = ϑ^{+}a^{+}, where a ∈ A and ϑ 2 Γ* _{inv}* consistently defines an antilinear extension

Consequently, Γ is *-covariant.

Let us observe that the above proof is the same as in the standard theory [9] (braidings are not included). A similar characterization of *-covariance holds for right-covariant structures.

As already mentioned at the beginning of this study, the whole theory of multibraided structures admits a natural axiomatic formulation, via some simple and elegant diagrammatic language [4]. New interesting algebraic structures are naturally includable in such a diagrammatic frameword, among others are Clifford algebras, spinors, Dirac operators, and their braided generalizations [5,8,7].

The quantum analog of the Lie algebra is recovered as lie(G; Γ) = . The whole analysis can be performed in terms of this dual object. However, we find the calculus and differential forms picture more suitable for the quantum context, as in the standard (non-braided) formulation [9]. It is important to emphasize a contextual nature of the notion of the associated Lie algebra, as it depends on the bimodule Γ chosen to represent the calculus. The phenomenon appears already in the classical (commutative) contexts, where we can chose non-classical R for example the jet bundle ideals at the neutral element R = ker(ε)k for k ≥ 3. Such structures will be included, with other examples, in a sequel to this paper.

Let Γ be a right-covariant first order differential calculus over a braided quantum group G. The corresponding right action can be also characterized by

The right action map satisfies equalities

Every right-covariant calculus is automatically right F-covariant. In particular, the flip-over operator is determined by the diagram

The operator σ^{r} expresses the left multiplicativity of via the diagram

The following twisting properties hold:

Let * ^{inv}*Γ be the set of all right-invariant elements of Γ. Then the map Q: Γ → Γ defined by

projects Γ onto * ^{inv}*Γ. Moreover,

The composition

is surjective. All flip-over operators map Their restrictions on this space are given by

for each n ∈ Z.

As a right *A*-module, the space Γ is naturally identificable with The isomorphism is induced by the multiplication map Moreover,

In terms of the structuralization the following correspondences hold

Here, is the restriction of the operators and the map is given by

This map determines a left A_{0}-module structure on * ^{inv}*Γ. We have also

The space Γ is also trivial as a left *A*-module. The corresponding isomorphism is induced by the product map, and explicitly

In terms of the structuralization the following correspondences hold:

The structure of every right-covariant calculus Γ is completely determined by the space K =ker() ∩ ker(ε). This space is a left A_{0}-ideal satisfying

Conversely, let K ⊆ ker(ε) be a left A_{0}-ideal such that equality (A.23) holds. The space * ^{inv}*Γ and maps and ε can be recovered as

The whole right-covariant calculus Γ is then constructed with the help of the above established correspondences.

By definition, the adjoint action of G onto itself is a linear map ad: defined by

**Lemma B.1.** The following identities hold

In other words, ad is a counital and coassociative map.

**Proof.** We compute

Computation of the left-hand side of (B.3) gives

Further useful identities are

**Lemma B.2.** We have

**Proof.** Let us check the second identity. A direct computation gives

Finally, let us study the twisting properties of the adjoint action.

**Lemma B.3. **The following identities hold:

**Proof.** We compute

Furthermore, we have

I would like to thank Professor Zbigniew Oziewicz for carefully reading a preliminary version of the paper, and for numerous valuable remarks and observations.

- Connes A (1994) Noncommutative Geometry. Academic Press, San Diego, CA.
- Ðurdevich M (1996) Geometry of quantum principal bundles I. Commun. Math.Phys 175: 457-521.
- Ðurdevich M (1997) Generalized braided quantum groups. Israel J. Math 98: 329-348.
- Ðurdevich M (2003) Diagrammatic formulation of multibraided quantum groups. In Papers from the AMS Special Session on Diagrammatic Morphisms in Algebra, Category Theory, and Topology held at San Francisco State University’, San Francisco, CA, October 21-22. Edited by David E. Radford, Fernando J. O. Souza, and David N.Yetter. Contemp. Math 318: 97-106.
- Ðurdevic M, Oziewicz Z (1996) Clifford algebras and spinors for arbitrary braids. Generalizations of Complex Analysis.Edited by Julian Lawrynowicz.BanachCenter Publications 37: 315-325.
- Kobayashi S, Nomizu K (1963) Foundations of Differential Geometry. Interscience Publishers, New York- London.
- Oziewicz Z (1997) Clifford algebra of multivectors. Adv. App. Clifford Algebras 7: 467-486.
- Oziewicz Z (1998) The Dirac operator as graph and the Clifford Hopf-gebra. Dirac Operators in analysis. Edited by John Ryan and Daniele Struppa.Pitman Res. Notes Math. Ser. 394, Longman, Harlow pp: 210–224.
- Woronowicz SL (1989) Differential calculus on compact matrix pseudogroups (quantum groups). Commun. Math.Phys 122: 125-170.

Select your language of interest to view the total content in your interested language

- Adomian Decomposition Method
- Algebra
- Algebraic Geometry
- Analytical Geometry
- Applied Mathematics
- Axioms
- Balance Law
- Behaviometrics
- Big Data Analytics
- Binary and Non-normal Continuous Data
- Binomial Regression
- Biometrics
- Biostatistics methods
- Clinical Trail
- Combinatorics
- Complex Analysis
- Computational Model
- Convection Diffusion Equations
- Cross-Covariance and Cross-Correlation
- Deformations Theory
- Differential Equations
- Differential Transform Method
- Fourier Analysis
- Fuzzy Boundary Value
- Fuzzy Environments
- Fuzzy Quasi-Metric Space
- Genetic Linkage
- Geometry
- Hamilton Mechanics
- Harmonic Analysis
- Homological Algebra
- Homotopical Algebra
- Hypothesis Testing
- Integrated Analysis
- Integration
- Large-scale Survey Data
- Latin Squares
- Lie Algebra
- Lie Superalgebra
- Lie Theory
- Lie Triple Systems
- Loop Algebra
- Matrix
- Microarray Studies
- Mixed Initial-boundary Value
- Molecular Modelling
- Multivariate-Normal Model
- Noether's theorem
- Non rigid Image Registration
- Nonlinear Differential Equations
- Number Theory
- Numerical Solutions
- Operad Theory
- Physical Mathematics
- Quantum Group
- Quantum Mechanics
- Quantum electrodynamics
- Quasi-Group
- Quasilinear Hyperbolic Systems
- Regressions
- Relativity
- Representation theory
- Riemannian Geometry
- Robust Method
- Semi Analytical-Solution
- Sensitivity Analysis
- Smooth Complexities
- Soft biometrics
- Spatial Gaussian Markov Random Fields
- Statistical Methods
- Super Algebras
- Symmetric Spaces
- Theoretical Physics
- Theory of Mathematical Modeling
- Three Dimensional Steady State
- Topologies
- Topology
- mirror symmetry
- vector bundle

- Total views:
**12143** - [From(publication date):

March-2009 - Aug 24, 2019] - Breakdown by view type
- HTML page views :
**8341** - PDF downloads :
**3802**

**Make the best use of Scientific Research and information from our 700 + peer reviewed, Open Access Journals**

International Conferences 2019-20