3.1 Finite tensor categories

A finite tensor category ${\mathcal C}$ is a monoidal rigid category, with simple unit object $ \mathbf {1}\in {\mathcal C}$ . We refer to [Reference Etingof and Ostrik10] for more details on finite tensor categories. Without loss of generality, we shall assume that tensor categories in this work are strict.

If ${\mathcal C}, {\mathcal D}$ are monoidal categories, a monoidal functor is a functor $F:{\mathcal C}\to {\mathcal D}$ equipped with natural isomorphisms

$$ \begin{align*}\xi_{A,B}:F(A){\otimes} F(B)\to F(A{\otimes} B),\end{align*} $$

such that

(3.1) $$ \begin{align} \xi_{A,B{\otimes} C} (\mathrm{id\,}_{F(A)}{\otimes} \xi_{B,C})=\xi_{A{\otimes} B, C} (\xi_{A,B}{\otimes} \mathrm{id\,}_{F(C)}). \end{align} $$

If $(F,\xi ), (\widetilde {F}, \widetilde {\xi }):{\mathcal C}\to {\mathcal D}$ are two monoidal functors, a monoidal natural transformation between F and $\widetilde {F}$ is a natural transformation $\alpha :F\to \widetilde {F}$ such that

(3.2) $$ \begin{align} \alpha_{A{\otimes} B} \xi_{A,B}=\widetilde{\xi}_{A,B} (\alpha_A{\otimes} \alpha_B), \end{align} $$

for any $A,B\in {\mathcal C}$ .

If ${\mathcal C}$ is a category, for any $X\in {\mathcal C}$ , we shall denote by

$$ \begin{align*}\mbox{ev}_X:X^*{\otimes} X\to \mathbf{1}, \quad \mbox{coev}_X: \mathbf{1}\to X{\otimes} X^*\end{align*} $$

the evaluation and coevaluation. By abuse of notation, we shall also denote by

$$ \begin{align*}\mbox{ev}_X:X{\otimes} {}^*X\to \mathbf{1}, \quad \mbox{coev}_X: \mathbf{1}\to {}^*X{\otimes} X\end{align*} $$

the evaluation and coevaluation for the left duals. We will use the following basic result. If $f:X\to Y$ is an isomorphism in ${\mathcal C}$ , then

(3.3) $$ \begin{align}\begin{aligned} (\mathrm{id\,}_{ {}^*X}{\otimes} f )\mbox{coev}_X&= ({}^*f{\otimes} \mathrm{id\,}_Y )\mbox{coev}_Y, \\\mbox{ev}_Y (f{\otimes} \mathrm{id\,}_Y)&=\mbox{ev}_X (\mathrm{id\,}_X{\otimes} {}^*f). \end{aligned}\end{align} $$

It is well known that for any pair of objects $X, Y\in {\mathcal C}$ , there are canonical natural isomorphisms

(3.4) $$ \begin{align} \phi^r_{X,Y}: Y^* {\otimes} X^* \to(X{\otimes} Y)^*, \end{align} $$

(3.5) $$ \begin{align} \phi^l_{X,Y}: {}^*Y {\otimes} {}^*X \to {}^*(X{\otimes} Y). \end{align} $$

These isomorphisms allow us to compute coevaluation and evaluation maps of duals; more precisely, we shall need the following identity:

(3.6) $$ \begin{align} \mbox{ev}_{{}^*V}= {}^*(\mbox{coev}_X) \phi^l_{{}^*X,X}. \end{align} $$

We are going to make use, very often, of the canonical natural isomorphisms

(3.7) $$ \begin{align}\begin{aligned} &\psi^Z_{X,Y}:\operatorname{Hom}_{\mathcal B}(X{\otimes} {}^*Y,Z)\to \operatorname{Hom}_{\mathcal B}(X,Z{\otimes} Y),\\&\psi^Z_{X,Y}(f)=(f{\otimes}\mathrm{id\,}_Y)(\mathrm{id\,}_X{\otimes} \mbox{coev}_Y). \end{aligned}\end{align} $$

And, its inverse

(3.8) $$ \begin{align}\begin{aligned} \bar{\psi}^Z_{X,Y}:\operatorname{Hom}_{\mathcal B}(X,Z{\otimes} Y)\to \operatorname{Hom}_{\mathcal B}(X{\otimes} {}^*Y,Z) \\\bar{\psi}^Z_{X,Y}(g)=(\mathrm{id\,}_Z{\otimes}\mbox{ev}_Y)(g{\otimes}\mathrm{id\,}_{{}^*Y}). \end{aligned}\end{align} $$

We shall also need the following basic fact.

Lemma 3.1 For any pair $V,W\in {\mathcal C}$ , the evaluation of $V{\otimes } W$ is given by

(3.9) $$ \begin{align} \mbox{ev}_{V{\otimes} W} = \mbox{ev}_V(\mathrm{id\,}_V{\otimes} \mbox{ev}_W{\otimes} \mathrm{id\,}_{{}^*V})(\mathrm{id\,}_{V{\otimes} W} {\otimes} (\phi^l_{V,W})^{-1}). \end{align} $$

3.2 Module categories over tensor categories

A left module category over ${\mathcal C}$ is a category ${\mathcal M}$ together with a $\mathbb {k}$ -bilinear bifunctor $\rhd : {\mathcal C} \times {\mathcal M} \to {\mathcal M}$ , exact in each variable, endowed with natural associativity and unit isomorphisms

$$ \begin{align*}m_{X,Y,M}: (X\otimes Y)\triangleright M \to X\triangleright (Y\triangleright M), \ \ \ell_M: \mathbf{1} \triangleright M\to M.\end{align*} $$

These isomorphisms are subject to the following conditions:

(3.10)

for any $X, Y, Z\in {\mathcal C}, M\in {\mathcal M}$ , as well as

(3.11) $$ \begin{align} (\mathrm{id\,}_{X}\triangleright \ell_M)m_{X,\mathbf{1} ,M}=\mathrm{id\,}. \end{align} $$

Sometimes we shall also say that ${\mathcal M}$ is a ${\mathcal C}$ -module category or a representation of ${\mathcal C}$ .

Let ${\mathcal M}$ and ${\mathcal M}'$ be a pair of ${\mathcal C}$ -module categories. A module functor is a pair $(F,c)$ , where $F:{\mathcal M}\to {\mathcal M}'$ is a functor equipped with natural isomorphisms

$$ \begin{align*}c_{X,M}: F(X\triangleright M)\to X\triangleright F(M),\end{align*} $$

for $X\in {\mathcal C}$ , $M\in {\mathcal M}$ , such that

(3.12)

for any $X, Y\in {\mathcal C}$ , $M\in {\mathcal M}$ , as well as

(3.13) $$ \begin{align} \ell_{F(M)} \,c_{ \mathbf{1} ,M} &=F(\ell_{M}). \end{align} $$

Module functors are composable, if ${\mathcal M}"$ is a ${\mathcal C}$ -module category and $(G,d): {\mathcal M}' \to {\mathcal M}"$ is another module functor, then the composition

(3.14) $$ \begin{align} (G\circ F, e): {\mathcal M} \to {\mathcal M}", \qquad e_{X,M} = d_{X,F(M)}\circ G(c_{X,M}) \end{align} $$

is also a module functor.

A natural module transformation, between module functors $(F,c)$ and $(G,d)$ , is a natural transformation $\theta : F \to G$ such that

(3.15) $$ \begin{align} d_{X,M}\theta_{X\triangleright M} = (\mathrm{id\,}_{X}\triangleright \theta_{M})c_{X,M}, \end{align} $$

for any $X\in {\mathcal C}$ , $M\in {\mathcal M}$ . The vector space of natural module transformations will be denoted by $\mathrm {Nat\,}_{\!m}(F,G)$ . Two module functors $F, G$ are equivalent if there exists a natural module isomorphism $\theta :F \to G$ . We denote by $\operatorname {Fun}_{{\mathcal C}}({\mathcal M}, {\mathcal M}')$ the category whose objects are module functors $(F, c)$ from ${\mathcal M}$ to ${\mathcal M}'$ and arrows module natural transformations.

Two ${\mathcal C}$ -modules ${\mathcal M}$ and ${\mathcal M}'$ are equivalent if there exist module functors $F:{\mathcal M}\to {\mathcal M}'$ , $G:{\mathcal M}'\to {\mathcal M}$ , and natural module isomorphisms $\mathrm {Id\,}_{{\mathcal M}'} \to F\circ G$ , $\mathrm {Id\,}_{{\mathcal M}} \to G\circ F$ .

A module category will be called strict if isomorphisms m and l are identities. Any module category is equivalent to a strict one. We will often assume that the module category is strict without further mention.

A right module category over ${\mathcal C}$ is a category ${\mathcal M}$ equipped with an exact bifunctor $\triangleleft : {\mathcal M}\times {\mathcal C}\to {\mathcal M}$ and natural isomorphisms

$$ \begin{align*}\widetilde{m}_{M, X,Y}: M\triangleleft (X{\otimes} Y)\to (M\triangleleft X) \triangleleft Y, \quad r_M:M\triangleleft \mathbf{1}\to M\end{align*} $$

such that

(3.16)

as well as

(3.17) $$ \begin{align} (r_M\triangleleft \mathrm{id\,}_X) \widetilde{m}_{M, \mathbf{1}, X}= \mathrm{id\,}. \end{align} $$

If ${\mathcal M}, {\mathcal M}'$ are right ${\mathcal C}$ -modules, a module functor from ${\mathcal M}$ to $ {\mathcal M}'$ is a pair $(T, d)$ where $T:{\mathcal M} \to {\mathcal M}'$ is a functor and $d_{M,X}:T(M\triangleleft X)\to T(M)\triangleleft X$ are natural isomorphisms such that for any $X, Y\in {\mathcal C}$ , $M\in {\mathcal M}$ :

(3.18)

as well as

(3.19) $$ \begin{align} r_{T(M)} \,d_{ M, \mathbf{1}} &=T(r_{M}). \end{align} $$

3.3 The internal Hom

Let ${\mathcal C}$ be a tensor category and ${\mathcal M}$ be a left ${\mathcal C}$ -module category. For any pair of objects $M, N\in {\mathcal M}$ , the internal Hom is an object $\underline {\operatorname {Hom}}(M,N)\in {\mathcal C}$ representing the left exact functor

$$ \begin{align*}\operatorname{Hom}_{{\mathcal M}}(-\triangleright M,N):{\mathcal C}^{\mathrm{{op}}}\to \mathrm{vect\,}_{\mathbb{k}}.\end{align*} $$

This means that there are natural isomorphisms

$$ \begin{align*}\operatorname{Hom}_{{\mathcal C}}(X,\underline{\operatorname{Hom}}_{\mathcal M}(M,N))\simeq \operatorname{Hom}_{{\mathcal M}}(X\triangleright M,N).\end{align*} $$

The internal Hom for right ${\mathcal C}$ -module categories is defined similarly.

The next technical result will be needed later. Recall natural isomorphisms $\phi ^l$ defined in (3.5).

Lemma 3.2 Let ${\mathcal M}$ be a right ${\mathcal C}$ -module category with action given by $\triangleleft : {\mathcal M}\times {\mathcal C}\to {\mathcal M}$ . If $(F,c):{\mathcal M}\to {\mathcal C}$ is a module functor, then, for any $B\in {\mathcal M}$ , $X\in {\mathcal C}$ , the following diagrams commute.

(3.20)

(3.21)

Proof The proof follows by simply checking that morphisms

$$ \begin{align*}\mbox{ev}_{F(B\triangleleft X )} = \mbox{ev}_{F(B)}\big(\mathrm{id\,}{\otimes} \mbox{ev}_X{\otimes} \mathrm{id\,} \big)\big(c_{B,X}{\otimes} ( {}^*c_{B,X}\phi^l_{F(B),X})^{-1}\big),\end{align*} $$

$$ \begin{align*}\mbox{coev}_{F(B\triangleleft X )}= \big( {}^*c_{B,X}\phi^l_{F(B),X} {\otimes} c^{-1}_{B,X}\big)\big(\mathrm{id\,}{\otimes} \mbox{coev}_{F(B)}{\otimes}\mathrm{id\,}\big) \mbox{coev}_X\end{align*} $$

satisfy rigidity axioms.

4.1 Existence of (co)ends

In this section, we shall prove that certain (co)ends exists. All these (co)ends will be used in subsequent sections. We shall use ideas from [Reference Shimizu24, Reference Shimizu25].

Let ${\mathcal C}$ be a tensor category, and let ${\mathcal B}$ be a right ${\mathcal C}$ -module category. Since our definition of module category includes that the action is right exact in each variable, the hypothesis of [Reference Douglas, Schommer-Pries and Snyder9, Theorem 2.24] are fulfilled. This means that there exists an algebra $A\in {\mathcal C}$ such that

(4.8) $$ \begin{align} {\mathcal B}\simeq {}_{A}{\mathcal C} \end{align} $$

as module categories. Consider ${\mathcal C}$ as a right ${\mathcal C}$ -module category with the regular action. We shall denote by $\mathrm {Rex\,}_{\mathcal C}({\mathcal B}, {\mathcal C})$ the category of right exact ${\mathcal C}$ -module functors. The functor

$$ \begin{align*}\Phi:{\mathcal B}^{\mathrm{{op}}} \to \mathrm{Rex\,}_{\mathcal C}({\mathcal B}, {\mathcal C}),\end{align*} $$

$$ \begin{align*}\Phi(B)(D)= \underline{\operatorname{Hom}}(D,B)^*\end{align*} $$

is an equivalence of categories, since, under identification (4.8), the functor $\Phi $ is the composition of equivalences

$$ \begin{align*}({}_A{\mathcal C})^{\mathrm{{op}}} \xrightarrow{( -)^*} {\mathcal C}_A\xrightarrow{\, R \,} \mathrm{Rex\,}_{\mathcal C}({}_{A}{\mathcal C},{\mathcal C}).\end{align*} $$

Here, $R: {\mathcal C}_{A} \to \mathrm {Rex\,}_{\mathcal C}({}_A{\mathcal C},{\mathcal C})$ is the functor given by $R(V)(W)=V{\otimes }_{A} W.$ Let be $(F,c)\in \mathrm {Rex\,}_{\mathcal C}({\mathcal B}, {\mathcal C})$ . In particular, we have natural isomorphisms

$$ \begin{align*}c_{B,X}: F(B \triangleleft X)\to F(B) {\otimes} X,\end{align*} $$

for $B\in {\mathcal B}, X\in {\mathcal C}$ . Consider the functor

$$ \begin{align*}{\mathcal B}^{\mathrm{{op}}}\times {\mathcal B}\to {\mathcal B},\end{align*} $$

$$ \begin{align*}(D, B)\mapsto D \triangleleft {}^*F(B).\end{align*} $$

This functor possesses a ${\mathcal C}$ -prebalancing

(4.9) $$ \begin{align} \gamma^V_{B,D}: D\triangleleft {}^*F(B \triangleleft V) \to D\triangleleft {}^*V{\otimes}{}^*F(B ), \end{align} $$

$$ \begin{align*}\gamma^V_{B,D}=\mathrm{id\,}_{D}\triangleleft (\phi^l_{F(B),V})^{-1} {}^*(c^{-1}_{B,V}).\end{align*} $$

Proposition 4.7 Let ${\mathcal B}$ be a right ${\mathcal C}$ -module category. For any right exact ${\mathcal C}$ -module functor $(F,c):{\mathcal B}\to {\mathcal C}$ , the coend

$$ \begin{align*}\widetilde{C}(F,c)=\oint^{B\in {\mathcal B}} (B \triangleleft {}^*F(B), \gamma)\in {\mathcal B},\end{align*} $$

exists. Moreover, the functor $(F,c)\mapsto \widetilde {C}(F,c)$ is a quasi-inverse of $\Phi $ .

Proof For any $D\in {\mathcal B}$ , we have

$$ \begin{align*} \mathrm{Nat\,}_{\! m}(\Phi(D), F)& \simeq \oint_{B\in {\mathcal B}} \operatorname{Hom}_{\mathcal C}(\Phi(D)(B), F(B))\\ &\simeq \oint_{B\in {\mathcal B}} \operatorname{Hom}_{\mathcal C}(\underline{\operatorname{Hom}}_{{\mathcal B}}(B,D)^*, F(B))\\ &\simeq \oint_{B\in {\mathcal B}} \operatorname{Hom}_{\mathcal C}( {}^*F(B), \underline{\operatorname{Hom}}_{{\mathcal B}}(B,D))\\ &\simeq \oint_{B\in {\mathcal B}} \operatorname{Hom}_{\mathcal B}(B \triangleleft {}^*F(B), D)\\ &\simeq \operatorname{Hom}_{\mathcal B}( \oint^{B\in {\mathcal B}} B \triangleleft {}^*F(B), D)\\ &=\operatorname{Hom}_{{\mathcal B}^{\mathrm{{op}}}}(D, \oint^{B\in {\mathcal B}} B \triangleleft {}^*F(B)). \end{align*} $$

The first isomorphism is Proposition 4.3(ii), and the fifth isomorphism is Proposition 4.4. Observe that, to prove the existence of the fourth isomorphism, one has to check that the natural isomorphisms

$$ \begin{align*}\operatorname{Hom}_{\mathcal C}( {}^*F(B), \underline{\operatorname{Hom}}_{{\mathcal B}}(B,D)\simeq \operatorname{Hom}_{\mathcal B}(B \triangleleft {}^*F(B), D)\end{align*} $$

commute with the respective prebalancings and then use Proposition 4.3(i). This calculation is left to the reader. This proves both that the coend $\widetilde {C}(F,c)$ exists and that the quasi-inverse of $\Phi $ is given by

$$ \begin{align*}\bar{\Phi}: \mathrm{Rex\,}_{\mathcal C}({\mathcal B}, {\mathcal C}) \to{\mathcal B}^{\mathrm{{op}}},\end{align*} $$

$$ \begin{align*}\bar{\Phi}(F,c)= \oint^{B\in {\mathcal B}} (B \triangleleft {}^*F(B), \gamma).\\[-37pt] \end{align*} $$

For a pair of module functors $(F,c), (\widetilde F, \tilde c):{\mathcal B}\to {\mathcal C}$ , the functor

$$ \begin{align*}{\mathcal B}^{\mathrm{{op}}}\times {\mathcal B}\to {\mathcal C},\end{align*} $$

$$ \begin{align*}(A,B)\mapsto \widetilde{F}(B){\otimes} {}^*F(A)\end{align*} $$

has a canonical prebalancing, given by

(4.10) $$ \begin{align}\begin{aligned} \beta^X_{A,B}& : \widetilde{F}(B){\otimes} {}^*F(A \triangleleft X) \to \widetilde{F}(B \triangleleft {}^*X){\otimes} {}^*F(A), \\\beta^X_{A,B}& =(\tilde{c}^{-1}_{B, {}^*X}{\otimes} \mathrm{id\,})(\mathrm{id\,}_{\widetilde F(B)}{\otimes} (\phi^l_{F(A),X})^{-1} {}^*(c^{-1}_{A,X})). \end{aligned}\end{align} $$

As a consequence of Lemma 4.5, one can apply $\widetilde F $ to the coend in Proposition 4.7. Thus, we get the next result.

Corollary 4.8 For any pair of right exact ${\mathcal C}$ -module functors $F, \widetilde F:{\mathcal B}\to {\mathcal C}$ , the coend

$$ \begin{align*}\oint^{B\in {\mathcal B}} (\widetilde F(B) {\otimes} {}^*F(B), \beta)\in {\mathcal B}\end{align*} $$

exists.

5.1 Hopf algebras in braided tensor categories

Let us briefly recall the notion of Hopf algebras in braided tensor categories, and how their corepresentation categories are again tensor categories. For more details, the reader is referred to [Reference Majid19, Reference Majid20, Reference Takeuchi26] and the references therein.

A braided tensor category is a pair $({\mathcal C},\sigma )$ where ${\mathcal C}$ is a tensor category and $\sigma _{V,W}:V{\otimes } W\to W{\otimes } V$ is a braiding, that is, a family of natural isomorphisms satisfying

(5.1) $$ \begin{align} &\sigma_{V,U{\otimes} W}=(\mathrm{id\,}_U{\otimes} \sigma_{V,W})(\sigma_{V,U}{\otimes}\mathrm{id\,}_W), \nonumber\\ &\sigma_{V{\otimes} U, W}=(\sigma_{V,W}{\otimes}\mathrm{id\,}_U) (\mathrm{id\,}_V{\otimes} \sigma_{U,W}). \end{align} $$

The braiding fulfills the braid relation, whence the name. We illustrate this identity in terms of string diagrams, which we read bottom to top.

Definition 5.2 A bialgebra in ${\mathcal C}$ is a collection $(H,m,u,\Delta ,\varepsilon )$ , where $(H,m,u)$ is an algebra, $(H,\Delta ,\varepsilon )$ is a coalgebra, and $\Delta , \varepsilon $ are algebra morphisms. That is,

(5.2) $$ \begin{align} \Delta\circ m&=(m{\otimes} m) ({\mathrm{id\,}}{\otimes} \sigma_{H,H}{\otimes} {\mathrm{id\,}}) (\Delta{\otimes} \Delta),\end{align} $$

(5.3) $$ \begin{align} \Delta\circ u&= (u{\otimes} u), \end{align} $$

(5.4) $$ \begin{align} \varepsilon \circ m &= (\varepsilon{\otimes}\varepsilon), \end{align} $$

(5.5) $$ \begin{align} \varepsilon \circ u &= {\mathrm{id\,}}_ {\mathbf{1}}. \end{align} $$

We illustrate the first identity:

If H is a bialgebra, then the space $\operatorname {Hom}_{\mathcal C}(H,H)$ has a convolution product with unit given by $u\circ \varepsilon $ . If the identity $\mathrm {id\,}_H$ has an inverse S under the convolution product, then H is a Hopf algebra, and S is called the antipode. The next theorem is well known (see, for example, [Reference Majid19]).

The tensor product of two left H-comodules is given as follows: if $(V,\rho _V)$ , $(W, \rho _W)$ are objects in ${}^H{\mathcal C}$ , then the tensor product $V{\otimes } W$ in ${\mathcal C}$ has a left H-comodule structure given by

(5.6) $$ \begin{align}\rho_{V{\otimes} W}= (m{\otimes} \mathrm{id\,}_{V{\otimes} W})(\mathrm{id\,}_H{\otimes} \sigma_{V,H}{\otimes} \mathrm{id\,}_W)(\rho_V{\otimes} \rho_W). \end{align} $$

If $(V, \rho _V)\in {}^H{\mathcal C}$ , then ${}^*V\in {}^H{\mathcal C}$ . The coaction is given by

(5.7) $$ \begin{align} \rho_{{}^*V}=\big((S{\otimes} \mathrm{id\,})\sigma_{{}^*V,H}{\otimes} \mbox{ev}_V\big)\big(\mathrm{id\,}_{{}^*V}{\otimes} \rho_V{\otimes} \mathrm{id\,}_{{}^*V}\big)\big(\mbox{coev}_V{\otimes}\mathrm{ id\,}_{{}^*V}\big). \end{align} $$

The coaction of the right dual $V^*$ is defined similarly.

For any $V\in {\mathcal C}$ , we can endow V with a trivial H-comodule structure given by

$$ \begin{align*}\rho^t_V:V\to H{\otimes} V, \quad \rho^t_V=u{\otimes} \mathrm{id\,}_V.\end{align*} $$

5.2 Yetter–Drinfeld modules

Let H be a finite-dimensional Hopf algebra in $\mathrm {vect\,}_{\mathbb {k}}$ . Then we shall denote by ${}^H_H{\mathcal YD}$ the category of finite-dimensional Yetter–Drinfeld modules. An object $V\in {}^H_H{\mathcal YD}(\mathrm {vect\,}_{\mathbb {k}})$ is a left H-module $\cdot :H{\otimes _{\mathbb {k}}} V\to V$ and a left H-comodule $\lambda :V\to H{\otimes _{\mathbb {k}}} V$ such that

(5.8) $$ \begin{align} \lambda(h\cdot v)=h_{\left( 1 \right)} v_{\left( -1 \right)} {\mathcal S}(h_{\left( 3 \right)}){\otimes} h_{\left( 2 \right)}\cdot v_{\left( 0 \right)}, \end{align} $$

for any $h\in H, v\in V$ . If $V\in {}^H_H{\mathcal YD}(\mathrm {vect\,}_{\mathbb {k}})$ , the map $\sigma _X: V{\otimes _{\mathbb {k}}} X\to X{\otimes _{\mathbb {k}}} V$ , given by $\sigma _X(v{\otimes } x)=v_{\left ( -1 \right )}\cdot x{\otimes } v_{\left ( 0 \right )}$ , is a half-braiding for V.

This notion had been generalized in [Reference Bespalov3] to Hopf algebras H inside a braided tensor category ${\mathcal C}$ :

Definition 5.4 Let H be a Hopf algebra in a braided tensor category ${\mathcal C}$ . Then an H-H-Yetter–Drinfeld module V is an object $V\in {\mathcal C}$ , together with a structure of H-module $m:H\otimes V\to V$ and structure of H-comodule in $\rho :V\to H\otimes V$ in the tensor category ${\mathcal C}$ , compatible in the following way:

The category ${^H_H}{\mathcal YD}({\mathcal C})$ consists of Yetter–Drinfeld modules and of H-linear and H-colinear morphisms. It becomes a tensor category with the usual tensor product of H-modules and H-comodules $V\otimes W$ . An useful feature of this tensor category is that it admits, by construction, a braiding

$$ \begin{align*} c_{(V, m_V, \rho_V), (W, m_W, \rho_W)} &: V \otimes W \rightarrow W \otimes V \end{align*} $$

which is given on objects $(V, m_V, \rho _V)$ and $(W, m_W, \rho _W)$ by

$$ \begin{align*} c_{(V, m_V, \rho_V), (W, m_W, \rho_W)} &:= (\rho_W \otimes \mathrm{id\,}_V ) \circ (\mathrm{id\,}_H \otimes c_{V,W} ) \circ (\rho_V \otimes \mathrm{id\,}_W ) \end{align*} $$

and is invertible if H has a bijective antipode

$$ \begin{align*} (c_{(V, m_V, \rho_V), (W, m_W, \rho_W)} )^{-1} &:= c^{-1}_{V,W} \circ (m_W \otimes \mathrm{id\,}_V ) \circ (c^{-1}_{H,W} \otimes \mathrm{id\,}_V ) \\ &\circ (\mathrm{id\,}_W \otimes S^{-1} \otimes \mathrm{id\,}_V ) \circ (\mathrm{id\,}_W \otimes \rho_V ). \end{align*} $$

If ${\mathcal C}$ is rigid, then the dual object in ${\mathcal C}$ with the standard dual action and coaction gives a dual object in ${^H_H}{\mathcal YD}({\mathcal C})$ . The structure is summarized in the following statement proven in [Reference Bespalov3].

Recall that the Drinfeld center $\mathcal {Z}(\mathcal {B})$ is a braided tensor category associated with any tensor category $\mathcal {B}$ . The construction of Yetter–Drinfeld modules gives a realization of a special case of the construction of a relative Drinfeld center $\mathcal {Z}_{\mathcal C}(\mathcal {B})$ , a braided tensor category associated with any tensor category $\mathcal {B}$ with a braided subcategory ${\mathcal C}\hookrightarrow \mathcal {Z}(\mathcal {B})$ . More precisely, we have

$$ \begin{align*}{^H_H}{\mathcal YD}({\mathcal C})=\mathcal{Z}_{\mathcal C}({^H}{\mathcal C}).\end{align*} $$

6.1 Sections of monoidal functors

Proof Let us only give a sketch of the proof. (i) implies (ii): assume that $(G, \zeta ):{\mathcal C}\to {\mathcal B}$ is a monoidal section to F. Let $\alpha :F\circ G\to \mathrm {Id\,}$ be a natural monoidal isomorphism. Define the right action of ${\mathcal C}$ on ${\mathcal B}$ as

$$ \begin{align*}B \triangleleft V:= B{\otimes} G(V),\end{align*} $$

for any $B\in {\mathcal B}$ , $V\in {\mathcal C}$ . The associativity of this action is given by

$$ \begin{align*}m_{B,V,W}: B \triangleleft (V{\otimes} W)\to (B \triangleleft V) \triangleleft W,\end{align*} $$

$$ \begin{align*}m_{B,V,W}= \mathrm{id\,}_B{\otimes} \zeta^{-1}_{V,W},\end{align*} $$

for any $B\in {\mathcal B}$ , $V, W\in {\mathcal C}$ . Turns out that ${\mathcal B}$ is a monoidal module category with isomorphisms

$$ \begin{align*}l_{B,V}: B \triangleleft V\to B{\otimes} ( \mathbf{1} \triangleleft V),\end{align*} $$

$$ \begin{align*}l_{B,V}=\mathrm{id\,}_{B{\otimes} G(V)}.\end{align*} $$

With this action, F is a module functor. The module structure of the functor F is given by

$$ \begin{align*}c_{B,V}:F(B \triangleleft V)\to F(B){\otimes} V,\end{align*} $$

$$ \begin{align*}c_{B,V}= (\mathrm{id\,}_{F(B)}{\otimes} \alpha_V) \xi^{-1}_{B,G(V)} F(l_{B,V}).\end{align*} $$

Since $c_{ \mathbf {1},V}=\alpha _V$ , then it follows that equation (6.5) is fulfilled, that is, $(F,\xi , c)$ is a monoidal module functor.

Let us prove now that (ii) implies (i): assume that $(F,\xi , c):{\mathcal B}\to {\mathcal C}$ is a monoidal ${\mathcal C}$ -module functor. Define $G:{\mathcal C}\to {\mathcal B}$ , $G(V)= \mathbf {1} \triangleleft V $ . Axiom (6.4) implies that isomorphisms

$$ \begin{align*}l^{-1}_{ \mathbf{1}\triangleleft V, W }: G(V){\otimes} G(W) \to G(V{\otimes} W)\end{align*} $$

endow G with the structure of monoidal functor. Define natural isomorphisms $\alpha _V:F(G(V))=F( \mathbf {1} \triangleleft V)\to V$ , $\alpha _V=c_{ \mathbf {1}, V}$ . Let us check that they are monoidal natural isomorphisms. For this, we need to verify that equation

(6.6) $$ \begin{align} (c_{ \mathbf{1}, V}{\otimes} c_{ \mathbf{1}, W})= c_{ \mathbf{1}, V{\otimes} W} F(l^{-1}_{ \mathbf{1} \triangleleft V,W}) \xi_{ \mathbf{1} \triangleleft V, \mathbf{1} \triangleleft W} \end{align} $$

is satisfied. Using that c satisfies diagram (3.18), it follows that the right-hand side of equation (6.6) is equal to

$$ \begin{align*} &=(c_{ \mathbf{1}, V}{\otimes} \mathrm{id\,}_W) c_{ \mathbf{1} \triangleleft V, W} F(l^{-1}_{ \mathbf{1} \triangleleft V,W}) \xi_{ \mathbf{1} \triangleleft V, \mathbf{1} \triangleleft W}\\ &=(c_{ \mathbf{1}, V}{\otimes} \mathrm{id\,}_W) (\mathrm{id\,}_{F( \mathbf{1} \triangleleft V)}{\otimes} c_{ \mathbf{1}, W} ) \xi^{-1}_{ \mathbf{1} \triangleleft V, \mathbf{1} \triangleleft W} F(l_{ \mathbf{1} \triangleleft V,W}) F(l^{-1}_{ \mathbf{1} \triangleleft V,W}) \xi_{ \mathbf{1} \triangleleft V, \mathbf{1} \triangleleft W}\\ &=(c_{ \mathbf{1}, V}{\otimes} c_{ \mathbf{1}, W}). \end{align*} $$

The second equation follows from (6.5)

Remark 6.7 Constructions in Proposition 6.6 are reciprocal in the following sense. If ${\mathcal B}$ is a right monoidal ${\mathcal C}$ -module category and $G:{\mathcal C}\to {\mathcal B}$ is the monoidal functor $G(V)= \mathbf {1}\triangleleft V$ , then one can endow ${\mathcal B}$ with a right ${\mathcal C}$ -module structure

$$ \begin{align*}B\blacktriangleleft V= B{\otimes} G(V),\end{align*} $$

for any $B\in {\mathcal B}$ , $V\in {\mathcal C}$ . Turns out, that the identity functor $\mathrm {Id\,}: ({\mathcal B}, \triangleleft )\to ({\mathcal B}, \blacktriangleleft )$ is an equivalence of module categories.

6.2 Some natural module transformations

It is known that natural transformations between additive functors are additive. For example, if $(F,\xi )$ is an additive monoidal functor, then natural isomorphisms

$$ \begin{align*}\xi_{A,B}:F(A){\otimes} F(B)\to F(A{\otimes} B)\end{align*} $$

are additive in each variable. In this section, we shall study what happens when F is a monoidal module functor. We aim at proving that $\xi $ is a module natural transformation in the second variable.

Proof For any $B\in {\mathcal B}, V\in {\mathcal C}$ , the module structure of the functor $L_A$ is given by

$$ \begin{align*}\eta_{B,V}: A{\otimes} (B \triangleleft V)\to (A{\otimes} B) \triangleleft V,\end{align*} $$

$$ \begin{align*}\eta_{B,V}= l^{-1}_{A{\otimes} B, V}(\mathrm{id\,}_A{\otimes} l_{B,V}).\end{align*} $$

Let us prove that $\eta $ satisfies (3.18). Using that isomorphisms l satisfy diagram (6.4), it follows that for any $C\in {\mathcal B}$ and any $V, W\in {\mathcal C}$ , we have that

(6.7) $$ \begin{align} l^{-1}_{C, V{\otimes} W}= l^{-1}_{C\triangleleft V, W}(l^{-1}_{C,V}{\otimes} \mathrm{id\,}_{ \mathbf{1} \triangleleft W})(\mathrm{id\,}_C{\otimes} l_{ \mathbf{1} \triangleleft V,W}). \end{align} $$

On one hand, we have that

$$ \begin{align*} \eta_{B,V{\otimes} W}& = l^{-1}_{A{\otimes} B, V{\otimes} W}(\mathrm{id\,}_A{\otimes} l_{B,V{\otimes} W})\\ &= l^{-1}_{(A{\otimes} B)\triangleleft V, W}(l^{-1}_{A{\otimes} B,V}{\otimes} \mathrm{id\,}_{ \mathbf{1} \triangleleft W})(\mathrm{id\,}_{A{\otimes} B}{\otimes} l_{ \mathbf{1} \triangleleft V,W}) (\mathrm{ id\,}_{A{\otimes} B}{\otimes} l^{-1}_{ \mathbf{1} \triangleleft V,W})\\ &\quad (\mathrm{id\,}_A{\otimes} l_{B,V}{\otimes} \mathrm{id\,}_{ \mathbf{1} \triangleleft W})(\mathrm{id\,}_A{\otimes} l_{B\triangleleft V,W})\\ & = l^{-1}_{(A{\otimes} B)\triangleleft V, W}(l^{-1}_{A{\otimes} B,V}{\otimes} \mathrm{id\,}_{ \mathbf{1} \triangleleft W}) (\mathrm{id\,}_A{\otimes} l_{B,V}{\otimes} \mathrm{id\,}_{ \mathbf{1} \triangleleft W})(\mathrm{id\,}_A{\otimes} l_{B\triangleleft V,W}). \end{align*} $$

The second equation follows from using (6.7). On the other hand,

$$ \begin{align*}(\eta_{B,V}\triangleleft \mathrm{id\,}_W) \eta_{B\triangleleft V, W}\end{align*} $$

is equal to

$$ \begin{align*} &=(l^{-1}_{A{\otimes} B, V} \triangleleft\mathrm{id\,}_W)(\mathrm{id\,}_A{\otimes} l_{B,V}{\otimes} \mathrm{id\,}_{ \mathbf{1} \triangleleft W}) l^{-1}_{A{\otimes} (B \triangleleft V), W} (\mathrm{id\,}_A{\otimes} l_{B \triangleleft V, W})\\ &=(l^{-1}_{A{\otimes} B, V} \triangleleft\mathrm{id\,}_W) l^{-1}_{A{\otimes} B {\otimes} ( \mathbf{1}\triangleleft V), W} (\mathrm{id\,}_A{\otimes} l_{B,V}{\otimes} \mathrm{id\,}_{ \mathbf{1} \triangleleft W}) (\mathrm{id\,}_A{\otimes} l_{B \triangleleft V, W})\\ & =l^{-1}_{(A{\otimes} B)\triangleleft V, W}(l^{-1}_{A{\otimes} B,V}{\otimes} \mathrm{id\,}_{ \mathbf{1} \triangleleft W}) (\mathrm{id\,}_A{\otimes} l_{B,V}{\otimes} \mathrm{id\,}_{ \mathbf{1} \triangleleft W})(\mathrm{id\,}_A{\otimes} l_{B\triangleleft V,W}). \end{align*} $$

The second and third equalities follow from the naturality of l.

Proof (i). From Proposition 6.6, there is a section $G:{\mathcal C}\to {\mathcal B}$ of the functor F. Define the left action $\triangleright :{\mathcal C}\times {\mathcal B}\to {\mathcal B}$ as $V\triangleright B=G(V){\otimes } B$ . With this action, ${\mathcal B}$ becomes a ${\mathcal C}$ -bimodule category. Thus, we can consider the Deligne tensor product over ${\mathcal C}$ , ${\mathcal B}\boxtimes _{\mathcal C} {\mathcal B}$ . This category has an obvious right ${\mathcal C}$ -module category structure.

One can prove that functors ${\mathcal B}\times {\mathcal B}\to {\mathcal C}$ given by

$$ \begin{align*}(A,B)\mapsto F(A{\otimes} B), \quad (A,B)\mapsto F(A){\otimes} F(B)\end{align*} $$

are ${\mathcal C}$ -balanced, thus defining functors H and $\widetilde {H}$ . The (right) ${\mathcal C}$ -module structure of the functor $\widetilde {H}$ is the one inherited from the functor F. The module structure of the functor H is more involved. One can prove that natural transformations

$$ \begin{align*}e_{A,B,V}: F(A{\otimes} (B\triangleleft V))\to F(A{\otimes} B) {\otimes} V,\end{align*} $$

$$ \begin{align*}e_{A,B,V}= c_{A{\otimes} B, V} F(l^{-1}_{A{\otimes} B, V}(\mathrm{id\,}_A{\otimes} l_{B,V}))\end{align*} $$

are ${\mathcal C}$ -balanced, thus defining natural transformations

$$ \begin{align*}e_{X,V}: H(X\triangleleft V)\to H(X)\triangleleft V,\end{align*} $$

for any $X\in {\mathcal B}\boxtimes _{\mathcal C} {\mathcal B}$ , $V\in {\mathcal C}$ . One can prove also that $(H,e)$ is a module functor. Note that e is the module structure resulting from the composition of module structures of F and the functor $L_A$ , presented in Lemma 6.8. This proves (ii).

(iii). To prove that $\xi $ is a natural module transformation in the second variable, we need to verify that the diagram

(6.8)

is commutative for any $A, B\in {\mathcal B}$ , $V\in {\mathcal C}$ . Here,

$$ \begin{align*}e_{A,B,V}= c_{A{\otimes} B, V} F(l^{-1}_{A{\otimes} B, V}(\mathrm{id\,}_A{\otimes} l_{B,V})).\end{align*} $$

We have

$$ \begin{align*} e_{A,B,V} &\xi_{A,B\triangleleft V}= c_{A{\otimes} B, V} F(l^{-1}_{A{\otimes} B, V}(\mathrm{id\,}_A{\otimes} l_{B,V}))\xi_{A,B\triangleleft V}\\ &=(\mathrm{id\,}{\otimes} c_{ \mathbf{1}, V}) \xi^{-1}_{A{\otimes} B, \mathbf{1}\triangleleft V} F(\mathrm{id\,}_A{\otimes} l_{B,V}) \xi_{A,B\triangleleft V}\\ &=(\mathrm{id\,}{\otimes} c_{ \mathbf{1}, V}) \xi^{-1}_{A{\otimes} B, \mathbf{1}\triangleleft V} \xi_{A,B{\otimes} ( \mathbf{1} \triangleleft V)}(\mathrm{id\,}_{F(A)}{\otimes} F(l_{B,V}))\\ &=(\mathrm{id\,}{\otimes} c_{ \mathbf{1}, V}) (\xi_{A,B}{\otimes} \mathrm{id\,}_{F( \mathbf{1} \triangleleft V)})(\mathrm{id\,}_{F(A)}{\otimes} \xi^{-1}_{B, \mathbf{1} \triangleleft V}) (\mathrm{ id\,}_{F(A)}{\otimes} F(l_{B,V}))\\ &=(\xi_{A,B}{\otimes} \mathrm{id\,}_{ V}) (\mathrm{id\,}_{F(A)}{\otimes} (\mathrm{id\,}_{F(B)}{\otimes} c_{ \mathbf{1}, V})\xi^{-1}_{B, \mathbf{1} \triangleleft V} F(l_{B,V})) \\ &=(\xi_{A,B}{\otimes} \mathrm{id\,}_{ V}) (\mathrm{id\,}_{F(A)}{\otimes} c_{B, V}). \end{align*} $$

The second equality follows from (6.5), the third equality follows from the naturality of $\xi $ , and the fourth one follows from (3.1). The last equality follows from (6.5).

7.1 Coalgebras constructed from a coend

Let ${\mathcal C}$ be a tensor category, and let ${\mathcal B}$ be a right ${\mathcal C}$ -module category. For the rest of this section, $(F,c):{\mathcal B}\to {\mathcal C}$ will denote a right exact module functor.

Consider the functor

$$ \begin{align*}S^F:{\mathcal B}^{\mathrm{{op}}}\times {\mathcal B}\to {\mathcal C},\end{align*} $$

$$ \begin{align*}S^F(A,B)=F(B){\otimes} {}^*F(A).\end{align*} $$

This functor has a canonical prebalancing given by

(7.1) $$ \begin{align} &\beta^X_{A,B}: F(B){\otimes} {}^*F(A \triangleleft X) \to F(B \triangleleft {}^*X){\otimes} {}^*F(A), \nonumber\\ &\beta^X_{A,B}=(c^{-1}_{B, {}^*X}{\otimes} \mathrm{id\,}_{{}^*F(A)})(\mathrm{id\,}_{F(B)}{\otimes} (\phi^l_{F(A),X})^{-1} {}^*(c^{-1}_{A,X})). \end{align} $$

We define

$$ \begin{align*}C(F,c)=C(F)=\oint^{B\in {\mathcal B}} (S^F,\beta)= \oint^{B\in {\mathcal B}} F(B){\otimes} {}^*F(B).\end{align*} $$

Let $\pi _B:F(B){\otimes } {}^*F(B)\to C(F)$ be the associated dinatural transformations. Existence of this coend follows from Corollary 4.8. The following lemma is a generalization of [Reference Schauenburg23, Lemma 2.1.9]. Recall that for any $M, N\in {\mathcal B}$ , $X\in {\mathcal C}$ , we have natural isomorphisms

$$ \begin{align*}\psi^V_{F(M),F(N)}:\operatorname{Hom}_{\mathcal C}(F(M){\otimes} {}^*F(N),V)\to \operatorname{Hom}_{\mathcal C}(F(M),V{\otimes} F(N))\end{align*} $$

described in (3.7).

Lemma 7.1 The functor $V\mapsto \mathrm {Nat\,}_{\! m}(F, V{\otimes } F)$ is represented by $C(F)$ . That is, for any $V\in {\mathcal C}$ , there are natural isomorphisms

(7.2) $$ \begin{align} &\omega: \operatorname{Hom}_{\mathcal C}(C(F),V)\to \mathrm{Nat\,}_{\! m}(F, V{\otimes} F), \nonumber\\ &\omega(g)_B= (g{\otimes} \mathrm{id\,}_{F(B)})\psi^{C(F)}_{F(B),F(B)}(\pi_B). \end{align} $$

Proof Fix some object $V\in {\mathcal C}$ . The functor $V{\otimes } F$ is a right module functor, then we can consider the prebalancing of the functor

$$ \begin{align*}\operatorname{Hom}_{\mathcal C}(F( -),V{\otimes} F(- )): {\mathcal B}\times {\mathcal B}^{\mathrm{{op}}}\to \mathrm{vect\,}_{\mathbb{k}},\end{align*} $$

given by

$$ \begin{align*}\gamma^X_{B,N} :\operatorname{Hom}_{\mathcal C}(F(N\triangleleft {}^*X),V{\otimes} F(B ))\to \operatorname{Hom}_{\mathcal C}(F(N ),V{\otimes} F(B\triangleleft X)),\end{align*} $$

$$ \begin{align*}\gamma^X_{N,B}(f)=(\mathrm{id\,}_V{\otimes} c_{B, X})(f{\otimes} \mathrm{id\,}_X) (c^{-1}_{N, {}^*X}{\otimes} \mathrm{id\,}_X)(\mathrm{id\,}_{F(N)}{\otimes} \mbox{coev}_X).\end{align*} $$

Note that here we are considering ${\mathcal B}^{\mathrm {{op}}}$ as a left ${\mathcal C}$ -module category, with action $X\triangleright B:=B\triangleleft {}^*X$ . Proposition 4.3(ii) tells us that there is an isomorphism

$$ \begin{align*}\oint_{B\in {\mathcal B}} (\operatorname{Hom}_{\mathcal C}(F(B),V{\otimes} F(B)), \gamma) \simeq \mathrm{Nat\,}_{\! m}(F, V{\otimes} F).\end{align*} $$

From the proof of Proposition 4.4, one can see that the dinatural transformations of the end $\oint _{B\in {\mathcal B}} \operatorname {Hom}_{\mathcal C}(F(B){\otimes } {}^*F(B),V)$ are given by

$$ \begin{align*}\widehat{\pi}_B:\oint_{B\in {\mathcal B}} \operatorname{Hom}_{\mathcal C}(F(B){\otimes} {}^*F(B),V)\to \operatorname{Hom}_{\mathcal C}(F(B){\otimes} {}^*F(B),V),\end{align*} $$

$$ \begin{align*}\widehat{\pi}_B(g)= g\circ \pi_B.\end{align*} $$

Here, we are using identification

$$ \begin{align*}\oint_{B\in {\mathcal B}} \operatorname{Hom}_{\mathcal C}(F(B){\otimes} {}^*F(B),V)= \operatorname{Hom}_{\mathcal C}(\oint^{B\in {\mathcal B}} F(B){\otimes} {}^*F(B),V).\end{align*} $$

It follows by a straightforward computation that

$$ \begin{align*}\gamma^X_{M,N} (\psi^V_{F(M\triangleleft {}^*X ),F(N )}(f))=\psi^V_{F(M ),F(N\triangleleft X)}(f\circ \beta^X_{N,M} ),\end{align*} $$

for any $M, N\in {\mathcal B}$ and any $f\in \operatorname {Hom}_{\mathcal B}(F(M \triangleleft {}^*X){\otimes } {}^*F(N ),V)$ . This implies, using Proposition 4.3(i) that, for any $V\in {\mathcal C}$ , there exists an isomorphism

$$ \begin{align*}\widehat{\psi}^V:\oint_{B\in {\mathcal B}} \operatorname{Hom}_{\mathcal C}(F(B){\otimes} {}^*F(B),V)\to \oint_{B\in {\mathcal B}} \operatorname{Hom}_{\mathcal C}(F(B),V{\otimes} F(B)),\end{align*} $$

such that $\mu _B\circ \widehat {\psi }^V= \psi ^V_{F(B),F(B)}\circ \widehat {\pi }_B.$ For any $V\in {\mathcal C}$ , we have that

$$ \begin{align*} \operatorname{Hom}_{\mathcal C}(C(F),V)&\simeq \oint_{B\in {\mathcal B}} \operatorname{Hom}_{\mathcal C}(F(B){\otimes} {}^*F(B),V)\\ &\simeq \oint_{B\in {\mathcal B}} \operatorname{Hom}_{\mathcal C}(F(B),V{\otimes} F(B))\\ &\simeq \mathrm{Nat\,}_{\! m}(F, V{\otimes} F). \end{align*} $$

The first isomorphism is Proposition 4.4. Tracing this chain of isomorphisms, one can see that the composition coincides with $\omega $ defined by equation (7.2).

Proposition 7.2 Let ${\mathcal C}$ be a tensor category, and let ${\mathcal B}$ be a right ${\mathcal C}$ -module category. Let $(F,c):{\mathcal B}\to {\mathcal C}$ be a right exact module functor. The object $C(F)\in {\mathcal C}$ has a coalgebra structure $\Delta :C(F)\to C(F){\otimes } C(F)$ , $\varepsilon :C(F)\to \mathbf {1}$ determined by diagrams

(7.3)

(7.4)

for any $B\in {\mathcal B}$ .

Proof It follows by a straightforward computation that the maps

$$ \begin{align*}\mbox{ev}_{F(B)}:F(B){\otimes} {}^*F(B)\to \mathbf{1},\end{align*} $$

$$ \begin{align*}(\pi_B{\otimes} \pi_B )(\mathrm{id\,}{\otimes} \mbox{coev}_{F(B)} {\otimes}\mathrm{id\,}): F(B){\otimes} {}^*F(B)\to C(F){\otimes} C(F)\end{align*} $$

are dinatural maps. It follows from diagram (3.20) that $ \mbox {ev}_{F(B)}$ satisfies (4.5). It follows from diagram (3.21) and the fact that $\pi $ satisfies (4.5) that $(\pi _B{\otimes } \pi _B )(\mathrm {id\,}{\otimes } \mbox {coev}_{F(B)} {\otimes }\mathrm {id\,})$ also satisfies equation (4.5). Whence, the existence of $\Delta $ and $\varepsilon $ follows from the universal property of the relative coend.

The proof that $(C(F),\Delta , \varepsilon )$ is a coalgebra is standard, and it follows from diagrams (7.3) and (7.4).

Let ${\mathcal C}$ be a tensor category, and let $C\in {\mathcal C}$ be a coalgebra. The category ${}^C{\mathcal C}$ , of left C-comodules in ${\mathcal C}$ , is a right ${\mathcal C}$ -module category. The action is given as follows. If $(W,\rho )\in {}^C{\mathcal C}$ , then $W \triangleleft Y=W{\otimes } Y$ , where the coaction on $W{\otimes } Y$ is given by $\rho {\otimes } \mathrm {id\,}_Y.$ The forgetful functor $f:{}^C{\mathcal C}\to {\mathcal C}$ is a ${\mathcal C}$ -module functor. The next result says that the coalgebra reconstructed from the forgetful functor f coincides with C.

In this case, the functor $S^f$ has a prebalancing given by

$$ \begin{align*}\beta^X_{A,B}=\mathrm{id\,}_B{\otimes} (\phi^l_{A,X})^{-1},\end{align*} $$

for any $A, B\in {}^C{\mathcal C}$ , $X\in {\mathcal C}$ .

Proof In this particular case, if $T\in {\mathcal C}$ is an object, and $\lambda _W:W{\otimes } {}^*W\to T$ is a dinatural transformation, equation (4.5) writes as

(7.5) $$ \begin{align} \lambda_{W{\otimes} {}^*V}(\mathrm{id\,}_W{\otimes} (\phi^l_{W{\otimes} {}^*V,V})^{-1}) =\lambda_W (\mathrm{id\,}_W{\otimes} {}^*(\mathrm{id\,}_W{\otimes} \mbox{coev}_V)), \end{align} $$

for any $W\in {}^C{\mathcal C}, V\in {\mathcal C}.$

If $W\in {}^C{\mathcal C}$ has comodule structure given by $\rho _W\to C{\otimes } W$ , then we define $\pi _W:W{\otimes } {}^*W\to C,$ the morphisms given by $\pi _W=\bar {\psi }^C_{W,W}(\rho )$ . Recall that natural isomorphisms $\bar {\psi }$ were defined in (3.8). Maps $\pi _W$ are dinatural transformations, and they satisfy equation (7.5).

Let $A\in {\mathcal C}$ be another object, equipped with dinatural transformations $\lambda _W:W{\otimes } {}^*W\to A$ such that they satisfy equation (7.5). Define h as the composition

$$ \begin{align*}h: C\xrightarrow{\mathrm{id\,}_C{\otimes} {}^*\varepsilon}C{\otimes} {}^*C \xrightarrow{\lambda_C} A.\end{align*} $$

Since $\lambda $ is dinatural, and it satisfies (7.5), one can see that $h\circ \pi _W= \lambda _W$ . This proves that, indeed, $C(f)\simeq C$ .

Proof 1. For any $A\in {\mathcal B}$ , define $\widehat {F}(A)=(F(A),\rho _A),$ where

$$ \begin{align*}\rho_A=\psi^C_{F(A),F(A)}(\pi_A):F(A)\to C{\otimes} F(A).\end{align*} $$

Using diagrams (7.3) and (7.4), one can prove that

$$ \begin{align*}(\mathrm{id\,}_C{\otimes} \rho_A)\rho_A=(\Delta{\otimes} \mathrm{id\,})\rho_A,\end{align*} $$

$$ \begin{align*}(\varepsilon{\otimes}\mathrm{id\,})\rho_A=\mathrm{id\,}_{F(A)}.\end{align*} $$

2. Clearly, if F is faithful, then $\widehat {F}$ is faithful. Assume that F is left exact. Let $f:A\to B$ be a morphism in ${\mathcal B}$ with kernel $k=\ker f: K\to A$ . Since F is left exact, then $F(k)=\ker F(f)$ . We only need to prove that the morphism $F(k):F(K)\to F(A)$ is a map of C-comodules. That is, we need to prove the equality

(7.7) $$ \begin{align} (\mathrm{id\,}{\otimes} F(k)) \psi^C_{F(K),F(K)}(\pi_K)= \psi^C_{F(A),F(A)}(\pi_A) F(k). \end{align} $$

Using the naturality of $\psi $ , it follows that

$$ \begin{align*} \psi^C_{F(A),F(A)}(\pi_A) F(k)&= \psi^C_{F(K),F(A)}(\pi_A (F(k){\otimes} \mathrm{id\,}))\\ &=\psi^C_{F(K),F(A)}(\pi_K (\mathrm{id\,} {\otimes} {}^*F(k)))\\ &=(\mathrm{id\,} {\otimes} F(k)) \psi^C_{F(K),F(K)}(\pi_K ). \end{align*} $$

The second equality follows from the dinaturality of $\pi $ , and the third equality follows again by the naturality of $\psi $ . The proof that if F is right exact then $\widehat {F}$ is right exact follows similarly.

7.2 Some auxiliary results

In this section, we shall present some technical results that will be used later. In particular, these results will be used in the proof of our main result Theorem 7.7.

Let ${\mathcal B}$ be a right ${\mathcal C}$ -module category, and $(F,c):{\mathcal B}\to {\mathcal C}$ be a module functor. To make calculations easier, we shall assume that the associativity of the ${\mathcal C}$ -module category ${\mathcal B}$ is trivial. Recall the relative coend

(7.8) $$ \begin{align} \widetilde{C}(F,c)=\widetilde{C}=\oint^{B\in {\mathcal B}} B \triangleleft {}^*F(B)\in {\mathcal B} \end{align} $$

presented in Proposition 4.7. Let us denote by

$$ \begin{align*}\lambda_B:B \triangleleft {}^*F(B) \to \widetilde{C}(F,c)\end{align*} $$

the associated dinatural transformations. Analogous to the definition of $\Delta $ , given in (7.3), we shall define a map

(7.9) $$ \begin{align}\delta: \widetilde{C}(F,c)\to \widetilde{C}(F,c)\triangleleft C(F,c).\end{align} $$

Lemma 7.5 There exists a unique morphism $\delta : \widetilde {C}(F,c)\to \widetilde {C}(F,c)\triangleleft C(F,c)$ such that

(7.10)

Proof Let us denote $ d_{B,V}$ the following natural isomorphism:

$$ \begin{align*}d_{B,V}:{}^*F(B\triangleleft V)\to {}^*V{\otimes}{}^*F(B) ,\end{align*} $$

$$ \begin{align*}d_{B,V}= \big(\phi^l_{F(B), V} \big)^{-1} {}^*(c^{-1}_{B,V}).\end{align*} $$

Recall from equation (4.9) that the prebalancing used in the coend $\widetilde {C}(F,c)$ is given by

$$ \begin{align*}\gamma^V_{B,D}: D\triangleleft {}^*F(B \triangleleft V) \to D\triangleleft {}^*V{\otimes}{}^*F(B ),\end{align*} $$

$$ \begin{align*}\gamma^V_{B,D}=\mathrm{id\,}_{D}\triangleleft d_{B,V}.\end{align*} $$

Using that c satisfies (3.18), it is not difficult to prove that

(7.11) $$ \begin{align} d_{B,{}^*V{\otimes} V }=(\phi^l_{{}^*V,V}{\otimes} \mathrm{id\,})(\mathrm{id\,}_{{}^*V}{\otimes} d_{B,{}^*V}) d_{B\triangleleft {}^*V, V }, \end{align} $$

for any $B\in {\mathcal B}$ , $V\in {\mathcal C}$ . The naturality of $\phi ^l$ and c implies that

(7.12) $$ \begin{align} F({}^*(\mathrm{id\,}_B\triangleleft \mbox{coev}_V ))=({}^*(\mbox{coev}_V){\otimes} \mathrm{id\,}_{{}^*F(B)}) d_{B,{}^*V{\otimes} V }, \end{align} $$

for any $B\in {\mathcal B}$ , $V\in {\mathcal C}$ . Whence, using (3.6), it follows that

(7.13) $$ \begin{align} F({}^*(\mathrm{id\,}_B\triangleleft \mbox{coev}_V )) d^{-1}_{B\triangleleft {}^*V, V }= (\mbox{ev}_{{}^*V}){\otimes} \mathrm{id\,}_{{}^*F(B)}) (\mathrm{id\,}_{{}^*V}{\otimes} d_{B,{}^*V}). \end{align} $$

In this case, if $A\in {\mathcal B}$ , a dinatural transformation $\nu _B: B\triangleleft {}^*F(B)\to A$ satisfies equation (4.5) if and only if

(7.14) $$ \begin{align} \nu_B \big( \mathrm{id\,}_B \triangleleft F({}^*(\mathrm{id\,}_B\triangleleft \mbox{coev}_V )\big)= \nu_{B \triangleleft {}^*V} \gamma^V_{B\triangleleft {}^*V,B}. \end{align} $$

Using that dinatural transformations $\lambda $ and $\pi $ both satisfy (4.5) and using (7.13), it follows that dinatural transformation

$$ \begin{align*}(\lambda_B\triangleleft\,\pi_B) (\mathrm{id\,}_B\triangleleft(\mbox{coev}_{F(B)} {\otimes}\mathrm{id\,}_{{}^*F(B)})\end{align*} $$

also satisfies (7.14). Now, existence of the map $\delta : \widetilde {C}(F,c)\to \widetilde {C}(F,c)\triangleleft C(F,c)$ satisfying (7.10) follows from the universal property of the relative coend.

For any $A, B\in {\mathcal B}$ and $V\in {\mathcal C}$ , define

(7.15) $$ \begin{align} &\widetilde{\psi}^V_{B,A}:\operatorname{Hom}_{\mathcal B}(B\triangleleft {}^*V,A)\to \operatorname{Hom}_{\mathcal B}(B,A \triangleleft V), \nonumber\\ &\widetilde{\psi}^V_{B,A}(f)=(f\triangleleft \mathrm{id\,}_V)(\mathrm{id\,}_B \triangleleft \mbox{coev}_V). \end{align} $$

Compare with natural isomorphisms given in (3.7). For any $B\in {\mathcal B}$ , define also

(7.16) $$ \begin{align} \widetilde{\rho}_B= \widetilde{\psi}^{F(B)}_{B,\widetilde{C}}(\lambda_B):B\to \widetilde{C} \triangleleft F(B). \end{align} $$

One could check that, using Lemma 4.5, whenever F is right exact, $F(\widetilde {C})=C$ . The dinatural transformations of $F(\widetilde {C})$ is given by $F(\lambda _B)$ . In particular, this implies that

(7.17) $$ \begin{align} c_{\widetilde{C},F(B)}F(\widetilde{\rho}_B)=\rho_B, \end{align} $$

for any $B\in {\mathcal B}$ . Using definition of $\Delta :C\to C{\otimes } C$ given by diagram (7.2), one can see that

(7.18) $$ \begin{align} c_{\widetilde{C}, C} F(\delta)=F(\Delta). \end{align} $$

If $h_1, h_2:C{\otimes } F(B)\to C{\otimes } C{\otimes } F(B)$ are defined as

$$ \begin{align*}h_1=\mathrm{id\,}_C{\otimes} \rho_B, \quad h_2=\Delta{\otimes} \mathrm{id\,}_{F(B)},\end{align*} $$

then it is a standard result that the kernel of the difference $h_1-h_2$ is $\rho _B$ . Using the above, we have the following.

Proposition 7.6 Assume that the module functor $(F,c):{\mathcal B}\to {\mathcal C}$ is faithful and exact. The map $\widetilde {\rho }_B:B\to \widetilde {C} \triangleleft F(B)$ is the kernel of the difference of morphisms

where $\widetilde {h}_1= \mathrm {id\,}_{\widetilde {C} } \triangleleft \rho _B$ and $\widetilde {h}_2= \delta \triangleleft \mathrm {id\,}_{F(B)}.$

Proof Note that we are using that F is right exact so that $F(\widetilde {C})=C$ . See Lemma 4.5. Using (7.17), (7.18), and the naturality of c, one can prove that

$$ \begin{align*}c_{\widetilde{C}, C{\otimes} F(B)} F(\widetilde{h}_1-\widetilde{h}_2)= (h_1-h_2) c_{\widetilde{C}, F(B)}.\end{align*} $$

This implies that $F (\widetilde {\rho }_B)=\ker F(\widetilde {h}_1-\widetilde {h}_2)=F(\ker \widetilde {h}_1-\widetilde {h}_2)$ , since F is also left exact. The result follows, since F is faithful.

7.3 Reconstruction results

The following theorem is one of our main results and is a generalization of [Reference Schauenburg23, Theorem 2.2.8].

Theorem 7.7 Let ${\mathcal C}$ be a tensor category, and let ${\mathcal B}$ be a right ${\mathcal C}$ -module category. Let $(F,c):{\mathcal B}\to {\mathcal C}$ be an exact and faithful module functor. Let $C=\oint ^{B\in {\mathcal B}} F(B){\otimes } {}^*F(B)\in {\mathcal C}$ be the relative coend coalgebra introduced in Proposition 7.2 and consider its category of comodules ${}^C{\mathcal C}$ . Then the functor F factorizes into an equivalence of ${\mathcal C}$ -module categories $\widehat {F}: {\mathcal B}\stackrel {\sim }{\longrightarrow } {}^C{\mathcal C}$ and the forgetful functor $f:{}^C{\mathcal C} \to {\mathcal C}$ :

(7.19)

Proof Recall that we denote by

$$ \begin{align*}\pi_A:F(A){\otimes} {}^*F(A)\to \oint^{B\in {\mathcal B}} F(B){\otimes} {}^*F(B)\end{align*} $$

the dinatural transformations of the relative coend $C(F)$ . The definition of the functor $\widehat {F}:{\mathcal B}\to {}^C{\mathcal C}$ was given in Proposition 7.4. Since F is faithful, $\widehat {F}$ is also faithful. We need to prove that $\widehat {F}$ is essentially surjective and full.

Let us prove first that $\widehat {F}$ is essentially surjective. Take $(M,\rho )\in {}^C{\mathcal C}$ . We endowed $C{\otimes } M$ structure of left C-comodule via $\Delta $ , then $\rho :M\to C{\otimes } M$ is actually a morphism in ${}^C{\mathcal C}$ . We begin with the observation that $(M,\rho )$ is the kernel (in ${}^C{\mathcal C}$ ) of the difference of morphisms

Recall from Proposition 7.4 that for any $A\in {\mathcal B}$ , the object $F(A)$ has a left H-comodule structure given by $\rho _A=\psi ^C_{F(A),F(A)}(\pi _A).$ Hence, for any $V\in {\mathcal C}$ , the object $F(A){\otimes } V$ has a left comodule structure given by $\rho _A{\otimes }\mathrm {id\,}_V$ . The next claim will be crucial for the proof. To prove this claim, it is essential that the dinatural maps $\pi $ satisfy equation (4.5).

Claim 7.1 For any $A\in {\mathcal B}$ , $V\in {\mathcal C},$ morphisms $c_{A,V}:F(A\triangleleft V)\to F(A){\otimes } V$ are C-comodule maps.

Proof of Claim

We need to prove that

$$ \begin{align*} (\psi^H_{F(A),F(A)}(\pi_A){\otimes} \mathrm{id\,}_V)c_{A,V}=(\mathrm{id\,}_H{\otimes} c_{A,V}) \psi^H_{F(A\triangleleft V),F(A\triangleleft V)}(\pi_{A\triangleleft V}). \end{align*} $$

This equation is equivalent to

(7.20) $$ \begin{align} (\pi_A{\otimes} \mathrm{id\,}_{F(A){\otimes} V}) (\mathrm{id\,} {\otimes} \mbox{coev}_{F(A)}{\otimes} \mathrm{id\,}_V) c_{A,V}= (\pi_{A\triangleleft V}{\otimes} c_{A,V})(\mathrm{id\,}{\otimes} \mbox{coev}_{F(A\triangleleft V)} ). \end{align} $$

Since $\pi $ satisfies equation (4.5), it follows that

$$ \begin{align*}\pi_{A\triangleleft V}= \pi_A (\mathrm{id\,}_{F(A)}{\otimes} {}^*(F(\mathrm{id\,}_A \triangleleft \mbox{coev}_{V^*})) ) \big(\beta^{V^*}_{A\triangleleft V, A} \big)^{-1}.\end{align*} $$

Using the description of the prebalancing $\beta $ given in (4.10), we obtain that

(7.21) $$ \begin{align} \pi_{A\triangleleft V}& = \pi_A (\mathrm{id\,}_{F(A)}{\otimes} {}^*(c_{A\triangleleft V, V^*} F(\mathrm{id\,}_A \triangleleft \mbox{coev}_{V^*})) ) (\mathrm{id\,}{\otimes} \phi^l_{F(A\triangleleft V),V^*}) \nonumber\\ &\quad (c_{A,V}{\otimes} \mathrm{id\,}_{{}^*F(A\triangleleft V)}). \end{align} $$

It follows from the naturality of c that

$$ \begin{align*}c_{A, V{\otimes} V^*} F(\mathrm{id\,}_A \triangleleft \mbox{coev}_{V^*})=(\mathrm{id\,}_{F(A)}{\otimes} \mbox{coev}_{V^*}).\end{align*} $$

Using equation (3.18), it follows that

$$ \begin{align*}c_{A\triangleleft V, V^*} F(\mathrm{id\,}_A \triangleleft \mbox{coev}_{V^*})= (c^{-1}_{A,V}{\otimes} \mathrm{id\,}_{V^*} )(\mathrm{id\,}_{F(A)}{\otimes} \mbox{coev}_{V^*}).\end{align*} $$

Whence

(7.22) $$ \begin{align} \pi_{A\triangleleft V}&=\pi_A (\mathrm{id\,}_{F(A)}{\otimes} {}^*(\mathrm{id\,}_{F(A)}{\otimes} \mbox{coev}_{V^*})) (\mathrm{id\,}_{F(A)}{\otimes} {}^*(c^{-1}_{A,V}{\otimes} \mathrm{id\,}_{V^*} ) ) \nonumber\\ &(\mathrm{id\,}_{F(A)}{\otimes} \phi^l_{F(A\triangleleft V),V^*})(c_{A,V}{\otimes} \mathrm{id\,}_{{}^*F(A\triangleleft V)})\\ &=\pi_A (\mathrm{id\,}_{F(A)}{\otimes} {}^*(\mathrm{id\,}_{F(A)}{\otimes} \mbox{coev}_{V^*})) (\mathrm{id\,}_{F(A)}{\otimes} \phi^l_{V^*,F(A){\otimes} V} )\nonumber\\ & ( c_{A,V}{\otimes} {}^*(c^{-1}_{A,V}) ).\nonumber \end{align} $$

The second equality follows from the naturality of $\phi ^l$ . It follows by a tedious, but straightforward, computation that

(7.23) $$ \begin{align} \big({}^*(\mathrm{id\,}_{F(A)}{\otimes}\mbox{coev}_{V^*}){\otimes} \mathrm{id\,}_{F(A){\otimes} V} \big)&\big( \phi^l_{V^*,F(A){\otimes} V}{\otimes}\mathrm{ id\,}_{F(A){\otimes} V}\big) \nonumber\\ &\big(\mathrm{id\,}_{V}{\otimes}\mbox{coev}_{F(A){\otimes} V}\big)= \mbox{coev}_{F(A)}{\otimes}\mathrm{id\,}_{V}. \end{align} $$

Let us prove now equation (7.20). The right-hand side of (7.20) is equal to

$$ \begin{align*} &=(\pi_{A\triangleleft V} {\otimes}\mathrm{id\,}_{F(A){\otimes} V} ) (\mathrm{id\,}{\otimes} c_{A,V}) (\mathrm{id\,}_{F(A\triangleleft V)}{\otimes} \mbox{coev}_{F(A\triangleleft V)}) \\ &= \big(\pi_A {\otimes}\mathrm{id\,}_{F(A){\otimes} V} \big) \big(\mathrm{id\,}_{F(A)}{\otimes} {}^*(\mathrm{id\,}_{F(A)}{\otimes} \mbox{coev}_{V^*}){\otimes}\mathrm{id\,}_{F(A){\otimes} V}\big)\\ & \big(\mathrm{id\,}_{F(A)}{\otimes} \phi^l_{V^*,F(A){\otimes} V}{\otimes} \mathrm{id\,}_{F(A){\otimes} V} \big) \big( c_{A,V} {\otimes} {}^*(c^{-1}_{A,V}){\otimes} \mathrm{id\,}_{F(A){\otimes} V} \big)\\ & (\mathrm{id\,}{\otimes} c_{A,V}) (\mathrm{id\,}_{F(A\triangleleft V)} {\otimes}\mbox{coev}_{F(A\triangleleft V)}) \\ &=\big(\pi_A {\otimes}\mathrm{id\,}_{F(A){\otimes} V} \big) \big(\mathrm{id\,}_{F(A)}{\otimes} {}^*(\mathrm{id\,}_{F(A)}{\otimes} \mbox{coev}_{V^*}){\otimes}\mathrm{id\,}_{F(A){\otimes} V}\big)\\ & \big(\mathrm{id\,}_{F(A)}{\otimes} \phi^l_{V^*,F(A){\otimes} V}{\otimes} \mathrm{id\,}_{F(A){\otimes} V} \big) \big( c_{A,V}{\otimes} \mbox{coev}_{F(A){\otimes} V} \big)\\ &=(\pi_A{\otimes} \mathrm{id\,}_{F(A){\otimes} V}) (\mathrm{id\,}_{F(A)} {\otimes} \mbox{coev}_{F(A)}{\otimes} \mathrm{id\,}_V) c_{A,V}. \end{align*} $$

The second equality follows from equation (7.22), the third equality follows from (3.3), and the last equality follows from (7.23). This finishes the proof of the claim.

It follows from Claim that natural isomorphisms c endow the functor $\widehat {F}$ with structure of module functor. Let

$$ \begin{align*}\widetilde{C}=\widetilde{C}(F,c)=\oint^{B\in {\mathcal B}} B \triangleleft {}^*F(B)\in {\mathcal B}\end{align*} $$

be the object defined in Proposition 4.7, together with the map

$$ \begin{align*}\delta:\widetilde{C}\to \widetilde{C} \triangleleft C,\end{align*} $$

presented in diagram (7.10). Since $F(\widetilde {C})=C$ , it also follows from Claim 7.1 that there are C-comodule isomorphisms

$$ \begin{align*}F(\widetilde{C} \triangleleft M )\simeq C {\otimes} M,\end{align*} $$

$$ \begin{align*}F(\widetilde{C} \triangleleft (C{\otimes} M) )\simeq C{\otimes} C {\otimes} M.\end{align*} $$

Hence, $(M,\rho )$ is the kernel of the difference of morphisms

where $h_1= \delta \triangleleft \mathrm {id\,}_M, h_2=\mathrm {id\,}_{\widetilde {C}} \triangleleft \rho $ . Since F is left exact, $(M,\rho )\simeq F( \ker (h_1-h_2))$ . This proves that $\widehat {F}$ is essentially surjective.

Let us prove now that $\widehat {F}$ is full. Take $A, B\in {\mathcal B}$ and $f:F(A)\to F(B)$ a C-comodule morphism. We have a commutative diagram

(7.24)

This implies that we have a commutative diagram

(7.25)

Where $h^A_1= \mathrm {id\,}_H{\otimes } \rho _A, h^A_2=\Delta {\otimes } \mathrm {id\,}_{F(A)}.$ Note that, by the universal property of the kernel, the map $f:F(A)\to F(B)$ is the unique morphism fitting in this diagram. Define

$$ \begin{align*}\widetilde{C}=\widetilde{C}(F,c)=\oint^{B\in {\mathcal B}} B \triangleleft {}^*F(B)\in {\mathcal B}.\end{align*} $$

See Proposition 4.7 for the definition of this coend. Using Proposition 7.6, for any $B\in {\mathcal B}$ , we have an exact sequence

$$ \begin{align*}0\to B\xrightarrow{\quad\widetilde{\rho}_B} \widetilde{C} \triangleleft F(B ) \xrightarrow{\quad \widetilde{h}\quad } \widetilde{C} \triangleleft (C{\otimes} F(B ) ), \end{align*} $$

where $\widetilde {h}_B=\mathrm {id\,}_{\widetilde {C} } \triangleleft \rho _B- \delta \triangleleft \mathrm {id\,}_{F(B)}.$ For the definition of $\delta $ and $ \widetilde {\rho }_B$ , see (7.9) and (7.10). Since f is a comodule morphism, by the universal property of the kernel, there exists a unique morphism $\eta $ that fits into the diagram

(7.26)

Applying F to this diagram, we obtain diagram (7.25). By the uniqueness of f, we get that $F(\eta )=f$ , proving that $\widehat {F}$ is full.

7.4 Hopf algebras in ${\mathcal C}$ constructed from a coend

In the case ${\mathcal B}$ is a monoidal ${\mathcal C}$ -module category and the functor $(F,c,\xi ):{\mathcal B}\to {\mathcal C}$ is a monoidal module functor, one can endow the coalgebra $C=C(F)$ with a Hopf algebra structure. In this section, we shall explain the construction of the product and antipode on $C(F).$ The new hypothesis needed to construct such Hopf algebra is that ${\mathcal C}$ possesses a braiding.

To construct the product $m:C(F){\otimes } C(F)\to C(F)$ , we shall use ideas from [Reference Majid19]. In few words, we shall construct some natural module transformation $F{\otimes } F\to C(F){\otimes } F{\otimes } F$ and use Lemma 7.1 to find $m:C(F){\otimes } C(F)\to C(F)$ .

Lemma 7.8 Let ${\mathcal C}$ be a braided tensor category, ${\mathcal B}$ be a monoidal ${\mathcal C}$ -module category, and a monoidal module functor $(F,c,\xi ):{\mathcal B}\to {\mathcal C}$ . Let us denote $ d_{B,V}$ the following natural isomorphism:

$$ \begin{align*}d_{B,V}:{}^*F(B\triangleleft V)\to {}^*V{\otimes}{}^*F(B) ,\end{align*} $$

$$ \begin{align*}d_{B,V}= \big(\phi^l_{F(B), V} \big)^{-1} {}^*(c^{-1}_{B,V}).\end{align*} $$

Then, for any $B\in {\mathcal B}$ , $V\in {\mathcal C}$ , we have

(7.27) $$ \begin{align} d_{B,{}^*V{\otimes} V }=(\phi^l_{{}^*V,V}{\otimes} \mathrm{id\,})(\mathrm{id\,}_{{}^*V}{\otimes} d_{B,{}^*V}) d_{B\triangleleft {}^*V, V }, \end{align} $$

Recall, from Proposition 6.9, the functors

$$ \begin{align*}H, \widetilde{H}:{\mathcal B}\boxtimes_{\mathcal C} {\mathcal B}\to {\mathcal C},\end{align*} $$

determined by

$$ \begin{align*}H(A\boxtimes B)=F(A{\otimes} B), \quad \widetilde{H}(A\boxtimes B)=F(A){\otimes} F(B),\end{align*} $$

for any $A, B\in {\mathcal B}$ . Recall also that we are denoting by $\pi _B:F(B){\otimes } {}^*F(B)\to C(F)$ the dinatural transformations and the associated left $C(F)$ -coaction $\rho _B=\psi ^C_{F(B),F(B)}(\pi _B).$

For later use, $\pi $ has to satisfy equation (4.5), using prebalancing (7.1). This means that

(7.28) $$ \begin{align} \pi_{B\triangleleft V}=\pi_B \big(\mathrm{id\,}_{F(B)}{\otimes} {}^*F(\mathrm{id\,}_B \triangleleft \mbox{coev}_{V^*}) \big)\big(\mathrm{id\,}_{F(B)}{\otimes} d^{-1}_{B\triangleleft V,V^* }\big)\big(c_{B, V}{\otimes} \mathrm{id\,}_{{}^*F(B\triangleleft V)}\big). \end{align} $$

Proposition 7.10 Let ${\mathcal C}$ be a braided tensor category, ${\mathcal B}$ be a monoidal ${\mathcal C}$ -module category, and $(F,c,\xi ):{\mathcal B}\to {\mathcal C}$ be a monoidal module functor. The natural transformation $\mu : \widetilde {H} \to C(F){\otimes } \widetilde {H}$ determined by the composition

$$ \begin{align*}\widetilde{H}(A,B)\xrightarrow{ \xi_{A,B}} H(A, B)\xrightarrow{\rho_{A{\otimes} B } } C(F){\otimes} H(A, B)\xrightarrow{\mathrm{id\,}{\otimes} \xi^{-1}_{A,B}} C(F){\otimes} \widetilde{H}(A,B)\end{align*} $$

is a natural module transformation. That is, $\mu \in \mathrm {Nat\,}_{\! m}( \widetilde {H}, C(F){\otimes } \widetilde {H})$ .

Proof It follows from Proposition 6.9 that $\xi $ is a natural module transformation. Once it has been established that the diagram

(7.29)

is commutative, the proof will follow. Recall, from the proof of Proposition 6.9, that

$$ \begin{align*}e_{A,B,V}: F(A{\otimes} (B\triangleleft V))\to F(A{\otimes} B) {\otimes} V,\end{align*} $$

$$ \begin{align*}e_{A,B,V}= c_{A{\otimes} B, V} F(l^{-1}_{A{\otimes} B, V}(\mathrm{id\,}_A{\otimes} l_{B,V})).\end{align*} $$

We shall also keep the notation

$$ \begin{align*}\eta_{A,B,V}: A{\otimes} (B \triangleleft V)\to (A{\otimes} B) \triangleleft V,\end{align*} $$

$$ \begin{align*}\eta_{A,B,V}= l^{-1}_{A{\otimes} B, V}(\mathrm{id\,}_A{\otimes} l_{B,V}).\end{align*} $$

Using the definition of $\rho _A$ , one can see that diagram (7.29) amounts to

(7.30) $$ \begin{align} \begin{split} &(\mathrm{id\,}_{C(F)}{\otimes} e_{A,B,V})(\pi_{A{\otimes} B \triangleleft V}{\otimes}\mathrm{id\,}_{F(A{\otimes} B \triangleleft V)})(\mathrm{id\,}_{F(A{\otimes} B \triangleleft V)}{\otimes}\mbox{coev}_{F(A{\otimes} B \triangleleft V)} )=\\ &=(\pi_{A{\otimes} B}{\otimes}\mathrm{id\,}_{_{F(A{\otimes} B)}{\otimes} V})(\mathrm{id\,}_{F(A{\otimes} B)} {\otimes} \mbox{coev}_{F(A{\otimes} B) }{\otimes}\mathrm{id\,}_V)e_{A,B,V}. \end{split} \end{align} $$

Using the dinaturality of $\pi $ , one can see that the left-hand side of (7.30) is equal to

$$ \begin{align*}&=\big(\pi_{(A{\otimes} B )\triangleleft V} (F(\eta_{B,V}){\otimes} {}^*F(\eta^{-1}_{A,B,V})){\otimes} e_{A,B,V}\big)(\mathrm{id\,}_{F(A{\otimes} B \triangleleft V)}{\otimes}\mbox{coev}_{F(A{\otimes} B \triangleleft V)} )\\ &=\big(\pi_{(A{\otimes} B )\triangleleft V} {\otimes} c_{A{\otimes} B,V}\big) \big(F(\eta_{A,B,V}) {\otimes} \mbox{coev}_{F((A{\otimes} B) \triangleleft V)}\big)\\ &=\big(\pi_{(A{\otimes} B )\triangleleft V} {\otimes} \mathrm{id\,}\big) \big(F(\eta_{A,B,V}) {\otimes} \mathrm{id\,}{\otimes} c_{A{\otimes} B,V}\big) \big(\mathrm{id\,}{\otimes} \mbox{coev}_{F((A{\otimes} B) \triangleleft V)}\big)\\ &=\big(\pi_{(A{\otimes} B )\triangleleft V} {\otimes} \mathrm{id\,}\big) \big(F(\eta_{A,B,V}) {\otimes} \mathrm{id\,}{\otimes} c_{A{\otimes} B,V}\big) \big(\mathrm{id\,}{\otimes} d^{-1}_{A{\otimes} B,V}{\otimes} c^{-1}_{A{\otimes} B,V}\big)\\ &(\mathrm{id\,}_{F(A{\otimes} B\triangleleft V){\otimes} {}^*V{\otimes} \mbox{coev}_{A{\otimes} B}{\otimes} \mathrm{id\,}_V }) ( \mathrm{id\,}_{F(A{\otimes} B\triangleleft V)}{\otimes}\mbox{coev}_V)\\ &=\big(\pi_{(A{\otimes} B )\triangleleft V} {\otimes} \mathrm{id\,}\big) \big(F(\eta_{A,B,V}) {\otimes} d^{-1}_{A{\otimes} B,V}{\otimes} \mathrm{id\,}_{F(A{\otimes} B){\otimes} V}\big)\\ &(\mathrm{id\,}_{F(A{\otimes} B\triangleleft V){\otimes} {}^*V}{\otimes} \mbox{coev}_{A{\otimes} B}{\otimes} \mathrm{id\,}_V ) ( \mathrm{id\,}_{F(A{\otimes} B\triangleleft V)}{\otimes}\mbox{coev}_V)\\ &=(\pi_{A{\otimes} B}{\otimes}\mathrm{id\,}_{_{F(A{\otimes} B)}{\otimes} V})(\mathrm{id\,}_{F(A{\otimes} B)} {\otimes} \mbox{coev}_{F(A{\otimes} B) }{\otimes}\mathrm{id\,}_V)e_{A,B,V}. \end{align*} $$

The second equality follows from the definition of $e_{A,B,V}$ and (3.3), and the fourth follows from (3.21). The last equation follows by using (7.28) and (7.27).

Theorem 7.11 Assume that $({\mathcal C},\sigma )$ is a braided tensor category, ${\mathcal B}$ is a monoidal right ${\mathcal C}$ -module category, and $(F,c,\xi ):{\mathcal B}\to {\mathcal C}$ is an exact and faithful monoidal module functor with monoidal structure

$$ \begin{align*}\xi_{A,B}:F(A){\otimes} F(B)\to F(A{\otimes} B).\end{align*} $$

The relative coend coalgebra $C(F)$ from Theorem 7.7 has an algebra structure, with unit $u=\pi _{\mathbf {1}}$ and product $m:C(F){\otimes } C(F)\to C(F)$ determined by

(7.31) $$ \begin{align} \begin{split}&(m{\otimes} \mathrm{id\,})(\pi_A{\otimes} \pi_B{\otimes} \mathrm{id\,}_{F(A){\otimes} F(B)})(\mathrm{id\,}{\otimes} \sigma_{F(A), F(B){\otimes} {}^*F(B)}{\otimes} \mathrm{id\,}_{F(B)})\\ &(\mathrm{id\,}_{F(A)}{\otimes} \mbox{coev}_{F(A)}{\otimes} \mathrm{id\,}_{F(B)}{\otimes} \mbox{coev}_{F(B)})=(\mathrm{id\,}_{C(F)}{\otimes} \xi^{-1}_{A,B})\rho_{A{\otimes} B} \xi_{A,B}, \end{split} \end{align} $$

for any $A,B\in {\mathcal B}$ . The object $C(F)$ becomes a bialgebra in ${\mathcal C}$ . Moreover, the equivalence of ${\mathcal C}$ -module categories $\widehat {F}:{\mathcal B}\to {}^{C(F)}{\mathcal C}$ is an equivalence of tensor categories.

Proof Recall from Lemma 7.3 that, if $f:{}^{C{\otimes } C}{\mathcal C}\to {\mathcal C}$ is the forgetful functor, then $C(f)= C{\otimes } C$ and the dinatural transformations of this coend are given by

$$ \begin{align*}\lambda_{(W,\rho)}:W{\otimes} {}^*W\to C{\otimes} C,\end{align*} $$

$$ \begin{align*}\lambda_{(W,\rho)}= \bar{\psi}^{C{\otimes} C}_{W,W}(\rho).\end{align*} $$

Since the functor $F:{\mathcal B}\to {\mathcal C}$ factorizes as $F=f\circ \widehat {F}$ , then the functor $\widetilde {H}={\otimes }\circ (F\boxtimes F): {\mathcal B}\boxtimes _{\mathcal C}{\mathcal B}\to {\mathcal C}$ factorizes as

Using Lemma 4.6, since $\widehat {F}$ is an equivalence of right ${\mathcal C}$ -module categories, it follows that

$$ \begin{align*}C( \widetilde{H})=\oint^{X\in {\mathcal B}\boxtimes_{\mathcal C}{\mathcal B}} \widetilde{H}(X){\otimes} {}^*\widetilde{H}(X)=C(F){\otimes} C(F).\end{align*} $$

Lemma 4.6 also explains how to compute dinatural transformations of this coend. If $\pi _X: \widetilde {H}(X){\otimes } {}^*\widetilde {H}(X)\to C(F){\otimes } C(F)$ , $X\in {\mathcal B}\boxtimes _{\mathcal C}{\mathcal B}$ , are the dinatural transformations associated with this coend, then

$$ \begin{align*}\pi_{A\boxtimes B}&=\lambda_{(F(A){\otimes} F(B),\rho)}=\big(\mathrm{id\,}_{C(F){\otimes} C(F)}{\otimes} \mbox{ev}_D\big)\big(\mathrm{id\,}_C{\otimes}\sigma_{F(A),C}{\otimes} \mathrm{ id\,}_{F(B){\otimes} {}^*D}\big)\\ & \big(\pi_A{\otimes} \mathrm{id\,}_{F(A)}{\otimes} \pi_B{\otimes}\mathrm{id\,}\big) (\mathrm{id\,}_{F(A)}{\otimes} \mbox{coev}_{F(A)}{\otimes} \mathrm{id\,}_{F(B)}{\otimes} \mbox{coev}_{F(B)}{\otimes} \mathrm{id\,}_{{}^*D}), \end{align*} $$

for any $A,B\in {\mathcal B}$ . Here, $D=F(A){\otimes } F(B)$ . Here, $\rho :F(A){\otimes } F(B)\to C(F){\otimes } F(A){\otimes } F(B) $ is the comodule structure of the tensor product according to formula (5.6). It follows from Lemma 7.1 that there is an isomorphism

$$ \begin{align*} \begin{split} \omega: \operatorname{Hom}_{\mathcal C}(C(F){\otimes} C(F),C(F))\to \mathrm{Nat\,}_{\! m}(\widetilde{H}, C(F){\otimes} \widetilde{H}),\\ \omega(g)_X= (g{\otimes} \mathrm{id\,}_{\widetilde{H}(X)})\psi^{C(F){\otimes} C(F)}_{\widetilde{H}(X),\widetilde{H}(X)}(\pi_X). \end{split} \end{align*} $$

Since, by Proposition 7.10, $(\mathrm {id\,}_{C(F)}{\otimes } \xi ^{-1}_{A,B}) \rho _{A{\otimes } B} \xi _{A,B}$ is a natural module transformation, that is,

$$ \begin{align*}(\mathrm{id\,}_{C(F)}{\otimes} \xi^{-1}_{A,B}) \rho_{A{\otimes} B} \xi_{A,B}\in Nat_{\! m}(\widetilde{H}, C(F){\otimes} \widetilde{H}),\end{align*} $$

then there exists a morphism $m:C(F){\otimes } C(F)\to C(F)$ such that

$$ \begin{align*}\omega(m)_{A\boxtimes B}=(\mathrm{id\,}_{C(F)}{\otimes} \xi^{-1}_{A,B}) \rho_{A{\otimes} B} \xi_{A,B}.\end{align*} $$

Using the rigidity axioms, the naturality of $\sigma $ , and the formula for $\pi _{A\boxtimes B}$ , this equation implies (7.31). Using (7.31), it follows that

$$ \begin{align*}m\circ (m{\otimes} \mathrm{id\,})= m\circ (\mathrm{id\,}{\otimes} m),\end{align*} $$

$$ \begin{align*}m \circ( u{\otimes} \mathrm{id\,} )=\mathrm{id\,}=m\circ (\mathrm{id\,}{\otimes} u).\end{align*} $$

It follows also from (7.31) that $\xi $ is a comodule morphism, giving the functor $\widehat {F}$ structure of monoidal functor.

Definition 7.12 For any monoidal module functor $F:{\mathcal B}\to {\mathcal C}$ , we shall denote by

$$ \begin{align*}H(F)=\oint^{B\in {\mathcal B}} F(B){\otimes} {}^*F(B)\in {\mathcal C}\end{align*} $$

the bialgebra with product given by Theorem (7.11) and coproduct (7.3).

Let $(H,\Delta , m)$ be a bialgebra in ${\mathcal C}$ . In the next results, we shall be devoted to prove that the bialgebra reconstructed in Theorem 7.11, from the forgetful functor $f:{}^H{\mathcal C}\to {\mathcal C}$ , coincides with the original bialgebra H.

In Lemma 7.3, we already proved that the reconstructed coalgebra coincides with H. Moreover, if $(W, \rho _W)\in {}^H{\mathcal C}$ , then we have defined dinatural transformations

$$ \begin{align*}\pi_W:W{\otimes} {}^*W\to H,\end{align*} $$

$$ \begin{align*}\pi_W=\bar{\psi}^H_{W,W}(\rho_W)=(\mathrm{id\,}_H{\otimes} \mbox{ev}_W)(\rho_W{\otimes} \mathrm{id\,}_{{}^*W}).\end{align*} $$

See (3.8) for the definition of isomorphisms $\bar {\psi } $ . In order to see that the reconstructed multiplication coincides with the product of H, we only need to prove that the original product m satisfies diagram (7.31). This will be done in the next proposition.

Proposition 7.14 Let $(H,\Delta , m)$ be a bialgebra in ${\mathcal C}$ . Using dinatural transformations $\pi _W:W{\otimes } {}^*W\to H,\ \pi _W=\bar {\psi }^H_{W,W}(\rho _W),$ we have that equation

$$ \begin{align*} m (\pi_V{\otimes} \pi_W{\otimes} \mathrm{id\,}_{V{\otimes} W})&(\mathrm{id\,}_{V{\otimes} {}^*V}{\otimes} \sigma_{V, W{\otimes} {}^*W}{\otimes} \mathrm{id\,}_W)(\mathrm{id\,}{\otimes} \mbox{coev}_V{\otimes}\mathrm{id\,}{\otimes} \mbox{coev}_W)= \\ &=\rho_{V{\otimes} W} \end{align*} $$

holds for any pair $(V, \rho _V), (W,\rho _W)\in {}^H{\mathcal C}$ .

7.5 The antipode of $H(F)$

In the next results, we shall construct an antipode $S:H(F)\to H(F)$ , making the bialgebra $ H(F)$ a Hopf algebra in ${\mathcal C}$ .

Lemma 7.15 Let $({\mathcal C},\sigma )$ be a braided tensor category, and let ${\mathcal B}$ be a monoidal right ${\mathcal C}$ -module category. Let $(F,c):{\mathcal B}\to {\mathcal C}$ be an exact and faithful monoidal module functor. For any $B\in {\mathcal B}$ , $V\in {\mathcal C}$ , there are natural isomorphisms

(7.32) $$ \begin{align} t_{B,V}: {}^*(B \triangleleft V)\to {}^*B \triangleleft {}^*V\end{align} $$

such that the diagram

(7.33)

is commutative.

Proof We shall freely use the fact that $F({}^*B)= {}^*F(B)$ , for any $B\in {\mathcal B}$ . Since we are under the same hypothesis as Theorem 7.7, the functor $F:{\mathcal B}\to {}^H{\mathcal C}$ is full. Since $F({}^*B \triangleleft {}^*V)$ is a left H-comodule and the composition

$$ \begin{align*}h=c^{-1}_{{}^*B,{}^*V} \sigma_{ {}^*V, F(B)} (\phi^l_{F(B),V})^{-1} {}^*(c^{-1}_{B,V}):{}^*F(B \triangleleft V)\to F({}^*B \triangleleft {}^*V)\end{align*} $$

is an isomorphism, we can endow ${}^*F(B \triangleleft V)$ with some H-comodule structure such that h is a H-comodule map. Fullness of F implies that there exist some $t_{B,V}$ such that $F(t_{B,V})=h$ .

We shall use the same notation as in previous sections. We denote by

$$ \begin{align*}\pi_A:F(A){\otimes} {}^*F(A)\to H(F)=\oint^{B\in {\mathcal B}} F(B){\otimes} {}^*F(B)\end{align*} $$

the dinatural transformations of the relative coend $H(F)$ . Also, recall from Proposition 7.4 that for any $A\in {\mathcal B}$ , we have that $(F(A),\rho _A)$ is a left $H(F)$ -comodule, with structure given by

$$ \begin{align*}\rho_A=\psi^{H(F)}_{F(A),F(A)}(\pi_A)=(\pi_A{\otimes} \mathrm{id\,}_{F(A)})(\mathrm{id\,}_{F(A)} {\otimes} \mbox{coev}_{F(A)}).\end{align*} $$

Henceforth, for simplicity, we shall denote $H=H(F)$ .

Lemma 7.16 Let $({\mathcal C},\sigma )$ be a braided tensor category, and let ${\mathcal B}$ be a monoidal right ${\mathcal C}$ -module category. For any $B\in {\mathcal B}$ , $V\in {\mathcal C}$ , let us recall morphisms $ d_{B,V}$ , defined in Lemma 7.8, as

$$ \begin{align*}d_{B,V}:{}^*F(B\triangleleft V)\to {}^*V{\otimes}{}^*F(B) ,\end{align*} $$

$$ \begin{align*}d_{B,V}= \big(\phi^l_{F(B), V} \big)^{-1} {}^*(c^{-1}_{B,V}).\end{align*} $$

Then, for any $B\in {\mathcal B}$ , $V\in {\mathcal C}$ , we have

(7.34) $$ \begin{align} (\sigma^{-1}_{ {}^*V, H}{\otimes} \mathrm{id\,}_{ {}^* F(B)})(\mathrm{id\,}_H{\otimes} d_{B,V})\rho_{ {}^*(B\triangleleft V )}=(\mathrm{id\,}_{{}^*V}{\otimes} \rho_{{}^*B}) d_{B,V}. \end{align} $$

Proof Using Lemma 7.15, there are natural isomorphisms $t_{B,V}: {}^*(B \triangleleft V)\to {}^*B \triangleleft {}^*V$ such that

(7.35) $$ \begin{align} c_{{}^*B, {}^*V}F(t_{B,V})=\sigma_{{}^*V, F(B)} d_{B,V}. \end{align} $$

The naturality of $\phi ^l$ and c implies that

(7.36) $$ \begin{align} F({}^*(\mathrm{id\,}_B\triangleleft \mbox{coev}_V ))=({}^*(\mbox{coev}_V){\otimes} \mathrm{id\,}_{{}^*F(B)}) d_{B,{}^*V{\otimes} V }, \end{align} $$

for any $B\in {\mathcal B}$ , $V\in {\mathcal C}$ . Using the dinaturality of $\pi $ , we obtain that

(7.37) $$ \begin{align} \pi_{{}^*(B\triangleleft V)}= \pi_{{}^*B\triangleleft {}^*V}\big(F(t_{B,V}){\otimes} {}^*F(t^{-1}_{B,V}) \big), \end{align} $$

for any $B\in {\mathcal B}$ , $V\in {\mathcal C}$ . Also, dinatural transformations $\pi $ satisfy (4.5); this implies that, for any $B\in {\mathcal B}$ , $V\in {\mathcal C}$ , we have

(7.38) $$ \begin{align} \begin{split} \pi_{B \triangleleft {}^*V}& = \pi_B \big(\mathrm{id\,}_{F(B)}{\otimes} F({}^*(\mathrm{id\,}_B\triangleleft \mbox{coev}_V )) \big) \big(\mathrm{id\,}_{F(B)}{\otimes} d^{-1}_{B\triangleleft {}^*V,V} \big)\\ &\big( c_{B,{}^*V} {\otimes} \mathrm{id\,}_{{}^*F(B\triangleleft {}^*V)}\big). \end{split} \end{align} $$

Next, when it is not absolutely necessary, as a space saving measure, we shall write the identities $\mathrm {id\,}$ , without using subscripts. Using the definition or $\rho $ , we obtain that

$$ \begin{align*}(\sigma^{-1}_{ {}^*V, H}{\otimes} \mathrm{id\,}_{ {}^* F(B)})(\mathrm{id\,}_H{\otimes} d_{B,V})\rho_{ {}^*(B\triangleleft V )} d^{-1}_{B,V}\end{align*} $$

is equal to

$$ \begin{align*} &=(\sigma^{-1}_{ {}^*V, H}{\otimes} \mathrm{id\,}_{ {}^* F(B)})(\mathrm{id\,}_H{\otimes} d_{B,V}) (\pi_{{}^*(B\triangleleft V)}{\otimes} \mathrm{id\,})(\mathrm{id\,}{\otimes} \mbox{coev}_{{}^*F(B\triangleleft V)})d^{-1}_{B,V}\\ &=(\sigma^{-1}_{ {}^*V, H}{\otimes} \mathrm{id\,}_{ {}^* F(B)}) (\pi_{{}^*B\triangleleft {}^*V} {\otimes} d_{B,V}) (F(t_{B,V}){\otimes} {}^*F(t^{-1}_{B,V}){\otimes} \mathrm{id\,})\\ &(\mathrm{id\,}{\otimes} \mbox{coev}_{{}^*F(B\triangleleft V)})d^{-1}_{B,V}\\ &=(\sigma^{-1}_{ {}^*V, H}{\otimes} \mathrm{id\,}_{ {}^* F(B)}) (\pi_{{}^*B\triangleleft {}^*V} {\otimes} d_{B,V}) (F(t_{B,V}){\otimes} \mathrm{id\,}_{{}^*F({}^*B \triangleleft {}^*V)} {\otimes} F(t^{-1}_{B,V}))\\ &(\mathrm{id\,}{\otimes} \mbox{coev}_{F({}^*B\triangleleft {}^*V)})d^{-1}_{B,V}\\ &=(\sigma^{-1}_{ {}^*V, H}{\otimes} \mathrm{id\,}_{ {}^* F(B)})(\pi_{{}^*B}{\otimes} \mathrm{id\,}) (\mathrm{id\,}{\otimes} F({}^*(\mathrm{id\,}_{{}^*B}\triangleleft \mbox{coev}_V )){\otimes} \mathrm{ id\,})(\mathrm{id\,}{\otimes} d_{{}^*B \triangleleft {}^*V,V}{\otimes} \mathrm{id\,})\\ & (c_{{}^*B, {}^*V}{\otimes} \mathrm{id\,})\big(F(t_{B,V})d^{-1}_{B,V}{\otimes} \mathrm{id\,}_{{}^*F({}^*B \triangleleft {}^*V)} {\otimes} d_{B,V} F(t^{-1}_{B,V})\big) (\mathrm{id\,}{\otimes} d^{-1}_{{}^*B,{}^*V}{\otimes} c^{-1}_{{}^*B, {}^*V} )\\ &(\mathrm{id\,}{\otimes} \mbox{coev}_{{}^*F(B)}{\otimes} \mathrm{id\,}_{{}^*V})(\mathrm{id\,}_{{}^* F(B\triangleleft V)} {\otimes} \mbox{coev}_{{}^*V} )\\ &=(\sigma^{-1}_{ {}^*V, H}{\otimes} \mathrm{id\,}_{ {}^* F(B)})(\pi_{{}^*B}{\otimes} \mathrm{id\,}) (\mathrm{id\,}{\otimes} ({}^*(\mbox{coev}_V){\otimes} \mathrm{id\,}_{{}^*B}))d_{B,{}^*V{\otimes} V }{\otimes} \mathrm{id\,})\\ &(\mathrm{id\,}{\otimes} d_{{}^*B \triangleleft {}^*V,V}{\otimes} \mathrm{id\,}) \big(c_{{}^*B, {}^*V} F(t_{B,V})d^{-1}_{B,V}{\otimes} \mathrm{id\,}_{{}^*F({}^*B \triangleleft {}^*V)} {\otimes} d_{B,V} F(t^{-1}_{B,V})c^{-1}_{{}^*B, {}^*V}\big)\\ & (\mathrm{id\,}{\otimes} d^{-1}_{{}^*B,{}^*V}{\otimes} \mathrm{id\,} ) (\mathrm{id\,}{\otimes} \mbox{coev}_{{}^*F(B)}{\otimes} \mathrm{id\,}_{{}^*V})(\mathrm{id\,}_{{}^* F(B\triangleleft V)} {\otimes} \mbox{coev}_{{}^*V} )\\ &= (\mathrm{id\,}_{{}^*V} {\otimes} \pi_{{}^*B}{\otimes} \mathrm{id\,}) (\sigma^{-1}_{ {}^*V, F({}^*B){\otimes} {}^*F({}^*B) }{\otimes} \mathrm{id\,})(\mathrm{id\,} {\otimes} \mbox{ev}_{{}^*V}{\otimes} \mathrm{id\,}_{{}^*F({}^*B){\otimes} {}^*V{\otimes} {}^*F(B)})\\ &(\sigma_{{}^*V, {}^*F(B)}{\otimes} \mathrm{id\,}_{{}^{**}V{\otimes} {}^*F({}^*B)} {\otimes} \sigma_{{}^*V, {}^*F(B)}) (\mathrm{id\,}_{{}^*V{\otimes} {}^*F(B){\otimes} {}^{**}V}{\otimes} \mbox{coev}_{{}^*F(B)}{\otimes} \mathrm{id\,}_{{}^*V})\\ &(\mathrm{id\,}{\otimes} \mbox{coev}_{{}^*V})\\ &=(\mathrm{id\,}_{{}^*V}{\otimes} \rho_{{}^* B}). \end{align*} $$

The second equality follows from (7.37), the third equality follows from (3.3), the fourth one follows from (7.38), and the fifth equality follows from (7.36). The sixth equality follows by using (3.6) and (7.35), and the last equality follows by using the rigidity axioms and (5.1).

Recall that sometimes we are denoting $H=H(F)$ .

Theorem 7.17 Let ${\mathcal C}$ be a tensor category, and let ${\mathcal B}$ be a monoidal right ${\mathcal C}$ -module category. Let $(F,c):{\mathcal B}\to {\mathcal C}$ be an exact and faithful monoidal module functor. There exists a map $S:H(F)\to H(F)$ such that it corresponds, under isomorphism

$$ \begin{align*}\omega: \operatorname{Hom}_{\mathcal C}(H(F),V)\to \mathrm{Nat\,}_{\! m}(F, V{\otimes} F)\end{align*} $$

presented in (7.2), to the natural module transformation $\alpha :F\to H(F){\otimes } F,$

$$ \begin{align*} \alpha_B=(\mbox{ev}_{F(B)}&{\otimes} \mathrm{id\,}_{H(F){\otimes} F(B)})(\mathrm{id\,}_{F(B)}{\otimes} \sigma^{-1}_{{}^*F(B),H(F)}{\otimes} \mathrm{id\,}_{F(B)})\\ & (\mathrm{id\,}_{F(B)}{\otimes} \rho_{{}^*B}{\otimes} \mathrm{id\,}_{F(B)})(\mathrm{id\,}_{F(B)}{\otimes} \mbox{coev}_{F(B)}). \end{align*} $$

That is, $\omega (S)=\alpha $ .

Proof We only need to prove that, indeed, $\alpha $ is a module natural transformation, that is,

$$ \begin{align*}(\mathrm{id\,}_H{\otimes} c_{B,V}) \alpha_{B\triangleleft V}= (\alpha_B{\otimes}\mathrm{id\,}_V) c_{B,V},\end{align*} $$

for any $B\in {\mathcal B}$ , $V\in {\mathcal C}$ . Equations (3.20) and (3.21) imply that

(7.39) $$ \begin{align} \mbox{ev}_{F(B\triangleleft V )} = \mbox{ev}_{F(B)}\big(\mathrm{id\,}{\otimes} \mbox{ev}_V{\otimes} \mathrm{id\,} \big)\big(c_{B,V}{\otimes} d_{B,V}\big), \nonumber\\ \mbox{coev}_{F(B\triangleleft V )}= \big( d^{-1}_{B,V}{\otimes} c^{-1}_{B,V}\big)\big(\mathrm{id\,}{\otimes} \mbox{coev}_{F(B)}{\otimes}\mathrm{id\,}\big) \mbox{coev}_V. \end{align} $$

Using the definition of $\alpha $ , we obtain that $(\mathrm {id\,}_H{\otimes } c_{B,V}) \alpha _{B\triangleleft V} c^{-1}_{B,V}$ is equal to

$$ \begin{align*} &= (\mbox{ev}_{F(B\triangleleft V)}{\otimes} \mathrm{id\,}_{H{\otimes} F(B){\otimes} V)})(\mathrm{id\,}_{F(B\triangleleft V)}{\otimes} \sigma^{-1}_{{}^*F(B\triangleleft V),H}{\otimes} c_{B,V} )\\ & (\mathrm{id\,}_{F(B\triangleleft V)}{\otimes} \rho_{{}^*(B\triangleleft V)}{\otimes} \mathrm{id\,}_{F(B\triangleleft V)})(\mathrm{id\,}_{F(B\triangleleft V)}{\otimes} \mbox{coev}_{F(B\triangleleft V)})c^{-1}_{B,V}\\ &=(\mbox{ev}_{F(B)}{\otimes} \mathrm{id\,}_{H{\otimes} F(B){\otimes} V)}) \big(\mathrm{id\,}{\otimes} \mbox{ev}_V{\otimes} \mathrm{id\,}_{{}^*F(B) {\otimes} H{\otimes} F(B){\otimes} V} \big)\\ & (\mathrm{id\,}_{F(B){\otimes} V}{\otimes} \sigma^{-1}_{{}^*V{\otimes} {}^*F(B),H}{\otimes} \mathrm{id\,}_{F(B){\otimes} V} ) \big(c_{B,V}{\otimes} \mathrm{id\,}_{H}{\otimes} d_{B,V} {\otimes} c_{B,V}\big)\\ &(\mathrm{id\,}_{F(B\triangleleft V)}{\otimes} \rho_{{}^*(B\triangleleft V)}{\otimes} \mathrm{id\,}_{F(B\triangleleft V)})\big( \mathrm{id\,}_{F(B\triangleleft V)}{\otimes} d^{-1}_{B,V}{\otimes} c^{-1}_{B,V}\big) \\ &\big(\mathrm{id\,}_{F(B\triangleleft V){\otimes} {}^*V}{\otimes} \mbox{coev}_{F(B)}{\otimes}\mathrm{id\,}_V\big) (\mathrm{id\,}_{F(B\triangleleft V)}{\otimes} \mbox{coev}_V) c^{-1}_{B,V}\\ &=(\mbox{ev}_{F(B)}{\otimes} \mathrm{id\,}_{H{\otimes} F(B){\otimes} V)}) \big(\mathrm{id\,}{\otimes} \mbox{ev}_V{\otimes} \mathrm{id\,}_{{}^*F(B) {\otimes} H{\otimes} F(B){\otimes} V} \big)\\ &(\mathrm{id\,}{\otimes} \sigma^{-1}_{{}^*F(B),H}{\otimes} \mathrm{id\,})(\mathrm{id\,}{\otimes} \sigma^{-1}_{{}^*V,H}{\otimes} \mathrm{id\,}) \big(\mathrm{id\,}{\otimes} (\mathrm{ id\,}_{H}{\otimes} d_{B,V} ) \rho_{{}^*(B\triangleleft V)} d^{-1}_{B,V} {\otimes} \mathrm{id\,} \big)\\ &\big(\mathrm{id\,}_{F(B\triangleleft V){\otimes} {}^*V}{\otimes} \mbox{coev}_{F(B)}{\otimes}\mathrm{id\,}_V\big) (\mathrm{id\,}_{F(B\triangleleft V)}{\otimes} \mbox{coev}_V)\\ &=\alpha_B{\otimes}\mathrm{id\,}_V. \end{align*} $$

The second equality follows from (7.39) and the naturality of $\sigma $ , and the third equality follows by (5.1). The last equality follows from (7.34) and rigidity axioms.

Remark 7.18 The above result is the most sensitive statement to prove in order to prove the existence of the antipode for $H(F)$ . In the case ${\mathcal C}=\mathrm {vect\,}_{\mathbb {k}}$ , the isomorphism

$$ \begin{align*}\omega: \operatorname{Hom}_{\mathcal C}(H(F),V)\to \mathrm{Nat\,}(F, V{\otimes} F)\end{align*} $$

lands in the space of all natural transformations. So, in that case, there is nothing to prove, and the existence of S is guaranteed by the fact that $\omega $ is an isomorphism.

Corollary 7.19 The bialgebra $H(F)$ , from Definition 7.12, is actually a Hopf algebra. The antipode $S:H(F)\to H(F)$ is determined as the unique morphism such that

(7.40)

is commutative. Here,

$$ \begin{align*}\nu_B= (\mathrm{id\,}_{F(B)}{\otimes} \sigma^{-1}_{{}^*F(B),H(F)})(\mathrm{id\,}_{F(B)}{\otimes} \pi_{{}^*B}{\otimes}\mathrm{id\,}_{{}^*F(B)})(\mathrm{id\,}_{F(B){\otimes} {}^*F(B)}{\otimes} \mbox{coev}_{{}^*F(B)}).\end{align*} $$

Proof Taking the map $S:H(F)\to H(F)$ defined in Theorem 7.17, and using the definition of $\alpha $ , one can prove that S satisfies diagram (7.40).

Axioms

$$ \begin{align*}m\circ (\mathrm{id\,}_H{\otimes} S)\circ \Delta=u\circ \varepsilon,\end{align*} $$

$$ \begin{align*}m\circ ( S{\otimes}\mathrm{id\,}_H)\circ \Delta=u\circ \varepsilon\end{align*} $$

follow from (7.40) by a lengthy, but straightforward, computation.

Let $(H,\Delta , m, S)$ be a Hopf algebra in ${\mathcal C}$ . In the next proposition, we shall see that the reconstructed antipode given in Theorem 7.17, out of the forgetful functor $f:{}^H{\mathcal C}\to {\mathcal C}$ , coincides with the original antipode $S:H\to H$ .

Proof Let us denote by $\widehat {S}:H\to H$ the map reconstructed in Proposition 7.19. For any $V\in {\mathcal C}$ , recall the isomorphism (7.2)

$$ \begin{align*} \begin{split} \omega: \operatorname{Hom}_{\mathcal C}(H(f),V)\to \mathrm{Nat\,}_{\! m}(f, V{\otimes} f),\\ \omega(g)_{(W,\rho_W)}= (g{\otimes} \mathrm{id\,}_{W})\psi^{H}_{W,W}(\pi_W) \end{split} \end{align*} $$

for any $(W,\rho _W)\in {}^H{\mathcal C}$ . Corollary 7.17 implies that, if $\alpha :f\to H{\otimes } f$ is the module natural transformation defined as

$$ \begin{align*} \alpha_{(W,\rho_W)}=( \mbox{ev}_{W}&{\otimes} \mathrm{id\,}_{H{\otimes} W})(\mathrm{id\,}_{W}{\otimes} \sigma^{-1}_{{}^*W,H}{\otimes} \mathrm{id\,}_{ W})\\ & (\mathrm{id\,}_{W}{\otimes} \rho_{{}^*W} {\otimes}\mathrm{id\,}_{W})(\mathrm{id\,}_W{\otimes} \mbox{coev}_W), \end{align*} $$

for any $(W,\rho _W)\in {}^H{\mathcal C}$ , then

$$ \begin{align*}\omega(\widehat{S})=\alpha.\end{align*} $$

Using formula (5.7) for $\rho _{{}^*W}$ , we get that

$$ \begin{align*}\alpha_{(W,\rho_W)}= (S{\otimes} \mathrm{id\,}_{W})\, \rho_W=\omega(S)_{(W,\rho_W)},\end{align*} $$

for any $(W,\rho _W)\in {}^H{\mathcal C}$ . Whence $S=\widehat {S}$ .

8.1 Generic example

The next example was treated along the paper. At the end, we proved that the reconstructed Hopf algebra from the forgetful functor $F:{^H}{\mathcal C}\to {\mathcal C}$ coincides with $H.$

Example 8.2 Let $H\subset L$ be Hopf algebras in $\mathrm {vect\,}_{\mathbb {k}}$ with $\iota :H\to L$ the inclusion, and assume that there is a left-inverse Hopf algebra map $\pi :H\rightarrow L$ , called projection. Then we have the restriction functor $\iota ^*\,:\operatorname {Rep}(H)\leftarrow \operatorname {Rep}(L)$ and in addition ${\mathcal B}=\operatorname {Rep}(L)$ becomes a modules category over ${\mathcal C}=Rep(H)$ via $\pi ^*:\,\operatorname {Rep}(H)\leftarrow \operatorname {Rep}(L)$ . Assume that H is quasitriangular. Hence, our result shows that there exists a Hopf algebra $C\in \operatorname {Rep}(H)$ such that there is an equivalence of monoidal modular categories

$$ \begin{align*}\operatorname{Rep}(L)\cong {^C}\operatorname{Rep}(H).\end{align*} $$

We now discuss how this is related to the classical Radford Projection Theorem [Reference Radford21]. This result states that the existence of a Hopf algebra projection $\pi $ implies that L is isomorphic to a Radford biproduct

$$ \begin{align*}L\cong R\# H,\end{align*} $$

where R is a Hopf algebra in ${^H_H}{\mathcal YD}(\mathrm {Vect\,}_{\mathbb {k}})$ . In our case, we have assumed that H is quasitriangular and $\iota ^*$ lifts to a braided functor to the center of ${\mathcal B}$ . This gives rise to a choice of a functor $\operatorname {Rep}(H)\to {^H_H}{\mathcal YD}(\mathrm {Vect\,}_{\mathbb {k}})$ and shows R to be in the image – more explicitly the R-matrix of H determines the H-coaction from the H-action. Then this R is precisely the dual of our Hopf algebra C.

8.2 Generic consequences

Our results has certain general implications, for example:

8.3 Lifting and cocycles deformations

In the classification of (e.g., pointed) Hopf algebras H, the strategy in the Andruskiewisch–Schneider program [Reference Andruskiewitsch and Schneider1] is to consider the coradical $H_0$ (which is assumed to be a Hopf algebra, for example, a group ring) and classify the possible Nichols algebras R, and then obtain H as a lifting of $\mathrm {gr}(H)=R\#H_0$ . It is an important question to determine whether this lifting is a $2$ -cocycle twist, and the observation is that this holds in almost all cases [Reference Angiono and Garcia Iglesias2].

We view this problem in our setting: since a main assumption is that $H_0\subset H$ , we have a tensor functor $\iota ^*:\,\mathrm {Comod}(H_0)\to \mathrm {Comod}(H)$ . The lifting is a $2$ -cocycle twist precisely iff there is a tensor functor $\mathrm {Comod}(H_0)\leftarrow \mathrm {Comod}(H)$ , if the $2$ -cocycle is trivial then it comes from a Hopf algebra projection $\pi $ , and then our relative coend is $R^*$ .

While this view does not allow to decide the difficult question when a lifting is a $2$ -cocycle twist, it shows the natural categorical context of this question and it produces general statements, for example, if R as a coalgebra has a trivial lifting, then there is a monoidal section and hence the lifting is tensor functor and thus the lifting comes from a $2$ -cocycle twist.

8.4 The logarithmic Kazhdan Lusztig conjecture

In conformal field theory, there is in good situations a modular tensor category of representations of a vertex algebra $\mathcal {V}$ , which reflects the analytic properties, for example, of solution spaces to certain differential equations (e.g., the braiding reflects the monodromy around the singularity $z=0$ ). One is often confronted with the very difficult question to determine the representation category of representations of a vertex subalgebra $\mathcal {W}\subset \mathcal {V}$ if the representation theory of $\mathcal {V}$ is known, for example, being a free-field realization. A brief introduction, references, and an account for the statements below can be found in [Reference Creutzig, Lentner and Rupert6, Reference Creutzig, Lentner and Rupert7].

Categorically, one can understand as $\operatorname {Rep}(\mathcal {W})$ being a modular tensor category and $A=\mathcal {V}$ being a commutative algebra in this category and ${\mathcal C}=\operatorname {Rep}(\mathcal {V})$ is the category of local A-modules $\operatorname {Rep}^\mathrm{loc}(A)$ . Then, by the results in [Reference Creutzig, Lentner and Rupert6, Section 3], we have under suitable conditions that $\operatorname {Rep}(\mathcal {W})$ is a relative Drinfeld center of $\operatorname {Rep}(A)$ with respect to the subcategory ${\mathcal C}=\operatorname {Rep}^\mathrm{loc}(A)$ . In the cases relevant to logarithmic (i.e., nonsemisimple) conformal field theory, it is often the case that all simple modules in $\operatorname {Rep}(A)$ are already in $\operatorname {Rep}^\mathrm{loc}(A)$ . This gives rise via the socle filtration to a monoidal section functor (see [Reference Creutzig, Lentner and Rupert6, Section 4])

$$ \begin{align*}\operatorname{Rep}^\mathrm{loc}(A)\rightleftarrows \operatorname{Rep}^\mathrm{loc}(A).\end{align*} $$

Then the results in our paper produce a Hopf algebra $R^*$ such that

$$ \begin{align*}\operatorname{Rep}(A)={^{R^{*}}}{\mathcal C},\end{align*} $$

and in this case the mentioned equivalence to the relative Drinfeld center means explicitly (see Section 5.2)

$$ \begin{align*}\operatorname{Rep}(\mathcal{W}) \cong {^R_R}{\mathcal YD}({\mathcal C}).\end{align*} $$

For example, the celebrated and notoriously difficult logarithmic Kazhdan Lusztig conjecture considers the lattice vertex algebra $\mathcal {V}_\Lambda $ of the root lattice of a semisimple complex finite-dimensional Lie algebra $\mathfrak {g}$ rescaled by an integer p, whose category of representations is the category of vector spaces graded by an abelian group

$$ \begin{align*}\operatorname{Rep}(\mathcal{V}_\Lambda)=\mathrm{Vect\,}_{\Lambda^*/\Lambda}.\end{align*} $$

Then it asserts that $\mathcal {V}_\Lambda $ contains as kernel of screening operators a certain vertex algebra $\mathcal {W}_p(\mathfrak {g})\subset \mathcal {V}_\Lambda $ , whose category of representation is conjectured to be equivalent to the category of representations of the small quantum group $u_q(\mathfrak {g})$ for $q=e^{\pi i / p}$ . In the first author’s paper [Reference Creutzig, Lentner and Rupert6], the approach is to view the small quantum group category as a category of Yetter–Drinfeld modules over the Nichols algebra $\mathcal {N}$

$$ \begin{align*}\operatorname{Rep}(u_q(\mathfrak{g}))\cong {^{\mathcal{N}}_{\mathcal{N}}}{\mathcal YD}(\mathrm{Vect\,}_{\Lambda^*/\Lambda})\end{align*} $$

and develop the categorical tools above to reduce the equivalence in question to proving that

$$ \begin{align*}\operatorname{Rep}(A)\cong {_{\mathcal{N}}}\mathrm{Vect\,}_{\Lambda^*/\Lambda}.\end{align*} $$

In the case $\mathfrak {sl}_2$ , the abelian category could be determined and this gives a systematic proof of the conjecture in this case (initially we have used more complicated proof methods for the case $\mathfrak {sl}_2,p=2$ in [Reference Creutzig, Lentner and Rupert6], while [Reference Gannon and Negron11] has used very different arguments for $\mathfrak {sl}_2,p$ ). A main motivation for writing the present paper is that now we have the clear statement that the category $\operatorname {Rep}(A)$ is for abstract reasons given as category of representations of a Hopf algebra $\mathcal {N}$ in ${\mathcal C}$ , and it now remains to determine that $\mathcal {N}$ is, indeed, the expected Nichols algebra, namely the Nichols algebra of screenings.