Paired wreaths: 2-categorical background of a class of cross products

DOI10.1007/S40863-021-00279-4MaRDI QIDQ2107655zbMATH OpenOpenAlexWikidataFDO

Publication date 2 December 2022

Published in São Paulo Journal of Mathematical Sciences (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1801.00143

2-categories 2-monads braided monoidal categories wreaths

Eilenberg-Moore and Kleisli constructions for monads (18C20) Braided monoidal categories and ribbon categories (18M15) 2-categories, bicategories, double categories (18N10) 2-dimensional monad theory (18N15)

Abstract: After we introduced biwreaths and biwreath-like objects in our previous paper, in the present one we define paired wreaths. In a paired wreath there is a monad

B

and a comonad

F

over the same 0-cell in a 2-category

K

, so that

F

is a left wreath around

B

and

B

is a right cowreath around

F

, and moreover,

F B

is a bimonad in

K

. The corresponding 1-cell

F B

in the setting of a biwreath and a biwreath-like object was not necessarilly a bimonad. We obtain a 2-categorical version of the Radford biproduct and Sweedler's crossed (co)product, that are on one hand, both a biwreath and a biwreath-like object, respectively, and on the other hand, they are also paired wreaths. We show that many known crossed (bi)products in the literature are special cases of paired wreaths, including cocycle cross product bialgebras of Bespalov and Drabant in braided monoidal categories. This is a part of a project of constructing a kind of a 2-categorical atlas of all the known crossed (bi)products. We introduce a Hopf datum in

K

which contains part of the structure of a paired wreath. We define Yang-Baxter equations and naturality conditions of certain distributive laws in

K

and study when Hopf data are paired wreaths. From the notion of a Hopf datum new definitions of Yetter-Drinfel`d modules, (co)module (co)monads, 2-(co)cycles and (co)cycle twisted (co)actions in a 2-categorical setting are suggested.

Review text

\textit{S. Lack} and \textit{R. Street} [J. Pure Appl. Algebra 175, No. 1--3, 243--265 (2002; Zbl 1019.18002)] introduced \textit{wreaths} as monads in the Eilenberg-Moore category \(\mathsf{EM}^{M}(\mathcal{K})\) of monads in a \(2\)-category \(\mathcal{K}\), which, when unpacked, provides the necessary data to recover \textit{crossed products} in different algebraic settings [\textit{D. Bulacu} and \textit{S. Caenepeel}, Algebr. Represent. Theory 17, No. 4, 1035--1082 (2014; Zbl 1336.16038); \textit{S. Lack} and \textit{R. Street}, J. Pure Appl. Algebra 175, No. 1--3, 243--265 (2002; Zbl 1019.18002)]. In order, on the one hand, to understand why certain structures in the examples obey the laws of a wreath and, on the other hand, to investigate an analogue of a wreath in terms of bimonads, \textit{B. Mesablishvili} and \textit{R. Wisbauer} [J. \(K\)-Theory 7, No. 2, 349--388 (2011; Zbl 1239.18002)] introduced \textit{biwreaths} and \textit{biwreath-like objects}. This paper defines the notion of a \textit{paired wreath}, in which there is a monad \(B\) and a comonad \(F\) over the same \(0\)-cell in a \(2\)-category \(\mathcal{K}\) so that \(F\) is a left wreath around \(B\) and \(B\) is a right cowreath around \(F\), \(FB\) being a bimonad in \(\mathcal{K}\). The author obtains a \(2\)-categorical version of the Radford biproduct [\textit{D. E. Radford}, J. Algebra 92, 322--347 (1985; Zbl 0549.16003)] and Sweedler's crossed (co)product [\textit{M. E. Sweedler}, Trans. Am. Math. Soc. 133, 205--239 (1968; Zbl 0164.03704)], which are both a biwreath and a biwreath-like object, respectively, on the on hand, and are paired wreath on the other. Paired wreaths represent a \(2\)-categorical origin of many crossed (bi)products in algebra. The synopsis of the paper goes as follows. \begin{itemize} \item[\S 2] sets the notation, recalling some definitions from [\textit{B. Femić}, J. Pure Appl. Algebra 223, No. 4, 1472--1513 (2019; Zbl 1423.18015)] and introducing \(\tau\)-bimonads in \(2\)-categories. \item[\S 3] is devoted to the definition of paired wreaths and to the analysis of which structures underlie them. \item[\S 4] defines Hopf data collecting some consequent structures of paired wreaths and studies when a Hopf datum is a paired wreath, where Yang-Baxter type equations and a sort of naturality for certain distributive laws in \(2\)-categories are introduced in order to study under which conditions a Hopf datum is a paired wreath (Theorem 4.20). Paired wreaths and Hopf data give rise to new definitions of Yetter-Drinfel'd modules, (co)module (co)monads, \(2\)-(co)cycle s and (co)cycle twisted (co)actions in a \(2\)-categorical setting. \end{itemize}

Recommendations

Cites work

Cited in

(3)

This page was built for publication: Paired wreaths: 2-categorical background of a class of cross products

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2107655)