On braided and ribbon unitary fusion categories

César Galindo

2024-12-07

Abstract:We prove that every braiding on a unitary fusion category is automatically unitary, and that every unitary braided fusion category admits a unique unitary ribbon structure.

Quantum Algebra

What problem does this paper attempt to address?

A complete classification of unitary fusion categories tensor generated by an object of dimension $\frac{1 + \sqrt{5}}{2}$

Cain Edie-Michell

DOI: https://doi.org/10.48550/arXiv.1904.08909

2020-03-07

Abstract:In this paper we give a complete classification of unitary fusion categories $\otimes$-generated by an object of dimension $\frac{1 + \sqrt{5}}{2}$. We show that all such categories arise as certain wreath products of either the Fibonacci category, or of the dual even part of the $2D2$ subfactor. As a by-product of proving our main classification result we produce a classification of finite unitarizable quotients of $\operatorname{Fib}^{*N}$ satisfying a certain symmetry condition.

Quantum Algebra,Category Theory
On Low-Rank Multiplicity-Free Fusion Categories

Gert Vercleyen

2024-05-30

Abstract:This thesis explains the methods and algorithms we used to obtain explicit F symbols, R symbols, and pivotal coefficients of all multiplicity-free pivotal fusion categories up to rank 7. The thesis starts by introducing the concept of a unitary modular fusion system via two applications: modeling anyons for topological quantum computation and calculating braid group representations. Next, the notions of a pivotal, spherical, braided, ribbon, and modular fusion system are introduced. Unitarity and its implications on the pivotal structure are discussed as well. The next part of the thesis is devoted to algorithms for finding fusion systems and compatible structures. First, an algorithm to find low-rank fusion rings is explained, and its results are given. Special attention is given to the structure of non-commutative fusion rings and the construction of songs, which are generalizations of the Tambara-Yamagami and Haagerup Izumi fusion rings, is given. Then, the algorithms used to find fusion systems are discussed. Particular attention is given to how the individual steps for solving the consistency equations are done with Anyonica, a software package we developed for working with fusion systems. Gauge and automorphism equivalence are reviewed, and algorithms that put solutions in a unitary gauge and remove redundant solutions are given. Some results on the categorification of all multiplicity-free pivotal fusion rings up to rank 7 are presented. The final part of the thesis is devoted to building models of anyons on graphs and how their behavior differs from those in the plane. The appendices contain a minimal mathematical exposition on fusion categories with their relation to fusion systems, a list of all multiplicity-free fusion rings up to rank 9 with information on categorifiability, a list of all multiplicity-free fusion categories up to rank 7, and data on some graph-braid models.

Mathematical Physics
On a class of fusion 2-category symmetry: condensation completion of braided fusion category

Wenjie Xi,Tian Lan,Longye Wang,Chenjie Wang,Wei-Qiang Chen

2024-05-10

Abstract:Recently, many studies are focused on generalized global symmetry, a mixture of both invertible and non-invertible symmetries in various space-time dimensions. The complete structure of generalized global symmetry is described by higher fusion category theory. In this paper, We first review the construction of fusion 2-category symmetry $\Sigma \cal B$ where $\cal B$ is a a braided fusion category. In particular, we elaborate on the monoidal structure of $\Sigma \cal B$ which determines fusion rules and controls the dynamics of topological operators/defects. We then take $\Sigma \mathrm{sVec}$ as an example to demonstrate how we calculate fusion rule, quantum dimension and 10j-symbol of the fusion 2-category. With our algorithm, all these data can be efficiently encoded and computed in computer program. The complete program will be uploaded to github soon. Our work can be thought as explicitly computing the representation theory of $\cal B$, in analogy to, for example the representation theory of $SU(2)$. The choice of basis bimodule maps are in analogy to the Clebsch-Gordon coefficients and the 10j-symbol are in analogy to the 6j-symbol.

High Energy Physics - Theory,Mathematical Physics
Braided multiplicative unitaries as regular objects

Ralf Meyer,Sutanu Roy

DOI: https://doi.org/10.2969/aspm/08010153

2018-02-02

Abstract:We use the theory of regular objects in tensor categories to clarify the passage between braided multiplicative unitaries and multiplicative unitaries with projection. The braided multiplicative unitary and its semidirect product multiplicative unitary have the same Hilbert space representations. We also show that the multiplicative unitaries associated to two regular objects for the same tensor category are equivalent and hence generate isomorphic C*-quantum groups. In particular, a C*-quantum group is determined uniquely by its tensor category of representations on Hilbert space, and any functor between representation categories that does not change the underlying Hilbert spaces comes from a morphism of C*-quantum groups.

Operator Algebras
Infinitesimal braidings and pre-Cartier bialgebras

A. Ardizzoni,L. Bottegoni,A. Sciandra,T. Weber

2024-05-13

Abstract:We propose an infinitesimal counterpart to the notion of braided category. The corresponding infinitesimal braidings are natural transformations which are compatible with an underlying braided monoidal structure in the sense that they constitute a first-order deformation of the braiding. This extends previously considered infinitesimal symmetric or Cartier categories, where involutivity of the braiding and an additional commutativity of the infinitesimal braiding with the symmetry are required. The generalized pre-Cartier framework is then elaborated in detail for the categories of (co)quasitriangular bialgebra (co)modules and we characterize the resulting infinitesimal $\mathcal{R}$-matrices (resp. $\mathcal{R}$-forms) on the bialgebra. It is proven that the latter are Hochschild $2$-cocycles and that they satisfy an infinitesimal quantum Yang-Baxter equation, while they are Hochschild $2$-coboundaries under the Cartier (co)triangular assumption in the presence of an antipode. We provide explicit examples of infinitesimal braidings, particularly on quantum $2\times 2$-matrices, $\mathrm{GL}_q(2)$, Sweedler's Hopf algebra and via Drinfel'd twist deformation. As conceptual tools to produce examples of infinitesimal braidings we prove an infinitesimal version of the FRT construction and we provide a Tannaka-Krein reconstruction theorem for pre-Cartier coquasitriangular bialgebras. We comment on the deformation of infinitesimal braidings and construct a quasitriangular structure on formal power series of Sweedler's Hopf algebra.

Quantum Algebra,Category Theory,Rings and Algebras,Representation Theory
Symplectic level-rank duality via tensor categories

Victor Ostrik,Eric C. Rowell,Michael Sun

DOI: https://doi.org/10.48550/arXiv.2002.07744

2020-02-19

Abstract:We give two proofs of a level-rank duality for braided fusion categories obtained from quantum groups of type $C$ at roots of unity. The first proof uses conformal embeddings, while the second uses a classification of braided fusion categories associated with quantum groups of type $C$ at roots of unity. In addition we give a similar result for non-unitary braided fusion categories quantum groups of types $B$ and $C$ at odd roots of unity.

Quantum Algebra,Representation Theory
Nondegenerate extensions of near-group braided fusion categories

Andrew Schopieray

DOI: https://doi.org/10.48550/arXiv.2109.04011

2021-09-09

Abstract:This is a study of weakly integral braided fusion categories with elementary fusion rules to determine which possess nondegenerately braided extensions of theoretically minimal dimension, or equivalently in this case, which satisfy the minimal modular extension conjecture. We classify near-group braided fusion categories satisfying the minimal modular extension conjecture; the remaining Tambara-Yamagami braided fusion categories provide arbitrarily large families of braided fusion categories with identical fusion rules violating the minimal modular extension conjecture. These examples generalize to braided fusion categories with the fusion rules of the representation categories of extraspecial $p$-groups for any prime $p$, which possess a minimal modular extension only if they arise as the adjoint subcategory of a twisted double of an extraspecial $p$-group.

Quantum Algebra
Fusion categories via string diagrams

Bruce Bartlett

DOI: https://doi.org/10.48550/arXiv.1502.02882

2015-07-20

Abstract:We use the string diagram calculus to give graphical proofs of the basic results of Etingof, Nikshych and Ostrik on fusion categories. These results include: the quadruple dual is canonically isomorphic to the identity, positivity of the paired dimensions, and Ocneanu rigidity. We introduce the pairing convention as a convenient graphical framework for working with fusion categories. We use this framework to express the pivotal operators as a product of the apex associator monodromy and the pivotal indicators. We also characterize pivotal structures as solutions of an explicit set of algebraic equations over the complex numbers.

Quantum Algebra
Rigid and Separable Algebras in Fusion 2-Categories

Thibault D. Décoppet

DOI: https://doi.org/10.1016/j.aim.2023.108967

2023-06-14

Abstract:Rigid monoidal 1-categories are ubiquitous throughout quantum algebra and low-dimensional topology. We study a generalization of this notion, namely rigid algebras in an arbitrary monoidal 2-category. Examples of rigid algebras include $G$-graded fusion 1-categories, and $G$-crossed fusion 1-categories. We explore the properties of the 2-categories of modules and of bimodules over a rigid algebra, by giving a criterion for the existence of right and left adjoints. Then, we consider separable algebras, which are particularly well-behaved rigid algebras. Specifically, given a fusion 2-category, we prove that the 2-categories of modules and of bimodules over a separable algebra are finite semisimple. Finally, we define the dimension of a connected rigid algebra in a fusion 2-category, and prove that such an algebra is separable if and only if its dimension is non-zero.

Quantum Algebra,Category Theory
Pseudo-unitary non-self-dual fusion categories of rank 4

Hannah K. Larson

DOI: https://doi.org/10.48550/arXiv.1401.1879

2014-10-30

Abstract:A fusion category of rank $4$ has either four self-dual objects or exactly two self-dual objects. We study fusion categories of rank $4$ with exactly two self-dual objects, giving nearly a complete classification of those based ring that admit pseudo-unitary categorification. More precisely, we show that if $\mathcal{C}$ is such a fusion category, then its Grothendieck ring $K(\mathcal{C})$ must be one of seven based rings, six of which have know categorifications. In doing so, we classify all based rings associated with near-group categories of the group $\mathbb{Z}/3\mathbb{Z}$.

Quantum Algebra
Near-integral fusion

Jingcheng Dong,Andrew Schopieray

2024-07-23

Abstract:We abstract the study of irreducible characters of finite groups vanishing on all but two conjugacy classes, initiated by S. Gagola, to irreducible characters of fusion rings whose kernel has maximal rank. These near-integral fusion rings include the near-groups which are currently one of the most abundant sources of novel examples of fusion categories to date. We generalize many of the known results on near-group fusion categories from the literature to near-integral fusion categories and characterize when such categories are braided. In particular, braided near-integral fusion categories describe all braided fusion categories which are almost symmetrically braided. This novel result allows a digestible characterization of the over $300$ braided equivalence classes of premodular fusion categories of rank $6$ or less.

Quantum Algebra,Rings and Algebras
Braids, twists, trace and duality in combinatory algebras

Masahito Hasegawa,Serge Lechenne

DOI: https://doi.org/10.1145/3661814.3662098

2024-05-16

Abstract:We investigate a class of combinatory algebras, called ribbon combinatory algebras, in which we can interpret both the braided untyped linear lambda calculus and framed oriented tangles. Any reflexive object in a ribbon category gives rise to a ribbon combinatory algebra. Conversely, From a ribbon combinatory algebra, we can construct a ribbon category with a reflexive object, from which the combinatory algebra can be recovered. To show this, and also to give the equational characterisation of ribbon combinatory algebras, we make use of the internal PRO construction developed in Hasegawa's recent work. Interestingly, we can characterise ribbon combinatory algebras in two different ways: as balanced combinatory algebras with a trace combinator, and as balanced combinatory algebras with duality.

Logic in Computer Science
The Classification of Fusion 2-Categories

Thibault D. Décoppet,Peter Huston,Theo Johnson-Freyd,Dmitri Nikshych,David Penneys,Julia Plavnik,David Reutter,Matthew Yu

2024-11-09

Abstract:We classify (multi)fusion 2-categories in terms of braided fusion categories and group cohomological data. This classification is homotopy coherent -- we provide an equivalence between the 3-groupoid of (multi)fusion 2-categories up to monoidal equivalences and a certain 3-groupoid of commuting squares of $\mathrm{B}\mathbb{Z}/2$-equivariant spaces. Rank finiteness and Ocneanu rigidity for fusion 2-categories are immediate corollaries of our classification.

Category Theory,Strongly Correlated Electrons,High Energy Physics - Theory,Quantum Algebra
Local Modules in Braided Monoidal 2-Categories

Thibault D. Décoppet,Hao Xu

DOI: https://doi.org/10.1063/5.0172042

2023-07-06

Abstract:Given an algebra in a monoidal 2-category, one can construct a 2-category of right modules. Given a braided algebra in a braided monoidal 2-category, it is possible to refine the notion of right module to that of a local module. Under mild assumptions, we prove that the 2-category of local modules admits a braided monoidal structure. In addition, if the braided monoidal 2-category has duals, we go on to show that the 2-category of local modules also has duals. Furthermore, if it is a braided fusion 2-category, we establish that the 2-category of local modules is a braided multifusion 2-category. We examine various examples. For instance, working within the 2-category of 2-vector spaces, we find that the notion of local module recovers that of braided module 1-category. Finally, we examine the concept of a Lagrangian algebra, that is a braided algebra with trivial 2-category of local modules. In particular, we completely describe Lagrangian algebras in the Drinfeld centers of fusion 2-categories, and we discuss how this result is related to the classifications of topological boundaries of (3+1)d topological phases of matter.

Category Theory,Strongly Correlated Electrons,High Energy Physics - Theory,Quantum Algebra
Braided $\mathbb{Z}_q$-extensions of pointed fusion categories

Jingcheng Dong

DOI: https://doi.org/10.48550/arXiv.1508.05501

2015-08-22

Abstract:We classify braided $\mathbb{Z}_q$-extensions of pointed fusion categories, where $q$ is a prime number. As an application, we classify modular categories of Frobenius-Perron dimension $q^3$.

Quantum Algebra
Unit inclusion in a non-semisimple braided tensor category and non-compact relative TQFTs

Benjamin Haïoun

2024-10-03

Abstract:The inclusion of the unit in a braided tensor category $\mathcal{V}$ induces a 1-morphism in the Morita 4-category of braided tensor categories $BrTens$. We give criteria for the dualizability of this morphism. When $\mathcal{V}$ is a semisimple (resp. non-semisimple) modular category, we show that the unit inclusion induces under the Cobordism Hypothesis a (resp. non-compact) relative 3-dimensional topological quantum field theory. Following Jordan-Safronov, we conjecture that these relative field theories together with their bulk theories recover Witten-Reshetikhin-Turaev (resp. De Renzi-Gainutdinov-Geer-Patureau-Mirand-Runkel) theories, in a fully extended setting. In particular, we argue that these theories can be obtained by the Cobordism Hypothesis.

Quantum Algebra,Category Theory,Geometric Topology
Braiding on complex oriented Soergel bimodules

Yu Leon Liu

2024-07-06

Abstract:In this note, we study U(n) Soergel bimodules in the context of stable homotopy theory. We define the $(\infty, 1)$-category $\mathrm{SBim}_E(n)$ of $E$-valued U(n) Soergel bimodules, where $E$ is a connective $\mathbb{E}_\infty$-ring spectrum, and assemble them into a monoidal locally additive $(\infty, 2)$-category $\mathrm{SBim}_E$. When $E$ has a complex orientation, we then construct a braiding, i.e. an $\mathbb{E}_2$-algebra structure, on the universal locally stable $(\infty, 2)$-category $\mathrm{K}^b_{\mathrm{loc}}(\mathrm{SBim}_E)$ associated to $\mathrm{SBim}_E$. Along the way, we also prove spectral analogs of standard splittings of Soergel bimodules. This is a topological generalization of the type $A$ Soergel bimodule theory developed in a previous paper.

Algebraic Topology,Quantum Algebra,Representation Theory
Fiber 2-Functors and Tambara-Yamagami Fusion 2-Categories

Thibault D. Décoppet,Matthew Yu

2023-06-14

Abstract:We introduce group-theoretical fusion 2-categories, a strong categorification of the notion of a group-theoretical fusion 1-category. Physically speaking, such fusion 2-categories arise by gauging subgroups of a global symmetry. We show that group-theoretical fusion 2-categories are completely characterized by the property that the braided fusion 1-category of endomorphisms of the monoidal unit is Tannakian. Then, we describe the underlying finite semisimple 2-category of group-theoretical fusion 2-categories, and, more generally, of certain 2-categories of bimodules. We also partially describe the fusion rules of group-theoretical fusion 2-categories, and investigate the group gradings of such fusion 2-categories. Using our previous results, we classify fusion 2-categories admitting a fiber 2-functor. Next, we study fusion 2-categories with a Tambara-Yamagami defect, that is $\mathbb{Z}/2$-graded fusion 2-categories whose non-trivially graded factor is $\mathbf{2Vect}$. We classify these fusion 2-categories, and examine more closely the more restrictive notion of Tambara-Yamagami fusion 2-categories. Throughout, we give many examples to illustrate our various results.

Category Theory,High Energy Physics - Theory,Mathematical Physics,Quantum Algebra
The Braided Monoidal Structures on A Class of Linear Gr-Categories

Hua-Lin Huang,Gongxiang Liu,Yu Ye

DOI: https://doi.org/10.1007/s10468-013-9445-8

2013-01-01

Algebras and Representation Theory

Abstract:A linear Gr-category is a category of finite-dimensional vector spaces graded by a finite group together with the natural tensor product. We classify the braided monoidal structures of a class of linear Gr-categories via explicit computations of the normalized 3-cocycles and the quasi-bicharacters of finite abelian groups which are direct product of two cyclic groups.
Centers of Braided Tensor Categories

Zhimin Liu,Shenglin Zhu

DOI: https://doi.org/10.1016/j.jalgebra.2022.09.012

IF: 0.908

2023-01-01

Journal of Algebra

Abstract:Let C be a finite braided multitensor category. Then the end B = fX is an element of C X circle times X* is natural a Hopf algebra in C. We show that the Drinfeld center of C is isomorphic to the category of left B- comodules in C, and the decomposition of B into a direct sum of indecomposable C-subcoalgebras leads to a decomposition of B-Comod C into a direct sum of indecomposable C-module subcategories.As an application, we present an explicit characterization of the structure of irreducible Yetter-Drinfeld modules over semisimple and cosemisimple quasi-triangular weak Hopf algebras. Our results generalize those results on finite groups and on quasi-triangular Hopf algebras.(c) 2022 Elsevier Inc. All rights reserved.

On braided and ribbon unitary fusion categories

A complete classification of unitary fusion categories tensor generated by an object of dimension $\frac{1 + \sqrt{5}}{2}$

On Low-Rank Multiplicity-Free Fusion Categories

On a class of fusion 2-category symmetry: condensation completion of braided fusion category

Braided multiplicative unitaries as regular objects

Infinitesimal braidings and pre-Cartier bialgebras

Symplectic level-rank duality via tensor categories

Nondegenerate extensions of near-group braided fusion categories

Fusion categories via string diagrams

Rigid and Separable Algebras in Fusion 2-Categories

Pseudo-unitary non-self-dual fusion categories of rank 4

Near-integral fusion

Braids, twists, trace and duality in combinatory algebras

The Classification of Fusion 2-Categories

Local Modules in Braided Monoidal 2-Categories

Braided $\mathbb{Z}_q$-extensions of pointed fusion categories

Unit inclusion in a non-semisimple braided tensor category and non-compact relative TQFTs

Braiding on complex oriented Soergel bimodules

Fiber 2-Functors and Tambara-Yamagami Fusion 2-Categories

The Braided Monoidal Structures on A Class of Linear Gr-Categories

Centers of Braided Tensor Categories