Frobenius Monoidal Functors of Dijkgraaf-Witten Categories and Rigid Frobenius Algebras

Abstract

We construct a separable Frobenius monoidal functor from $\mathcal{Z}\left({\mathsf{Vect}}_H^{\omega {|}_H}\right)$ to $\mathcal{Z}\left({\mathsf{Vect}}_G^{\omega }\right)$ for any subgroup $H$ of $G$ which preserves braiding and ribbon structure. As an application, we classify rigid Frobenius algebras in $\mathcal{Z}\left({\mathsf{Vect}}_G^{\omega }\right)$, recovering the classification of étale algebras in these categories by Davydov-Simmons [J. Algebra 471 (2017), 149-175, arXiv:1603.04650] and generalizing their classification to algebraically closed fields of arbitrary characteristic. Categories of local modules over such algebras are modular tensor categories by results of Kirillov-Ostrik [Adv. Math. 171 (2002), 183-227, arXiv:math.QA/0101219] in the semisimple case and Laugwitz-Walton [Comm. Math. Phys., to appear, arXiv:2202.08644] in the general case.

References in corpus (7)

• 3-Dimensional TQFTs From Non-Semisimple Modular Categories
• Twisted modules and $G$-equivariantization in logarithmic conformal field theory
• On Frobenius algebras in rigid monoidal categories
• Homotopy Coherent Mapping Class Group Actions and Excision for Hochschild Complexes of Modular Categories
• A modular functor from state sums for finite tensor categories and their bimodules
• The indecomposable objects in the center of Deligne's category $Rep(S_t)$
• Constructing non-semisimple modular categories with local modules

Cited by in corpus (1)

• Frobenius monoidal functors from ambiadjunctions and their lifts to Drinfeld centers