Relative Serre functor for comodule algebras (Q6052911): Difference between revisions

Let \(\mathcal{C}\) be a finite tensor category, and let \(\mathcal{M}\) be an exact left \(\mathcal{C}\)-module category with action \(\triangleright: \mathcal{C} \times \mathcal{M} \to \mathcal{M}\). A relative Serre functor of \(\mathcal{M}\) is an endofunctor \(\mathbb{S}\) on \(\mathcal{M}\) together with a natural isomorphism \[ (1)\;\;\; \underline{\mathrm{Hom}}(M, N)^{\ast} \cong \underline{\mathrm{Hom}}(N, \mathbb{S}(M)), \] for all \(M, \;N \in \mathcal{M}\), where \(\underline{\mathrm{Hom}}: \mathcal{M}^{op} \times \mathcal{M} \to \mathcal{C}\) is the internal Hom functor of \(\mathcal{M}\) and \((-)^{\ast}\) is the duality functor. On the other hand, following [\textit{P. Etingof} et al., Tensor categories. Providence, RI: American Mathematical Society (AMS) (2015; Zbl 1365.18001)], a pivotal structure of \(\mathcal{C}\) is an isomorphism \(\mathfrak{p} : id_{\mathcal{C}} \to (-)^{\ast \ast}\) of tensor functors. Then, since the relative Serre functor of \(\mathcal{M} = \mathcal{C}\) is the double dual functor \((-)^{\ast \ast}\), we have a pivotal structure of a module category as a trivialization of the relative Serre functor. The mathematical formulation of this fact has been given by \textit{G. Schaumann} [J. Algebra 379, 382--425 (2013; Zbl 1291.18011)] as follows: The functor \(\mathbb{S}\) has a canonical structure \[ (2)\;\;\; X^{\ast \ast} \triangleright \mathbb{S}(M) \to \mathbb{S}(X \triangleright M), \] where \(X \in \mathcal{C}\) and \(M \in \mathcal{M}\), of a twisted \(\mathcal{C}\)-module functor. If the category \(\mathcal{C}\) has a pivotal structure \(\mathfrak{p}\), then we can make \(\mathbb{S}\) an ordinary \(\mathcal{C}\)-module functor by composing (2) with \(\mathfrak{p}_X \triangleright id_{\mathbb{S}(M)}\). Then a pivotal structure of \(\mathcal{M}\) is an isomorphism \(id_{\mathcal{M}} \to \mathbb{S}\) of \(\mathcal{C}\)-module functors. Let \(A\) be an algebra and denote by \({}_A \mathfrak{M}\) the category of finite-dimensional left \(A\)-modules. The main target of this paper is to investigate the relative Serre functor in the case where \(\mathcal{C} = {}_H \mathfrak{M}\) and \(\mathcal{M} = {}_L \mathfrak{M}\) for some finite-dimensional Hopf algebra \(H\) and some finite-dimensional left \(H\)-comodule algebra \(L\) such that \({}_L \mathfrak{M}\) is an exact module category over \({}_H \mathfrak{M}\). In this paper the author gives an explicit description of a relative Serre functor of \({}_L \mathfrak{M}\) and the natural isomorphisms (1) and (2) in terms of the Frobenius structure of \(L\) (see Theorem 4.16 and Theorem 4.22). Also, he discuss when the category \({}_L \mathfrak{M}\) admits a pivotal structure (see Theorem 4.19) and, finally, in Section 5 he gives some concrete examples of pivotal module categories over the category \({}_H \mathfrak{M}\).