The subfactors tag has no usage guidance.

**3**

votes

**1**answer

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

**12**

votes

**0**answers

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

**12**

votes

**0**answers

255 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

57 views

### Is the domain of an operator valued weight closed under Hahn-Jordan decomposition?

Let $N\subseteq M$ be an inclusion of semi-finite factors with normal faithful semi-finite traces $\operatorname{Tr}_N$ and $\operatorname{Tr}_M$ respectively. Let $T: M^+\to \widehat{N^+}$ be the ...

**8**

votes

**0**answers

272 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

580 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

295 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

125 views

### An alternative Cauchy theorem on Hopf algebras

Let $\mathbb{A}$ be a finite dimensional Hopf ${\rm C}^{\star}$-algebra.
There already exists a generalization of Cauchy theorem using exponent, see here.
We are interesting in an alternative ...

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

117 views

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

Is every integer index finite depth irreducible subfactors planar algebra, the intermediate of an irreducible finite index depth $2$ subfactors planar algebra?
In other words, of the following form (...

**5**

votes

**0**answers

228 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

135 views

### Is there an integral simple fusion ring rank<6, FPdim>60 and Frobenius type?

A fusion ring is a finite dimensional complex space
$\mathbb{C}\mathcal{B}$ together with a distinguished basis
$\mathcal{B} = \{ h_1,...,h_r\}$ and fusion rules $ h_i \cdot h_j =
\sum_k n_{ij}^kh_k $...

**4**

votes

**0**answers

99 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

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

**4**

votes

**0**answers

213 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

196 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}, ..., d_{r}...

**4**

votes

**0**answers

118 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

97 views

### Is the Nichols-Richmond theorem true for integral fusion rings?

The Nichols-Richmond theorem is a result on cosemisimple Hopf algebras, proved in their paper.
It was restated for integral fusion categories by Dong-Natale-Vendramin (Theorem 3.4 here):
Theorem: ...

**3**

votes

**0**answers

279 views

### Is there a non-trivial Hopf algebra without left coideal subalgebra?

Let $H$ be a Hopf algebra over an algebraically
closed field $\mathbb{K}$ of characteristic $0$.
A subalgebra $I$ of $H$ is called a left coideal subalgebra if $\Delta(I) \subset H \otimes I$.
$H$ is ...

**3**

votes

**0**answers

174 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 $e_{...

**3**

votes

**0**answers

275 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

163 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 d(...

**3**

votes

**0**answers

192 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

108 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

167 views

### Is there an integral simple fusion ring of multiplicity one and Frobenius type? (obvious excepted)

To avoid any confusion, we rewrite the basic definitions for a fusion ring (already written in this post).
A fusion ring is a finite dimensional complex space
$\mathbb{C}\mathcal{B}$ together ...

**2**

votes

**0**answers

70 views

### On finite index infinite depth subfactors and reduction to depth 2

Let $(N \subset M)$ be a finite index irreducible subfactor (with $N$ and $M$, ${\rm II}_1$ factors).
Let $N \subset M \subset M_1 \subset M_2 \subset \cdots$ be the tower of basic constructions.
...

**2**

votes

**0**answers

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

**2**

votes

**0**answers

93 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

107 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

160 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

145 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 II$...

**2**

votes

**0**answers

185 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

137 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 :
$$M=\bigoplus_{...

**2**

votes

**0**answers

124 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 $SU(2)$....

**1**

vote

**0**answers

110 views

### On self-dual group-subgroup subfactors

Let $(N \subset M)$ be a finite index inclusion of ${\rm II}_1$ factors, and $N \subset M \subset M_1$ the basic construction.
The subfactor $(N \subset M)$ is called self-dual if it is isomorphic to ...

**1**

vote

**0**answers

63 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

45 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 graph with a multiplicity $2$ edge because the group $S_3$ admits an irreducible complex representation of dimension $...

**1**

vote

**0**answers

98 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 $N$...

**1**

vote

**0**answers

75 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

34 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

60 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

140 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

229 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

191 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

213 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

120 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

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