# Questions tagged [modular-tensor-categories]

The tag has no usage guidance.

52 questions
Filter by
Sorted by
Tagged with
110 views

### Vertex operator algebras and modular fusion categories

Let $\mathcal{V}$ be a vertex operator algebra (VOA), and let $\mathcal{C}=Rep(\mathcal{V})$ be the tensor category of (ususal) $\mathcal{V}$-modules. It is a well-known open-problem whether every ...
1 vote
62 views

### Different modular data with same T-matrix

Modular data (MD) is an invariant of a modular fusion category $\mathcal{C}$. It is a couple of symmetric matrices $S, T \in M_r(\mathbb{C})$ with: $r$ the rank of $\mathcal{C}$, $S$ invertible, $T$ ...
1 vote
123 views

### Relation between the modular categories SU(2)_n and Sp(n)_1

The online database  provides a list of some modular tensor categories classified by rank. Let us consider the two modular categories denoted kmA1_$\ell$ and kmC$\ell$_1 (i.e. Kac Moody $A_1$ level ...
68 views

### Does a factorization of a modular fusion category imply some "factorization" of TFTs?

Mueger showed in this paper that if $C$ is a modular fusion category and $D$ is a modular fusion subcategory of $C$, then $C$ is equivalent to $D \boxtimes M_C(D)$ as ribbon categories, where $M_C(D)$ ...
64 views

### Non-cyclotomic modular fusion categories

In a recent talk (see ) Richard Ng asks whether the invariants of 3-manifolds derived from any modular fusion category are cyclotomic integers. In tqft, such an invariant is computed from the F-...
2k views

### Sum of squares and divisibility

Consider an integer of the form $$N = 1 + \sum_{i=1}^r d_i^2$$ where $d_i \in \mathbb{N}_{\ge 3}$ and $d_i^2$ divides $N$. Question: Must $r$ be greater than or equal to $9$? Checking (with SageMath): ...
80 views

### Smallest modular tensor category with a multiplicity

I wrote a 6j-inator taking the multiplication table of a based ring and calculating the equations in the 6j symbols. I successfully tested it with a small example (of the paper "On Classification ...
114 views

### Bialgebras with rigid representation theory

Repost from math.SE since no answer after two months, but feel free to close if not appropriate: Everything is finite-dimensional over a field $k$. Let $B$ be a bialgebra with $B\text{-mod}$ its ...
106 views

### $e^{2\pi ic_{-}/8}$ and $e^{2\pi ic_{-}/24}$ in unitary modular category (UMC)

Background Unitary modular categories (UMC) do not capture the central charge $c_{-}$ of the topological quantum field theory (TQFT). However, there is a relation that fixes, $c_{-}\bmod 8$: \begin{...
97 views

### Categorical interpretation of the comodulus of a Hopf algebra?

Let $H$ be a finite-dimensional Hopf algebra. Then it has a right cointegral $\lambda \in H^*$ and a left integral $c \in H$, characterized uniquely (up to scalar) by \begin{align} (\lambda \...
536 views

### Is there a non-degenerate quadratic form on every finite abelian group?

Let $G$ be a finite abelian group. A quadratic form on $G$ is a map $q: G \to \mathbb{C}^*$ such that $q(g) = q(g^{-1})$ and the symmetric function $b(g,h):= \frac{q(gh)}{q(g)q(h)}$ is a bicharacter, ...
503 views

### Finite groups G with Rep(G) Grothendieck equivalent to a modular category

We refer to Chapter 8 of the book Tensor Categories for notions related to modular tensor categories and J.P. Serre for the basic theory of linear representations of finite groups over $\mathbb C$. ...
117 views

### Automorphisms of a modular tensor category

I would like to ask for references on automorphisms of a modular tensor category, that do not change the objects. Some special cases, such as automorphisms of a quantum double, are also helpful.
315 views

### Mapping class group of torus, why is $(ST)^3=S^2$?

In the context of topological quantum field theories, I am interested in the mapping class group of a torus. Here I can consider the torus as a square with identified edges and also decorated with ...
141 views

### Quantum dimension in the Drinfeld center

Let $\mathcal{C}$ be a spherical tensor category. It is known that the Drinfeld center of $\mathcal{C}$ is modular (and therefore also spherical), see for example, Corollary 8.20.14 in . Recall the ...
163 views

280 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 ...
248 views

### Modular tensor category associated to an even integral lattice and the lattice automorphism

Let $(L,\langle -,-\rangle)$ be an even integral lattice, and let $(A,q)$ be the associated discriminant form: $$A=L^*/L, \quad q(a)=e^{\pi i \langle a,a\rangle}.$$ We let $\hat L$ to be the ...
743 views

408 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 ...
442 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 ...
249 views

### Geometric Intuition of $P^+$ in Modular Tensor Categories

I'm currently reading through Bakalov and Kirillov's "Lectures on Tensor Categories and Modular Functors," and I am having some difficulty understanding the definition of $p^\pm$ given on page 49. ...
804 views

### Is the representation category of quantum groups at root of unity visibly unitary?

Let $\mathfrak g$ be a simple Lie algebra. By taking the specialization at $q^\ell=1$ of a certain integral version¹ of the quantum group $U_q(\mathfrak g)$, and by considering a certain quotient ...
635 views

### Is "being a modular category" a universal or categorical/algebraic property?

A semisimple braided category with duals is called modular when a certain matrix $S$ is invertible. The components $S_{AB}$ are indexed by (isomorphism classes of) simple objects of the category and ...
270 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 ...
785 views

### Example for non equivalent rational full CFTs with same modular invariant (partition function)

I am looking for a counter example which shows, that a full rational 2D CFT (with respect to a given chiral subtheory) is not characterized by its modular invariant partition function. People tell me ...
1k 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 ...
422 views

### Graphical calculus in braided G crossed fusion categories: Explanation request and a question

I am trying to understand the equivalence between the 2 category of braided G crossed categories and the 2 category of braided categories containing Rep(G) as a symmetric category. The references in ...
314 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 ...
Suppose we are in an abelian tensor category with duals, where all objects have finite length. Let $0 \to A \to B \to C \to 0$ be a short exact sequence and $Z$ an object of the category. Is 0 \to ...