The subfactors tag has no usage guidance.

**5**

votes

**1**answer

116 views

### Is there a subgroup of dual depth 3?

This post is motivated by an exchange with Zhengwei Liu. It is more than the dual version of this post, because we consider any subgroup (instead of just maximal), and even more at the end...
Let's ...

**6**

votes

**3**answers

293 views

### Is there a maximal subgroup of depth 3?

Let's first define what we mean by depth of a subgroup.
Let $G$ be a finite group and $H$ a subgroup. Let $(V_i)_{i \in I}$ and $(W_j)_{j \in J}$ be the irreducible complex representations of $G$ ...

**1**

vote

**0**answers

48 views

### why can index be larger either the trace goes smaller or larger in index $\ge 4$ case?

I am studying the index of subfactor and basic construction recently. Suppose $M=\mathcal{R}$ to be the infinite hyperfinite II1 factor. For projection $p\in \mathcal{R}$, $p\mathcal{R}p$ is also a ...

**2**

votes

**0**answers

79 views

### On the set of indices of irreducible depth 3 subfactors

Let $I_n$ be the set of indices of (finite index) irreducible depth $n$ subfactors. Then $I_2 = \mathbb{Z}_{>0}$.
Question 1: Is it true that $I_3$ has no accumulation point?
If so:
...

**28**

votes

**1**answer

1k views

### On a quantum Riemann Hypothesis

Robin's theorem (1984) states that
$$ \sigma(n) < e^\gamma n \log \log n$$
for all $n > 5040$ if and only if the Riemann hypothesis is true.
Recall that $γ$ is the Euler–Mascheroni ...

**5**

votes

**2**answers

161 views

### Are there examples of finite-dimensional weak Hopf C*-algebras with non-involutive antipode?

For finite-dimensional (non-weak) Hopf C*-algebras it is known that the antipode is always involutive, as claimed e.g. in https://arxiv.org/pdf/1007.5283.pdf. I couldn't find the same statement for ...

**4**

votes

**0**answers

94 views

### Index of a subfactor of a full $II_1$ factor

On pg. 151 of "Coxeter Graphs and Towers of Algebras" by F.M. Goodman, P. de la Harpe, and V.F.R. Jones (1989), it is stated that there is no known example of a full $II_1$ factor having a subfactor ...

**5**

votes

**0**answers

120 views

### Is the Euler characteristic of a subfactor planar algebra, nonzero?

Let $\mathcal{P}$ be an irreducible subfactor planar algebra and $\mu$ the Möbius function of its biprojection lattice $[e_1,id]$. Then the Euler characteristic of $\mathcal{P}$ is defined as follows: ...

**8**

votes

**2**answers

302 views

### In what sense do Jones' original subfactors come from quantum SU(2)

In his paper Index for subfactors [Invent. Math., vol. 72 (1983), pp. 1-26], Vaughan Jones proved his remarkable index rigidity theorem, i.e., the fact that the possible index values for a (type II$_1$...

**4**

votes

**0**answers

149 views

### Unique factorization for the semigroup generated by {2cos(π/n) | n>3}?

Let $S$ be the multiplicative semigroup of numbers generated by $B=\{ 2cos(\frac{\pi}{n}) \mid n \ge 4 \}$.
Question: Does every number of $S$ factorize uniquely (up to perm.) as a product of ...

**0**

votes

**1**answer

106 views

### On index 2 and square of subfactors without extra intermediate

Let $N \subsetneq K_i \subsetneq M$, $i=1,2$, be a square of irreducible finite index inclusion of hyperfinite ${\rm II}_1$ factors, such that there is no extra intermediate, with $K_1 \not \subseteq ...

**1**

vote

**1**answer

105 views

### Existence of a third intermediate if there are two intermediate subfactors of index 2

Let $(N \subset M)$ be an irreducible finite index inclusion of hyperfinite ${\rm II}_1$ factors.
Let $K_1$ and $K_2$ be two distinct intermediate subfactors $N \subset K_i \subset M$, such that $|M:...

**1**

vote

**1**answer

108 views

### On the intersection of index 2 subfactors

Let $H_1$ and $H_2$ be two distinct index $2$ subgroups of a finite group $G$.
We can deduce several properties about the intersection $H_1 \cap H_2$:
$H_1$ and $H_2$ are normal subgroups of $G$. ...

**0**

votes

**1**answer

165 views

### Generalization of the product formula on subfactors

The product formula on finite groups states that for $H_1, H_2$ subgroups of $G$, then
$$ |H_1H_2| \cdot |H_1 \cap H_2|=|H_1| \cdot |H_2| $$
This statement could be generalized to any finite index ...

**3**

votes

**0**answers

120 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

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

**6**

votes

**0**answers

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

**1**

vote

**0**answers

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

**2**

votes

**0**answers

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

**13**

votes

**1**answer

208 views

### Does the Turaev-Viro theory for the generalized $E_6$ subfactor for $\mathbb{Z}/7$ distinguish $L(7,1)$ and $L(7,2)$?

In the paper Sato-Wakui "COMPUTATIONS OF TURAEV-VIRO-OCNEANU INVARIANTS OF 3-MANIFOLDS FROM SUBFACTORS" they compute certain Turaev-Viro-Ocneanu invariants of certain lens spaces. One of the results ...

**12**

votes

**2**answers

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

**6**

votes

**0**answers

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

**4**

votes

**1**answer

162 views

### What are the applications of the depth 2 reduction to the subfactors theory?

Let $(N \subset M)$ be an irreducible finite depth ($>2$) finite index inclusion of hyperfinite ${\rm II}_1$ factors, then for $n$ sufficiently large the subfactor $(N \subset M_n)$ is depth $2$ (...

**1**

vote

**0**answers

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

**6**

votes

**1**answer

274 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 $\...

**1**

vote

**0**answers

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

**4**

votes

**0**answers

115 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

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

**1**

vote

**0**answers

105 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

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

**6**

votes

**1**answer

192 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 &w\...

**0**

votes

**0**answers

65 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

103 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

56 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

**1**answer

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

**2**

votes

**0**answers

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

**0**

votes

**1**answer

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

**2**

votes

**0**answers

97 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

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

**0**

votes

**1**answer

104 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

79 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

97 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

162 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

226 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):
Question: ...

**6**

votes

**0**answers

352 views

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

Let $H$ be a finite dimensional Hopf ${\rm C}^{\star}$-algebra.
A $\star$-subalgebra $I$ of $H$ is a left coideal if $\Delta(I) \subset H \otimes I$.
$H$ is called maximal if it has no left coideal $\...

**3**

votes

**1**answer

130 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

113 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 = \mathcal{F}(\mathcal{F}^{-...

**1**

vote

**1**answer

120 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 = \mathcal{F}(\mathcal{F}^{-...

**7**

votes

**1**answer

1k 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

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