The subfactors tag has no usage guidance.

**1**

vote

**0**answers

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

**5**

votes

**1**answer

167 views

### Connes Embedding Conjecture and Fusion Categories

I was recently introduced to Connes' Embedding Conjecture (CEC) which states:
Every separable type $II_{1}$ factor is embeddable into $R^{\omega}$. Where $\omega$ is a generic free ultrafilter on ...

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

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

**0**

votes

**1**answer

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

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

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

**5**

votes

**1**answer

151 views

### What's the relation between spin model for subfactors theory and physics?

In the sense of subfactor theory, a spin model is a commuting square of the form
$$\begin{matrix}
\Delta &\subset & M_n(\mathbb{C})\cr
\cup &\ &\cup\cr
\mathbb{C} &\subset ...

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

**1**answer

75 views

### Is the (hyperfinite) TLJ subfactor unique at fixed index (if it exists)?

Let $(N \subset M)$ be an inclusion of hyperfinite ${\rm II}_1$ factors, with the following principal graph (called TLJ)
Question: Is such a subfactor unique (up to ${\rm W}^*$-isomorphism) at fixed ...

**1**

vote

**1**answer

45 views

### Are the two-side TLJ subfactors maximal?

Let $(N \subset M)$ be an inclusion of ${\rm II}_1$ factors, with the following principal graph (called two-side TLJ)
Question: Is $(N \subset M)$ a maximal subfactor?

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

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

**0**

votes

**1**answer

49 views

### A short problem with minimal projections and biprojections

Let $(N \subset M)$ be a finite index irreducible subfactor, $P=P(N \subset M)$ its planar algebra.
Notation: For $a,b \in P_{2,+}$ positive operators, then $\langle a,b \rangle$ is the biprojection ...

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

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

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

**0**

votes

**1**answer

94 views

### Is there an irreducible subfactor with an infinite homogeneous single chain lattice?

We know that we can build an irreducible subfactor realizing a finite single chain lattice containing any finite index irreducible maximal subfactors, by using the free composition (see here).
Now ...

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

**2**

votes

**1**answer

75 views

### Can any finite lattice with at most six elements be realized as an intermediate subfactor lattice?

The paper Lattices of Intermediate Subfactors of Y. Watatani, received on December 1994, finishes by:
Prop. 6.2. $ \ $ Any finite lattice with at most five elements can be
realized as an ...

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

**2**

votes

**1**answer

154 views

### Has a subfactor with lattice $B_3$, a singly generated identity biprojection?

Let $(N \subset M)$ be an irreducible finite index subfactor.
If its lattice of intermediate subfactors is equivalent to $B_3$ (the lattice of divisors of $n=p_1p_2p_3$ square free):
...

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

**1**answer

109 views

### Is there a tangle encoding the fusion rules?

Let $(N \subset M)$ be an irreducible finite index depth $n$ subfactor. Let $P = P(N \subset M)$ its planar algebra.
Let $(B_i)$ be the finite sequence of $N$-$N$-bimodules appearing in the principal ...

**1**

vote

**1**answer

104 views

### Is there a Frobenius reciprocity for the coproduct?

Let $\mathcal{P}$ be an irreducible finite index-depth subfactor planar algebra. The $2$-boxes space $\mathcal{P}_{2,+}$ is equipped with the coproduct $(a,b) \mapsto a*b = ...

**1**

vote

**1**answer

112 views

### Is the coproduct of central operators, also central?

Let $\mathcal{P}$ be an irreducible finite index-depth subfactor planar algebra. The $2$-boxes space $\mathcal{P}_{2,+}$ is equipped with the coproduct $(a,b) \mapsto a*b = ...

**2**

votes

**1**answer

470 views

### Image, kernel, quotient and first isomorphism theorem, in a category of monoid objects

Let $\mathcal{C}$ be a monoidal category and Mon$_{\mathcal{C}}$ the category of monoids (also called algebra objects) on $\mathcal{C}$.
Questions: are there definitions of image and kernel for a ...

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

**3**

votes

**0**answers

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

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

**8**

votes

**2**answers

944 views

### Generalization of a theorem of Øystein Ore in group theory

Theorem (Øystein Ore, 1938): A finite group $G$ is cyclic iff its lattice of subgroups $\mathcal{L}(G)$ is distributive.
Proof: see below.
Let $(H \subset G)$ be an inclusion of finite groups and ...

**1**

vote

**3**answers

374 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

152 views

### The coproduct on the 2-boxes space of the group-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 ...

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

**1**

vote

**1**answer

163 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

191 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

247 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

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

**6**

votes

**1**answer

637 views

### Are there workable algebraic geometry approaches for the pentagon equation?

A pentagon equation is a system of polynomial equations of degree $3$ with several variables and integer coefficients, given by a fusion ring.
A fusion ring is given by a finite set of integer ...

**2**

votes

**0**answers

630 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

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

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

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

**1**answer

370 views

### A second isomorphism theorem for the inclusions of groups

The usual second isomorphism theorem for groups is: let $G$ be a group, $S$ and $N$ subgroups with $N$ normal, then $SN$ is a subgroup of $G$, $S\cap N$ is a normal subgroup of $S$ and $SN/N \simeq ...

**4**

votes

**1**answer

242 views

### Normal intermediate subgroup and normal core

Let $G$ be a finite group and $H$ a subgroup.
The normal core of $H$ in $G$ is $core_G(H) := \bigcap_{g \in G}g^{-1}Hg$
Definition: $K$ is a normal intermediate subgroup of the inclusion $(H ...

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

**0**

votes

**2**answers

149 views

### Products of maximal inclusions of finite groups with a non-obvious intermediate

Let $(H_1 \subset G_1)$ and $(H_2 \subset G_2)$ be core-free maximal inclusions of finite groups.
Their product, the inclusion $(H_1 \times H_2 \subset G_1 \times G_2)$, admits four obvious ...