R-Matrices, Yetter-Drinfel'd Modules and Yang-Baxter Equation

Abstract

In the first part we recall two famous sources of solutions to the Yang-Baxter equation—R-matrices and Yetter-Drinfel′d (=YD) modules—and an interpretation of the former as a particular case of the latter. We show that this result holds true in the more general case of weak R-matrices, introduced here. In the second part we continue exploring the “braided” aspects of YD module structure, exhibiting a braided system encoding all the axioms from the definition of YD modules. The functoriality and several generalizations of this construction are studied using the original machinery of YD systems. As consequences, we get a conceptual interpretation of the tensor product structures for YD modules, and a generalization of the deformation cohomology of YD modules. This homology theory is thus included into the unifying framework of braided homologies, which contains among others Hochschild, Chevalley-Eilenberg, Gerstenhaber-Schack and quandle homologies.

1. Introduction

The Yang-Baxter equation (YBE) is omnipresent in modern mathematics. Its realm stretches from statistical mechanics to quantum field theory, covering quantum group theory, low-dimensional topology and many other fascinating areas of mathematics and physics. The attemps to understand and classify all solutions to the Yang-Baxter equation (often referred to as braidings, since they provide representations of braid groups) have been fruitless so far. Nevertheless we dispose of several methods of producing vast families of such solutions, often endowed with an extremely rich structure.

In Section 2 we review two major algebraic sources of braidings, which have been thouroughly studied from various viewpoints over the past few decades. The first one is given by R-matrices for quasi-triangular bialgebras, dating back to V.G. Drinfel′d’s celebrated 1986 ICM talk [1]. The second one comes from Yetter-Drinfel′d modules (=YD modules) over a bialgebra, introduced by D. Yetter in 1990 under the name of “crossed bimodules” (see [2]) and rediscovered later by different authors under different names (see for instance the paper [3] of S.L. Woronowicz, where he implicitely considers a Hopf algebra as a YD module over itself). All these notions and constructions are recalled in detail in Section 2.2 and Section 2.3.

Note that we are interested here in not necessarily invertible braidings; that is why most constructions are effectuated over bialgebras rather than Hopf algebras, though the latter are more current in literature. Section 3.2 contains an example where the non-invertibility does matter.

It was shown in S. Montgomery’s celebrated book ([4], 10.6.14) that R-matrix solutions to the YBE can be interpreted as particular cases of Yetter-Drinfel′d type solutions. We recall this result and its categorical version (due to M. Takeuchi, cf. [5]) in Section 2.4. Our original contribution consists in a generalization of this result: we introduce the notion of weak R-matrix for a bialgebra H and show it to be sufficient for endowing any H-module with a YD module structure over H (cf. the charts on p. 456).

In Section 3 we explore deeper connections between YD modules (and thus R-matrices, as explained above) and the YBE. We show that YD modules give rise not only to braidings, but also to higher-level braided structures, called braided systems. Here we briefly explain this concept after a short recapitulation of two category-theoretic viewpoints on the YBE—a “local” and a “global” ones.

The first one is rather straightforward: in a strict monoidal category $\mathcal{C},$ one looks for objects V and endomorphisms σ of $V\otimes V$ satisfying (YBE). Such V’s are called braided objects in $\mathcal{C}.$ A more categorical approach consists in working in a “globally” braided monoidal category, as defined in 1993 by A. Joyal and R.H. Street ([6]). Concretely, a braiding on a monoidal category is a natural family of morphisms ${\sigma }_{V,W}:V\otimes W\to W\otimes V$ compatible with the monoidal structure, in the sense of Equations (2) and (3). Every object V of such a category is braided, via ${\sigma }_{V,V}.$ See [5] for a comparison of “local” and “global” approaches, in particular in the the context of the definition of braided Hopf algebras. Well-known braidings on the category of modules over a quasi-triangular bialgebra and in that of YD modules over a bialgebra are recalled in Section 2.2 and Section 2.3.

Now, the notion of braided system in $\mathcal{C}$ is a multi-term version of that of braided object: it is a family $V_1,\dots ,V_r$ of objects in $\mathcal{C}$ endowed with morphisms ${\sigma }_{i,j}:V_i\otimes V_j\to V_j\otimes V_i$ for all $i⩽j,$ satisfying a system of mixed YBEs. This notion was defined and studied in [7] (see also [8]). The $r=2$ case appeared, under the name of Yang-Baxter system (or WXZ system), in the work of L. Hlavatý and L. Šnobl ([9]). See Section 3.1 for details.

In Section 3.2, we present a braided system structure on the family $(H,M,H^{*})$ for a YD module M over a finite-dimensional $\mathbb{k}$-bialgebra H (here $\mathbb{k}$ is a field, and $H^{*}$ is the linear dual of H). Note that several ${\sigma }_{i,j}$’s from this system are highly non-invertible. Its subsystem $(H,H^{*})$ is the braided system encoding the bialgebra structure, constructed and explored in [8], and related to, but different from, the braided system considered by F.F. Nichita in [10] (see also [11]).

In order to treat the above construction in a conceptual way and extend it to a braided system structure on $(H,V_1,\dots ,V_s,H^{*})$ for YD modules $V_1,\dots ,V_s$ over $H,$ we introduce the concept of Yetter-Drinfel′d system and show it to be automaticaly endowed with a braiding. See Section 3.3 for details, and Section 3.4 for examples.

In Section 3.5 we show the functoriality and the precision of the above braided system construction. The functoriality is proved by exhibiting the category inclusion (41). Precision means that the described braided system structure on $(H,M,H^{*})$ captures all the algebraic information about the YD module $M,$ in the sense that each mixed YBE for this system is equivalent to an axiom from the definition of a YD module, and each YD axiom gets a “braided” interpretation in this way.

Section 3.6 contains an unexpected application of the braided system machinery. Namely, it allows us to recover the two tensor product structures for YD modules, proposed by L.A. Lambe and D.E. Radford in [12], from a conceptual viewpoint.

Applying the general braided (co)homology theory from [8,13] (recalled in Section 3.7) to the braided systems above, we obtain in Section 3.8 a rich (co)homology theory for (families of) YD modules. It contains in particular the deformation cohomology of YD modules, introduced by F. Panaite and D. Ştefan in [14]. The results of Section 2.4 give then for free a braided system structure for any module over a finite-dimensional quasi-triangular $\mathbb{k}$-bialgebra $H,$ with a corresponding (co)homology theory. Besides a generalization of the Panaite-Ştefan construction, our “braided” tools allow to considerably simplify otherwise technical verifications from their theory. Moreover, our approach allows to consider YD module (co)homologies in the same unifying framework as the (co)homologies of other algebraic structures admitting a braided interpretation, e.g., associative and Leibniz (or Lie) algebras, self-distributive structures, bialgebras and Hopf (bi)modules (see [8,13]).

The paper is intended to be as elementary and self-contained as possible. Even widely known notions are recalled for the reader’s convenience. The already classical graphical calculus is extensively used in this paper, with

➛

dots standing for vector spaces (or objects in a monoidal category),

➛

horizontal gluing corresponding to the tensor product,

➛

graph diagrams representing morphisms from the vector space (or object) which corresponds to the lower dots to that corresponding to the upper dots,

➛

vertical gluing standing for morphism composition, and vertical strands for identities.

Note that all diagrams in this paper are to be read from bottom to top.

Throughout this paper we work in a strict monoidal category $\mathcal{C}$ (Definition 2.1); as an example, one can have in mind the category ${\mathbf{Vect}}_{\mathbb{k}}$ of $\mathbb{k}$-vector spaces and $\mathbb{k}$-linear maps, endowed with the usual tensor product over $\mathbb{k}.$

For an object V in $\mathcal{C}$ and a morphism $\phi :V^{\otimes l}\to V^{\otimes r},$ the following notation is repeatedly used:

$${\phi }^i:={Id}_V^{\otimes (i-1)}\otimes \phi \otimes {Id}_V^{\otimes (k-i+1)}:V^{\otimes (k+l)}\to V^{\otimes (k+r)}.$$

(1)

2. Two Sources of Braidings Revisited

2.1. Basic Definitions

Definition 2.1 A strict monoidal (or tensor) category is a category $\mathcal{C}$ endowed with

➛

a tensor product bifunctor $\otimes :\mathcal{C}\times \mathcal{C}\to \mathcal{C}$ satisfying the associativity condition;

➛

a unit object $\mathbf{I}$ which is a left and right identity for $\otimes .$

We work only with strict monoidal categories here for the sake of simplicity; according to a theorem of S. MacLane ([15]), any monoidal category is monoidally equivalent to a strict one. This justifies in particular parentheses-free notations like $V\otimes W\otimes U$ or $V^{\otimes n}.$ The word “strict” is omitted but always implied in what follows.

The “local” categorical notion of braiding will be extensively used in this paper:

Definition 2.2. An object V in a monoidal category $\mathcal{C}$ is called braided if it is endowed with a “local” braiding, i.e., a morphism

$$\sigma ={\sigma }_V:V\otimes V\to V\otimes V$$

satisfying the (categorical) Yang-Baxter equation (=YBE)

$$({\sigma }_V\otimes {Id}_V)\circ ({Id}_V\otimes {\sigma }_V)\circ ({\sigma }_V\otimes {Id}_V)=({Id}_V\otimes {\sigma }_V)\circ ({\sigma }_V\otimes {Id}_V)\circ ({Id}_V\otimes {\sigma }_V)\left(\mathrm{YBE}\right)$$

Following D. Yetter ([2]), one should use the term pre-braiding here in order to stress that non-invertible σ’s are allowed; we keep the term braiding for simplicity.

Graphically, the braiding ${\sigma }_V$ is presented as . The diagrammatical counterpart of (YBE), depicted on Figure 1, is then the third Reidemeister move, which is at the heart of knot theory.

Figure 1. Yang-Baxter equation ↔ Reidemeister move III.

Figure 1. Yang-Baxter equation ↔ Reidemeister move III.

The “global” categorical notion of braiding will also be used here, both for describing the underlying category $\mathcal{C}$ and for constructing and systematizing new braidings:

Definition 2.3.

➛

A monoidal category $\mathcal{C}$ is called braided if it is endowed with a braiding (or a commutativity constraint), i.e., a natural family of morphisms $c=(c_{V,W}:V\otimes W\to W\otimes V)$ indexed by objects $V,W$ of $\mathcal{C},$ satisfying

$$\begin{array}{cc}\hfill c_{V,W\otimes U}& =({Id}_W\otimes c_{V,U})\circ (c_{V,W}\otimes {Id}_U)\hfill \end{array}$$

(2)

$$\begin{array}{cc}\hfill c_{V\otimes W,U}& =(c_{V,U}\otimes {Id}_W)\circ ({Id}_V\otimes c_{W,U})\hfill \end{array}$$

(3)

for any triple of objects $V,W,U.$ “Natural” means here

$$c_{V^{\prime },W^{\prime }}\circ (f\otimes g)=(g\otimes f)\circ c_{V,W}$$

(4)

for all objects $V,W,V^{\prime },W^{\prime }$ and all morphisms $f\in {Hom}_{\mathcal{C}}(V,V^{\prime }),g\in {Hom}_{\mathcal{C}}(W,W^{\prime }).$

➛

A braided category $\mathcal{C}$ is called symmetric if its braiding is symmetric:

$$\begin{array}{ccc}\hfill c_{V,W}\circ c_{W,V}& ={Id}_{W\otimes V}\hfill & \hfill \forall V,W\in Ob\left(\mathcal{C}\right)\end{array}$$

(5)

The part “monoidal” of the usual terms “braided monoidal” and “symmetric monoidal” are omitted in what follows.

Lemma 2.4. Every object V in a braided category $\mathcal{C}$ is braided, with ${\sigma }_V=c_{V,V}.$

Proof. Take $V^{\prime }=V,$ $W^{\prime }=W=V\otimes V,$ $f={Id}_V$ and $g=c_{V,V}$ in the condition Equation (5) expressing naturality; this gives the YBE. ☐

We further define the structures of algebra, coalgebra, bialgebra and Hopf algebra in a monoidal category $\mathcal{C}$:

Definition 2.5.

➛

A unital associative algebra (= UAA) in $\mathcal{C}$ is an object A together with morphisms $\mu :A\otimes A\to A$ and $\nu :\mathbf{I}\to A$ satisfying the associativity and the unit conditions:

$$\begin{array}{cc}\hfill \mu \circ ({Id}_A\otimes \mu )& =\mu \circ (\mu \otimes {Id}_A):A^{\otimes 3}\to A\hfill \\ \hfill \mu \circ ({Id}_A\otimes \nu )& =\mu \circ (\nu \otimes {Id}_A)={Id}_A\hfill \end{array}$$

A UAA morphism φ between UAAs $(A,{\mu }_A,{\nu }_A)$ and $(B,{\mu }_B,{\nu }_B)$ is a $\phi \in {Hom}_{\mathcal{C}}(A,B)$ respecting the UAA structures:

$$\begin{array}{cc}\hfill \phi \circ {\mu }_A& ={\mu }_B\circ (\phi \otimes \phi ):A\otimes A\to B\hfill \end{array}$$

(6)

$$\begin{array}{cc}\hfill \phi \circ {\nu }_A& ={\nu }_B\hfill \end{array}$$

(7)

➛

A UAA $(A,\mu ,\nu )$ in $\mathcal{C}$ is called braided if it is endowed with a braiding σ compatible with the UAA structure. Using notation (1), this can be written as

$$\begin{array}{cc}\hfill \sigma \circ {\mu }^1& ={\mu }^2\circ ({\sigma }^1\circ {\sigma }^2):A^{\otimes 3}\to A^{\otimes 2}\hfill \end{array}$$

(8)

$$\begin{array}{cc}\hfill \sigma \circ {\mu }^2& ={\mu }^1\circ ({\sigma }^2\circ {\sigma }^1):A^{\otimes 3}\to A^{\otimes 2}\hfill \end{array}$$

(9)

$$\begin{array}{cc}\hfill \sigma \circ {\nu }^1& ={\nu }^2:A=\mathbf{I}\otimes A=A\otimes \mathbf{I}\to A^{\otimes 2}\hfill \end{array}$$

(10)

$$\begin{array}{cc}\hfill \sigma \circ {\nu }^2& ={\nu }^1:A=\mathbf{I}\otimes A=A\otimes \mathbf{I}\to A^{\otimes 2}\hfill \end{array}$$

(11)

➛

A counital coassociative coalgebra (= coUAA) in $\mathcal{C}$ is an object C together with morphisms $\Delta :C\to C\otimes C$ and $\epsilon :C\to \mathbf{I}$ satisfying the coassociativity and the counit conditions:

$$\begin{array}{cc}\hfill (\Delta \otimes {Id}_C)\circ \Delta & =({Id}_C\otimes \Delta )\circ \Delta :C\to C^{\otimes 3}\hfill \\ \hfill (\epsilon \otimes {Id}_C)\circ \Delta & =({Id}_C\otimes \epsilon )\circ \Delta ={Id}_C\hfill \end{array}$$

A coUAA morphism φ between coUAAs is a morphism in $\mathcal{C}$ respecting the coUAA structures.

➛

A coUAA $(C,\Delta ,\epsilon )$ in $\mathcal{C}$ is called braided if it is endowed with a braiding σ compatible with the coUAA structure, in the sense analogous to Equations (8)–(11).

➛

A left module over a UAA $(A,\mu ,\nu )$ in $\mathcal{C}$ is an object M together with a morphism $\lambda :A\otimes M\to M$ respecting μ and ν:

$$\begin{array}{cc}\hfill \lambda \circ (\mu \otimes {Id}_M)& =\lambda \circ ({Id}_A\otimes \lambda ):A\otimes A\otimes M\to M\hfill \end{array}$$

(12)

$$\begin{array}{cc}\hfill \lambda \circ (\nu \otimes {Id}_M)& ={Id}_M\hfill \end{array}$$

(13)

An A-module morphism φ between A-modules $(M,{\lambda }_M)$ and $(N,{\lambda }_N)$ is a $\phi \in {Hom}_{\mathcal{C}}(M,N)$ respecting the A-module structures:

$$\begin{array}{cc}\hfill \phi \circ {\lambda }_M& ={\lambda }_N\circ ({Id}_A\otimes \phi ):A\otimes M\to N\hfill \end{array}$$

(14)

The category of A-modules in $\mathcal{C}$ and their morphisms is denoted by ${}_A\mathbf{Mod}.$

Right modules, left/right comodules over coUAAs and their morphisms are defined similarly.

➛

A bialgebra in a braided category $(\mathcal{C},\otimes ,\mathbf{I},c)$ is a UAA structure $(\mu ,\nu )$ and a coUAA structure $(\Delta ,\epsilon )$ on an object $H,$ compatible in the following sense:

$$\begin{array}{cc}\hfill \Delta \circ \mu & =(\mu \otimes \mu )\circ ({Id}_H\otimes c_{H,H}\otimes {Id}_H)\circ (\Delta \otimes \Delta ):H\otimes H\to H\otimes H\hfill \end{array}$$

(15)

$$\begin{array}{cc}\hfill \Delta \circ \nu & =\nu \otimes \nu :\mathbf{I}\to H\otimes H\hfill \end{array}$$

$$\begin{array}{cc}\hfill \epsilon \circ \mu & =\epsilon \otimes \epsilon :H\otimes H\to \mathbf{I}\hfill \end{array}$$

$$\begin{array}{cc}\hfill \epsilon \circ \nu & ={Id}_{\mathbf{I}}:\mathbf{I}\to \mathbf{I}\hfill \end{array}$$

A bialgebra morphism is a morphism which respects UAA and coUAA structures simultaneously.

➛

If moreover H has an antipode, i.e., a morphism $s:H\to H$ satisfying

$$\mu \circ (s\otimes {Id}_H)\circ \Delta =\mu \circ ({Id}_H\otimes s)\circ \Delta =\nu \circ \epsilon \left(\mathrm{s}\right)$$

then it is called a Hopf algebra in $\mathcal{C}.$

The notions of (braided) algebra and coalgebra, and of module and comodule, are mutually dual, while that of braiding, of bialgebra and Hopf algebra are self-dual; see [7,15] for more details on the categorical duality. Graphically, applying this duality consists simply in turning all the diagrams upside down, i.e., taking a horizontal mirror image. For instance, Figure 2 contains the graphical depictions of the associativity and the coassociativity axioms. Here and afterwards a multiplication μ is represented as , and a comultiplication Δ – as .

Figure 2. Associativity and coassociativity.

Figure 2. Associativity and coassociativity.

Graphical versions of several other axioms from the above definition are presented on Figure 3 and Figure 4.

Figure 3. Compatibility conditions for a braiding and a comultiplication.

Figure 3. Compatibility conditions for a braiding and a comultiplication.

Figure 4. Main bialgebra axiom (15).

Figure 4. Main bialgebra axiom (15).

Note that (15) is the only bialgebra axiom requiring a braiding on the underlying category $\mathcal{C}.$

2.2. R-Matrices

From now on we work in a symmetric category $(\mathcal{C},\otimes ,\mathbf{I},c).$ Fix a bialgebra H in $\mathcal{C}.$ A bialgebra structure on H is precisely what is needed for the category ${}_H\mathbf{Mod}$ of its left modules to be monoidal: the tensor product $M\otimes N$ of H-modules $(M,{\lambda }_M)$ and $(N,{\lambda }_N)$ is endowed with the H-module structure

$${\lambda }_{M\otimes N}:=({\lambda }_M\otimes {\lambda }_N)\circ ({Id}_H\otimes c_{H,M}\otimes {Id}_N)\circ (\Delta \otimes {Id}_{M\otimes N})$$

(16)

and the unit object $\mathbf{I}$ is endowed with the H-module structure

$${\lambda }_{\mathbf{I}}:=\epsilon :H\otimes \mathbf{I}=H\to \mathbf{I}$$

(17)

In what follows we always assume this monoidal structure on ${}_H\mathbf{Mod}.$

If one wants the category ${}_H\mathbf{Mod}$ to be braided (and thus to provide solutions to the Yang-Baxter equation), an additional quasi-triangular structure should be imposed on $H.$ The growing interest in quasi-triangular structures can thus be partially explained by their capacity to produce highly non-trivial solutions to the YBE. The most famous example is given by quantum groups (see for instance [16]), which will not be discussed here.

Definition 2.6. A bialgebra H in $\mathcal{C}$ is called quasi-triangular if it is endowed with an R-matrix, i.e., a morphism $R:\mathbf{I}\to H\otimes H$ satisfying the following conditions:

• $({Id}_H\otimes \Delta )\circ R=({\mu }^{op}\otimes {Id}_{H\otimes H})\circ c^2\circ (R\otimes R),$
• $(\Delta \otimes {Id}_H)\circ R=({Id}_{H\otimes H}\otimes \mu )\circ c^2\circ (R\otimes R),$
• ${\mu }_{H\otimes H}\circ (R\otimes \Delta )={\mu }_{H\otimes H}\circ ({\Delta }^{op}\otimes R),$

where $c^2$ is a shorthand notation for ${Id}_H\otimes c_{H,H}\otimes {Id}_H,$

$${\mu }_{H\otimes H}:=(\mu \otimes \mu )\circ c^2:(H\otimes H)\otimes (H\otimes H)\to H\otimes H$$

(18)

is the standard multiplication on the tensor product of two UAAs, and

$${\mu }^{op}:=\mu \circ c_{H,H},{\Delta }^{op}:=c_{H,H}\circ \Delta$$

are the twisted multiplication and comultiplication respectively.

The R-matrix R is called invertible if there exists a morphism $R^{-1}:\mathbf{I}\to H\otimes H$ such that

$${\mu }_{H\otimes H}\circ (R\otimes R^{-1})={\mu }_{H\otimes H}\circ (R^{-1}\otimes R)=\nu \otimes \nu$$

(19)

Figure 5 shows a graphical version of the conditions from the definition.

Figure 5. Axioms for an R-matrix.

Figure 5. Axioms for an R-matrix.

A well-known result affirms that a quasi-triangular bialgebra structure on H is precisely what is needed for its module category to be braided:

Theorem 1. The category ${}_H\mathbf{Mod}$ of left modules over a quasi-triangular bialgebra H in $\mathcal{C}$ can be endowed with the following braiding (cf. Figure 6):

$$c_{M,N}^R:=c_{M,N}\circ ({\lambda }_M\otimes {\lambda }_N)\circ ({Id}_H\otimes c_{H,M}\otimes {Id}_N)\circ (R\otimes {Id}_{M\otimes N})$$

(20)

Here R is the R-matrix of $H,$ and c is the underlying symmetric braiding of the category $\mathcal{C}.$

If the R-matrix is moreover invertible, then the braiding $c^R$ is invertible as well, with

$${\left(c_{M,N}^R\right)}^{-1}:=({\lambda }_M\otimes {\lambda }_N)\circ ({Id}_H\otimes c_{H,M}\otimes {Id}_N)\circ (R^{-1}\otimes c_{N,M})$$

(21)

Figure 6. A braiding for H-modules.

Figure 6. A braiding for H-modules.

All the statements of the theorem can be verified directly (see [16] or any other book on quantum groups). In Section 2.4 we will see an indirect proof based on a Yetter-Drinfel′d module interpretation of modules over a quasi-triangular bialgebra.

If one is only interested in solutions to the YBE, the following corollary of the above theorem is sufficient:

Corollary 2.7. Given a quasi-triangular bialgebra $(H,R)$ in $\mathcal{C},$ any left module M over H is a braided object in $\mathcal{C},$ with the braiding ${\sigma }_M=c_{M,M}^R.$ This braiding is invertible if the R-matrix R is.

Proof. Apply Lemma 2.4 to the braided category structure from Theorem 1. ☐

2.3. Yetter-Drinfel′d Modules

Yetter-Drinfel′d modules are known to be at the origin of a very vast family of solutions to the Yang-Baxter equation. According to [17,18,19], this family is complete if one restricts oneself to finite-dimensional solutions over a field $\mathbb{k}.$ This led L.A. Lambe and D.E. Radford to use the eloquent term quantum Yang-Baxter module instead of the more historical term Yetter-Drinfel′d module, cf. [12]. We recall here the definition of this structure and its most important properties.

Definition 2.8. A Yetter-Drinfel′d (= YD) module structure over a bialgebra H in a symmetric category $\mathcal{C}$ consists of a left H-module structure λ and a right H-comodule structure δ on an object $M,$ satisfying the Yetter-Drinfel′d compatibility condition (cf. Figure 7)

$$({Id}_M\otimes \mu )\circ (\delta \otimes {Id}_H)\circ c_{H,M}\circ ({Id}_H\otimes \lambda )\circ (\Delta \otimes {Id}_M)=\left(\mathrm{YD}\right)$$

$$(\lambda \otimes \mu )\circ ({Id}_H\otimes c_{H,M}\otimes {Id}_H)\circ (\Delta \otimes \delta )$$

The category of YD modules over a bialgebra H (with, as morphisms, those which are simultaneously H-module and H-comodule morphisms) is denoted by ${}_H{\mathbf{YD}}^H.$

Figure 7. Yetter-Drinfel0d compatibility condition.

Figure 7. Yetter-Drinfel0d compatibility condition.

The name left-right Yetter-Drinfel′d module is more appropriate for the structure described in the definition; we shorten it for simplicity. One can also define right-left and (in the case when H is a Hopf algebra) right-right and left-left YD modules. If the antipode s of H is invertible, then all these notions are equivalent due to the notable correspondence between left and right H-module structures (similarly for comodules). For example, a right action can be transformed to a left one via

Example 2.9. A simple but sufficiently insightful example is given by the group algebra $H=\mathbb{k}G$ of a finite group $G,$ which is a Hopf algebra via the linearization of the maps $\Delta \left(g\right)=g\otimes g,$ $\epsilon \left(g\right)=1$ and $s\left(g\right)=g^{-1}$ for all $g\in G.$ For such an $H,$ the notion of left H-module (in the category ${\mathbf{Vect}}_{\mathbb{k}}$) is easily seen to reduce to that of a $\mathbb{k}$-linear representation of $G,$ and the notion of right H-comodule to that of a G-graded vector space $M={⨁}_{g\in G}{M}_g,$ with

$$\delta \left(m\right)=m\otimes g\forall m\in M_g$$

The compatibility condition (YD) reads in this setting

$$g·M_h\subseteq M_{gh{g}^{-1}}\forall g,h\in G$$

(here the left H-action on M is denoted by a dot). In particular, H becomes a YD module over itself when endowed with the G-grading $H={⨁}_{g\in G}{H}_g,$ $H_g:=\mathbb{k}g$ and the adjoint G-action

$$g·h:=gh{g}^{-1}$$

The category ${}_H{\mathbf{YD}}^H$ can be endowed with a monoidal structure in several ways (cf. [12]). We choose here the structure which makes the forgetful functor

$$\begin{array}{cc}\hfill For:{}_H{\mathbf{YD}}^H& {⟶}_H\mathbf{Mod}\hfill \\ \hfill (M,\lambda ,\delta )& ⟼(M,\lambda )\hfill \end{array}$$

monoidal, where ${}_H\mathbf{Mod}$ is endowed with the monoidal structure described in Section 2.2. Concretely, the tensor product $M\otimes N$ of YD modules $(M,{\lambda }_M,{\delta }_M)$ and $(N,{\lambda }_N,{\delta }_N)$ is endowed with the H-module structure (16) and the H-comodule structure

$${\delta }_{M\otimes N}:=({Id}_{M\otimes N}\otimes {\mu }^{op})\circ ({Id}_M\otimes c_{H,N}\otimes {Id}_H)\circ ({\delta }_M\otimes {\delta }_N)$$

(22)

and the unit object $\mathbf{I}$ is endowed with the H-modules structure (17) and the H-comodule structure

$${\delta }_{\mathbf{I}}:=\nu :\mathbf{I}\to H=\mathbf{I}\otimes H$$

(23)

Note that using the twisted multiplication ${\mu }^{op}$ in the definition of ${\delta }_{M\otimes N}$ is essential for assuring its YD compatibility with ${\lambda }_{M\otimes N}.$

The monoidal category ${}_H{\mathbf{YD}}^H$ defined this way possesses a famous braided structure:

Theorem 2. The category ${}_H{\mathbf{YD}}^H$ of left-right Yetter-Drinfel′d modules can be endowed with the following braiding (cf. Figure 8):

$$c_{M,N}^{YD}:=({Id}_N\otimes {\lambda }_M)\circ ({\delta }_N\otimes {Id}_M)\circ c_{M,N}$$

(24)

If H is moreover a Hopf algebra with the antipode $s,$ then the braiding $c^{YD}$ is invertible, with

$${\left(c_{M,N}^{YD}\right)}^{-1}:=c_{N,M}\circ ({Id}_N\otimes {\lambda }_M)\circ ({Id}_N\otimes s\otimes {Id}_M)\circ ({\delta }_N\otimes {Id}_M)$$

(25)

Figure 8. A braiding for left-right YD modules.

Figure 8. A braiding for left-right YD modules.

The theorem can be proved by an easy direct verification.

Remark 2.10 The category ${}_H{\mathbf{YD}}^H$ can be endowed with a monoidal structure alternative to Equations (16) and (22). Namely, one can endow the tensor product of YD modules M and N with the “twisted” module and usual comodule structure:

$$\begin{array}{cc}\hfill {\mathring{\lambda }}_{M\otimes N}& :=({\lambda }_M\otimes {\lambda }_N)\circ ({Id}_H\otimes c_{H,M}\otimes {Id}_N)\circ ({\Delta }^{op}\otimes {Id}_{M\otimes N})\hfill \end{array}$$

(26)

$$\begin{array}{cc}\hfill {\mathring{\delta }}_{M\otimes N}& :=({Id}_{M\otimes N}\otimes \mu )\circ ({Id}_M\otimes c_{H,N}\otimes {Id}_H)\circ ({\delta }_M\otimes {\delta }_N)\hfill \end{array}$$

(27)

Theorem 2 remains true in this setting if one replaces the braiding $c^{YD}$ with its alternative version

$${\mathring{c}}_{M,N}^{YD}:=c_{M,N}\circ ({Id}_M\otimes {\lambda }_N)\circ ({\delta }_M\otimes {Id}_N)$$

(28)

This construction is best explained graphically. First, observe that the notions of bialgebra, YD module and braiding are stable by the central symmetry. In other words, the sets of diagrams representing the axioms defining these notions are stable by an angle π rotation (hence the notations $\mathring{c}$ etc. evoking rotation). Now, an angle π rotation of the H-module structure (16) is the H-comodule structure (27), and similarly for Equations (22) and (26). To conclude, note that the braiding ${\mathring{c}}^{YD}$ is precisely an angle π rotation of $c^{YD}$ (cf. Figure 8 and Figure 9). This alternative structure will be used in Section 3.

Figure 9. An alternative braiding for left-right YD modules.

Figure 9. An alternative braiding for left-right YD modules.

If one is only interested in solutions to the YBE, the following corollary is sufficient:

Corollary 2.11. Given a bialgebra H in $\mathcal{C},$ any left-right YD module M over H is a braided object in $\mathcal{C},$ with the braiding ${\sigma }_M=c_{M,M}^{YD}.$ This braiding is invertible if H is moreover a Hopf algebra.

Proof. Apply Lemma 2.4 to the braided category structure from Theorem 2. ☐

Example 2.12. Applied to Example 2.9, the corollary gives an invertible braiding

$$\begin{array}{ccc}\hfill c_{H,H}^{YD}(h\otimes g)& =g\otimes gh{g}^{-1}\hfill & \hfill \forall g,h\in G\end{array}$$

for $H=\mathbb{k}G.$ One recognizes (the linearization of) a familiar braiding for groups, which can alternatively be obtained using the machinery of self-distributive structures.

2.4. A Category Inclusion

The braided categories constructed in the two previous sections exhibit apparent similarities. We explain them here by interpreting the category ${}_H\mathbf{Mod}$ of left modules over a quasi-triangular bialgebra H in a symmetric category $\mathcal{C}$ as a full braided subcategory of the category ${}_H{\mathbf{YD}}^H$ of left-right Yetter-Drinfel′d modules over $H.$ We further introduce a weaker notion of R-matrix for which the above category inclusion still holds true, in general without respecting the monoidal structures. In particular, if one is interested only in constructing solutions to the Yang-Baxter equation (cf. Corollaries 2.7 and 2.11), this weaker notion suffices.

Let $(\mu ,\nu )$ and $(\Delta ,\epsilon )$ be a UAA and, respectively, a coUAA structures on an object H of $\mathcal{C}.$ A preliminary remark is first due.

Remark 2.13. The definition of Yetter-Drinfel′d module actually requires (not necessarily compatible) UAA and coUAA structures on H only. The category ${}_H{\mathbf{YD}}^H$ is no longer monoidal in this setting. However, a direct verification shows that Corollary 2.11 still holds true (the argument closely repeats that from the proof of Theorem 5 , point 2).

We thus do not suppose H to be a bialgebra unless explicitely specified.

Take a left module $(M,\lambda )$ over the algebra H and a morphism $R:\mathbf{I}\to H\otimes H.$ Put, as in Figure 10,

$${\delta }^R:=c_{H,M}\circ ({Id}_H\otimes \lambda )\circ (R\otimes {Id}_M):M\to M\otimes H$$

Figure 10. Module + R-matrix ⟼ comodule.

Figure 10. Module + R-matrix ⟼ comodule.

Now try to determine conditions on R which make $(M,\lambda ,{\delta }^R)$ a left-right Yetter-Drinfel′d module for any $M.$ One arrives to the following set of axioms:

Definition 2.14. A morphism $R:\mathbf{I}\to H\otimes H$ is called a weak R-matrix for a UAA and a coUAA object $(H,\mu ,\nu ,\Delta ,\epsilon )$ in $\mathcal{C}$ if (cf. Figure 11)

• $(\Delta \otimes {Id}_H)\circ R=({Id}_{H\otimes H}\otimes \mu )\circ c^2\circ (R\otimes R),$
• $(\epsilon \otimes {Id}_H)\circ R=\nu ,$
• ${\mu }_{H\otimes H}\circ (R\otimes \Delta )={\mu }_{H\otimes H}\circ ({\Delta }^{op}\otimes R).$

Figure 11. Axioms for a weak R-matrix.

Figure 11. Axioms for a weak R-matrix.

One can informally interpret the first two conditions by saying that R provides a duality between the UAA $(H,\mu ,\nu )$ on the right and the coUAA $(H,\Delta ,\epsilon )$ on the left.

Remark 2.15. If the weak R-matrix is invertible, then axiom 2 is a consequence of 1: apply ${Id}_H\otimes \epsilon \otimes {Id}_H$ to both sides, then multiply by $R^{-1}$ on the left and apply $\epsilon \otimes {Id}_H.$

We also need the following notion:

Definition 2.16. A strong R-matrix is a weak R-matrix satisfying two additional axioms (Figure 12):

1’

$({Id}_H\otimes \Delta )\circ R=({\mu }^{op}\otimes {Id}_{H\otimes H})\circ c^2\circ (R\otimes R),$

2’

$({Id}_H\otimes \epsilon )\circ R=\nu .$

Figure 12. Additional axioms for a strong R-matrix.

Figure 12. Additional axioms for a strong R-matrix.

A strong R-matrix satisfies all usual R-matrix axioms by definition. For invertible R-matrices, arguments similar to those from Remark 2.15 show that axiom 2’. is a consequence of 1’., hence the notions of strong and usual R-matrix coincide.

As it was hinted before Definition 2.14, a weak R-matrix for H allows to upgrade a module structure over the algebra H into a Yetter-Drinfel′d module structure:

Theorem 3. Take a UAA and a coUAA object $(H,\mu ,\nu ,\Delta ,\epsilon )$ in $\mathcal{C}$ equipped with a weak R-matrix $R.$

• For any left H-module $(M,\lambda ),$ the data $(M,\lambda ,{\delta }^R)$ form a left-right YD module over $H.$
• For any two H-modules (and hence YD modules) $(M,{\lambda }_M)$ and $(N,{\lambda }_N),$ the morphism $c_{M,N}^R$ from Equation (20) coincides with $c_{M,N}^{YD}$ from Equation (24) and, for $N=M,$ defines a braiding for the object M in $\mathcal{C}.$
• The category ${}_H\mathbf{Mod}$ can be seen as a full subcategory of ${}_H{\mathbf{YD}}^H$ via the inclusion

  $$\begin{array}{cc}\hfill i_R:{}_H\mathbf{Mod}& \to {}_H{\mathbf{YD}}^H\hfill \\ \hfill (M,\lambda )& ⟼(M,\lambda ,{\delta }^R)\hfill \end{array}$$
• If H is a bialgebra and R is a strong R-matrix, then the functor $i_R$ is braided monoidal.

Proof.

• The first two conditions from the definition of weak R-matrix guarantee that ${\delta }^R$ defines a coUAA comodule, while the last one implies the YD compatibility (YD).
• The equality of the two morphisms follows from the choice of ${\delta }^R.$ The fact that $c_{M,M}^{YD}$ is a braiding was noticed in Remark 2.13.
• We have seen in point 1 that $i_R$ is well defined on objects. Further, using the definition of ${\delta }^R$ and the naturality of $c,$ one checks that a morphism in $\mathcal{C}$ respecting module structures necessarily respects comodule structures defined by ${\delta }^R.$ Thus $i_R$ is well defined, full and faithful on morphisms.
• Let us now show that, under the additional conditions of this point, $i_R$ respects monoidal structures. Take two H-modules $(M,{\lambda }_M)$ and $(N,{\lambda }_N).$ The H-module structure ${\lambda }_{M\otimes N}$ on $M\otimes N$ is given by Equation (16). The functor $i_R$ transforms it into a YD module over $H,$ with as H-comodule structure

  $$\begin{array}{cc}\hfill {\delta }_{M\otimes N}^R& =c_{H,M\otimes N}\circ ({Id}_H\otimes {\lambda }_{M\otimes N})\circ (R\otimes {Id}_{M\otimes N})\hfill \\ & =c_{H,M\otimes N}\circ ({Id}_H\otimes {\lambda }_M\otimes {\lambda }_N)\circ ({Id}_{H\otimes H}\otimes c_{H,M}\otimes {Id}_N)\hfill \\ & \circ (\left(({Id}_H\otimes \Delta )\circ R\right)\otimes {Id}_{M\otimes N})\hfill \end{array}$$

  Now in ${}_H{\mathbf{YD}}^H$ the tensor product of $(M,{\lambda }_M,{\delta }_M^R)$ and $(N,{\lambda }_N,{\delta }_N^R)$ has an H-module structure given by ${\lambda }_{M\otimes N},$ and an H-comodule structure given by Equation (22):

  $$\begin{array}{cc}\hfill {\delta }_{M\otimes N}& =({Id}_{M\otimes N}\otimes {\mu }^{op})\circ ({Id}_M\otimes c_{H,N}\otimes {Id}_H)\circ ({\delta }_M^R\otimes {\delta }_N^R)\hfill \\ & =({Id}_{M\otimes N}\otimes {\mu }^{op})\circ ({Id}_M\otimes c_{H,N}\otimes {Id}_H)\hfill \\ & \circ (c_{H,M}\otimes c_{H,N})\circ ({Id}_H\otimes {\lambda }_M\otimes {Id}_H\otimes {\lambda }_N)\circ (R\otimes {Id}_M\otimes R\otimes {Id}_N)\hfill \\ & =c_{H,M\otimes N}\circ ({Id}_H\otimes {\lambda }_M\otimes {\lambda }_N)\circ ({Id}_{H\otimes H}\otimes c_{H,M}\otimes {Id}_N)\hfill \\ & \circ (\left(({\mu }^{op}\otimes {Id}_{H\otimes H})\circ c^2\circ (R\otimes R)\right)\otimes {Id}_{M\otimes N})\hfill \end{array}$$

  The reader is advised to draw diagrams in order to better follow these calculations. Now, axiom 1’. from the definition of a strong R-matrix is precisely what is needed for the two YD structures on $M\otimes N$ to coincide.
  A similar comparison of the standard H-comodule structure on the unit object $\mathbf{I}$ of $\mathcal{C}$ with the one induced by R shows that they coincide if and only if axiom 2’. is verified.
  Point 2 shows that $i_R$ also respects braidings, allowing one to conclude. ☐

Note that in Point 2, $c_{M,N}^R=c_{M,N}^{YD}$ is a morphism in $\mathcal{C}$ and not in ${}_H\mathbf{Mod}$ in general, since the H-module structure on $M\otimes N$ is not even defined if H is not a bialgebra.

In the proof of the theorem one clearly sees that the full set of strong R-matrix axioms is necessary only if one wants to construct braided monoidal categories, while the notion of weak R-matrix suffices if one is interested in the “local” structure of objects in $\mathcal{C}$ (in particular, in solutions to the YBE) only.

The relations between different structures from the above theorems can be presented in the following charts (in each of them one starts with a UAA and a coUAA H and a morphism $R:\mathbf{I}\to H\otimes H$):

Observe that if one disregards all the structural issues and limits oneself to the search of solutions to the YBE, one obtains that the only condition that should be imposed on R so that Equation (20) becomes a braiding is the following:

$$R_{23}*R_{13}*R_{12}=R_{12}*R_{13}*R_{23}:\mathbf{I}\to H\otimes H\otimes H$$

where $R_{12}:=R\otimes \nu ,$ $R_{23}:=\nu \otimes R,$ $R_{13}:=({Id}_H\otimes c_{H,H})\circ R_{12},$ and * stands for the multiplication on $H\otimes H\otimes H$ defined by a formula analogous to Equation (18). This relation is sometimes called algebraic, or quantum, Yang-Baxter equation. Other authors however reserve this term for (YBE).

We finish by showing that in the Hopf algebra case, which is the most common in literature, the invertibility of a weak R-matrix is automatic:

Proposition 2.17. If a Hopf algebra H with the antipode s is endowed with a weak R-matrix $R,$ then

$$R^{-1}:=(s\otimes {Id}_H)\circ R$$

defines an inverse for $R,$ in the sense of Equation (19).

Proof. Apply $(\mu \otimes {Id}_H)\circ (s\otimes {Id}_H\otimes {Id}_H),$ or $(\mu \otimes {Id}_H)\circ ({Id}_H\otimes s\otimes {Id}_H),$ to both sides of the axiom 1 from the definition of weak R-matrix. Axiom 2 and the definition (s) of the antipode allow one to conclude. ☐

3. Yetter-Drinfel${}^{\prime }$d Modules and the Yang-Baxter Equation: The Story Continued

3.1. Braided Systems

In order to describe further connections between Yetter-Drinfel${}^{\prime }$d modules and the Yang-Baxter equation, the following notion from [8] will be useful:

Definition 3.1.

➛

A braided system in a monoidal category $\mathcal{C}$ is an ordered finite family $V_1,V_2,\dots ,V_r$ of objects in $\mathcal{C}$ endowed with a braiding, i.e., morphisms ${\sigma }_{i,j}:V_i\otimes V_j\to V_j\otimes V_i$ for $1⩽\underline{i⩽j}⩽r$ satisfying the colored Yang-Baxter equation (= cYBE)

$$({\sigma }_{j,k}\otimes {Id}_i)\circ ({Id}_j\otimes {\sigma }_{i,k})\circ ({\sigma }_{i,j}\otimes {Id}_k)=({Id}_k\otimes {\sigma }_{i,j})\circ ({\sigma }_{i,k}\otimes {Id}_j)\circ ({Id}_i\otimes {\sigma }_{j,k})\left(\mathrm{cYBE}\right)$$

(cYBE)

on all the tensor products $V_i\otimes V_j\otimes V_k$ with $1⩽\underline{i⩽j⩽k}⩽r.$ (Here ${Id}_t$ stands for ${Id}_{V_t},$$1⩽t⩽r.$) Such a system is denoted by $({\left(V_i\right)}_{1⩽i⩽r};{\left({\sigma }_{i,j}\right)}_{1⩽i⩽j⩽r})$ or briefly $(\overline{V},\overline{\sigma }).$

➛

The rank of a braided system is the number r of its components.

➛

A braided morphism $:(\overline{V},\overline{\sigma })\to (\overline{W},\overline{\xi })$ between two braided systems in $\mathcal{C}$ of the same rank r is a collection of morphisms ${(f_i\in {Hom}_{\mathcal{C}}(V_i,W_i))}_{1⩽i⩽r}$ respecting the braiding, i.e.,

$$(f_j\otimes f_i)\circ {\sigma }_{i,j}={\xi }_{i,j}\circ (f_i\otimes f_j)\forall 1⩽\underline{i⩽j}⩽r$$

(29)

➛

The category of rank r braided systems and braided morphisms in $\mathcal{C}$ is denoted by ${\mathbf{BrSyst}}_r\left(\mathcal{C}\right).$

This notion is a partial generalization of that of braided object in $\mathcal{C},$ in the sense that a braiding is defined only on certain couples of objects (which is underlined in the definition).

Graphically, the ${\sigma }_{i,j}$ component of a braiding is depicted on Figure 13. According to the definition, one allows a strand to overcross only the strands colored with a smaller or equal index $i\in \{1,2,\dots ,r\}.$

Figure 13. A braiding component.

Figure 13. A braiding component.

Observe that each component of a braided system is a braided object in $\mathcal{C}.$

Various examples of braided systems coming from algebraic considerations are presented in [8]. Different aspects of those systems are studied in detail there, including their representation and homology theories, generalizing usual representation and homology theories for basic algebraic structures.

In the next section we will describe a rank 3 braided system constructed from a Yetter-Drinfel${}^{\prime }$d module over a finite-dimensional $\mathbb{k}$-linear bialgebra. The braiding on this system captures all axioms of the YD module structure. Several components of this braiding are inspired by the braiding ${\mathring{c}}^{YD}$ from Equation (28).

3.2. Yetter-Drinfel${}^{\prime }$d Module ⟼ Braided System

In this section we work in the category ${\mathbf{Vect}}_{\mathbb{k}}$ of $\mathbb{k}$-vector spaces and $\mathbb{k}$-linear maps, endowed with the usual tensor product over $\mathbb{k},$ with the unit $\mathbb{k}$ and with the flip

$$\begin{array}{ccc}\hfill c(v\otimes w)& =w\otimes v\hfill & \hfill \forall v\in V,w\in W\end{array}$$

(30)

as symmetric braiding. Note however that one could stay in the general setting of a symmetric category and replace the property “finite-dimensional” with “admitting a dual” in what follows.

Recall the classical Sweedler’s notation without summation sign for comultiplications and coactions in ${\mathbf{Vect}}_{\mathbb{k}},$ used here and further in the paper:

$$\begin{array}{ccc}\hfill \Delta \left(h\right)& :=h_{\left(1\right)}\otimes h_{\left(2\right)}\in H\otimes H\hfill & \hfill \forall h\in H\end{array}$$

(31)

$$\begin{array}{ccc}\hfill \delta \left(m\right)& :=m_{\left(0\right)}\otimes m_{\left(1\right)}\in M\otimes H\hfill & \hfill \forall m\in M\end{array}$$

(32)

We now describe by giving explicit formulas a braided system constructed from an arbitrary YD module. In Section 3.4 this construction will be explained from a more conceptual viewpoint.

Theorem 4. 

Let H be a finite-dimensional $\mathbb{k}$-linear bialgebra, and let M be a Yetter-Drinfel${}^{\prime }$d module over $H.$ Then the rank 3 system $(H,M,H^{*})$ can be endowed with the following braiding:

$$\begin{array}{cccc}\hfill {\sigma }_{H,H}& :h_1\otimes h_2\mapsto h_1{h}_2\otimes 1,\hfill & \hfill {\sigma }_{M,M}& :m_1\otimes m_2\mapsto m_1\otimes m_2\hfill \\ \hfill {\sigma }_{H^{*},H^{*}}& :l_1\otimes l_2\mapsto \epsilon \otimes l_1{l}_2,\hfill & \hfill {\sigma }_{H,M}& :h\otimes m\mapsto h_{\left(2\right)}m\otimes h_{\left(1\right)}\hfill \\ \hfill {\sigma }_{H,H^{*}}& :h\otimes l\mapsto l_{\left(1\right)}\left(h_{\left(2\right)}\right)l_{\left(2\right)}\otimes h_{\left(1\right)},\hfill & \hfill {\sigma }_{M,H^{*}}& :m\otimes l\mapsto l_{\left(1\right)}\left(m_{\left(1\right)}\right)l_{\left(2\right)}\otimes m_{\left(0\right)}\hfill \end{array}$$

Here the signs for multiplication morphisms in H and $H^{*},$ as well as for the H-action on $M,$ are omitted for simplicity. Further, $\mathbf{1}$ denotes the unit of $H,$ i.e., $\nu \left(\alpha \right)=\alpha \mathbf{1}$ for all $\alpha \in \mathbb{k}.$

Multiplication, comultiplication and other structures on $H^{*}$ used in the theorem are obtained from those on H by duality. For instance,

$$\begin{array}{ccc}\hfill l_1{l}_2\left(h\right):={\Delta }^{*}(l_1\otimes l_2)\left(h\right)& :=l_1\left(h_{\left(2\right)}\right)l_2\left(h_{\left(1\right)}\right)\hfill & \hfill \forall l_1,l_2\in H^{*},h\in H\end{array}$$

(33)

$$\begin{array}{ccc}\hfill {\mathbf{1}}_{H^{*}}\left(h\right):={\left({\epsilon }_H\right)}^{*}\left(1\right)\left(h\right)& :={\epsilon }_H\left(h\right)\hfill & \hfill \forall h\in H\end{array}$$

(34)

See [8] for some comments on an alternative definition of the duality between $H\otimes H$ and $H^{*}\otimes H^{*},$ which gives a slightly different formula for ${\Delta }^{*},$ more common in literature.

The multiplication ${\Delta }^{*}$ on $H^{*}$ is graphically depicted on Figure 14. Here and afterwards dashed lines stand for $H^{*},$ and $ev$ denotes one of the evaluation maps

$$\begin{array}{cccc}\hfill ev:H^{*}\otimes H& ⟶\mathbb{k},\hfill & \hfill \text{or}H\otimes H^{*}& ⟶\mathbb{k},\hfill \\ \hfill l\otimes h& ⟼l\left(h\right);\hfill & \hfill h\otimes l& ⟼l\left(h\right).\hfill \end{array}$$

Figure 14. Dual structures on $H^{*}$ via the “rainbow” duality.

Figure 14. Dual structures on $H^{*}$ via the “rainbow” duality.

All components of the braiding from the theorem are presented on Figure 15.

Figure 15. A braiding for the system $(H,M,H^{*})$.

Figure 15. A braiding for the system $(H,M,H^{*})$.

In order to prove the theorem, one can simply verify by tedious but straightforward computations the $\left(\genfrac{}{}{0pt}{}{3+2}{2}\right)=10$ instances of the cYBE involved in the definition of rank 3 braided system. A more conceptual proof will be given in the more general setting of Section 3.3 and Section 3.4 (cf. Example 3.11). In subsequent sections we will also study functoriality, precision and homology questions for this braided system.

3.3. Yetter-Drinfel${}^{\prime }$d Systems: Definition and Braided Structure

We introduce here the notion of Yetter-Drinfel${}^{\prime }$d system in a symmetric category $\mathcal{C}$ and show how to endow it with a braiding. The braided system from Section 3.2 turns out to be a particular case of this general construction. In Section 3.4 we will consider other particular cases, namely a braided system encoding the bialgebra structure (cf. [8]) and a braided system of several Yetter-Drinfel${}^{\prime }$d modules over a common bialgebra $H.$ The latter will lead to a “braided” interpretation of the monoidal structures on the category ${}_H{\mathbf{YD}}^H$ (Section 3.6).

Let an object H in $\mathcal{C}$ be endowed with a UAA structure $({\mu }_H,{\nu }_H)$ and a coUAA structure $({\Delta }_H,{\epsilon }_H),$ a priori not compatible.

Definition 3.2.

➛

A (left-right) Yetter-Drinfel${}^{\prime }$d module algebra over H is the datum of a UAA structure $(\mu ,\nu )$ and a YD structure $(\lambda ,\delta )$ on an object V in $\mathcal{C},$ such that μ and ν are morphisms of YD modules (see Equations (26), (27) and (17), (23) for the H-(co)module structure of $V\otimes V$ and of $\mathbf{I}$):

$$\begin{array}{cc}\hfill \delta \circ \mu & =(\mu \otimes {\mu }_H)\circ ({Id}_V\otimes c_{H,V}\otimes {Id}_H)\circ (\delta \otimes \delta )\hfill \end{array}$$

(35)

$$\begin{array}{cc}\hfill \lambda \circ ({Id}_H\otimes \mu )& =\mu \circ (\lambda \otimes \lambda )\circ ({Id}_H\otimes c_{H,V}\otimes {Id}_V)\circ ({\Delta }_H^{op}\otimes {Id}_{V\otimes V})\hfill \end{array}$$

(36)

$$\begin{array}{cc}\hfill \delta \circ \nu & =\nu \otimes {\nu }_H\hfill \end{array}$$

(37)

$$\begin{array}{cc}\hfill \lambda \circ ({Id}_H\otimes \nu )& ={\epsilon }_H\otimes \nu \hfill \end{array}$$

(38)

➛

The category of YD module algebras over H in $\mathcal{C}$ (with as morphisms those which are simultaneously UAA and YD module morphisms) is denoted by ${}_H{\mathbf{YDAlg}}^H.$

➛

Omitting the comodule structure δ from the definition, one gets the notion of H-module algebra. H-comodule algebras are defined similarly.

The name $H^{cop}$-module algebra would be more appropriate than H-module algebra since we use the twisted compatibility condition (36). However we opt for the simpler notation since it causes no confusion in what follows.

For the reader’s convenience, we give in Figure 16 a graphical form of the compatibility relations (35)–(38). Here and afterwards we use thick colored lines for the module V, and thin black lines for $H.$

Figure 16. Compatibilities between UAA and YD structures.

Figure 16. Compatibilities between UAA and YD structures.

Definition 3.3. A (left-right) Yetter-Drinfel${}^{\prime }$d system over H (=H-YD system) in $\mathcal{C}$ is an ordered finite family $V_1,V_2,\dots ,V_r$ of objects endowed with the following structure:

• $(V_1,{\mu }_1,{\nu }_1,{\delta }_1)$ is an H-comodule algebra;
• $(V_r,{\mu }_r,{\nu }_r,{\lambda }_r)$ is an H-module algebra;
• $(V_i,{\mu }_i,{\nu }_i,{\lambda }_i,{\delta }_i)$ is a YD module algebra over H for all $1<i<r.$

Now we show how to endow a YD system with a braiding:

Theorem 5. A braiding can be defined on a Yetter-Drinfel${}^{\prime }$d system $(V_1,\dots V_r)$ over H by

$$\begin{array}{cc}\hfill {\sigma }_{i,i}& :={\nu }_i\otimes {\mu }_i\text{or}{\mu }_i\otimes {\nu }_i:V_i\otimes V_i\to V_i\otimes V_i,\hfill \\ \hfill {\sigma }_{i,j}& :={\mathring{c}}_{V_i,V_j}^{YD}=c_{V_i,V_j}\circ ({Id}_{V_i}\otimes {\lambda }_j)\circ ({\delta }_i\otimes {Id}_{V_j}):V_i\otimes V_j\to V_j\otimes V_i,i<j.\hfill \end{array}$$

The ${\sigma }_{i,j}$ components of this braiding with $i<j$ are invertible if H is a Hopf algebra.

In order to prove the theorem, the following result from [8] will be useful:

Proposition 3.4. Take r UAAs ${(V_i,{\mu }_i,{\nu }_i)}_{1⩽i⩽r}$ in a monoidal category $\mathcal{C}$ and, for each couple of subscripts $1⩽\underline{i<j}⩽r,$ take a morphism ${\xi }_{i,j}:V_i\otimes V_j\to V_j\otimes V_i$ natural with respect to ${\nu }_i$ and ${\nu }_j$ (in the sense of a multi-object version of Equations (10) and (11)). The following statements are then equivalent:

• The morphisms

  $$\begin{array}{ccc}\hfill {\xi }_{i,i}& :={\nu }_i\otimes {\mu }_i\hfill & \hfill \forall 1⩽i⩽r\end{array}$$

  (39)

  complete the ${\xi }_{i,j}$’s into a braided system structure on $\overline{V}.$
• Each ${\xi }_{i,j}$ is natural with respect to ${\mu }_i$ and ${\mu }_j$ (in the sense of a multi-object version of Equations (8) and (9)) and, for each triple $i<j<k,$ the ${\xi }_{i,j}$’s satisfy the colored Yang-Baxter equation on $V_i\otimes V_j\otimes V_k.$

We call braided systems described in the proposition braided systems of UAAs. In [8] this structure was shown to be equivalent to that of a multi-braided tensor product of UAAs.

The associativity braidings ${\xi }_{i,i}$ from Equation (39) were introduced in [13], where they were shown to encode the associativity (in the sense that the YBE for ${\xi }_{i,i}$ is equivalent to ${\mu }_i$ being associative, if one imposes that ${\nu }_i$ is a unit for ${\mu }_i$) and to capture many structural properties of the latter. We denote them by ${\sigma }_{Ass}\left(V_i\right).$ Observe that they are highly non-invertible in general.

Remark 3.5. Some or all of the morphisms ${\xi }_{i,i}$ in the proposition can be replaced with their right versions

$${\sigma }_{Ass}^r\left(V_i\right):={\mu }_i\otimes {\nu }_i$$

Proof of the theorem. First notice that the compatibility conditions (37) and (38) between the units ${\nu }_i$ of the $V_i$’s and the H-(co)module structures on the $V_i$’s (cf. two last pictures on Figure 16) ensure that ${\mathring{c}}_{V_i,V_j}^{YD}$ is natural with respect to units. In order to deduce the theorem from Proposition 3.4, it remains to check the following two conditions:

• The naturality of ${\mathring{c}}_{V_i,V_j}^{YD}$ with respect to ${\mu }_i$ and ${\mu }_j$ for each couple $i<j.$
  Figure 17 contains a graphical proof of the naturality with respect to ${\mu }_i,$ the case of ${\mu }_j$ being similar. Labels $V_i,V_j,H,{\mu }_i$ etc. are omitted for compactness.

Figure 17. Naturality with respect to ${\mu }_i$: a graphical proof.

Figure 17. Naturality with respect to ${\mu }_i$: a graphical proof.

Here we use:

①

the compatibility (35) between ${\delta }_i$ and ${\mu }_i$ (cf. Figure 16, picture 1);

②

the definition of H-module for $V_j$;

③

the naturality of the symmetric braiding c of $\mathcal{C}$;

④

the naturality and the symmetry (5) of c.

2.

Condition (cYBE) on $V_i\otimes V_j\otimes V_k$ for each triple $i<j<k.$

Due to the naturality of $c,$ this condition is equivalent to the one graphically presented on Figure 18.

Figure 18. Yang-Baxter equation for Yetter-Drinfel${}^{\prime }$d modules.

Figure 18. Yang-Baxter equation for Yetter-Drinfel${}^{\prime }$d modules.

To prove this, one needs

➛

the defining property of right H-comodule for $V_i,$

➛

the defining property of left H-module for $V_k,$

➛

the Yetter-Drinfel${}^{\prime }$d property for $V_j.$

As for the invertibility statement, if H is a Hopf algebra, then the inverse of ${\sigma }_{i,j}={\mathring{c}}_{V_i,V_j}^{YD},$$i<j,$ can be explicitely given by the formula

$$\begin{array}{cc}\hfill {\sigma }_{i,j}^{-1}& =({Id}_{V_i}\otimes {\lambda }_j)\circ ({Id}_{V_i}\otimes s\otimes {Id}_{V_j})\circ ({\delta }_i\otimes {Id}_{V_j})\circ c_{V_j,V_i}:V_j\otimes V_i\to V_i\otimes V_j\hfill \end{array}$$

☐

Remark 3.6. 

No compatibility between the algebra and coalgebra structures on H are demanded explicitly. However, other properties of a YD system dictate that H should be not too far from a bialgebra, at least as far as (co)actions are concerned. This statement is made concrete and is proved (in the H-comodule case) in Figure 19; cf. Figure 4 for the definition of bialgebra.

Figure 19. Almost a bialgebra.

Figure 19. Almost a bialgebra.

3.4. Yetter-Drinfel${}^{\prime }$d Systems: Examples

The examples of H-YD systems we give below contain usual YD modules over $H,$ a priori without a UAA structure. In the following lemma we explain how to overcome this lack of structure by introducing a formal unit into a YD module:

Lemma 3.7. 

Let $(M,\lambda ,\delta )$ be a YD module over a UAA and coUAA H in a symmetric additive category $\mathcal{C}.$ This YD module structure can be extended to $\tilde{M}:=M\oplus \mathbf{I}$ as follows:

$$\begin{array}{cccc}\hfill \tilde{\lambda }{|}_{H\otimes \mathbf{I}}& :={\epsilon }_H,\hfill & \hfill \tilde{\lambda }{|}_{H\otimes M}& :=\lambda ,\hfill \\ \hfill \tilde{\delta }{|}_{\mathbf{I}}& :={\nu }_H,\hfill & \hfill \tilde{\delta }{|}_M& :=\delta .\hfill \end{array}$$

Moreover, combined with the trivial UAA structure on $\tilde{M}$:

$${\mu |}_{M\otimes M}=0,\mu {{|}_{\mathbf{I}\otimes \tilde{M}}=\mu |}_{\tilde{M}\otimes \mathbf{I}}={Id}_{\tilde{M}},\nu ={Id}_{\mathbf{I}}$$

this extended YD module structure turns M into an H-YD module algebra.

Proof. 

Direct verifications. ☐

We need $\mathcal{C}$ to be additive in order to ensure the existence of direct sums and zero morphisms. Our favorite category ${\mathbf{Vect}}_{\mathbb{k}}$ is additive.

In what follows we mostly work with YD modules admitting moreover a compatible UAA structure; the lemma shows that this assumption does not reduce the generality of our constructions.

Everything is now ready for our main example of H-YD systems. Recall Sweedler’s notation (31) and (32).

Proposition 3.8. 

Let H be a finite-dimensional $\mathbb{k}$-linear bialgebra, and let $M_1,\dots ,M_r$ be Yetter-Drinfel${}^{\prime }$d module algebras over $H.$ Consider H itself as a UAA via morphisms ${\mu }_H$ and ${\nu }_H$ and as an H-comodule via ${\Delta }_H.$ Further, consider its dual space $H^{*}$ as a UAA via dual morphisms ${\left({\Delta }_H\right)}^{*}$ and ${\left({\epsilon }_H\right)}^{*}$ and as an H-module via

$$\begin{array}{ccc}\hfill h·l& :=l_{\left(1\right)}\left(h\right)l_{\left(2\right)}\hfill & \hfill \forall h\in H,l\in H^{*}\end{array}$$

(40)

(cf. Figure 20). These structures turn the family $(H,M_1,\dots ,M_r,H^{*})$ into an H-YD system.

Figure 20. The action of H on H^*.

Figure 20. The action of H on H^*.

Proof. 

Almost all axioms from Definition 3.3 are automatic. One should check only the following points:

➛

the H-comodule structure ${\Delta }_H$ on H is compatible with the UAA structure $({\mu }_H,{\nu }_H)$;

➛

the map Equation (40) indeed defines an H-action on $H^{*}$;

➛

the H-module structure Equation (40) on $H^{*}$ is compatible with the UAA structure $({\left({\Delta }_H\right)}^{*},{\left({\epsilon }_H\right)}^{*})$.

These straightforward verifications use bialgebra axioms and the definition of dual morphisms. They are easily effectuated using the graphical calculus. ☐

Applying Theorem 5 to the H-YD system from Proposition 3.8, and choosing braiding component ${\sigma }_{Ass}$ for $H^{*}$ and the $M_i$’s, and its right version ${\sigma }_{Ass}^r$ for H (cf. Remark 3.5), one obtains the following braided system:

Corollary 3.9. 

In the settings of Proposition 3.8, the system $(H,M_1,\dots ,M_r,H^{*})$ can be endowed with the following braiding:

$$\begin{array}{cccc}\hfill {\sigma }_{H,H}& :={\sigma }_{Ass}^r\left(H\right)={\mu }_H\otimes {\nu }_H:\hfill & \hfill h_1\otimes h_2& \mapsto h_1{h}_2\otimes {\mathbf{1}}_H,\hfill \\ \hfill {\sigma }_{H^{*},H^{*}}& :={\sigma }_{Ass}\left(H^{*}\right)={\left({\epsilon }_H\right)}^{*}\otimes {\left({\Delta }_H\right)}^{*}:\hfill & \hfill l_1\otimes l_2& \mapsto {\epsilon }_H\otimes l_1{l}_2,\hfill \\ \hfill {\sigma }_{H,H^{*}}& :={\mathring{c}}_{H,H^{*}}^{YD}:\hfill & \hfill h\otimes l& \mapsto l_{\left(1\right)}\left(h_{\left(2\right)}\right)l_{\left(2\right)}\otimes h_{\left(1\right)},\hfill \\ \hfill {\sigma }_{M_i,M_i}& :={\sigma }_{Ass}\left(M_i\right)={\nu }_i\otimes {\mu }_i:\hfill & \hfill m_1\otimes m_2& \mapsto {\mathbf{1}}_{M_i}\otimes m_1{m}_2,\hfill \\ \hfill {\sigma }_{M_i,M_j}& :={\mathring{c}}_{M_i,M_j}^{YD}:\hfill & \hfill m\otimes n& \mapsto m_{\left(1\right)}n\otimes m_{\left(0\right)},\hfill \\ \hfill {\sigma }_{H,M_i}& :={\mathring{c}}_{H,M_i}^{YD}:\hfill & \hfill h\otimes m& \mapsto h_{\left(2\right)}m\otimes h_{\left(1\right)},\hfill \\ \hfill {\sigma }_{M_i,H^{*}}& :={\mathring{c}}_{M_i,H^{*}}^{YD}:\hfill & \hfill m\otimes l& \mapsto l_{\left(1\right)}\left(m_{\left(1\right)}\right)l_{\left(2\right)}\otimes m_{\left(0\right)}.\hfill \end{array}$$

Notations analogous to those from Theorem 4 are used here.

See Figure 9 and Figure 15 for a graphical presentation of the components of the braiding from the corollary. Notation ${\overline{\sigma }}_{YDAlg}$ will further be used for this braiding.

The simplest particular cases of the corollary already give interesting examples:

Example 3.10. 

In the extreme case $r=0$ one gets the braiding on the system $(H,H^{*})$ studied in [8], where it was shown that:

➛

it encodes the bialgebra structure (e.g., the cYBE on $H\otimes H\otimes H^{*}$ or on $H\otimes H^{*}\otimes H^{*}$ is equivalent to the main bialgebra axiom (15));

➛

it allows to construct a fully faithful functor

$${}^{*}\mathbf{bialg}{\to }^{*}{\mathbf{BrSyst}}_2^{••}$$

where ${}^{*}\mathbf{bialg}$ is the category of finite-dimensional bialgebras and bialgebra isomorphisms (hence notation ${}^{*}$) in ${\mathbf{Vect}}_{\mathbb{k}},$ and ${}^{*}{\mathbf{BrSyst}}_2^{••}$ is the category of rank 2 braided systems and their isomorphisms in ${\mathbf{Vect}}_{\mathbb{k}},$ endowed with some additional structure (hence notation ${}^{••}$);

➛

the invertibility of the component ${\sigma }_{H,H^{*}}$ of this braiding is equivalent to the existence of the antipode for H;

➛

braided modules over this system (cf. [8] for a definiton) are precisely Hopf modules over H;

➛

the braided homology theory for this system (cf. Section 3.7) includes the Gerstenhaber-Schack bialgebra homology, defined in [20].

Example 3.11. 

The $r=1$ case gives a braiding on the system $(H,M,H^{*})$ for a YD module algebra M over $H.$ Now observe that one can substitute the ${\sigma }_{M,M}={\sigma }_{Ass}\left(M\right)$ component of ${\overline{\sigma }}_{YDAlg}$ with the trivial one, ${\sigma }_{M,M}={Id}_{M\otimes M},$ since the instances of the cYBE involving two copies of M (which are the only instances affected by the modification of ${\sigma }_{M,M}$) become automatic. Moreover, with this new ${\sigma }_{M,M}$ the UAA structure on M is no longer necessary. One thus obtains a braiding on $(H,M,H^{*})$ for any H-YD module $M,$ which coincides with the one in Theorem 4. This gives an alternative proof of that theorem.

Example 3.12. 

If M is just a module algebra, one can extract a braided system $(H,M)$ from the construction of the previous example. Studying braided differentials for this system (cf. Section 3.7), one recovers the deformation bicomplex of module algebras, introduced by D. Yau in [21]. Note that in this example H need not be finite-dimensional.

Example 3.13. 

The argument from example 3.11 also gives a braiding on the system $(H,M_1,\dots ,M_r,H^{*})$ for H-YD modules $M_1,\dots ,M_r,$ a priori without UAA structures. This braiding is obtained by replacing all the ${\sigma }_{M_i,M_i}$’s from Corollary 3.9 with the trivial ones, ${\sigma }_{M_i,M_i}={Id}_{M_i\otimes M_i}.$ It is denoted by ${\overline{\sigma }}_{YD}.$

3.5. Yetter-Drinfel${}^{\prime }$d Systems: Properties

Now let us study several properties of the braiding from Corollary 3.9, namely its functoriality and the precision of encoding YD module algebra axioms.

Proposition 3.14. 

In the settings of Proposition 3.8, one has a faithful functor

$$\begin{array}{cc}\hfill {\left({}_H{\mathbf{YDAlg}}^H\right)}^{\times r}& \stackrel{i_{br}}{\to }{\mathbf{BrSyst}}_{r+2}\hfill \end{array}$$

(41)

$$\begin{array}{cc}\hfill \overline{M}=(M_1,\dots ,M_r)& ⟼(H,\overline{M},H^{*};{\overline{\sigma }}_{YDAlg})\hfill \end{array}$$

$$\begin{array}{cc}\hfill ={(f_i:M_i\to N_i)}_{1⩽i⩽r}& ⟼({Id}_H,,{Id}_{H^{*}})\hfill \end{array}$$

Moreover, if a braided morphism from $i_{br}\left(\overline{M}\right)$ to $i_{br}\left(\overline{N}\right)$ has the form $({Id}_H,,{Id}_{H^{*}})$ and if the $f_i$’s respect units (in the sense of Equation (7)), then all the $f_i:M_i\to N_i$ are morphisms in ${}_H{\mathbf{YDAlg}}^H.$

Proof. 

Corollary 3.9 says that the functor is well defined on objects. It remains to study the compatibility condition (29) for the collection $({Id}_H,,{Id}_{H^{*}})$ and each component of the braiding ${\overline{\sigma }}_{YDAlg}.$

• On $H\otimes H,$$H\otimes H^{*}$ and $H^{*}\otimes H^{*}$ condition (29) trivially holds true.
• On $M_i\otimes M_i,$ condition (29) reads

  $$(f_i\otimes f_i)\circ ({\nu }_{M_i}\otimes {\mu }_{M_i})=({\nu }_{N_i}\otimes {\mu }_{N_i})\circ (f_i\otimes f_i)$$

  which, due to Equation (7), becomes

  $${\nu }_{N_i}\otimes (f_i\circ {\mu }_{M_i})=({\nu }_{N_i}\otimes {\mu }_{N_i})\circ (f_i\otimes f_i)$$

  But this is equivalent to $f_i$ respecting multiplication:

  $$f_i\circ {\mu }_{M_i}={\mu }_{N_i}\circ (f_i\otimes f_i)$$

  (compose with ${\mu }_{N_i}$ on the left to get the less evident application), i.e., in the presence of Equation (7), to $f_i$ being a UAA morphism.
• On $H\otimes M_i,$ condition (29) reads

  $$(f_i\otimes {Id}_H)\circ c_{H,M_i}\circ ({Id}_H\otimes {\lambda }_{M_i})\circ ({\Delta }_H\otimes {Id}_{M_i})=c_{H,N_i}\circ ({Id}_H\otimes {\lambda }_{N_i})\circ ({\Delta }_H\otimes {Id}_{N_i})\circ ({Id}_H\otimes f_i)$$

  which simplifies as

  $$({Id}_H\otimes (f_i\circ {\lambda }_{M_i}))\circ ({\Delta }_H\otimes {Id}_{M_i})=({Id}_H\otimes {\lambda }_{N_i})\circ ({Id}_{H\otimes H}\otimes f_i)\circ ({\Delta }_H\otimes {Id}_{M_i})$$

  This is equivalent to $f_i$ respecting the H-module structure:

  $$(f_i\circ {\lambda }_{M_i})={\lambda }_{N_i}\circ ({Id}_H\otimes f_i)$$

  (compose with $\epsilon \otimes {Id}_{N_i}$ on the left to get the less evident application).
• Similarly, on $M_i\otimes H^{*}$ condition (29) is equivalent to $f_i$ respecting the H-comodule structure.
• Condition (29) holds true on $M_i\otimes M_j,i<j,$ if $f_j$ respects the H-module structures and $f_i$ respects the H-comodule structures.

The reader is advised to draw diagrams in order to better follow the proof.

This analysis shows that $i_{br}$ is well defined on morphisms. Moreover, it shows that if a braided morphism from $i_{br}\left(\overline{M}\right)$ to $i_{br}\left(\overline{N}\right)$ has the form $({Id}_H,,{Id}_{H^{*}})$ and if the $f_i$’s respect units, then all the $f_i:M_i\to N_i$ are simultaneously morphisms of UAAs (point 2 above), of H-modules (point 3) and of H-comodules (point 4), which precisely means that they are morphisms in ${}_H{\mathbf{YDAlg}}^H.$

The faithfulness of the functor is tautological. ☐

Remark 3.15. 

The second statement of the proposition allows to call the functor $i_{br}$ “essentially full”. A precise description of $(\alpha ,,\beta )\in {Hom}_{{\mathbf{BrSyst}}_{r+2}}(i_{br}\left(\overline{M}\right),i_{br}\left(\overline{N}\right))$ can be obtained using the results recalled in Example 3.10. Namely, if one imposes some additional restrictions (α and β should be invertible and respect the units, the $f_i$’s should respect units as well), then

➛

α is a bialgebra automorphism, and coinsides with ${\left({\beta }^{-1}\right)}^{*}$;

➛

each $f_i$ is a UAA morphism;

➛

α and the $f_i$ ’s are compatible with the YD structures on the $M_i$’s and $N_i$’s:

$$\begin{array}{cc}\hfill f_i\circ {\lambda }_{M_i}& ={\lambda }_{N_i}\circ (\alpha \otimes f_i):H\otimes M_i\to N_i\hfill \\ \hfill {\delta }_{N_i}\circ f_i& =(f_i\otimes \alpha )\circ {\delta }_{M_i}:M_i\to N_i\otimes H\hfill \end{array}$$

Remark 3.16. 

Following Example 3.13, one gets a similar “essentially full” and faithful functor

$$\begin{array}{cc}\hfill {\left({}_H{\mathbf{YD}}^H\right)}^{\times r}& \stackrel{i_{br}}{\to }{\mathbf{BrSyst}}_{r+2}\hfill \\ \hfill \overline{M}=(M_1,\dots ,M_r)& ⟼(H,\overline{M},H^{*};{\overline{\sigma }}_{YD})\hfill \\ \hfill ={(f_i:M_i\to N_i)}_{1⩽i⩽r}& ⟼({Id}_H,,{Id}_{H^{*}})\hfill \end{array}$$

We next show that each instance of the cYBE for the braiding ${\overline{\sigma }}_{YDAlg}$ corresponds precisely to an axiom from the Definition 3.2 of YD module algebra structure, modulo some minor normalization constraints. We thus obtain a “braided” interpretation of each of these axioms, extending the classical “braided” interpretation of the YD compatibility condition (YD) (Corollary 2.11).

Proposition 3.17. 

Take a finite-dimensional $\mathbb{k}$-linear bialgebra $H,$ a vector space V over $\mathbb{k},$ and morphisms $\mu :V\otimes V\to V,$$\nu :\mathbb{k}\to V,$$\lambda :H\otimes V\to V,$$\delta :V\to V\otimes H,$ a priori satisfying no compatibility relations. Consider the collection of σ’s defined in Corollary 3.9 (for $r=1$). One has the following equivalences:

• cYBE for $H\otimes V\otimes H^{*}$⟺ YD compatibility condition (YD) for $(V,\lambda ,\delta ).$
• cYBE for $H\otimes H\otimes V$⟺λ defines an H-module.
  Here one supposes that ${\nu }_H$ acts via λ by identity (in the sense of Equation (13)).
• cYBE for $V\otimes H^{*}\otimes H^{*}$⟺δ defines an H-comodule.
  Here one supposes that ${\epsilon }_H$ coacts via δ by identity (in the sense dual to Equation (13)).
• cYBE for $H\otimes V\otimes V$⟺λ respects the multiplication μ (in the sense of Equation (36)).
  Here one supposes λ to respect ν (in the sense of Equation (38)).
• cYBE for $V\otimes V\otimes H^{*}$⟺δ respects the multiplication μ (in the sense of Equation (35)).
  Here one supposes δ to respect ν (in the sense of Equation (37)).
• cYBE for $V\otimes V\otimes V$$\stackrel{\nu \text{is}\text{a}\text{unit}\text{for}\mu }{⟺}$ associativity of $\mu .$

Proof. 

We prove only the first equivalence here, the other points being similar.

The cYBE for $H\otimes V\otimes H^{*}$ is graphically depicted on Figure 21(a). Using the naturality of $c,$ one transforms this into the diagram on Figure 21(b). Applying ${\epsilon }_{H^{*}}\otimes V\otimes {\epsilon }_H$ to both sides and using the definition of ${\Delta }_{H^{*}}={\mu }_H^{*}$ in terms of ${\mu }_H,$ one gets precisely (YD).

Figure 21. cYBE for $H\otimes V\otimes H^{*}$ ⟺ (YD).

Figure 21. cYBE for $H\otimes V\otimes H^{*}$ ⟺ (YD).

3.6. Tensor Product of Yetter-Drinfel${}^{\prime }$d Modules

The aim of this section is to explain the definition (26) and (27) of tensor product of YD modules from the braided point of view, using the braided interpretation of YD structure presented in Proposition 3.17.

Start with an easy general observation.

Lemma 3.18. 

Let $(\overline{V},\overline{\sigma })$ be a rank 4 braided system in a monoidal category $\mathcal{C}.$ A braiding can then be defined for the rank 3 system $(V_1,V_2\otimes V_3,V_4)$ in the following way:

➛

keep ${\sigma }_{V_1,V_1},$${\sigma }_{V_1,V_4}$ and ${\sigma }_{V_4,V_4}$ from the previous system;

➛

put ${\sigma }_{V_2\otimes V_3,V_2\otimes V_3}={Id}_{(V_2\otimes V_3)\otimes (V_2\otimes V_3)}$;

➛

define

$$\begin{array}{cc}\hfill {\sigma }_{V_1,V_2\otimes V_3}& =({Id}_{V_2}\otimes {\sigma }_{1,3})\otimes ({\sigma }_{1,2}\otimes {Id}_{V_3})\hfill \\ \hfill {\sigma }_{V_2\otimes V_3,V_4}& =({\sigma }_{2,4}\otimes {Id}_{V_3})\otimes ({Id}_{V_2}\otimes {\sigma }_{3,4})\hfill \end{array}$$

Proof. 

The instances of the cYBE not involving $V_2\otimes V_3$ hold true since they were true in the original braided system. Those involving $V_2\otimes V_3$ at least twice are trivially true. The remaining instances (those involving $V_2\otimes V_3$ exactly once) are verified by applying the instances of the cYBE coming from the original braided system several times. ☐

Certainly, this gluing procedure can be applied in a similar way to any two or more consecutive components in a braided system of any rank.

Applying the gluing procedure to the braided system from Example 3.13 ($r=2$) and slightly rewriting the braiding obtained (using the coassociativity of H and of $H^{*}$), one gets

Lemma 3.19. 

Given YD modules $M_1$ and $M_2$ over a finite-dimensional $\mathbb{k}$-linear bialgebra $H,$ one has the following braiding on $(H,M_1\otimes M_2,H^{*})$:

$$\begin{array}{cc}\hfill {\sigma }_{H,H}& :={\sigma }_{Ass}^r\left(H\right)={\mu }_H\otimes {\nu }_H\hfill \\ \hfill {\sigma }_{H^{*},H^{*}}& :={\sigma }_{Ass}\left(H^{*}\right)={\left({\epsilon }_H\right)}^{*}\otimes {\left({\Delta }_H\right)}^{*}\hfill \\ \hfill {\sigma }_{H,H^{*}}& :={\mathring{c}}_{H,H^{*}}^{YD}\hfill \\ \hfill {\sigma }_{M_1\otimes M_2,M_1\otimes M_2}& :={Id}_{(M_1\otimes M_2)\otimes (M_1\otimes M_2)}\hfill \\ \hfill {\sigma }_{H,M_1\otimes M_2}& :=c_{H,M_1\otimes M_2}\circ ({Id}_H\otimes {\mathring{\lambda }}_{M_1\otimes M_2})\circ ({\Delta }_H\otimes {Id}_{M_1\otimes M_2})\hfill \\ \hfill {\sigma }_{M_1\otimes M_2,H^{*}}& :=c_{M_1\otimes M_2,H^{*}}\circ ({Id}_{M_1\otimes M_2}\otimes {\lambda }_{H^{*}})\circ ({\mathring{\delta }}_{M_1\otimes M_2}\otimes {Id}_{H^{*}})\hfill \end{array}$$

where ${\lambda }_{H^{*}}$ denotes the action (40) of H on $H^{*},$ and ${\mathring{\lambda }}_{M_1\otimes M_2}$ and ${\mathring{\delta }}_{M_1\otimes M_2}$ are defined by Equations (26) and (27).

Now plug ${\mathring{\lambda }}_{M_1\otimes M_2}$ and ${\mathring{\delta }}_{M_1\otimes M_2}$ (and arbitrary μ and ν) into Proposition 3.17. The preceding lemma ensures the cYBE on $H\otimes (M_1\otimes M_2)\otimes H^{*},$$H\otimes H\otimes (M_1\otimes M_2)$ and $(M_1\otimes M_2)\otimes H^{*}\otimes H^{*}$ (since the corresponding components of $\overline{\sigma }$ from the proposition and from the lemma coincide). The equivalences from the proposition then allow to conclude:

Corollary 3.20. 

Given YD modules $M_1$ and $M_2$ over a finite-dimensional $\mathbb{k}$-linear bialgebra $H,$ the morphisms ${\mathring{\lambda }}_{M_1\otimes M_2}$ and ${\mathring{\delta }}_{M_1\otimes M_2}$ defined by Equations (26) and (27) endow $M_1\otimes M_2$ with a YD module structure.

One thus obtains a more conceptual way of “guessing” the correct definition of tensor product for YD modules.

3.7. Braided Homology: A Short Review

In this section we recall the homology theory for braided systems developed in [8] (see also [13] for the rank $1,$ i.e., braided object, case). In the next section we apply this general theory to the braided system constructed from a YD module in Theorem 4.

We first explain what we mean by a homology theory for a braided system $(\overline{V},\overline{\sigma })$ in an additive monoidal category $\mathcal{C}$:

Definition 3.21. 

➛

A degree $-1$ differential for a collection ${\left(X_n\right)}_{n⩾0}$ of objects in $\mathcal{C}$ is a family of morphisms ${(d_n:X_n\to X_{n-1})}_{n>0},$ satisfying

$$\begin{array}{ccc}\hfill d_{n-1}\circ d_n& =0\hfill & \hfill \forall n>1\end{array}$$

➛

A bidegree $-1$ bidifferential for a collection ${\left(X_n\right)}_{n⩾0}$ of objects in $\mathcal{C}$ consists of two families of morphisms ${(d_n,d_n^{\prime }:X_n\to X_{n-1})}_{n>0},$ satisfying

$$\begin{array}{ccc}\hfill d_{n-1}\circ d_n& =d_{n-1}^{\prime }\circ d_n^{\prime }=d_{n-1}^{\prime }\circ d_n+d_{n-1}\circ d_n^{\prime }=0\hfill & \hfill \forall n>1\end{array}$$

➛

An ordered tensor product for $(\overline{V},\overline{\sigma })\in {\mathbf{BrSyst}}_r\left(\mathcal{C}\right)$ is a tensor product of the form

$$V_1^{\otimes m_1}\otimes V_2^{\otimes m_2}\otimes \cdots \otimes V_r^{\otimes m_r},m_i⩾0$$

➛

The degree of such a tensor product is the sum ${\sum }_{i=1}^r{m}_i.$

➛

The direct sum of all ordered tensor products of degree n is denoted by $T{\left(\overline{V}\right)}_n^{\to }.$

➛

A (bi)degree $-1$ (bi)differential for $(\overline{V},\overline{\sigma })$ is a (bi)degree $-1$ (bi)differential for ${\left(T{\left(\overline{V}\right)}_n^{\to }\right)}_{n⩾0}.$

One also needs the “braided” notion of character, restricting in particular examples to the familiar notions of character for several algebraic structures such as UAAs and Lie algebras (cf. [13]).

Definition 3.22. 

A braided character for $(\overline{V},\overline{\sigma })\in {\mathbf{BrSyst}}_r\left(\mathcal{C}\right)$ is a rank r braided system morphism from $(\overline{V},\overline{\sigma })$ to $(\mathbf{I},\dots ,\mathbf{I};{\sigma }_{i,j}={Id}_{\mathbf{I}}\forall i<j).$

In other words, it is a collection of morphisms ${({\zeta }_i:V_i\to \mathbf{I})}_{1⩽i⩽r}$ satisfying the compatibility condition

$$\begin{array}{ccc}\hfill ({\zeta }_j\otimes {\zeta }_i)\circ {\sigma }_{i,j}& ={\zeta }_i\otimes {\zeta }_j\hfill & \hfill \forall i⩽j\end{array}$$

(42)

We now exhibit a bidegree $-1$ bidifferential for an arbitrary braided system endowed with braided characters; see [8] for motivations, proofs, a multi-quantum shuffle interpretation and properties of this construction.

Theorem 6. 

Take a braided system $(\overline{V},\overline{\sigma })$ in an additive monoidal category $\mathcal{C},$ equipped with two braided characters $\overline{\zeta }$ and $\overline{\xi }.$ The families of morphisms

$$\begin{array}{cc}\hfill {\left({}^{\zeta }d\right)}_n& :=\sum _{i=1}^n{\left({\zeta }_{*}\right)}^1\circ {(-{\sigma }_{*,*})}^1\circ {(-{\sigma }_{*,*})}^2\circ \cdots \circ {(-{\sigma }_{*,*})}^{i-1}\hfill \\ \hfill {\left(d^{\xi }\right)}_n& :={(-1)}^{n-1}\sum _{i=1}^n{\left({\xi }_{*}\right)}^n\circ {(-{\sigma }_{*,*})}^{n-1}\circ \cdots \circ {(-{\sigma }_{*,*})}^{i+1}\circ {(-{\sigma }_{*,*})}^i\hfill \end{array}$$

from $T{\left(\overline{V}\right)}_n^{\to }$ to $T{\left(\overline{V}\right)}_{n-1}^{\to }$ define a bidegree $-1$ tensor bidifferential. Here the stars * mean that each time one should choose the component of $\overline{\sigma },\overline{\zeta }$ or $\overline{\xi }$ corresponding to the $V_k$’s on which it acts. Further, notation (1) for superscripts is used.

Pictorially, ${\left({}^{\zeta }d\right)}_n$ for example is a signed sum (due to the use of the negative braiding $-\overline{\sigma }$) of the terms presented on Figure 22. The sign can be interpreted via the intersection number of the diagram.

Figure 22. Multi-braided left differential.

Figure 22. Multi-braided left differential.

Corollary 3.23. 

Any $\mathbb{Z}$-linear combination of the families ${\left({}^{\zeta }d\right)}_n$ and ${\left(d^{\xi }\right)}_n$ from the theorem is a degree $-1$ differential.

Definition 3.24. 

The (bi)differentials from the above theorem and corollary are called multi-braided.

Remark 3.25. 

➛

The constructions from the theorem are functorial.

➛

Applying the categorical duality to this theorem, one gets a cohomology theory for $(\overline{V},\overline{\sigma }).$

➛

The braided bidifferentials can be shown to come from a structure of simplicial (or, more precisely, cubical) type.

3.8. Braided Homology of Yetter-Drinfel${}^{\prime }$d Modules

Let us now apply Theorem 6 to the braided system from Theorem 4. As for braided characters, we use the following ones:

Lemma 3.26. 

Morphisms $({\epsilon }_H:H\to \mathbb{k},0:M\to \mathbb{k},0:H^{*}\to \mathbb{k})$ and $(0:H\to \mathbb{k},0:M\to \mathbb{k},{\epsilon }_{H^{*}}={\nu }_H^{*}:H^{*}\to \mathbb{k})$ are braided characters for the braided system from Theorem 4.

These braided characters are abusively denoted by ${\epsilon }_H$ and ${\epsilon }_{H^{*}}$ in what follows.

Proof. 

We prove the statement for ${\epsilon }_H$ only, the one for ${\epsilon }_{H^{*}}$ being similar.

Both sides of Equation (42) are identically zero for the morphisms from the lemma, except for the case $i=j=1,$ corresponding to $H\otimes H.$ In this latter case, Equation (42) becomes

$$({\epsilon }_H\otimes {\epsilon }_H)\circ ({\mu }_H\otimes {\nu }_H)={\epsilon }_H\otimes {\epsilon }_H$$

which follows from the fact that ${\epsilon }_H$ is an algebra morphism (cf. the definition of bialgebra). ☐

In what follows, the letters $h_i$ always stay for elements of $H,$$l_j$ – for elements of $H^{*};$$a\in M,$$b\in N^{*};$ the pairing $〈,〉$ is the evaluation; the multiplications ${\mu }_H$ and ${\Delta }_H^{*}$ on H and $H^{*}$ respectively, as well as H- and $H^{*}$-actions, are denoted by · for simplicity. We also use higher-order Sweedler’s notations of type

$$\begin{array}{ccc}\hfill ({\Delta }_H\otimes {Id}_H)\circ {\Delta }_H\left(h\right)& =h_{\left(1\right)}\otimes h_{\left(2\right)}\otimes h_{\left(3\right)},\hfill & \hfill \forall h\in H\end{array}$$

Further, we omit the tensor product sign when this does not lead to confusion, writing for instance $h_1\dots h_n\in H^{\otimes n}.$

Using these notations, one can write down explicite braided differentials for a YD module:

Proposition 3.27. 

Take a Yetter-Drinfel${}^{\prime }$d module $(M,\lambda ,\delta )$ over a finite-dimensional $\mathbb{k}$-linear bialgebra $H.$ There is a bidegree $-1$ bidifferential on $T\left(H\right)\otimes M\otimes T\left(H^{*}\right)$ given by

$$\begin{array}{cc}\hfill {}^{{\epsilon }_{H^{*}}}d& (h_1\dots h_n\otimes a\otimes l_1\dots l_m)=\hfill \\ & {(-1)}^{n+1}〈l_{1\left(1\right)},a_{\left(1\right)}〉〈l_{1\left(2\right)},h_{n\left(2\right)}〉〈l_{1\left(3\right)},h_{n-1\left(2\right)}〉\dots 〈l_{1(n+1)},h_{1\left(2\right)}〉h_{1\left(1\right)}\dots h_{n\left(1\right)}\otimes a_{\left(0\right)}\otimes l_2\dots l_m\hfill \\ & +\sum _{i=1}^{m-1}{(-1)}^{n+i+1}{h}_1\dots h_n\otimes a\otimes l_1\dots l_{i-1}(l_i·l_{i+1})l_{i+2}\dots l_m\hfill \\ \hfill d{}^{{\epsilon }_H}& (h_1\dots h_n\otimes a\otimes l_1\dots l_m)=\hfill \\ & {(-1)}^{n-1}〈l_{1\left(1\right)},h_{n\left(m\right)}〉〈l_{2\left(1\right)},h_{n(m-1)}〉\dots 〈l_{m\left(1\right)},h_{n\left(1\right)}〉h_1\dots h_{n-1}\otimes (h_{n(m+1)}·a)\otimes l_{1\left(2\right)}\dots l_{m\left(2\right)}\hfill \\ & +\sum _{i=1}^{n-1}{(-1)}^{i-1}{h}_1\dots h_{i-1}(h_i·h_{i+1})h_{i+2}\dots h_n\otimes a\otimes l_1\dots l_m\hfill \end{array}$$

Proof. 

These are just the constructions from Theorem 6 applied to the braided system from Theorem 4 and braided characters ${\epsilon }_{H^{*}}$ and ${\epsilon }_H.$ Note that we restricted the differentials from ${\oplus }_{n=0}^{\infty }T{\left(\overline{V}\right)}_n$ to $T\left(H\right)\otimes M\otimes T\left(H^{*}\right),$ which is possible since both ${\epsilon }_H$ and ${\epsilon }_{H^{*}}$ are zero on $M.$ ☐

Remark 3.28. 

In fact the differentials ${}^{{\epsilon }_{H^{*}}}d$ and $d{}^{{\epsilon }_H}$ define a double complex structure on $T\left(H\right)\otimes M\otimes T\left(H^{*}\right),$ graduated by putting

$$\overline{deg}(H^{\otimes n}\otimes M\otimes {\left(H^{*}\right)}^{\otimes m})=(n,m)$$

In order to get rid of the classical contracting homotopies of type

$$\begin{array}{cc}\hfill \overline{h}\otimes a\otimes \overline{l}& ⟼1_H\overline{h}\otimes a\otimes \overline{l}\hfill \\ \hfill \overline{h}\otimes a\otimes \overline{l}& ⟼\overline{h}\otimes a\otimes \overline{l}{1}_{H^{*}}\hfill \end{array}$$

we now try to “cycle” this bidifferential, in the spirit of Hochschild homology for algebras or Gerstenhaber-Schack homology for bialgebras.

Concretely, take a YD module $(M,{\lambda }_M,{\delta }_M)$ and a finite-dimensional YD module $(N,{\lambda }_N,{\delta }_N)$ over $H.$ Our aim is to endow the graded vector space

$$T\left(H\right)\otimes M\otimes T\left(H^{*}\right)\otimes N^{*}$$

with a bidifferential extending that from Proposition 3.27.

First, note that the “rainbow” duality between H and $H^{*}$ (cf. (33) or Figure 14) graphically corresponds to an angle π rotation. Since the notions of bialgebra and YD module are centrally symmetric (cf. Remark 2.10), one gets the following useful property:

Lemma 3.29. 

Take a finite-dimensional YD module $(N,{\lambda }_N,{\delta }_N)$ over a finite dimensional bialgebra $H.$ Then $(N^{*},{\delta }_N^{*},{\lambda }_N^{*})$ is a YD module over $H^{*}.$

Further, inspired by the formulas from Proposition 3.27, consider the following morphisms from $H^{\otimes n}\otimes M\otimes {\left(H^{*}\right)}^{\otimes m}\otimes N^{*}$ to $H^{\otimes n-1}\otimes M\otimes {\left(H^{*}\right)}^{\otimes m}\otimes N^{*}$ or $H^{\otimes n}\otimes M\otimes {\left(H^{*}\right)}^{\otimes m-1}\otimes N^{*}$:

$$\begin{array}{cc}\hfill {}^{H^{*}}\pi & (h_1\dots h_n\otimes a\otimes l_1\dots l_m\otimes b)=\hfill \\ & 〈l_{1\left(1\right)},a_{\left(1\right)}〉〈l_{1\left(2\right)},h_{n\left(2\right)}〉〈l_{1\left(3\right)},h_{n-1\left(2\right)}〉\dots 〈l_{1(n+1)},h_{1\left(2\right)}〉h_{1\left(1\right)}\dots h_{n\left(1\right)}\otimes a_{\left(0\right)}\otimes l_2\dots l_m\otimes b=\hfill \\ & 〈l_1,h_{1\left(2\right)}\cdots h_{n-1\left(2\right)}·h_{n\left(2\right)}·a_{\left(1\right)}〉h_{1\left(1\right)}\dots h_{n\left(1\right)}\otimes a_{\left(0\right)}\otimes l_2\dots l_m\otimes b\hfill \\ \hfill {\pi }^{H^{*}}& (h_1\dots h_n\otimes a\otimes l_1\dots l_m\otimes b)=\hfill \\ & 〈l_{m\left(1\right)},h_{1\left(1\right)}·h_{2\left(1\right)}·\cdots ·h_{n\left(1\right)}〉h_{1\left(2\right)}\dots h_{n\left(2\right)}\otimes a\otimes l_1\dots l_{m-1}\otimes l_{m\left(2\right)}·b\hfill \\ \hfill {\pi }^H& (h_1\dots h_n\otimes a\otimes l_1\dots l_m\otimes b)=\hfill \\ & 〈l_{1\left(1\right)},h_{n\left(m\right)}〉〈l_{2\left(1\right)},h_{n(m-1)}〉\dots 〈l_{m\left(1\right)},h_{n\left(1\right)}〉h_1\dots h_{n-1}\otimes (h_{n(m+1)}·a)\otimes l_{1\left(2\right)}\dots l_{m\left(2\right)}\otimes b=\hfill \\ & 〈l_{1\left(1\right)}·l_{2\left(1\right)}\cdots l_{m\left(1\right)},h_{n\left(1\right)}〉h_1\dots h_{n-1}\otimes (h_{n\left(2\right)}·a)\otimes l_{1\left(2\right)}\dots l_{m\left(2\right)}\otimes b\hfill \\ \hfill {}^H\pi & (h_1\dots h_n\otimes a\otimes l_1\dots l_m\otimes b)=\hfill \\ & 〈l_{1\left(2\right)}·l_{2\left(2\right)}\cdots l_{m\left(2\right)}·b_{\left(1\right)},h_1〉h_2\dots h_n\otimes a\otimes l_{1\left(1\right)}\dots l_{m\left(1\right)}\otimes b_{\left(0\right)}\hfill \end{array}$$

These applications are presented on Figure 23. We use notation

$$\begin{array}{ccc}\hfill {\Delta }^p& :={\Delta }_H^p:=({\Delta }_H\otimes {Id}_{H^{\otimes p-1}})\circ \cdots \circ ({\Delta }_H\otimes {Id}_H)\circ {\Delta }_H:H\to H^{\otimes p+1}\hfill & \hfill \forall p\in \mathbb{N},\end{array}$$

and similarly for ${\left({\mu }^{*}\right)}^p.$

Figure 23. Components of YD module homology.

Figure 23. Components of YD module homology.

These morphisms can be interpreted in terms of “braided” adjoint actions, as it was done for the bialgebra case in [8].

At last, recall the classical bar and cobar differentials:

$$\begin{array}{cc}\hfill d_{bar}& (h_1\dots h_n\otimes a\otimes l_1\dots l_m\otimes b)=\sum _{i=1}^{n-1}{(-1)}^i{h}_1\dots h_{i-1}(h_i·h_{i+1})h_{i+2}\dots h_n\otimes a\otimes l_1\dots l_m\otimes b,\hfill \\ \hfill d_{cob}& (h_1\dots h_n\otimes a\otimes l_1\dots l_m\otimes b)=\sum _{i=1}^{m-1}{(-1)}^i{h}_1\dots h_n\otimes a\otimes l_1\dots l_{i-1}(l_i·l_{i+1})l_{i+2}\dots l_m\otimes b.\hfill \end{array}$$

Everything is now ready for presenting an enhanced version of Proposition 3.27:

Theorem 7. 

Given a YD module M and a finite-dimensional YD module N over a finite-dimensional bialgebra H in ${\mathbf{Vect}}_{\mathbb{k}},$ one has four bidegree $-1$ bidifferentials on $T\left(H\right)\otimes M\otimes T\left(H^{*}\right)\otimes N^{*},$ presented in the lines of Table 1.

Table 1. Bidifferential structures on $T\left(H\right)\otimes M\otimes T\left(H^{*}\right)\otimes N^{*}.$

Table 1. Bidifferential structures on $T\left(H\right)\otimes M\otimes T\left(H^{*}\right)\otimes N^{*}.$

The signs ${(-1)}^n$ etc. here are those one chooses on the component $H^{\otimes n}\otimes M\otimes {\left(H^{*}\right)}^{\otimes m}\otimes N^{*}$ of $T\left(H\right)\otimes M\otimes T\left(H^{*}\right)\otimes N^{*}.$

Substituting the graded vector space $T\left(H\right)\otimes M\otimes T\left(H^{*}\right)\otimes N^{*}$ we work in with its alternative version ${Hom}_{\mathbb{k}}(N\otimes T\left(H\right),T\left(H\right)\otimes M)$ (as it was done for example in [22]), we obtain (the dual of a mirror version of) the deformation cohomology for YD modules, defined by F. Panaite and D. Ştefan in [14]. We have thus developed a conceptual framework for this cohomology theory, replacing case by case verifications (for instance, when proving that one has indeed a bidifferential) with a structure study, facilitated by graphical tools.

3.9. Proof of Theorem 7

Morphisms $d_{bar}$ and $d_{cob}$ are well known to be differentials; this can be easily verified by direct calculations, or using the rank 1 braided systems $(H,{\sigma }_{Ass}\left(H\right))$ and $(H^{*},{\sigma }_{Ass}\left(H^{*}\right))$, cf. [13]. Further, they affect different components of $T\left(H\right)\otimes M\otimes T\left(H^{*}\right)\otimes N^{*}$ (namely, $T\left(H\right)$ and $T\left(H^{*}\right)$) and thus commute. The sign ${(-1)}^n$ guarantees the anti-commutation. This proves that the first line of the table contains a bidegree $-1$ bidifferential.

The assertion for the second line follows from Proposition 3.27, since

$$\begin{array}{cc}\hfill {}^{{\epsilon }_{H^{*}}}d\otimes {Id}_{N^{*}}& ={(-1)}^{n+1}{d}_{cob}+{(-1)}^{n+1}\left({}^{H^{*}}\pi \right)\hfill \\ \hfill d{}^{{\epsilon }_H}\otimes {Id}_{N^{*}}& =-d_{bar}+{(-1)}^{n-1}{\pi }^H\hfill \end{array}$$

To prove the statement for the third line, note that the dual (in the sense of Lemma 3.29) version of Proposition 3.27 gives a bidifferential $({}^{{\epsilon }_H}d,d{}^{{\epsilon }_{H^{*}}})$ on $T\left(H^{*}\right)\otimes N^{*}\otimes T\left(H\right),$ and hence (by tensoring with ${Id}_M$) on $T\left(H^{*}\right)\otimes N^{*}\otimes T\left(H\right)\otimes M.$ Identifying the latter space with $T\left(H\right)\otimes M\otimes T\left(H^{*}\right)\otimes N^{*}$ via the flip Equation (30) and keeping notation $({}^{{\epsilon }_H}d,d{}^{{\epsilon }_{H^{*}}})$ for the bidifferential induced on this new space, one calculates

$$\begin{array}{cc}\hfill {}^{{\epsilon }_H}d& ={(-1)}^{m+1}{d}_{bar}+{(-1)}^{m+1}\left({}^H\pi \right)\hfill \\ \hfill d{}^{{\epsilon }_{H^{*}}}& =-d_{cob}+{(-1)}^{m-1}{\pi }^{H^{*}}\hfill \end{array}$$

Multiplying ${}^{{\epsilon }_H}d$ by ${(-1)}^{m+1}$ and $d{}^{{\epsilon }_{H^{*}}}$ by ${(-1)}^{n+1},$ and checking that this does not break the anti-commutation, one recovers the third line of the table.

We start the proof for the fourth line with a general assertion:

Lemma 3.30. 

Take an abelian group $(S,+,0,x\mapsto -x)$ endowed with an operation · distributive with respect to $+.$ Then, for any $a,b,c,d,e,f\in S$ such that

$$(a+b)·(d+e)=(a+c)·(d+f)=a·d=b·f+c·e=0$$

one has

$$(a+b+c)·(d+e+f)=0$$

Proof. 

$$(a+b+c)·(d+e+f)=(a+b)·(d+e)+(a+c)·(d+f)-a·d+(b·f+c·e)$$

☐

Now take $S={End}_{\mathbb{k}}(T\left(H\right)\otimes M\otimes T\left(H^{*}\right)\otimes N^{*})$ with the usual addition and the operation composition $\phi \circ \psi$ (for proving that the two morphisms from the fourth line of our table are differentials), or the operation $\phi \diamond \psi :=\phi \circ \psi +\psi \circ \phi$ (for proving that the two morphisms anti-commute). The information from the first three lines and Lemma 3.31 allow to apply Lemma 3.30 to sextuples $(a,b,c,a,b,c)$ and $(d,e,f,d,e,f)$ (for the operation ∘), and $(a,b,c,d,e,f)$ (for the operation ⋄), where

$$\begin{array}{cccc}\hfill a& :=d_{bar},\hfill & \hfill d& :={(-1)}^n{d}_{cob},\hfill \\ \hfill b& :={(-1)}^n{\pi }^H,\hfill & \hfill e& :={(-1)}^n\left({}^{H^{*}}\pi \right)\hfill \\ \hfill c& :={}^H\pi ,\hfill & \hfill f& :={(-1)}^{n+m}{\pi }^{H^{*}}.\hfill \end{array}$$

One thus gets the fourth line of the table.

Lemma 3.31. 

The endomorphisms ${}^{H^{*}}\pi ,{\pi }^{H^{*}},{\pi }^H$ and ${}^H\pi$ of $T\left(H\right)\otimes M\otimes T\left(H^{*}\right)\otimes N^{*}$ pairwise commute.

Proof. 

The commutation of ${\pi }^H$ and ${}^H\pi$ follows from the coassociativity of ${\mu }^{*}$ (this is best seen in Figure 23). The pair ${}^{H^{*}}\pi ,{\pi }^{H^{*}}$ is treated similarly.

The commutation of ${\pi }^H$ and ${}^{H^{*}}\pi$ follows from their interpretation as parts of a precubical structure (cf. [13]), or by a direct computation. The pair ${}^H\pi ,{\pi }^{H^{*}}$ is treated similarly.

The case of the pair ${\pi }^H,{\pi }^{H^{*}}$ demands more work.

Denote by ${\widehat{\pi }}^H$ a version of ${\pi }^H$ which “forgets” the rightmost component of $H^{*}$:

$$\begin{array}{cc}\hfill {\widehat{\pi }}^H& (h_1\dots h_n\otimes a\otimes l_1\dots l_m\otimes b)=\hfill \\ & 〈l_{1\left(1\right)}·l_{2\left(1\right)}\cdots l_{m-1\left(1\right)},h_{n\left(1\right)}〉h_1\dots h_{n-1}\otimes (h_{n\left(2\right)}·a)\otimes l_{1\left(2\right)}\dots l_{m-1\left(2\right)}{l}_m\otimes b\hfill \end{array}$$

Similarly, denote by ${\widehat{\pi }}^{H^{*}}$ a version of ${\pi }^{H^{*}}$ which “forgets” the rightmost component of H:

$$\begin{array}{cc}\hfill {\widehat{\pi }}^{H^{*}}& (h_1\dots h_n\otimes a\otimes l_1\dots l_m\otimes b)=\hfill \\ & 〈l_{m\left(1\right)},h_{1\left(1\right)}·h_{2\left(1\right)}·\cdots ·h_{n-1\left(1\right)}〉h_{1\left(2\right)}\dots h_{n-1\left(2\right)}{h}_n\otimes a\otimes l_1\dots l_{m-1}\otimes l_{m\left(2\right)}·b\hfill \end{array}$$

Further, put

$$\begin{array}{cc}\hfill \theta & (h_1\dots h_n\otimes a\otimes l_1\dots l_m\otimes b)=〈l_{m\left(1\right)},h_{n\left(1\right)}〉h_1\dots h_{n\left(2\right)}\otimes a\otimes l_1\dots l_{m\left(2\right)}\otimes b\hfill \end{array}$$

Observe that θ is precisely the difference between the π’s and their reduced versions $\widehat{\pi }$:

$$\begin{array}{cccc}\hfill {\pi }^H& ={\widehat{\pi }}^H\circ \theta ,\hfill & \hfill {\pi }^{H^{*}}& ={\widehat{\pi }}^{H^{*}}\circ \theta \hfill \end{array}$$

Moreover, one has

$$\begin{array}{cc}\hfill {\pi }^H\circ {\widehat{\pi }}^{H^{*}}& ={\pi }^{H^{*}}\circ {\widehat{\pi }}^H\hfill \end{array}$$

since ${\pi }^H$ and ${\widehat{\pi }}^{H^{*}}$ modify different components of $T\left(H\right)\otimes M\otimes T\left(H^{*}\right)\otimes N^{*}$ (the hat $\widehat{}$ (dis)appears when these morphisms switch because ${\pi }^H$ kills the rightmost copy of $H,$ and ${\pi }^{H^{*}}$ kills the rightmost copy of $H^{*}$). Therefore,

$$\begin{array}{cc}\hfill {\pi }^{H^{*}}\circ {\pi }^H& ={\pi }^{H^{*}}\circ {\widehat{\pi }}^H\circ \theta ={\pi }^H\circ {\widehat{\pi }}^{H^{*}}\circ \theta ={\pi }^H\circ {\pi }^{H^{*}}\hfill \end{array}$$

hence the desired commutation.

The pair ${}^H\pi ,{}^{H^{*}}\pi$ is treated similarly. ☐

Remark 3.32. 

Lemma 3.31 actually contains more than needed for the proof of the theorem. We prefer keeping its full form and checking the commutation of all the $\left(\genfrac{}{}{0pt}{}{4}{2}\right)=6$ pairs of morphisms for completeness.