Questions tagged [fusion-categories]
The fusion-categories tag has no usage guidance.
166
questions
6
votes
1
answer
387
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,...
3
votes
1
answer
246
views
Existence of twisted metaplectic categories
The paper Classification of metaplectic modular categories by Ardonne-Cheng-Rowell-Wang (2016) mentions (in Section 3) the Grothendieck ring for the metaplectic modular categories, i.e. $SO(N)_2$, $N&...
5
votes
0
answers
343
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)$ ...
2
votes
0
answers
155
views
Extension of a theorem of Bisch to cyclotomic integers of fixed degree
Theorem 3.2 in this paper (Bisch, 1994) states that for a finite depth ${\rm II}_1$ subfactor of integral index, every intermediate subfactor are also of integral index. As an application, every such ...
8
votes
1
answer
295
views
R-matrices and symmetric fusion categories
Given a $\mathbb{C}$-linear braided fusion category $\mathcal{C}$ containing a fusion rule of the form e.g.
\begin{equation}X\otimes Y\cong A\oplus B \oplus C\end{equation}
(where $A,B, C, X$ and $Y$ ...
1
vote
0
answers
67
views
Is an integral fusion category pseudo-unitary over a finite field?
Here are two propositions in the book Tensor Categories:
Proposition 9.5.1. A pseudo-unitary fusion category admits a unique
spherical structure.
Proposition 9.6.5. Let $\mathcal{C}$ be ...
9
votes
1
answer
273
views
Is there a fusion category not Grothendieck equivalent to a unitary one?
We refer to the book Tensor categories by Etingof-Gelaki-Nikshych-Ostrik (MR3242743) for the notion of (unitary) fusion category. Two fusion categories are Grothendieck equivalent if they have the ...
3
votes
0
answers
122
views
Extended cyclotomic criterion for unitary categorification
According to this paper (Corollary 8.54) the Frobenius-Perron dimension (FPdim) of any object $a$ of a fusion category over $\mathbb{C}$ is a cyclotomic integer. Now, FPdim($a$) is the maximal ...
2
votes
0
answers
102
views
The simple unitary fusion categories of multiplicity one
Here are two families of simple unitary fusion categories of multiplicity one:
$Vec(C_p)$ with $C_p$ the cyclic group of order $p$ (one or prime),
The even part of Temperley-Lieb $A_{2n}$ with $n \...
5
votes
0
answers
308
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 ...
2
votes
0
answers
63
views
Existence of a unitary fusion category with this relation ruled out on finite groups
In this answer, Geoff ruled out the existence of a finite group $G$ such that the fusion category $\mathrm{Rep}(G)$ has simple objects $5_1$ and $7_1$ of FPdim $5$ and $7$ resp., with (for some object ...
8
votes
1
answer
252
views
Existence of a finite group with a given decomposition for a tensor square of one irreducible complex representation
In this post, irrep and dim mean "irreducible complex representation" and "dimension", respectively.
It would be helpful (in a problem of monoidal category) to find a finite group $G$ with (at least) ...
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 ...
3
votes
3
answers
422
views
Is there a noncommutative simple fusion ring?
A fusion ring $\mathcal{F}$ 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 axioms slightly ...
7
votes
1
answer
550
views
Is there an integral fusion ring which is not of Frobenius type?
Combinatorially, a fusion ring $\mathcal{F}$ is nothing but a finite set $B=\{b_1, \dots, b_r\}$ (generating the $\mathbb{Z}$-module $\mathbb{Z} B$) together with fusion rules: $$ b_i \cdot b_j = \...
2
votes
0
answers
62
views
Semisimplicity of the tensor identity in a multifusion category over an arbitary field
For a multifusion category $ \mathcal{C} $ over an algebraically closed field it is known that $ \text{End}(\mathcal{1}) $ is a commutative semi-simple algebra. See, for example, Theorem 4.3.1 in [1]. ...
3
votes
0
answers
70
views
Is there a semisimple Hopf algebra Grothendieck equivalent to a strictly weak one?
By Corollary 2.22 in On fusion categories (by Pavel Etingof, Dmitri Nikshych and Viktor Ostrik) any fusion category is equivalent to the category of finite dimensional representations of a semisimple ...
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_{...
7
votes
0
answers
168
views
How to translate connection on four graphs to quantum 6j symbols
I need the explicit quantum 6j symbols for the Haagerup fusion category for a physics research project. This paper math/9803044 by Asaeda and Haagerup brute-force constructs the Haagerup subfactor, by ...
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 ...
5
votes
1
answer
245
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 ...
8
votes
2
answers
375
views
How do I calculate the modular fusion category from a given Lie algebra and level in Chern-Simons theory?
In Chern-Simons theory, one has modular fusion categories that are labelled by a Lie algebra and a "level", e.g. $SU(2)_2$ ("$SU(2)$ level $2$").
Physically this modular fusion category describes the ...
9
votes
2
answers
367
views
What is a true invariant of $G$-crossed braided fusion categories?
Definition. An invariant of a (spherical) fusion category with extra structure is a number or a set or tuple of numbers preserved under (appropriate) equivalences.
(Spherical) fusion categories have ...
10
votes
2
answers
665
views
What do "pivotal" and "spherical" mean for (unitary) fusion categories on the level of the $F$-symbols?
For me, a fusion category (over $\mathbb{C}$) is just a tensor $F$ (the associator, with $6$ simple-object labels and $4$ fusion space indices) and a tensor $d$ (the quantum dimensions, with one ...
12
votes
1
answer
519
views
Is there a "killing" lemma for G-crossed braided fusion categories?
Edit: I found a serious flaw in the question and my answer, and I had to change a lot. The basic question is still there, but the details are a lot different.
Premodular categories
In braided ...
4
votes
0
answers
387
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 - \...
8
votes
1
answer
551
views
Morita equivalent algebras in a fusion category
Let $\mathcal{C}$ be a braided $\mathbb{k}$-linear fusion category ($\mathbb{k}$ algebraically closed; if necessary to answer my question you can also assume $\mathcal{C}$ to be pivotal or even ...
8
votes
0
answers
648
views
What classifies involutive automorphisms on finite groups? What classifies involutions on finite based rings?
Groups
Let $G$ be a finite group. An involutive automorphism on $G$ is an automorphism $i\colon G \to G$ such that $i^2 = 1_G$.
Question 1. What classifies involutive automorphisms on a given (non-...
13
votes
1
answer
585
views
A cohomology theory for fusion categories
It is well known that for a finite group $G$, the associator of the fusion category of $G$-graded $k$-vector spaces is given by an element of $H^3(G,k^*)$, up to equivalence of categories. ($k^*$ is ...
7
votes
0
answers
137
views
Triviality of Semisimple Hopf Algebras of Cyclic Dimension
A cyclic number is a natural number $n$ such that any group of order $n$ is cyclic. A003277
Theorem (T. Szele, 1947): A number $n$ is cyclic if and only if it is coprime to its Euler totient $\varphi(...
5
votes
1
answer
284
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
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 ...
4
votes
0
answers
159
views
Is the Nichols-Richmond theorem true for integral fusion rings?
The Nichols-Richmond theorem is a result on cosemisimple Hopf algebras, proved in their paper.
It was restated for integral fusion categories by Dong-Natale-Vendramin (Theorem 3.4 here):
Theorem: ...
3
votes
0
answers
245
views
Is there an integral simple fusion ring of multiplicity one and Frobenius type? (obvious excepted)
To avoid any confusion, we rewrite the basic definitions for a fusion ring (already written in this post).
A fusion ring is a finite dimensional complex space
$\mathbb{C}\mathcal{B}$ together ...
3
votes
1
answer
590
views
Module categories for Fibonacci anyons
What are the module categories over the modular tensor category Fib of Fibonacci anyons?
By Ostrik's work, we know these module categories correspond to separable algebras in Fib. I do not believe ...
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}^...
3
votes
1
answer
245
views
representation of a group and its center
(I asked the following question at StackExchange but received no answer.)
Let $G$ be a finite group and let $Z(G)$ be its center. Let $C=\mathrm{Rep}(G)$ be the category of finite dimensional ...
3
votes
0
answers
130
views
Symmetries of modular categories coming from quantum groups
This is a request for references about the computation of the braided autoequivalences of fusion categories coming from a quantum group. I could not find even the description of braided ...
7
votes
1
answer
145
views
Fusion Classification of $U_q(sl_N)$ Categories
Frohlich and Kerler classify categories with $SU(2)_k$ fusion rules and Kazdhan-Wenzl expand this to $SU(N)_k$ categories. In both cases, unless I am missing something, the classification are ...
2
votes
1
answer
148
views
How nontrivial can "central extensions of ribbon fusion categories" be?
In a sense, this is a follow up on this question, but one PhD programme later.
Let $\mathcal{C}$ be ribbon fusion. By $\mathcal{C}'$, we denote the symmetric centre, i.e. the full subcategory of ...
2
votes
0
answers
220
views
Lluís Puig unpublished notes
I have been reading Linckelman Notes and the Broto-Levi-Oliver articles about fusion systems and they always make mention about the Lluís Puig notes that he gave years ago, so I'm asking if anyone has ...
6
votes
1
answer
439
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 ...
1
vote
1
answer
473
views
Mac Lane strictness theorem and categorifiability of fusion rings
The Mac Lane strictness theorem states that any monoidal category is monoidally equivalent to a strict monoidal category (see here section 2.8).
Q1: Is it true that any fusion category is monoidally ...
2
votes
1
answer
149
views
Modularisation on group representations with arbitrary braiding
Applying the modularisation/deequivariantisation procedure to the representation category $\operatorname{Rep}_G$ of a finite group $G$ with trivial braiding gives the fibre functor to vector spaces. ...
9
votes
1
answer
262
views
Is the modularisation of a unitary fusion category always unitary?
Suppose $\mathcal{C}$ is a unitary ribbon fusion category. Also assume that its symmetric centre has trivial twist and trivial pivotal structure, i.e. is tannakian. Thus, the Müger/Bruguières ...
8
votes
1
answer
397
views
Brauer-Picard for a fusion category coming from a quantum group
In Fusion Categories and Homotopy Theory, ENO attatch a 3-groupoid to a fusion category. In the case of A graded vector spaces they further compute it's truncation as an orthogonal group $O(A \...
6
votes
1
answer
347
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
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 ...
8
votes
1
answer
954
views
Twists, balances, and ribbons in pivotal braided tensor categories
Let $\mathcal{C}$ be a pivotal tensor category. Feel free to assume finiteness, semisimplicity, fusion, sphericality, unitarity or whatever makes things interesting. Which of the following structures ...
3
votes
2
answers
675
views
What are the necessary conditions for a real number to be a cyclotomic integers?
The motivation of the question is that I try to test when a real number is not an cyclotomic integers. Or more specifically, when a positive real number is not a quantum dimension of a unitary fusion ...