# Tagged Questions

**0**

votes

**0**answers

149 views

### Is a finite depth-index irreducible subfactor, intermediate of a depth ≤ 3 one?

Let $(N \subset M)$ be a finite depth-index irreducible subfactor.
Main question: Is $(N \subset M)$ the intermediate of a finite index depth $\le 3$ irreducible subfactor?
(In others words, is ...

**1**

vote

**0**answers

68 views

### Are the integer index finite depth irreducible subfactors Kac-coideal?

Is it known whether or not the integer index finite depth irreducible subfactors (planar algebra) are Kac-coideal subfactors: $(R^{\mathbb{A}} \subset R^{\mathbb{I}})$, with $\mathbb{A}$ a finite ...

**3**

votes

**0**answers

146 views

### What are the first non-maximal non-group-subgroup simple irreducible subfactors?

Definition: For an irreducible (finite index) subfactor $(\mathcal{N} \subset \mathcal{M})$, an intermediate $(\mathcal{N} \subset \mathcal{P} \subset \mathcal{M})$
is normal if the biprojections ...

**2**

votes

**0**answers

91 views

### Uniqueness of the tensor product decomposition of subfactors

A subfactor $(N \subset M)$ is indecomposable if (for $N_i \subset M_i)$: $$(N \subset M) = (N_1 \otimes N_2 \subset M_1 \otimes M_2) \Rightarrow \exists i \ N_i = M_i$$
Then, a subfactor $(N ...

**1**

vote

**2**answers

185 views

### What's the relation between fusion and coproduct?

For an irreducible finite depth finite index subfactor $(N \subset M)$, there is a structure of fusion category given by the even part of its principal graph. The simple objects $(X_i)_{i \in I}$ of ...

**1**

vote

**1**answer

113 views

### The coproduct on the 2-boxes space of the goup-subgroup subfactor planar algebras

Let $(H \subset G)$ be an inclusion of finite groups.
Let the subfactor $(\mathcal{R} \rtimes H \subset \mathcal{R} \rtimes G)$ with $\mathcal{R}$ the hyperfinite ${\rm II}_1$ factor, and its planar ...

**1**

vote

**1**answer

137 views

### Infinite amenable group subfactors

Let amenable groups $\Gamma$ and $\Gamma'$. They act outerly of only one manner on the hyperfinite ${\rm II}_1$-factor $\mathcal{R}$.
Question: $(\mathcal{R} \subset \mathcal{R} \rtimes \Gamma) ...

**2**

votes

**1**answer

159 views

### ${\rm II}_1$-factors with finite commutant: $\mathcal{A} \cap \mathcal{B} = \mathbb{C} \Rightarrow \mathcal{A}' \cap \mathcal{B}'$ hyperfinite?

Let $\mathcal{A} , \mathcal{B} \subset B(H)$ be ${\rm II}_1$-factors such that $\mathcal{A}', \mathcal{B}' $ are also a ${\rm II}_1$-factors.
Question: $\mathcal{A} \cap \mathcal{B} = ...

**2**

votes

**2**answers

225 views

### ${\rm II}_1$-factors with finite commutant and trivial intersection generate $B(H)$?

Let $H$ be an $\infty$-dimensional separable Hilbert space and $B(H)$ the algebra of bounded operators.
Let $\mathcal{A}$, $\mathcal{B} \subset B(H)$ be ${\rm II}_1$-factors such that $\mathcal{A}'$, ...

**2**

votes

**0**answers

582 views

### The link between the subfactors and the motives as enriched Galois theories? [closed]

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

**1**answer

191 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

238 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

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

**2**

votes

**1**answer

421 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

417 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

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

**3**

votes

**1**answer

390 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

188 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

186 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

127 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 :
...

**2**

votes

**1**answer

263 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

125 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

168 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

102 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

170 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

262 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

96 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

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

**11**

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

287 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

272 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

104 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

118 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

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

**8**

votes

**0**answers

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

**11**

votes

**0**answers

660 views

### Non-“weakly group theoretical” integral fusion categories?

Is there an integral fusion category of global dimension $210$, such that the simple objects have dimensions $\{1,5,5,5,6,7,7\}$ and the following fusion matrices?
$\small{\begin{smallmatrix}
1 & ...

**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$ ...

**5**

votes

**1**answer

205 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

278 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

346 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

228 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

700 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

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

**6**

votes

**2**answers

205 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

296 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

362 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

973 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

524 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

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