Hopf Modules in the Category of Yetter-Drinfeld Modules

We give the Fundamental Theorem for Hopf modules in the category of Yetter-Drinfeld modules L LYD , where L is a quasitriangular weak Hopf algebra with a bijective antipode. We also show that H* has a right H-Hopf module structure in the Yetter-Drinfeld category. As an application we deduce the existence and uniqueness of right integral from it.


Introduction
Weak Hopf algebras were introduced by G. Böhm and K. Szlachányi as a generalization of usual Hopf algebras and groupoid algebras [1] [2].A weak Hopf algebra is a vector space that has both algebra and coalgebra structures related to each other in a certain self-dual fashion and possesses an analogue of the linearized inverse map [3]- [5].The main difference between ordinary and weak Hopf algebras comes from the fact that the comultiplication of the latter is no longer required to preserve the unit (equivalently, the counit is not requires to be a homomorphism) and results in the existence of two canonical subalgebras playing the role of "noncommutative bases".
Paper [6] was shown what is a weak Hopf algebra in the braided category of modules over a weak Hopf algebra.In [7] we prove a Fundamental Theorem of Hopf modules for the categorical weak Hopf algebra motivation to study quasitriangular weak Hopf algebras is the so-called biproduct construction and interpreted in the terms of braided categories.More precisely, we are interested in a specific type of quaitriangular weak Hopf algebras.
we prove the Fundamental Theorem for Hopf modules in the category of Yetter-Drinfeld modules according to the fact that the matrix R gives rise to a natural braiding for L M and L L YD .Furthermore * H is also a right H-Hopf module in the category Yetter-Drinfeld modules.Using this result we obtain the existence and uniqueness of integrals for a finite dimensional weak Hopf algebra in L L YD .

Preliminaries
Throughout this paper we use Sweedler's notation for comultiplication, writing ( ) 1 2 h h h ∆ = ⊗ .Let k be a fixed field and all weak Hopf algebras are finite dimensional.
Definition 1.A weak Hopf algebra is a vector space L with the structure of an associative unital algebra ( ) L m µ with multiplication : m L L L ⊗ → and unit 1 L ∈ and a coassociative coalgebra ( ) The comultiplication ∆ is a (not necessarily unit-preserving) homomorphism of algebras such that 2) The counit satisfies the following identity 3) There is a linear map :

L L L S l S l l S l =
The linear map defined in the above equations are called target and source counital maps and denoted by t ε and s ε For all l L ∈ , we have We will briefly recall the necessary definitions and notions on the weak Hopf algebras.
Definition 2. A quasitriangular weak Hopf algebra is a pair ( ) , L R where L is a weak Hopf algebra and ( )( ) ( ) ⊗ ∆ (called the R-matrix) satisfying the following conditions: ( ) ( ) for all l L ∈ , where op ∆ denotes the conditions apposite to ∆ , = ⊗ , etc. as usual, and such that there exits ( )( ) ( ) where we write . By [3], we can obtain the following results.Proposition 2.1.For any quasitriangular weak Hopf algebra ( )

Weak Hopf Algebras in the Yetter-Drinfeld Module Category
Let L be a quasitriangular weak Hopf algebra with a bijective antipode L S .Suppose H is a weak Hopf algebra in L M .Paper [7] show that H is also a weak Hopf algebra in L L YD with a left L-coaction via . Bing-liang and Shuan-hong introduce the definition of Weak Hopf algebra in the braided monoidal category L L YD in [6].Moreover they have showed that if H is a finite-dimensional weak Hopf algebra in L L YD , then its dual * H is a weak Hopf algebra in L L YD .
Definition 3. Let ( ) , L R be a quasitriangular weak Hopf algebra.An object L L H ∈ YD is called a weak bialgebra in this category if it is both an algebra and a coalgebra satisfying the following conditions: 1) ∆ and ε are not necessarily unit-preserving, such that .
Similar to the definition of weak Hopf algebra, we denote According to the definitions of , t s ε ε one obtains explicit expressions for these coproducts Paper [7] give the following results: Proposition 3.1.Suppose H is a weak Hopf algebra in L L YD .For all x H ∈ we have the identities Since a weak Hopf algebra H in the weak Yetter-Drinfeld categories L L YD is both algebra and coalgebra, one can consider modules and comodules over H.As in the theory of Hopf algebras, an H-Hopf module is an H-module which is also an H-comodule such that these two structures are compatible (the action "commutes" with coaction): Definition 4. Let H be a weak Hopf algebra in is also both a right H-module and a right H-comodule by ( ) ( ) is an right H-Hopf module.when H is a weak Hopf algebra in L M and M a right H-Hopf module in L M , we prove the Fundamental Theorem 3.3 [7].Furthermore we will show )  G m P m m = .

Fundamental Theorem for H * in L L YD
In [4] * H has the contragredient left L-module structure by
H is a right H-comodule using the identification Next we want to check ( ) ( )( )

Applications
As a consequence the space of coinvariants of the finite dimensional Hopf algebra is free of rank one.This is the case for the weak Hopf algebra in the category of the Yetter-Drinfeld modules. op

Furthermore we can obtain 3 . 3 .
the Structure Theorem for right H-Hopf modules in the category of Yetter-Drinfeld modules.Theorem If H is a weak Hopf algebra in L L YD and M is a right H-Hopf module in L L YD , h nh ⊗ → ⊗ = is an isomorphism of Hopf modules.The inverse map is given by

*H
has the transposed right L-comodule structure and so it becomes a left L-comodule via

Theorem 5 . 1 .→
If H is a finite-dimensional weak Hopf algebra in L L YD an right H-module and an right H-comodules isomorphism.In particular H is a Frobenius weak Hopf algebra with Frobenius map φ .3)There exist a right integral t in H, is a left L-semilinear and a left L-semicolinear in the sense that for all h H ∈