The relative Deligne tensor product over pointed braided fusion categories (Q2685347)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The relative Deligne tensor product over pointed braided fusion categories |
scientific article; zbMATH DE number 7655663
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The relative Deligne tensor product over pointed braided fusion categories |
scientific article; zbMATH DE number 7655663 |
Statements
The relative Deligne tensor product over pointed braided fusion categories (English)
0 references
21 February 2023
0 references
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.
0 references
Deligne tensor product
0 references
fusion 2-category
0 references
module category
0 references
pointed fusion category
0 references
0 references
0 references