The tag has no usage guidance.

learn more… | top users | synonyms

24
votes
1answer
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, ...
23
votes
4answers
1k 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) ...
22
votes
8answers
4k 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," ...
15
votes
1answer
924 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 & ...
13
votes
3answers
542 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 ...
13
votes
1answer
369 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 ...
12
votes
6answers
1k 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 ...
12
votes
0answers
516 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 ...
10
votes
1answer
328 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 ...
10
votes
2answers
185 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 ...
9
votes
2answers
301 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 ...
9
votes
1answer
236 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 ...
8
votes
1answer
205 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, ...
8
votes
1answer
178 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 ...
8
votes
1answer
160 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
1answer
702 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 ...
8
votes
3answers
312 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 ...
8
votes
2answers
342 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 ...
7
votes
2answers
275 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 ...
7
votes
1answer
175 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 ...
7
votes
1answer
142 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 ...
7
votes
1answer
282 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 ...
7
votes
1answer
251 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 ...
7
votes
1answer
255 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
1answer
212 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
1answer
380 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 ...
6
votes
0answers
123 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 ...
6
votes
0answers
90 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
1answer
698 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 ...
5
votes
1answer
248 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 ...
5
votes
2answers
146 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
1answer
168 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 ...
5
votes
1answer
135 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 ...
5
votes
1answer
106 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
1answer
263 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
1answer
127 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$ ...
5
votes
1answer
174 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
1answer
392 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 ...
5
votes
1answer
146 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}$. ...
4
votes
1answer
355 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. ...
4
votes
1answer
228 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 ...
4
votes
1answer
179 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
2answers
284 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
0answers
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 ...
4
votes
0answers
95 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 ...
4
votes
0answers
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 ...
4
votes
0answers
209 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
0answers
190 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}, ..., ...
3
votes
2answers
550 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 ...
3
votes
1answer
139 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 ...