Algebraic structures in comodule categories over weak bialgebras

DOI10.1080/00927872.2021.2022155zbMATH Open1495.18021arXiv1911.12847OpenAlexW2991086238MaRDI QIDQ5080175FDOQ5080175

Authors: Chelsea Walton, Elizabeth Wicks, Robert Won 

Publication date: 31 May 2022

Published in: Communications in Algebra (Search for Journal in Brave)

Abstract: For a bialgebra $L$ coacting on a $Bbbk$-algebra $A$, a classical result states that $A$ is a right $L$-comodule algebra if and only if $A$ is an algebra in the monoidal category $mathcal{M}^L$ of right $L$-comodules; the former notion is formulaic while the latter is categorical. We generalize this result to the setting of weak bialgebras $H$. The category $mathcal{M}^H$ admits a monoidal structure by work of Nill and B"{o}hm-Caenepeel-Janssen, but the algebras in $mathcal{M}^H$ are not canonically $Bbbk$-algebras. Nevertheless, we prove that there is an isomorphism between the category of right $H$-comodule algebras and the category of algebras in $mathcal{M}^H$. We also recall and introduce the formulaic notion of $H$ coacting on a $Bbbk$-coalgebra and on a Frobenius $Bbbk$-algebra, respectively, and prove analogous category isomorphism results. Our work is inspired by the physical applications of Frobenius algebras in tensor categories and by symmetries of algebras with a base algebra larger than the ground field (e.g. path algebras). We produce examples of the latter by constructing a monoidal functor from a certain corepresentation category of a bialgebra $L$ to the corepresentation category of a weak bialgebra built from $L$ (a "quantum transformation groupoid"), thereby creating weak quantum symmetries from ordinary quantum symmetries.

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

Recommendations

• Weak Bialgebras and Monoidal Categories
• Comodules over weak multiplier bialgebras.
• The structure theorem of weak comodule algebras.
• Structure theorems for bicomodule algebras over quasi-Hopf algebras, weak Hopf algebras, and braided Hopf algebras
• On braided Lie structures of algebras in the categories of weak Hopf bimodules.

zbMATH Keywords

weak Hopf algebraweak bialgebracorepresentation categoryquantum transformation groupoid

Mathematics Subject Classification ID

Hopf algebras and their applications (16T05) Coalgebras and comodules; corings (16T15) Monoidal categories, symmetric monoidal categories (18M05)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Face algebras and unitarity of SU\((N)_L\)-TQFT
• Dynamical quantum groups at roots of 1
• Weak Hopf algebras. I: Integral theory and \(C^*\)-structure
• On fusion categories.
• Title not available (Why is that?)
• Tensor categories
• Title not available (Why is that?)
• Quantum group symmetry of partition functions of IRF models and its application to Jones' index theory
• Duality for generalized Kac algebras and a characterization of finite groupoid algebras
• Modules over weak entwining structures
• Title not available (Why is that?)
• Doi-hopf modules over weak hopf algebras
• Title not available (Why is that?)
• Skew Calabi-Yau algebras and homological identities.
• Weak Hopf algebras with projection and weak smash bialgebra structures.
• Weak Bialgebras and Monoidal Categories
• Title not available (Why is that?)
• Note on Frobenius monoidal functors
• A characterization of depth 2 subfactors of II\(_1\) factors
• Title not available (Why is that?)
• Categorification and correlation functions in conformal field theory
• Doi-Koppinen modules for quantum groupoids.
• Title not available (Why is that?)
• Cardy algebras and sewing constraints. I
• Face algebras. I: A generalization of quantum group theory
• Title not available (Why is that?)
• The structure theorem for weak module coalgebras.
• Title not available (Why is that?)

Cited In (4)

• Comodules over weak multiplier bialgebras.
• Algebraic weak factorisation systems. II: Categories of weak maps.
• On the category of weak bialgebras
• Universal quantum semigroupoids

This page was built for publication: Algebraic structures in comodule categories over weak bialgebras

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