# Tagged Questions

**2**

votes

**0**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**3**answers

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

**1**answer

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

**1**answer

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

**2**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**3**answers

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

**2**answers

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

**3**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**2**answers

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

**2**answers

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

**4**answers

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

**1**answer

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

**1**answer

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

**2**answers

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

**3**answers

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

**1**answer

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

**3**answers

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

**1**answer

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

**1**answer

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

**2**answers

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

**2**answers

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

**5**answers

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

**0**answers

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} ...