{"title":"中心霍普夫单元与编织交换代数","authors":"Noelia Bortolussi, Adriana Mejía Castaño, Martín Mombelli","doi":"arxiv-2409.01918","DOIUrl":null,"url":null,"abstract":"Let $ V$ be a braided tensor category and $ C$ a tensor category equipped\nwith a braided tensor functor $G:V\\to Z(C)$. For any exact indecomposable\n$C$-module category $M$, we explicitly construct a right adjoint of the action\nfunctor $\\rho:Z^V(C)\\to C^*_{M}$ afforded by $M$. Here $Z^V(C)$ is the\nM\\\"uger's centralizer of the subcategory $G(V)$ inside the center $Z^V(C)$,\nalso known as the relative center. The construction is parallel to the one\npresented by K. Shimizu, but using instead the relative coend end. This\nadjunction turns out to be monadic, thus inducing Hopf monads $T_{V}: C\\to C$,\nsuch that there is a monoidal equivalence of categories $ C_{T_{V}}\\simeq\nZ^V(C).$ If $\\bar{\\rho}: C^*_{ M}\\to Z^V(C)$ is the right adjoint of $\\rho,$\nthen $\\bar{\\rho}(Id_{M})$ is the braided commutative algebra constructed in [R.\nLaugwitz and C. Walton. Braided commutative algebras over quantized enveloping\nalgebras, Transform. Groups 26(3) (2021), 957--993]. As a consequence of our\nconstruction of these algebras, in terms of the right adjoint to $\\rho$, we can\nprovide a recipe to compute them when $C=Rep(H\\# T)$ is the category of\nfinite-dimensional representations of a finite-dimensional Hopf algebra $H\\# T$\nobtained by bosonization, and choosing an arbitrary $Rep(H\\# T)$-module\ncategory $M$. We show an explicit example in the case of Taft algebras.","PeriodicalId":501317,"journal":{"name":"arXiv - MATH - Quantum Algebra","volume":"6 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-09-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Central Hopf Monads and Braided Commutative Algebras\",\"authors\":\"Noelia Bortolussi, Adriana Mejía Castaño, Martín Mombelli\",\"doi\":\"arxiv-2409.01918\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Let $ V$ be a braided tensor category and $ C$ a tensor category equipped\\nwith a braided tensor functor $G:V\\\\to Z(C)$. For any exact indecomposable\\n$C$-module category $M$, we explicitly construct a right adjoint of the action\\nfunctor $\\\\rho:Z^V(C)\\\\to C^*_{M}$ afforded by $M$. Here $Z^V(C)$ is the\\nM\\\\\\\"uger's centralizer of the subcategory $G(V)$ inside the center $Z^V(C)$,\\nalso known as the relative center. The construction is parallel to the one\\npresented by K. Shimizu, but using instead the relative coend end. This\\nadjunction turns out to be monadic, thus inducing Hopf monads $T_{V}: C\\\\to C$,\\nsuch that there is a monoidal equivalence of categories $ C_{T_{V}}\\\\simeq\\nZ^V(C).$ If $\\\\bar{\\\\rho}: C^*_{ M}\\\\to Z^V(C)$ is the right adjoint of $\\\\rho,$\\nthen $\\\\bar{\\\\rho}(Id_{M})$ is the braided commutative algebra constructed in [R.\\nLaugwitz and C. Walton. Braided commutative algebras over quantized enveloping\\nalgebras, Transform. Groups 26(3) (2021), 957--993]. As a consequence of our\\nconstruction of these algebras, in terms of the right adjoint to $\\\\rho$, we can\\nprovide a recipe to compute them when $C=Rep(H\\\\# T)$ is the category of\\nfinite-dimensional representations of a finite-dimensional Hopf algebra $H\\\\# T$\\nobtained by bosonization, and choosing an arbitrary $Rep(H\\\\# T)$-module\\ncategory $M$. We show an explicit example in the case of Taft algebras.\",\"PeriodicalId\":501317,\"journal\":{\"name\":\"arXiv - MATH - Quantum Algebra\",\"volume\":\"6 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-09-03\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv - MATH - Quantum Algebra\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/arxiv-2409.01918\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - MATH - Quantum Algebra","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2409.01918","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Central Hopf Monads and Braided Commutative Algebras
Let $ V$ be a braided tensor category and $ C$ a tensor category equipped
with a braided tensor functor $G:V\to Z(C)$. For any exact indecomposable
$C$-module category $M$, we explicitly construct a right adjoint of the action
functor $\rho:Z^V(C)\to C^*_{M}$ afforded by $M$. Here $Z^V(C)$ is the
M\"uger's centralizer of the subcategory $G(V)$ inside the center $Z^V(C)$,
also known as the relative center. The construction is parallel to the one
presented by K. Shimizu, but using instead the relative coend end. This
adjunction turns out to be monadic, thus inducing Hopf monads $T_{V}: C\to C$,
such that there is a monoidal equivalence of categories $ C_{T_{V}}\simeq
Z^V(C).$ If $\bar{\rho}: C^*_{ M}\to Z^V(C)$ is the right adjoint of $\rho,$
then $\bar{\rho}(Id_{M})$ is the braided commutative algebra constructed in [R.
Laugwitz and C. Walton. Braided commutative algebras over quantized enveloping
algebras, Transform. Groups 26(3) (2021), 957--993]. As a consequence of our
construction of these algebras, in terms of the right adjoint to $\rho$, we can
provide a recipe to compute them when $C=Rep(H\# T)$ is the category of
finite-dimensional representations of a finite-dimensional Hopf algebra $H\# T$
obtained by bosonization, and choosing an arbitrary $Rep(H\# T)$-module
category $M$. We show an explicit example in the case of Taft algebras.