Yetter-Drinfeld modules over weak multiplier bialgebras (Q891148)

The paper under review continues [the author et al., Trans. Am. Math. Soc. 367, No. 12, 8681--8721 (2015; Zbl 1343.16029); Int. J. Math. 25, No. 5, Article ID 1450037, 57 p. (2014; Zbl 1307.16030)]. Throughout the review, the quadruple \((A,\mu,\Delta,\varepsilon)\) denotes a regular weak multiplier bialgebra over a field \(k\) with right full comultiplication \(\Delta: A\rightarrow\mathbb{M}(A\otimes A)\) and the base (co)algebra \(R=\overline{\sqcap}^R(A)=\sqcap^R(A)\); the symbols \(\mathcal{M}_{(A)}\) and \(\mathcal{M}^{(A)}\) denote the monoidal categories of idempotent non-degenerate right \(A\)-modules and of full right \(A\)-comodules, respectively; the symbol \(_R\mathcal{M}_R\) denotes the monoidal category of firm \(R\)-bimodules. Every idempotent non-degenerate right \(A\)-module \((V,\cdot)\) and every full right \(A\)-comodule \((M,\lambda,\varrho)\) is equipped with the structure of an \(R\)-bimodule with firm right and left actions as follows: \((v\cdot a)\triangleleft r=v\cdot ar\), \(r\triangleright (v\cdot a)=v\cdot a\tau (r)\) and \(m\blacktriangleleft\overline{\sqcap}^R(a)=(M\otimes\varepsilon)\lambda (m\otimes a)\), \(\sqcap^R(a)\blacktriangleright m=(M\otimes\varepsilon)\varrho (m\otimes a)\), respectively, where \(v\in V\), \(m\in M\), \(a\in A\) and \(r\in R\). Both the categories \(\mathcal{M}_{(A)}\) and \(\mathcal{M}^{(A)}\) admit strict monoidal functors \(U_{(A)}:\mathcal{M}_{(A)}\rightarrow {_R\mathcal{M}_R}\) and \(U^{(A)}:\mathcal{M}^{(A)}\rightarrow {_R\mathcal{M}_R}\), respectively. The right commutant of \(U_{(A)}\) is the monoidal category \((\mathcal{M}_{(A)})^{U_{(A)}}\) whose objects are given by a firm \(R\)-bimodule \(P\) and a family of \(R\)-bimodule maps \(\sigma_V: V\otimes_R P\rightarrow P\otimes_R V\) for idempotent non-degenerate right \(A\)-modules \((V,\cdot)\), satisfying the compatibility conditions with the monoidal structures. The left commutant of \(U^{(A)}\) is defined symmetrically as the monoidal category \(^{U^{(A)}}(\mathcal{M}^{(A)})\) whose objects are given by a firm \(R\)-bimodule \(Q\) and a family of \(R\)-bimodule maps \(\vartheta_M: Q\otimes_R M\rightarrow M\otimes_R Q\) for full right \(A\)-comodules \((M,\lambda,\varrho)\), satisfying the compatibility conditions with the monoidal structures. For any idempotent non-degenerate right \(A\)-module \((V,\cdot)\) and any full right \(A\)-comodule \((M,\lambda,\varrho)\), the symbol \(\widehat{\varphi}_{V,M}\) denotes the \(R\)-bimodule map \(V\otimes_R M\rightarrow M\otimes_R V\), \(v\cdot a\otimes_R m\mapsto\sum m^{\varrho}\otimes_R v\cdot a^{\varrho}\), where \(\varrho(m\otimes a)=\sum m^{\varrho}\otimes a^{\varrho}\). In the second section of the paper under review, the author proves that there exist strict monoidal fully faithful functors \(I^{(A)}:\mathcal{M}^{(A)}\rightarrow (\mathcal{M}_{(A)})^{U_{(A)}}\) and \(I_{(A)}:\mathcal{M}_{(A)}\rightarrow {^{U^{(A)}}(\mathcal{M}^{(A)})}\). The object map of \(I^{(A)}\) takes a full right \(A\)-comodule \((M,\lambda,\varrho)\) to the firm \(R\)-bimodule \(M\) and the family of \(R\)-bimodule maps \(\widehat{\varphi}_{V,M}\) for idempotent non-degenerate right \(A\)-modules \((V,\cdot)\). Symmetrically, the object map of \(I_{(A)}\) takes an idempotent non-degenerate right \(A\)-module \((V,\cdot)\) to the firm \(R\)-bimodule \(V\) and the family of \(R\)-bimodule maps \(\widehat{\varphi}_{V,M}\) for full right \(A\)-comodules \((M,\lambda,\varrho)\). In the third section of the paper under review, the author introduces the notion of a right-right Yetter-Drinfeld \(A\)-module. Let \(X\) be a vector space which carries both the structures of an idempotent non-degenerate right \(A\)-module \((X,\cdot)\) and of a full right \(A\)-comodule \((X,\lambda,\varrho)\). Assume that the firm right \(R\)-actions \(\triangleleft\) and \(\blacktriangleleft\) on \(X\) coincide, as well as the firm left \(R\)-actions \(\triangleright\) and \(\blacktriangleright\) on \(X\) coincide. Then the datum \(((X,\lambda,\varrho),\widehat{\varphi}_{X,-})\) is an object in the left weak center of \(\mathcal{M}^{(A)}\), as well as the datum \(((X,\cdot),\widehat{\varphi}_{-,X})\) is an object in the right weak center of \(\mathcal{M}_{(A)}\). Using these equivalent properties, the author defines the notion of a right-right Yetter-Drinfeld \(A\)-module \(X\). In the fourth section, the author proves that right-right Yetter-Drinfeld \(A\)-modules contitute a monoidal category \(\mathcal{YD}(A)\) admitting strict monoidal forgetful functors to \(\mathcal{M}_{(A)}\) and \(\mathcal{M}^{(A)}\). If \(A\) is a regular weak multiplier Hopf algebra in the sense of \textit{A. Van Daele} and \textit{S. Wang} [J. Reine Angew. Math. 705, 155--209 (2015; Zbl 1343.16028)], then every finite-dimensional right-right Yetter-Drinfeld \(A\)-module possesses a dual in \(\mathcal{YD}(A)\).