Frobenius Monoidal Functors of Dijkgraaf-Witten Categories and Rigid Frobenius Algebras
Samuel Hannah,Robert Laugwitz,Ana Ros Camacho
DOI: https://doi.org/10.3842/SIGMA.2023.075
2023-10-12
Abstract:We construct a separable Frobenius monoidal functor from $\mathcal{Z}\big(\mathsf{Vect}_H^{\omega|_H}\big)$ to $\mathcal{Z}\big(\mathsf{Vect}_G^\omega\big)$ for any subgroup $H$ of $G$ which preserves braiding and ribbon structure. As an application, we classify rigid Frobenius algebras in $\mathcal{Z}\big(\mathsf{Vect}_G^\omega\big)$, recovering the classification of étale algebras in these categories by Davydov-Simmons [J. Algebra 471 (2017), 149-175, <a class="link-https" data-arxiv-id="1603.04650" href="https://arxiv.org/abs/1603.04650">arXiv:1603.04650</a>] 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, <a class="link-https" data-arxiv-id="math.QA/0101219" href="https://arxiv.org/abs/math.QA/0101219">arXiv:math.QA/0101219</a>] in the semisimple case and Laugwitz-Walton [Comm. Math. Phys., to appear, <a class="link-https" data-arxiv-id="2202.08644" href="https://arxiv.org/abs/2202.08644">arXiv:2202.08644</a>] in the general case.
Quantum Algebra,Category Theory,Representation Theory