The tag has no usage guidance.

learn more… | top users | synonyms

12
votes
3answers
520 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 ...
12
votes
1answer
408 views

Can the minimal index of a subfactor take all values in {4cos^2(pi/n);n=3,4,5,…} u [4,infinity]?

Given a subfactor $N\to M$ and a conditional expectation $E:M\to N$, there is a numerical invariant $Ind(E)$ associated to to this situation, called the index of $E$. The possible values of $Ind(E)$ ...
5
votes
0answers
227 views

generators for Hecke algebra quotients

What are generators for the kernel of the (k,r)-quotient of the Hecke algebras of type A? Are just the two projections onto the reps. corresponding to Young digarams with 1-row of length r-k+1 and ...
9
votes
1answer
341 views

Do subgroups have “two sided bases”?

Let $H\leq G$ be an inclusion of finite groups. Define a map $E\colon \mathbb{C}[G]\to \mathbb{C}[H]$ to be the $\mathbb{C}$-linear extension of $$ E(g)=\begin{cases} g &\text{if } g\in H\\\ 0 ...
19
votes
7answers
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," ...
7
votes
2answers
283 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 ...
14
votes
7answers
1k views

ubiquity, importance of path algebras

I work in planar algebras and subfactors, where the idea of path algebras on a graph (alternately known as graph algebras, graph planar algebras, etc.) is quite useful. The particular result I'm ...
11
votes
6answers
908 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 ...
7
votes
2answers
646 views

How can I prove that a sequence of squares of graph norms is never cyclotomic?

The norm of a graph is the largest eigenvalue of the adjacency matrix. I'll write ||G|| for the norm of G. Now, fix some graph ...
13
votes
3answers
753 views

Categorifying the Reals via von Neumann Algebras?

So one way to categorify the natural numbers is to replace them with vector spaces. Then the dimension of the vector space reproduces the natural number. More generally you can categorify integers to ...
4
votes
2answers
646 views

Operator Valued Weights

One of the basic tools in subfactors is the conditional expectation. If $N\subset M$ is a $II_1$-subfactor (or an inclusion of finite factors), then there is a unique trace-preserving conditional ...
9
votes
3answers
1k views

Short Introduction to Planar Algebras

Are there any good short expositions of planar algebras out there? I am interested primarily in seeing the main definition and some explicit examples.
21
votes
5answers
1k views

Why are subfactors interesting?

I get asked this question a lot, and am not very happy with any of the answers. Vaguely I think of subfactor theory as a generalization of representation theory of groups. That is, if you have a ...
8
votes
0answers
546 views

Pimsner-Popa Bases

Let $N\subset M$ be a finite index $II_1$-subfactor. Let $B=\{b_i\}$ be a finite orthonormal (Pimsner-Popa) basis for $M$ over $N$. Let $d=[M\colon N]^{1/2}$. It is well known that $B_1=\{d b_{i_1} ...
7
votes
0answers
292 views

Is there a finite-index finite-depth II$_1$ subfactor which is more than $7$-super-transitive?

Background: See Noah and Emily's posts on subfactors and planar algebras on the Secret Blogging Seminar. There are plenty of examples of $3$-super-transitive (3-ST) subfactors; Haagerup, $S_4 < ...