Questions tagged [fusion-categories]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
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,...
Xiao-Gang Wen's user avatar
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&...
Sebastien Palcoux's user avatar
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)$ ...
Sebastien Palcoux's user avatar
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 ...
Sebastien Palcoux's user avatar
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$ ...
Meths's user avatar
  • 287
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 ...
Sebastien Palcoux's user avatar
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 ...
Sebastien Palcoux's user avatar
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 ...
Sebastien Palcoux's user avatar
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 \...
Sebastien Palcoux's user avatar
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 ...
Meths's user avatar
  • 287
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 ...
Sebastien Palcoux's user avatar
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) ...
Sebastien Palcoux's user avatar
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 ...
Sebastien Palcoux's user avatar
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 ...
Sebastien Palcoux's user avatar
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 = \...
Sebastien Palcoux's user avatar
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]. ...
Arthur's user avatar
  • 1,379
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 ...
Sebastien Palcoux's user avatar
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_{...
Sebastien Palcoux's user avatar
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 ...
Ying's user avatar
  • 437
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 ...
as2457's user avatar
  • 295
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 ...
Andi Bauer's user avatar
  • 2,901
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 ...
Andi Bauer's user avatar
  • 2,901
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 ...
Manuel Bärenz's user avatar
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 ...
Andi Bauer's user avatar
  • 2,901
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 ...
Manuel Bärenz's user avatar
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 - \...
Manuel Bärenz's user avatar
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 ...
kolaka's user avatar
  • 295
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-...
Manuel Bärenz's user avatar
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 ...
Manuel Bärenz's user avatar
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(...
Sebastien Palcoux's user avatar
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 ...
Mostafa's user avatar
  • 4,454
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 ...
Sebastien Palcoux's user avatar
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: ...
Sebastien Palcoux's user avatar
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 ...
Sebastien Palcoux's user avatar
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 ...
Jamie Vicary's user avatar
  • 2,433
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}^...
Sebastien Palcoux's user avatar
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 ...
user avatar
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 ...
César Galindo's user avatar
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 ...
Matthew Titsworth's user avatar
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 ...
Manuel Bärenz's user avatar
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 ...
iam_agf's user avatar
  • 203
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 ...
user avatar
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 ...
Sebastien Palcoux's user avatar
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. ...
Manuel Bärenz's user avatar
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 ...
Manuel Bärenz's user avatar
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 \...
AHusain's user avatar
  • 973
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 ...
F.R's user avatar
  • 63
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 ...
Xiao-Gang Wen's user avatar
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 ...
Alex Turzillo's user avatar
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 ...
Xiao-Gang Wen's user avatar