2
votes
0answers
359 views

The link between the subfactors and the motives as enriched Galois theories?

On 29th March 2007, at the "École normale supérieure" of Paris, the mathematician Vaughan Jones, gave a conference (in French) entitled "Les sous-facteurs : une théorie de Galois enrichie" (see here), ...
1
vote
0answers
128 views

Existence of homogeneous single chain compositions of a given maximal subfactor?

All the subfactors here are irreducible inclusion of hyperfinite II$_1$ factors. A subfactor $(N \subset M)$ is Homogeneous Single Chain ($HSC$) if its lattice of intermediate subfactors is a ...
2
votes
0answers
212 views

Are the homogeneous single chain subfactors, Dedekind?

Background: See here and there. Recall that a subfactor is Dedekind if all its intermediate subfactors are normal. A subfactor $(N \subset M)$ is Homogeneous Single Chain (HSC) if its lattice ...
2
votes
0answers
92 views

A section from subfactors to transitive groups

A finite group-subgroup subfactor is a subfactor $(N \subset M)$ isomorphic to $(R^G \subset R^H)$ with $(H \subset G)$ an inclusion of finite groups acting as outer automorphism on the hyperfinite ...
1
vote
1answer
345 views

Abelian subfactors, a relevant concept?

Through the questions below, this post asks whether the concept of abelian subfactor is relevant. Remark : here abelian qualifies an inclusion of II$_1$ factors $(N \subset M)$, $N$ is not an abelian ...
4
votes
3answers
354 views

Jordan-Hölder theorem for subfactors?

All the subfactors $(N\subset M)$ are irreducible and finite index inclusions of II$_1$ factors. First recall that in this paper, D. Bisch characterizes the Jones projections $e_K$ of the ...
5
votes
1answer
173 views

Jordan-Hölder theorem for planar algebras?

First recall the Jordan-Hölder theorem for groups: Theorem (Jordan-Hölder): Let $G$ be a group, and let $$ G=G_1 \supset G_2 \supset \dots \supset G_r = \{ e \} $$ be a normal tower such that ...
2
votes
1answer
206 views

The category of subfactors extending the category of groups?

This post was inspired by this answer of Dave Penneys. In the category of (irreducible hyperfinite II$_1$) subfactors, the morphisms of $(N \subset M)$ to $(N' \subset M')$ are usually defined as ...
0
votes
2answers
175 views

Isomorphism theorem for subfactors?

It's about the existence of a generalization of the first isomorphism theorem for groups, for subfactors : Let $(N \subset M)$ and $(N' \subset M')$ be irreducible inclusions of hyperfinite $II_1$ ...
1
vote
0answers
180 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
0answers
120 views

Planar algebraic translation of a subfactor property

Let $N \subset M$ be an irreducible finite depth and finite index subfactor. $M$ is a completely reducible (algebraic) $N$-$N$ bimodule, it decomposes into irreducibles as follows : ...
1
vote
1answer
237 views

Are all the $R-R$ bimodules completely reducible?

Let $R$ be the hyperfinite $II_1$ factor and let $X$ be any $R-R$ bimodule. Question : Is $X$ completely reducible (i.e. a direct integral of irreducible $R-R$ bimodules) ? Example : Let $N ...
3
votes
1answer
118 views

Are every finitely generated planar algebras, also singly generated?

Let $\mathcal{P}$ be a finitely generated planar algebra. Question : Is it also singly generated ? I ask this question, because, on one hand I've read on this paper of V. Jones and D. Bisch : ...
4
votes
0answers
160 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
0answers
94 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
0answers
166 views

Is the fundamental group of a maximal subfactor always $\mathbb{R}_{+}^{*}$?

The fundamental group $\mathcal{F}(N \subset M)$ of an inclusion of $II_{1}$ factors $N \subset M$ is defined as : $\mathcal{F}(N \subset M) =\{t >0 \ | \ (N \subset M)^{t} \simeq (N \subset M) ...
3
votes
1answer
254 views

What's the natural equivalence of subfactors in general?

Let $A$ be a factor and $\mathcal{C}_{A}$ be the category of all the subfactors $(M \subset N)$ such that $M$ and $N$ are isomorphic to $A$. The most famous of them is perhaps $\mathcal{C}_{R}$ with ...
3
votes
0answers
89 views

Can you tell if a subfactor is finite depth by the growth rate of the standard invariant?

Let $N\subset M$ be a finite index inclusion of $II_1$ factors. To the inclusion we associate the tower of higher relative commutants $\begin{array}{ccccccc} \mathbb{C} = N'\cap N & \subset ...
2
votes
1answer
185 views

An upper bound for the maximal subgroups at fixed index?

Let us call a subgroup an injective homomorphism between groups. I warn the reader that a subgroup designates here an inclusion $(H \subset G)$, not $H$ alone. A subgroup $H \subset G$ is ...
10
votes
3answers
1k views

Is there a purely group-theoretic reformulation of an equivalence of subgroups?

There is an equivalence relation between inclusion of finite groups coming from the world of subfactors: Definition: $(H_{1} \subset G_{1}) \sim(H_{2} \subset G_{2})$ if $(R^{G_{1}} \subset ...
6
votes
2answers
274 views

Are subfactor planar algebras hard to classify at index 6?

Given a finite index inclusion, $N\subset M$, of $II_1$ factors we can construct two towers of finite dimensional algebras known as the $\textit{standard invariant}$. For low index, this has allowed ...
7
votes
3answers
235 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 ...
4
votes
0answers
98 views

Is there a maximal finite depth infinite index irreducible subfactor?

A subfactor $N \subset M $ is irreducible if $N' \cap M = \mathbb{C} $. It's maximal if it admits no non-trivial intermediate subfactors $N \subset P \subset M $. It's cyclic if its lattice of ...
2
votes
0answers
117 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 ...
7
votes
1answer
1k views

The cyclic subfactors theory: a quantum arithmetic?

Context: First recall some results: - Actions of finite groups on the hyperfinite type $II_{1}$ factor $R$ (Jones 1980). - A Galois correspondence for depth 2 irreducible subfactors ...
5
votes
1answer
100 views

Is there an infinite depth irreducible finite index maximal subfactor (other than Temperley Lieb) ?

A subfactor $N \subset M$ is maximal if it admits no non-trivial intermediate subfactors $N \subset P \subset M$. Is there an infinite depth irreducible finite index maximal subfactor (other than ...
9
votes
0answers
231 views

Are there only finitely many maximal subfactors of a fixed finite index ?

A subfactor $N \subset M $ is maximal if it admits no non-trivial intermediate subfactors $N \subset P \subset M $. Question: are there only finitely many maximal subfactors of a fixed finite ...
12
votes
0answers
497 views

Non-“weakly group theoretical” integral fusion categories?

Can you exclude integral fusion categories of global dimension 210, such that the simple objects have dimensions {1,5,5,5,6,7,7} and the following fusion matrices (I don't write the trivial one) ? ...
1
vote
0answers
184 views

Non-invariant subspaces for subfactors.

Let $\mathcal{M}$ be a II_1 factor. If $\mathcal{N}$ is a subfactor of $\mathcal{M}$ ($\mathcal{N} \neq \mathcal{M}$), does there always exist a projection in $\mathcal{M}$ such that $(I-P)AP \neq 0$ ...
4
votes
1answer
155 views

How well do we know relative commutants in $L(\mathbb{F}_\infty)$?

Let $H=K_1\oplus K_2$ be infinite dimensional Hilbert spaces. Voiculescu's free Gaussian functor gives us free group factors $L(H)$, $L(K_1)$, $L(K_2)$ acting on the full Fock space $\Gamma(H)$ and, ...
6
votes
1answer
268 views

von Neumann automorphisms: does convergence on a dense algebra imply $u$-convergence?

Let $M$ be a separable von Neumann algebra and let $A$ be a (von Neumann-)dense *-subalgebra. Suppose that $\alpha,\alpha_1,\alpha_2,\dots$ are automorphisms of $M$, such that for every $a \in A$, $$ ...
14
votes
1answer
334 views

Denseness of inner automorphisms inside automorphisms of hyperfinite type III_1 factor

Let $R$ be the hyperfinite type $III_1$ factor, and let $Aut(R)$ be its group of automorphisms, equipped with the $u$-topology (topology of pointwise convergence on the predual). An automorphism ...
12
votes
0answers
221 views

Subfactors of $L(F_{\infty})$

It is a well known result that any subfactor of the hyperfinite $II_{1}$ factor is hyperfinite. I wonder if there is any finite index version of this for free group factors. In particular is it true ...
5
votes
1answer
694 views

Subspaces of a Subfactor

Is the following true? Let $\mathcal N \subset \mathcal M$ be a subfactor. There is a bijective correspondence between the ultraweakly closed subspaces of $\mathcal M$ that are bimodules over ...
5
votes
1answer
373 views

Is there a trivial construction of the trace on the Jones basic construction?

Let $N$ be a type $II_{1}$-factor with trace $\tau$, and $B$ a von Neumann subalgebra. The existence of the semifinite trace on the Jones basic construction $\langle N, e_{B} \rangle$ is reasonably ...
5
votes
2answers
200 views

What is the subfactor planar algebra of type $\tilde{A}_n$, of index 4?

As I understand it, there is a subfactor whose principal graph is the affine Dynkin diagram $\tilde{A}_n$. Since every vertex has two neighbors, does that mean the space of 1-boxes is two dimensional? ...
4
votes
2answers
294 views

Invertibility of the planar algebra-subfactor correspondence

In Jones's paper "Planar Algebras I", Theorem 4.2.1 establishes that an extremal finite index subfactor admits a spherical C*-planar algebra structure, and Theorem 4.3.1 establishes that spherical ...
8
votes
4answers
355 views

Possible values of the index for subfactor inclusions coming from conformal nets

This question is related to Can the minimal index of a subfactor take all values in {4cos^2(pi/n);n=3,4,5,...} u [4,infinity]? I was wondering what one knows for the special case of conformal nets ...
13
votes
1answer
969 views

Endomorphism of type III factor: can it satisfy $\phi\circ\phi = \phi\oplus\phi$?

I'm still trying to get some feeling about this question... Given Jesse Peterson's answer to this question (he showed that $\phi\circ\phi\sim\phi$ is impossible), I suspect that the following is also ...
5
votes
1answer
511 views

Subfactor theory and Hilbert von Neumann Algebras

There seem to be intimate connections between the different definitions of von Neumann module. The two that I'm aware of are Hilbert von Neumann modules and correspondences (in the sense of Connes). I ...
7
votes
2answers
406 views

endomorphism of factor: can it be idempotent up to congugacy?

Let $M$ be a factor, and let $\phi:M\to M$ be an irreducible endomorphism ("irreducible" means that the relative commutant of $\phi(M)$ in $M$ is trivial). Let's also assume that $\phi$ is not ...
10
votes
3answers
721 views

Subfactor summer reading list

Many people I talk to lament the nonexistence of a coherent source for learning the theory of subfactors. Could someone suggest a nice (ordered) list of books/papers to work through to obtain a ...
6
votes
1answer
605 views

subfactor of finite rank but infinite index: is this possible?

A subfactor $N\subset M$ is essentially the same thing as an $N$-$M$-bimodule. I'll recall the basic definitions in the language of bimodules, and I hope that subfactor people will excuse me. ...
12
votes
3answers
469 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
397 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)$ ...
9
votes
1answer
321 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 ...
7
votes
2answers
267 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 ...
4
votes
2answers
617 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 ...
20
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
465 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} ...