The relative Deligne tensor product over pointed braided fusion categories

DOI10.1016/J.JALGEBRA.2022.12.029MaRDI QIDQ2685347zbMATH OpenOpenAlexFDO

Authors Thibault D. Décoppet

Publication date 21 February 2023

Published in Journal of Algebra (Search for Journal in Brave)

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

zbMATH Keywords

Deligne tensor productfusion 2-categorymodule categorypointed fusion category

Mathematics Subject Classification ID

Separable algebras (e.g., quaternion algebras, Azumaya algebras, etc.) (16H05) Braided monoidal categories and ribbon categories (18M15) Fusion categories, modular tensor categories, modular functors (18M20) Categorification (18N25)

Review text

Let \(A\) be a finite abelian group and write \(\boldsymbol{Vect}_{A}\) for the fusion category of -graded finite dimensional vector spaces. Working over an algebraically closed field of characteristic zero, a formula for the relative Deligne tensor product of all finite semisimple module categories over \ with the trivial symmetric braiding was given in [\textit{P. Etingof} et al., Quantum Topol. 1, No. 3, 209--273 (2010; Zbl 1214.18007)]. The author [Cah. Topol. Géom. Différ. Catég. 63, No. 1, 3--24 (2022; Zbl 1481.18021)] extended their computations to obtain a formula for the relative Deligne tensor product over \(\boldsymbol{Vect}_{A}^{\beta}\), where \(\beta\) is any braiding on \(\boldsymbol{Vect}_{A}\). This paper generalizes the result in two directions. \begin{itemize} \item[1.] The base field can be any algebraically closed field. \item[2.] The underlying fusion category carries any associator \(\omega\), and the relative Deligne tensor product of all finite semisimple module categories \(\boldsymbol{Vect}_{A}^{(\alpha,\beta)}\) with a compatible braiding \(\beta\) is computed, so that a formula for the fusion rule of \(\boldsymbol{Mod}(\boldsymbol{Vect}_{A}^{(\alpha,\beta)})\) is obtained. \end{itemize} The author gives tables of the relative Deligne tensor product over \(\boldsymbol{Vect}_{A}^{(\alpha,\beta)}\), where \(A\) is either \(\mathbb{Z}/p\), \(\mathbb{Z}/p^{2}\), \(\mathbb{Z}/2\oplus\mathbb{Z}/2\), or \(\mathbb{Z}/4\oplus\mathbb{Z}/2\) with various choices of associator and compatible braiding. The Picard groups of \(\mathbb{Z}/p\oplus\mathbb{Z} /p\) and \(\mathbb{Z}/2\oplus\mathbb{Z}/2\oplus\mathbb{Z}/2\) with specific choices of associators and compatible braidings are also computed. It should be noted that, for some specific groups and braidings, surprisingly similar formulas have been obtained in [\textit{K. Roumpedakis} et al., ``Higher gauging and non-invertible condensation defects, Preprint, \url{arXiv:2204.02407}] through high energy physics considerations, the precise relation of which with this work remains to be clarified.

Recommendations

• Relative centers and tensor products of tensor and braided fusion categories
• Pointed braided tensor categories
• On the Brauer-Picard groups of fusion categories
• The Picard crossed module of a braided tensor category
• Tensor categories with fusion rules of self-duality for finite abelian groups

Cites work

• Braided tensor categories
• Categorical Lagrangian Grassmannians and Brauer-Picard groups of pointed fusion categories
• Categorical Morita Equivalence for Group-Theoretical Categories
• Cyclic extensions of fusion categories via the Brauer-Picard groupoid
• Dualizable tensor categories
• Groupes d'homotopie et classes de groupes abéliens
• scientific article; zbMATH DE number 1467269 (Why is no real title available?)
• scientific article; zbMATH DE number 3076656 (Why is no real title available?)
• Module categories, weak Hopf algebras and modular invariants
• Monoidal 2-structure of bimodule categories
• On fusion categories.
• On the Brauer-Picard group of a finite symmetric tensor category
• On the Brauer-Picard groups of fusion categories
• On the equivalence of module categories over a group-theoretical fusion category
• Representations of tensor categories with fusion rules of self-duality for abelian groups
• Tensor categories
• Tensor functors between Morita duals of fusion categories
• The balanced tensor product of module categories
• The Brauer-Picard group of the Asaeda-Haagerup fusion categories
• The Brauer-Picard group of the representation category of finite supergroup algebras
• The Brauer-Picard groups of fusion categories coming from the \textit{ADE} subfactors
• The Picard crossed module of a braided tensor category
• Weak fusion 2-categories

Cited in

(9)

• Domain walls in topological phases and the Brauer-Picard ring for \(\mathrm{vec} (\mathbb{Z}/p\mathbb{Z})\)
• Relative centers and tensor products of tensor and braided fusion categories
• Braided Extensions of a Pointed Fusion Category with Prime Dimension
• Compact semisimple 2-categories
• Universal Non‐Invertible Symmetries
• The Relative Deligne Tensor Product over Pointed Braided Fusion Categories
• Bosonization and anomaly indicators of (2+1)-D fermionic topological orders
• Gauging non-invertible symmetries in (2+1)d topological orders
• Commutative exact algebras and modular tensor categories

This page was built for publication: The relative Deligne tensor product over pointed braided fusion categories

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