The subfactors tag has no usage guidance.

**3**

votes

**1**answer

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

**0**

votes

**1**answer

168 views

### Chinese remainder theorem for cyclic subfactor planar algebras

This post was inspired by an exchange with the indian woman mathematician Ajit Iqbal Singh.
The chinese remainder theorem can be stated as follows:
Let $n_1, \dots, n_r \ge 2$ be positive integers ...

**12**

votes

**0**answers

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

**9**

votes

**0**answers

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

**8**

votes

**0**answers

265 views

### Are there only finitely many maximal irreducible amenable subfactors at 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 irreducible amenable subfactors at ...

**8**

votes

**0**answers

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

**0**answers

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

**6**

votes

**0**answers

127 views

### Is it true that there are exactly two conjugacy classes of order two elements in Out(R)?

In the title, $R$ stands for the hyperfinite III1 factor.
An order two element $\alpha\in Out(M)$ ($M$ any factor) has an invariant $c(\alpha)\in H^3(\mathbb Z/2,S^1)=\mathbb Z/2$.
Q: Is $c$ the ...

**5**

votes

**0**answers

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

**4**

votes

**0**answers

56 views

### Is there a perfect integral fusion category with PFdim = 2 mod 4?

A finite group $G$ is perfect if $G = G^{(1)} := \langle [G,G] \rangle$.
Proposition: A finite group $G$ is perfect iff any $1$-dimensional complex representation of $G$ is trivial.
proof: First if ...

**4**

votes

**0**answers

180 views

### An embedding theorem for a fusion ring planar algebra?

We first recall the embedding theorem for finite depth subfactor planar algebras:
The planar algebra generated by a (finite depth) subfactor, is embeddable into the planar algebra generated by its ...

**4**

votes

**0**answers

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

**4**

votes

**0**answers

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

**3**

votes

**0**answers

54 views

### Is there no extra intermediate subfactor for the basic construction?

Let $(N \subset M)$ be an inclusion of ${\rm II}_1$ factors, the basic construction is $N \subset M \subset M_1 = \langle M , e^M_N \rangle$.
Question: For any intermediate subfactor $N \subset P ...

**3**

votes

**0**answers

101 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

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

**3**

votes

**0**answers

264 views

### What's the ratio of inclusions of finite groups with a distributive lattice?

Definition: Two inclusions of finite groups are equivalent, $(A \subset B) \sim (C \subset D)$, if: $(A/A_B \subset B/A_B) \simeq (C/C_D \subset D/C_D)$ with $A_B$ the normal core of $A$ in $B$.
...

**3**

votes

**0**answers

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

**3**

votes

**0**answers

145 views

### Is an integral simple fusion ring, categorifiable?

A fusion ring $\mathcal{F}$ (see here p 28) is integral if the Perron-Frobenius dimension $d(h_i)$ of its basic elements $\{h_1,...,h_r\}$, are integers. Its rank is $r$ and its dimension is $\sum ...

**3**

votes

**0**answers

181 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

**0**answers

106 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

**0**answers

87 views

### A process generating series of new subfactors

Consider the following process:
Take a maximal finite depth-index irreducible subfactor planar algebra $P^{(1)} = P(A^{(0)} \subset A^{(1)})$.
Choose a composition with itself such that there is no ...

**2**

votes

**0**answers

213 views

### Is there a non-trivial maximal Hopf algebra?

Let $H$ be a Hopf algebra over an algebraically
closed field $\mathbb{K}$ of characteristic $0$.
Maximal means without left coideal subalgebra $I$ (i.e. $\Delta(I) \subset H \otimes I$) other than ...

**2**

votes

**0**answers

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

**2**

votes

**0**answers

140 views

### Are there workable numerical approaches for the pentagon equation?

Warning: this post is the "numerical" analog of
Are there workable algebraic geometry approaches for the pentagon equation?
I've replaced "algebraic geometry" by "numerical" in its content,
...

**2**

votes

**0**answers

141 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

**0**answers

178 views

### Existence of inclusions of finite groups with a particular lattice property

Definition : Let $\sim$ be the equivalence relation on inclusions of finite groups, generated by :
$(H \subset G) \sim (\phi(H) \subset \phi(G))$, with $ \phi: G \to L$ a finite group morphism and ...

**2**

votes

**0**answers

133 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

**0**answers

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

**1**

vote

**0**answers

54 views

### Can we build a subfactor planar algebra from one knot?

From one finite group $G$, we can build the subfactor $(R \subset R \rtimes G)$ which remembers the group.
Question: Can we build a subfactor planar algebra from one knot? which remembers the knot?
...

**1**

vote

**0**answers

94 views

### On the correspondence sub-N-N-bimodules and 2-box projections

Let $(N \subset M)$ be a finite index irreducible subfactor, and $P = P(N \subset M)$ its planar algebra.
We can see $M$ as an algebraic $N$-$N$-bimodule, it decomposes into irreducible algebraic ...

**1**

vote

**0**answers

60 views

### Examples of non-extremal subfactors

Every subfactor $(N \subset M)$ in this post are supposed to be finite index inclusion of ${\rm II}_1$ factors.
Definition (here p64): Such a subfactor is called extremal if $tr_{N'} = tr_M$ on ...

**1**

vote

**0**answers

55 views

### Are there infinitely many amenable Hadamard-Petrescu subfactors?

The complex Hadamard matrices of dimension $n$ are used to build index $n$ subfactors through the commuting square construction. For more details, see the paper Subfactors and Hadamard Matrices by ...

**1**

vote

**0**answers

32 views

### Skein theory: How axiomatizing a 2-box space?

Let $(A,+,\times, *)$ with an adjoint operation compatible with $+$, $\times$ and $*$, such that $(A,+,\times)$ and $(A,+,*)$ are finite dimensional ${\rm C}^{*}$-algebras.
What are the axioms on ...

**1**

vote

**0**answers

50 views

### Is every irreducible subfactor planar algebra a quotient of the planar algebra of tangles?

Let $\mathcal{T}_{n,\pm}$ be the vector space generated by the planar tangles (up to isomorphism) having $2n$ intervals on their "ouput'' disk and a white (or black) shaded marked interval. Then the ...

**1**

vote

**0**answers

131 views

### The planar algebra generated by the biprojections

Let $(N_1 \subset M_1)$ and $(N_2 \subset M_2)$ be two irreducible finite index subfactors.
Let $\mathcal{B}_i$ be the set of all the biprojections of $\mathcal{P}_{2+}(N_i \subset M_i)$.
Let ...

**1**

vote

**0**answers

212 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

187 views

### $\mathcal{L}(H_i \subset G_i)$ distributive $\Rightarrow$ $\mathcal{L}(H_1 \times H_2 \subset G_1 \times G_2)$ modular?

Let $\mathcal{L}( G)$ be the lattice of subgroups of $G$ and $\mathcal{L}(H \subset G)$ the lattice of intermediate subgroups.
Definitions: A lattice $(L, \wedge, \vee)$ is distributive if, ...

**1**

vote

**0**answers

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

**1**

vote

**0**answers

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

**1**

vote

**0**answers

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

**0**

votes

**0**answers

24 views

### Is 6 the smallest index for an irreducible subfactor to have a principal graph with a multiplicity >1 edge?

The irreducible subfactor $(R^{S_3} \subset R)$, of index $6$, admits a principal with a multiplicity $2$ edge because the group $S_3$ admits an irreducible complex representation of dimension $2$.
...

**0**

votes

**0**answers

25 views

### Is there a non-solvable integral fusion category of square-free dimension?

A finite group of square-free order is solvable (see here).
You can find the definition for a solvable fusion category in this paper.
Question: Is there a non-solvable integral fusion category of ...

**0**

votes

**0**answers

48 views

### A constraint on the indices of irreducible finite depth subfactors

Let $(A \subset B)$ and $(C \subset D)$ be two finite index finite depth irreducible subfactors.
Question: Is it true that $[B:A] \cdot [D:C]$ is an integer iff $[B:A]$ and $[D:C]$ are integers?
...

**0**

votes

**0**answers

58 views

### The completely reducible bimodules coming from subfactors

This post is a sequel of: Are all the R-R-bimodules completely reducible?
Question: For which (as general as possible) class of subfactors $(N \subset M)$, the bimodule $_NM_M$ is known completely ...

**0**

votes

**0**answers

78 views

### How to generalize multiplication and addition to cyclic subfactors?

Let $(N \subset M)$ be a finite index irreducible subfactor and $P=P(N \subset M)$ its subfactor planar algebra.
Definition: $(N \subset M)$ is cyclic if its lattice of intermediate subfactors ...