Questions tagged [fusion-categories]
The fusion-categories tag has no usage guidance.
166
questions
6
votes
1
answer
347
views
Is there a strongly noncommutative fusion category?
A fusion category is called noncommutative if its Grothendieck ring is noncommutative. Let us call a fusion category strongly noncommutative if every fusion category Morita equivalent to it (i.e. same ...
6
votes
1
answer
388
views
Local fusion categories
A local fusion category ${\cal R}$ is a unitary fusion category equipped with a top-faithful surjective monoidal functor to the fusion category of vector spaces: $\beta: {\cal R} \to {\cal V}ec$. Here,...
6
votes
1
answer
443
views
When modular tensor categories are equivalent?
I asked this question at math stack exchange math stack exchange but I haven't got any answer yet there.
I would like to know when we say that two modular tensor categories are equivalent.
Is it ...
6
votes
1
answer
325
views
A property forcing the Frobenius-Schur indicator to be positive
Let $G$ be a finite group. Two irreducible complex representations $V,V'$ of $G$ are called dual to each other if $V \otimes V'$ admits a trivial component, i.e. $\hom_G(V \otimes V',V_0)$ is positive ...
6
votes
1
answer
662
views
De-equivariantization by Rep(G)
I'm trying to understand Proposition 2.9 of this paper on weakly group theoretical fusion categories.
First of all I have a problem with understanding the settings for de-equivariantization process. ...
6
votes
1
answer
348
views
Open questions on (finite) tensor categories
I would like to know about problems on (finite) tensor categories. I have read Etingof´s notes from his course at MIT. I have a question:
There exists any reference where I can find an open problem ...
6
votes
1
answer
329
views
Is there a quotient or exact sequence of symmetric, premodular (ribbon fusion) and modular categories?
In Walker and Wang's article about (3+1)-TQFTs from premodular categories, they say on page 14 that you can take a quotient of a premodular category $\mathcal{C}$ by its symmetric fusion subcategory $...
6
votes
1
answer
354
views
What is the exact meaning of "fusion" in the terminology “fusion category”?
I want to translate the terminology “fusion category” into Chinese, so I should know the exact meaning of "fusion". There are two translations in Oxford Advanced Learner’s Dictionary:
1.the process ...
6
votes
1
answer
202
views
For what $G$ is $Rep(D(S_3))_{ad}$ Grothendieck equivalent to $Rep(G)$?
Given a fusion category $\mathcal C$, the Grothendieck Ring $K_0(\mathcal C)$ is the $\mathbb Z$-based ring whose basis elements correspond to isomorphism classes of simple objects and whose ...
6
votes
1
answer
240
views
How to calculate the principal graphs of a fusion ring with a given simple object?
My understanding is that the principal graphs are a pair of undirected bipartite graphs, $\Gamma_+,\Gamma_-$. They can be calculated from a fusion ring with a given simple object $X$. How to calculate ...
6
votes
1
answer
203
views
Non-trivial factor splitting from vacuum in TQFTs. F-move not unity?
Consider a unitary modular TQFT, defined by the F and R moves. More specifically, a braided tensor category relevant for anyon models in 2D topologically ordered phases of matter. I am interested in ...
6
votes
1
answer
512
views
What is Out(G-mod) for a finite group G?
Following the notation of Etingof-Nikshych-Ostrik what is Out(G-mod) for a finite group G?
That is what are all bimodule cateogries over the fusion category G-mod of complex G-modules which have the ...
6
votes
1
answer
398
views
Connes Embedding Conjecture and Fusion Categories
I was recently introduced to Connes' Embedding Conjecture (CEC) which states:
Every separable type $II_{1}$ factor is embeddable into $R^{\omega}$. Where $\omega$ is a generic free ultrafilter on $\...
6
votes
1
answer
239
views
Software for working with fusion categories
One way to describe fusion categories is via a fusion system: several lists of numbers that define the fusion ring, associator, braiding (if it exists), etc. Often, these sets of numbers are quite big,...
6
votes
0
answers
188
views
Does a fusion ring with F and R-symbols uniquely determine a braided tensor category?
Background : In mathematical physics, 'anyons' in (2+1) dimensional systems are described by braided tensor categories. The anyon types correspond to the irreducible objects of the category. From such ...
6
votes
0
answers
138
views
What about Hopf algebra and fusion structures for intertwiner algebras?
Let $G$ be a complex, reductive group and let $V_1, \dotsc, V_r$ be a collection of finite dimensional, irreducible complex
representations of $G$. Let $\mathcal{A} = \mathrm{End}_G(V_1 \otimes \dotsb ...
6
votes
0
answers
259
views
Is there an integral simple fusion ring rank<6, FPdim>60 and Frobenius type?
A fusion ring is a finite dimensional $\mathbb{Z}$-module
$\mathbb{Z}\mathcal{B}$ together with a distinguished basis
$\mathcal{B} = \{ h_1,...,h_r\}$ and fusion rules $ h_i \cdot h_j =
\sum_k n_{ij}^...
6
votes
0
answers
237
views
Existence of a Kac algebra for a given fusion ring in a particular class
A $n$-dimensional Kac algebra (i.e., a Hopf C*-algebra), admits finitely many irreducible representations, whose cardinal $r$ is called its rank, the increasing sequence $(d_{1},d_{2},d_{3}, ..., d_{r}...
6
votes
0
answers
129
views
Do purification and equivariantization commute?
Suppose that we have an action of a group $G$ on a (quasi-)Hopf algebra $H$, so that we can construct $H\rtimes G$ as in Majid's Cross Products by Braided Groups and Bosonization. It is known that $...
5
votes
2
answers
1k
views
When is the endofunctor category of a monoidal category braided? When is it ribbon? Fusion? Modular?
Given a category $\mathcal{C}$, we can define the category of endofunctors $\operatorname{Cat}(\mathcal{C})$, with objects functors $F: \mathcal{C} \to \mathcal{C}$ and morphisms natural ...
5
votes
1
answer
250
views
Are there irreducible multi-fusion categories that are not fusion categories?
Multi-fusion categories are a generalization of fusion categories with a non-simple unit. The direct sum of two multi-fusion categories is again a multi-fusion category. By irreducible I mean that a ...
5
votes
1
answer
259
views
On the existence of a square root for a modular tensor category
The center $Z(\mathcal{C})$ of a spherical fusion category $\mathcal{C}$ (over $\mathbb{C}$) is a modular tensor category.
Question: What about the converse, i.e., can we characterize every modular ...
5
votes
2
answers
206
views
Are there better upper bounds on the rank of the commutant of a fusion module than the global dimension?
Suppose I have a fusion category $\mathcal{C}$ and an indecomposable module category $\mathcal{M}$ over it. The commutant $\mathcal{C}_\mathcal{M}^*$ is the category of module endofunctors, and gives ...
5
votes
1
answer
300
views
What is the smallest rank for a noncommutative fusion ring?
A fusion ring $\mathcal{F}$ (of rank $r$) is given by a finite set $B = \{b_1,b_2, \dots, b_r \}$ such that $b_i b_j = \sum_k n_{i,j}^k b_k$ with $n_{i,j}^k \in \mathbb{Z}_{\ge 0}$, satisfying ...
5
votes
1
answer
285
views
Does every enriched functor preserve tensors?
Let $\cal{P}$ be a $k$-linear semisimple abelian rigid monoidal category with finite dimensional (over $k$) Hom-spaces (for a field $k$).
By a tensored $\cal{P}$-category we mean a $\cal{P}$-category ...
5
votes
1
answer
247
views
Modularity of the Drinfeld center of the category of G-graded vector spaces
Background: Let $G$ be a finite group, and $\mathrm{Vect}_G$ be the category of finite dimensional $G$-graded vector spaces over some algebraically closed field $k$ of char 0. It is well-known that $\...
5
votes
1
answer
321
views
Is there a nonabelian finite simple group with Grothendieck ring of multiplicity one?
Let $G$ be a finite group. It admits finitely many irreducible complex representations $H_1, \dots, H_r$ which generate, for $\oplus$ and $\otimes$, the Grothendieck ring $\mathcal{G}(G)$ of $G$ (also ...
5
votes
1
answer
122
views
Non-cyclotomic modular fusion categories
In a recent talk (see [1]) Richard Ng asks whether the invariants of 3-manifolds derived from any modular fusion category are cyclotomic integers. In tqft, such an invariant is computed from the F-...
5
votes
1
answer
296
views
Is every premodular category the *full* subcategory of a modular category?
In Müger's article "Conformal Field Theory and Doplicher-Roberts Reconstruction", he defines the "modular closure" of a braided monoidal category. So every braided monoidal category (and therefore ...
5
votes
1
answer
182
views
Fusion category and induction matrix to its Drinfeld center: combinatorial properties
This question is inspired by this paper of Scott Morrison and Kevin Walker.
Consider a fusion category $\mathcal{C}$ of rank $r$, and its Drinfeld center $Z(\mathcal{C})$ of rank $s$.
Let $N_i = (n_{...
5
votes
1
answer
230
views
What homomorphisms $G \to BrPic(\mathcal{C})$ correspond to group-theoretical $G$-extensions of $\mathcal{C}$?
For a fusion category $\mathcal{C}$ the Brauer-Picard group $\text{BrPic}(\mathcal{C})$ is the group of all invertible $\mathcal{C}$-bimodule categories under multplication $\boxtimes_\mathcal{C}$.
...
5
votes
0
answers
109
views
Fusion categories with $\mathrm{PSU}(2)_k$ fusion rules
Let $R_k$ be a fusion ring with $\mathrm{SU}(2)_k$ fusion rules (or equivalently $A_{k+1}$ fusion rules).
All fusion categories with such fusion rules have been classified by Frohlich and Kerler in ...
5
votes
0
answers
471
views
Watatani's theorem for tensor categories
We refer to [JS97] for the notion of subfactor. Yasuo Watatani proved the following result [W96, Theorem 2.2]:
Theorem: An irreducible finite index subfactor of a type $\mathrm{II}_1$ factor has ...
5
votes
0
answers
115
views
Unitary fusion category and subfactor
From a unitary fusion category $\mathcal{C}$, there are several ways to make a (hyperfinite II$_1$) subfactor.
By [Ha] there are weak Hopf algebras $H$ such that $\mathcal{C} = Rep(H)$. By unitarity (...
5
votes
0
answers
169
views
Strongly simple fusion categories: the known examples?
A fusion category is called simple if its fusion subcategories are just $Vec$ and itself. Let us call a fusion category strongly simple if every fusion category Morita equivalent to it (i.e. same ...
5
votes
0
answers
130
views
Can a braided fusion category have an order-2 Morita equivalence class which cannot be simultaneously connected and isomorphic to its opposite?
Let $\mathcal{B}$ be a braided fusion category over $\mathbb{C}$. Let me write $\mathrm{Alg}(\mathcal{B})$ for the set of isomorphism classes of unital associative algebra objects in $\mathcal{B}$, ...
5
votes
0
answers
344
views
Interpolated simple integral fusion categories of Lie type
$\DeclareMathOperator\PSL{PSL} \DeclareMathOperator\Rep{Rep}$The idea motivating this post is that there should exist a global understanding of the unitary fusion categories $\Rep(G(q))$, with $G(q)$ ...
5
votes
0
answers
311
views
A fusion ring identity
Fusion rings
I'll more or less stick to the presentation given in this question: [1]
We define a fusion ring as follows: consider a free $\mathbb{Z}$-module $\mathbb{Z}\mathcal{B}$ with finite basis ...
5
votes
0
answers
390
views
How does the relative Drinfeld center interact with the relative Deligne tensor product?
Let $\mathcal{C}$ be a fusion category, and $\mathcal{M}, \mathcal{N}$ semisimple $(\mathcal{C}, \mathcal{C})$-bimodule categories. The left $\mathcal{C}$-action is denoted as $- \triangleright - \...
5
votes
0
answers
198
views
Is there a perfect integral fusion category with PFdim = 2 mod 4?
A finite group $G$ is perfect if $G = G^{(1)} := \langle [G,G] \rangle$.
Proposition: A finite group $G$ is perfect iff every $1$-dimensional complex representation of $G$ is trivial.
proof: First if $...
5
votes
0
answers
120
views
Signs associated to self-dual simple objects in a fusion category
Every self-dual simple object $X$ in a fusion category can canonically be assigned a number $a$, from its "snake" associator element:
The square of $a$ equals Muger's "squared dimension" of $X$, an ...
4
votes
1
answer
661
views
Module categories over $Rep(G)$.
Related to this question I also had some troubles to understand the classification of module categories over $Rep(G)$. Specifically, on page 12 of Ostrik's paper what is the category $\mathrm{Rep}^1(\...
4
votes
1
answer
646
views
Finite groups G with Rep(G) Grothendieck equivalent to a modular category
We refer to Chapter 8 of the book Tensor Categories for notions related to modular tensor categories and J.P. Serre for the basic theory of linear representations of finite groups over $\mathbb C$.
...
4
votes
1
answer
245
views
Fusion categories: If infinity were an integer
Consider the following fusion categorie $F(i)$ with integer parameter $i$. Simple objects are $1,a,A,B$ (where $a$ and $A$ are conjugates). Nontrivial fusion rules are $a\bigotimes{a}=A$ (and ...
4
votes
2
answers
328
views
Relationship between fusion category and its Drinfel'd center
Is it true that given a fusion category $\mathcal{C}$ and its Drinfel'd center $Z(\mathcal{C})$, there is a fully faithful functor $F:\mathcal{C}\hookrightarrow Z(\mathcal{C})$? I.e. can $\mathcal{C}$ ...
4
votes
1
answer
266
views
Non-semisimple categorification problem of fusion rings
We refer to [1] for the notions used in this post.
The Grothendieck ring of a fusion category (over $\mathbb{C}$) is a fusion ring, but there are fusion rings which are not of this form (...
4
votes
2
answers
320
views
Can "premodular" be relaxed as a condition for uniqueness of Bruguieres/Mueger modularization?
Suppose that C is a ribbon monoidal category with dominant ribbon functors F_1: C->D_1 and F_2: C->D_2 such that D_1 and D_2 are modular tensor categories, does it follow that D_1 and D_2 are ...
4
votes
0
answers
217
views
Is the rank of an integral MTC an upper bound for the prime factors of its FPdim?
In this post, the abbreviation "MTC" and "FPdim" stand for "Modular Tensor Category" and "Frobenius-Perron dimension".
From [DLN, Theorem II (iii)], where the ...
4
votes
0
answers
296
views
Are there infinitely many simple integral fusion rings of rank $4$?
$\DeclareMathOperator\ch{ch}$$\DeclareMathOperator\FPdim{FPdim}$We refer to [EGNO15, Chapter 3] for the notion of fusion ring and basic results. The type of a fusion ring $R$ is the list $(\FPdim(b_i)...
4
votes
0
answers
175
views
Is there a strongly noncommutative Grothendieck ring?
This sequel of Is there a strongly noncommutative fusion category? is motivated to know whether every fusion category is "equivalent" (in some sense) to one with a commutative Grothendieck ...