The fusion-categories tag has no wiki summary.

**2**

votes

**0**answers

137 views

### Is there a non-trivial minimal Hopf algebra?

Let $H$ be a Hopf algebra over an algebraically
closed field $\mathbb{K}$ of characteristic $0$.
Minimal means without left coideal subalgebra $I$ (i.e. $\Delta(I) \subset H \otimes I$) other than ...

**2**

votes

**1**answer

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

**1**

vote

**1**answer

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

**2**

votes

**1**answer

303 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

231 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

41 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

82 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).
...

**1**

vote

**0**answers

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

**7**

votes

**1**answer

96 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

67 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

288 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

129 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,
...

**6**

votes

**1**answer

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

**6**

votes

**2**answers

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

**8**

votes

**1**answer

152 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

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

**2**

votes

**0**answers

64 views

### Is the category of spherical fusion categories regular? (i.e. is image factorisation possible?)

Consider the category where objects are strict spherical fusion categories and morphisms are strict spherical functors (preserving cups and caps). I am wondering whether there is some kind of image ...

**1**

vote

**0**answers

189 views

### Fusion categories with permutation “associativity matrices”

Let $\mathcal{C}$ be a fusion category and let $(H_1,...,H_r)$ be its simple objects.
$\mathcal{C}$ is non-pointed if at least one of its simple object has Perron-Frobenius dimension $ \neq 1$.
...

**2**

votes

**0**answers

127 views

### Is an integral simple fusion ring, categorifiable?

A fusion ring $\mathcal{F}$ (see here p 28) is integral if the Perron-Frobenius dimension $d(h_i)$ of its basic elements $\{h_1,...,h_r\}$, are integers. Its rank is $r$ and its dimension is $\sum ...

**3**

votes

**1**answer

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

**7**

votes

**1**answer

149 views

### realizing fusion categories as subfactors of the hyperfinite

Let R be the hyperfinite II_1 or the hyperfinite III_1 factor (pick which ever one you prefer), and let Bim(R) denote the tensor category of R-R-bimodules.
This question is inspired by the recent ...

**4**

votes

**0**answers

169 views

### An embedding theorem for a fusion ring planar algebra?

We first recall the embedding theorem for finite depth subfactor planar algebras:
The planar algebra generated by a (finite depth) subfactor, is embeddable into the planar algebra generated by its ...

**4**

votes

**0**answers

169 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}, ..., ...

**1**

vote

**0**answers

105 views

### How simplify the pentagonal equation from two fusion rings?

A semi-simple finite dimensional Hopf algebra $\mathbb{A}$, and its dual $\mathbb{A}^{*}$ produce two fusion categories $\mathcal{C}$ and $\mathcal{C}^{*}$ and then two fusion rings $\mathcal{R}_{1}$ ...

**3**

votes

**0**answers

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

**7**

votes

**3**answers

283 views

### What are the intermediate subfactors of the tensor product of two maximal subfactors?

Let $(N_1 \subset M_1)$ and $(N_2 \subset M_2)$ be two maximal subfactors.
Their tensor product, the subfactor $(N_1 \otimes N_2 \subset M_1 \otimes M_2)$, admits four obvious intermediate ...

**2**

votes

**0**answers

118 views

### About the classification of infinite depth irreducible finite index maximal subfactors

The Temperley Lieb subfactors $A_{\infty}$ are the first examples of infinite depth irreducible finite index maximal subfactors. We can see these subfactors as coming from the simple Lie group ...

**12**

votes

**1**answer

770 views

### Non-“weakly group theoretical” integral fusion categories?

Is there an integral fusion category of global dimension $210$, such that the simple objects have dimensions $\{1,5,5,5,6,7,7\}$ and the following fusion matrices?
$\small{\begin{smallmatrix}
1 & ...

**9**

votes

**0**answers

267 views

### Unitary structures on fusion categories

A unitary fusion category is a fusion category with a $C^*$-tensor structure.
Hence, in principle, a fusion category could have more than one unitary structure. Does exist a fusion category with more ...

**6**

votes

**1**answer

355 views

### Fusion category and Hopf algebra

Let $H$ be a semisimple Hopf algebra over an algebraically closed field of characteristic zero. Further, let $K\subseteq H$ be a normal Hopf subalgebra. As we all know, $H$ then can be reconstructed ...

**5**

votes

**2**answers

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

**7**

votes

**1**answer

273 views

### If C is a fusion category over a field of nonzero characteristic and dim C = 0, is Z(C) ever fusion?

If $C$ is a fusion category and $\dim(C) \neq 0$ (the latter is automatic in characteristic zero, but not in nonzero characteristic), then the Drinfel'd center $Z(C)$ is fusion. More generally, if ...

**12**

votes

**1**answer

332 views

### Are there interesting semisimple algebras in non-semisimple categories?

Are there any interesting examples of semisimple algebras in nonsemisimple categories which don't "come from" a semisimple algebra in a semisimple category? That is, if you want to study semisimple ...

**7**

votes

**1**answer

180 views

### Is there a fusion category with an object which does not commute with its dual?

Does there exist a fusion category with an object $X$ such that $XX^*\ncong X^*X$ (where the isomorphism need not be natural in any way)?
Feel free to add adjectives such as pivotal, spherical, ...

**12**

votes

**3**answers

499 views

### Does every Frobenius algebra in a monoidal *-category give a Q-system?

Suppose that C is a fusion C*-cateogry and that A is an irreducible Frobenius algebra object in C, is there always a Frobenius algebra A' isomorphic to A such that A' is a Longo Q-system (that is the ...

**24**

votes

**1**answer

1k views

### Does the quantum subgroup of quantum su_2 called E_8 have anything at all to do with the Lie algebra E_8?

The ordinary McKay correspondence relates the subgroups of SU(2) to the affine ADE Dynkin diagrams. The correspondence is that the vertices correspond to irreducible representations of the subgroup, ...

**5**

votes

**1**answer

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

**4**

votes

**1**answer

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

**8**

votes

**2**answers

325 views

### Is there a source for a diagrammatic description of the induction functor C->Z(C)?

Suppose that C is a fusion category (over the complex numbers) and that Z(C) is its Drinfel'd center. By definition an object in Z(C) consists of an object V in C together with a collection of ...

**6**

votes

**1**answer

232 views

### Suppose C and D are Morita equivalent fusion categories, can you say anything about R I: C->Z(C)=Z(D)->D?

If C and D are (higher) Morita equivalent fusion categories, then the Drinfel'd centers Z(C) and Z(D) are braided equivalent. Given any fusion category C we have a restriction functor Z(C)->C (by ...

**4**

votes

**2**answers

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

**1**

vote

**1**answer

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

**17**

votes

**7**answers

3k views

### Why are fusion categories interesting?

In the same vein as Kate and Scott's questions, why are fusion categories interesting? I know that given a "suitably nice" fusion category (which probably means adding adjectives such as "unitary," ...

**7**

votes

**2**answers

276 views

### Is there a subfactor construction involving 2-groups?

I seem to recall that there is a straightforward subfactor construction that yields fusion categories given by G-graded vector spaces and representations of G, for finite groups G. Is there an ...

**20**

votes

**4**answers

975 views

### Are there two groups which are categorically Morita equivalent but only one of which is simple

Can you find two finite groups G and H such that their representation categories are Morita equivalent (which is to say that there's an invertible bimodule category over these two monoidal categories) ...

**11**

votes

**6**answers

836 views

### How do I describe a fusion category given a subfactor?

I felt like following up on Kate's question. There were some good motivational answers there.
Given a pair of factors M < N, there is a standard way to construct a 2-category whose objects are M ...