The fusion-categories tag has no usage guidance.

**3**

votes

**0**answers

53 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 ...

**4**

votes

**1**answer

55 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

66 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

86 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 ...

**1**

vote

**1**answer

97 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

154 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

114 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. ...

**8**

votes

**1**answer

162 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

188 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 \...

**4**

votes

**1**answer

230 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 ...

**5**

votes

**1**answer

136 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 ...

**3**

votes

**1**answer

146 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

552 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 ...

**5**

votes

**1**answer

131 views

### 6j symbols of SU(4) at level 4

Does anybody know of a reference that gives the (quantum) 6j symbols of SU(4) at level 4?
Alternatively, I know the S-matrix and the fusion rules, in the form
$a \times b = \sum_i N^{ab}_{c_i} c_i$
...

**7**

votes

**1**answer

257 views

### Conditions on the fusion data of symmetric fusion category

We know that every symmetric fusion category (SFC) gives rise to data
$N^{ij}_k$ that describe the fusion of simple objects:
$i\times j = N^{ij}_k k$, and the data $\theta_i =\pm 1$ that describe the ...

**6**

votes

**0**answers

124 views

### An alternative Cauchy theorem on Hopf algebras

Let $\mathbb{A}$ be a finite dimensional Hopf ${\rm C}^{\star}$-algebra.
There already exists a generalization of Cauchy theorem using exponent, see here.
We are interesting in an alternative ...

**4**

votes

**0**answers

57 views

### Are there any dominant pivotal functors such that the regular representation is not mapped onto a multiple of the regular representation?

This question is related to Pivotal functors of that are substantially different from finite group homomorphisms.
A tensor functor $F: \mathcal{C} \to \mathcal{D}$ is called dominant (sometimes ...

**2**

votes

**0**answers

73 views

### Involution of unital based ring (Grothendieck ring of a fusion category)

Let $A$ be a unital based ring in the sense of [Ostrik, arXiv:math/0111139]. As part of the data we have a base $B = \{b_i\}_{i\in I}$, and an involution $i \mapsto \bar i$ of $I$ whose induced map $\...

**6**

votes

**1**answer

221 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 $...

**10**

votes

**2**answers

188 views

### Symmetries of module categories over the category of representations of quantum $sl(2)$

The category $\mathcal{C}_l$ of tilting modules of the quantum group $U_q(sl_2)$ quotiented out by the modules of zero quantum dimension has a natural structure as a semisimple monoidal category when ...

**0**

votes

**0**answers

37 views

### Is there a non-solvable integral fusion category of square-free dimension?

A finite group of square-free order is solvable (see here).
You can find the definition for a solvable fusion category in this paper.
Question: Is there a non-solvable integral fusion category of ...

**4**

votes

**0**answers

98 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 any $1$-dimensional complex representation of $G$ is trivial.
proof: First if $...

**2**

votes

**0**answers

57 views

### Noncommutative fusion categories

Although noncommutativeness is almost a defining trait for fusion categories, offhand I recall only the extended Haagerup N-N (rank 8). It's a two minute computation to find that even a based ring ...

**1**

vote

**0**answers

98 views

### On the correspondence sub-N-N-bimodules and 2-box projections

Let $(N \subset M)$ be a finite index irreducible subfactor, and $P = P(N \subset M)$ its planar algebra.
We can see $M$ as an algebraic $N$-$N$-bimodule, it decomposes into irreducible algebraic $N$...

**4**

votes

**1**answer

182 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 ...

**1**

vote

**0**answers

74 views

### Automorphisms of Grothendieck rings coming from fusion categories

The Grothendieck ring $\mathcal K_0(\mathcal C)$ of a fusion category $\mathcal C$ is a unital based ring in the sense of math/0111139v1 with basis $B$ and involution $*$. Basis elements correspond to ...

**6**

votes

**1**answer

109 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 ...

**5**

votes

**1**answer

264 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

148 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}$.
...

**2**

votes

**2**answers

350 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

170 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 $...

**1**

vote

**0**answers

76 views

### Weakly group theoretical fusion category and subsystems

Let $\mathcal{C}$ be a fusion category and $H$ a semi-simple finite weak Hopf algebra such that $\mathcal{C}(H) = \mathcal{C}$.
Suppose that for every nontrivial left coideal subalgebras $S$ of $H$ or ...

**4**

votes

**0**answers

64 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 ...

**2**

votes

**0**answers

56 views

### “Prime” fusion rings

Surely this concept is known! (But I don't recall seeing it - maybe under another name? But "prime" is the obvious name choice.)
Example. Open the Gepner/Kapustin paper at http://arxiv.org/abs/hep-th/...

**3**

votes

**0**answers

278 views

### Is there a non-trivial Hopf algebra without left coideal subalgebra?

Let $H$ be a Hopf algebra over an algebraically
closed field $\mathbb{K}$ of characteristic $0$.
A subalgebra $I$ of $H$ is called a left coideal subalgebra if $\Delta(I) \subset H \otimes I$.
$H$ is ...

**2**

votes

**1**answer

122 views

### Is there a tangle encoding the fusion rules?

Let $(N \subset M)$ be an irreducible finite index depth $n$ subfactor. Let $P = P(N \subset M)$ its planar algebra.
Let $(B_i)$ be the finite sequence of $N$-$N$-bimodules appearing in the principal ...

**2**

votes

**1**answer

159 views

### “Generators” for fusion rings

It's a rather obvious idea in the area of fusion rings, but I haven't found a
reference yet. Start with the usual rules for a rank n fusion ring
$X_i\bigotimes{X_j}=\Sigma_k{T_{ij}}^kX_k$
and ...

**5**

votes

**1**answer

708 views

### Image, kernel, quotient and first isomorphism theorem, in a category of monoid objects

Let $\mathcal{C}$ be a monoidal category and Mon$_{\mathcal{C}}$ the category of monoids (also called algebra objects) on $\mathcal{C}$.
Questions: are there definitions of image and kernel for a ...

**10**

votes

**1**answer

331 views

### A linear category with objects of infinite length but which is otherwise finite?

Fix a ground field $k$. By a linear category I will mean an Abelian category which is compatibly enriched over $k$-vector spaces. A linear category is called finite if it satisfies the following four ...

**1**

vote

**0**answers

108 views

### Classification properties of fusion rings

Fusion rings have so many classification properties (I checked the literature a bit) that my head hurts. For practical reasons I define the following three new properties (which might coincide with ...

**2**

votes

**1**answer

105 views

### No basis change in a fusion ring allowed?

Consider the Fibonacci category F: $A\bigotimes{A}=E\bigoplus{A}$.
A study by Study (SCNR :-) already 1890 listed all unital associative algebras (with rank<=4).
(http://en.wikipedia.org/wiki/...

**2**

votes

**0**answers

183 views

### The convolution on a semisimple finite quantum groupoid

Let $\mathbb{A}$ be a finite dim. weak Hopf $C^*$-algebra (or semisimple finite quantum groupoid) and $\hat{\mathbb{A}}$ its dual.
Let the Fourier transform $\mathcal{F}: \mathbb{A} \to \hat{\mathbb{...

**7**

votes

**1**answer

143 views

### Does an equivalence of fusion categories depend on choice of simple objects within isomorphism classes?

Let $C$ be a fusion category with simple objects $X_1,...,X_n $, and let $Y_1,...,Y_n$ be objects with each $Y_i$ isomorphic to $X_i$. Is there a monoidal auto-equivalence $F:C \rightarrow C $ which ...

**3**

votes

**1**answer

89 views

### Pivotal functors of that are substantially different from finite group homomorphisms

Fusion categories can be seen as generalisations of the representation category of finite groups. I'm interested in spherical fusion categories. I'm trying to find "interesting" functors from a ...

**1**

vote

**3**answers

414 views

### What's the relation between fusion and coproduct?

For an irreducible finite depth finite index subfactor $(N \subset M)$, there is a structure of fusion category given by the even part of its principal graph. The simple objects $(X_i)_{i \in I}$ of ...

**2**

votes

**0**answers

153 views

### Are there workable numerical approaches for the pentagon equation?

Warning: this post is the "numerical" analog of
Are there workable algebraic geometry approaches for the pentagon equation?
I've replaced "algebraic geometry" by "numerical" in its content,
...

**8**

votes

**1**answer

711 views

### Are there workable algebraic geometry approaches for the pentagon equation?

A pentagon equation is a system of polynomial equations of degree $3$ with several variables and integer coefficients, given by a fusion ring.
A fusion ring is given by a finite set of integer ...

**7**

votes

**2**answers

276 views

### How weird can Modular Tensor Categories be over non-algebraically closed fields?

I am trying to understand better the behaviour and character of modular tensor categories over non-algebraically closed fields. How weird can they be?
The reason I am interested in this is that my ...

**9**

votes

**1**answer

237 views

### Is every separable algebra in a modular tensor category Morita equivalent to a commutative one?

Separable algebras in modular tensor categories are interesting algebraic structures, which have received significant attention because of their connection to conformal field theories. My ...

**5**

votes

**1**answer

251 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 ...