Skip to main content

All Questions

Filter by
Sorted by
Tagged with
1 vote
0 answers
91 views

Subfactors with integer Jones index

Is there any integer (Jones) index subfactor which is not extremal?
Keshab Bakshi's user avatar
1 vote
0 answers
111 views

Inclusion of finite dimensional C*-algebras and relative commutants of subfactors

Given a subfactor $N\subset M$ with finite Jones index, the inclusion of relative commutants $N^{\prime}\cap M\subset N^{\prime}\cap M_1$ (here, $M_1$ is the basic construction of $N\subset M$) is a ...
Keshab Bakshi's user avatar
2 votes
0 answers
118 views

Depth of the reduced subfactor

Suppose $N\subset M$ is a finite depth subfactor with $[M:N]<\infty$. Consider the reduced subfactor $pNp\subset pMp$ for some projection $p\in N$. How to calculate the depth of $pNp\subset pMp$ in ...
Keshab Bakshi's user avatar
5 votes
0 answers
504 views

Watatani's theorem for tensor categories

We refer to [JS97] for the notion of subfactor. Yasuo Watatani proved the following result [W96, Theorem 2.2]: Theorem: An irreducible finite index subfactor of a type $\mathrm{II}_1$ factor has ...
Sebastien Palcoux's user avatar
4 votes
0 answers
190 views

A group-theoretical analogous of Temperley-Lieb-Jones subfactor planar algebras

The Temperley-Lieb-Jones subfactor planar algebra $\mathcal{TLJ}_{\delta}$ admits the following properties: maximal, it exists for every possible index, i.e. $\delta^2 \in \{4cos^2(\pi/n) \ | \ n \...
Sebastien Palcoux's user avatar
13 votes
1 answer
1k views

Why is Planar algebras I (by Vaughan Jones) not published?

On Saturday 4 September 1999, Vaughan Jones put on arXiv a paper entitled Planar algebras, I. Until now, this preprint was cited 343 times (according to Google Scholar). It is often cited with the ...
Sebastien Palcoux's user avatar
2 votes
0 answers
89 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: ...
Sebastien Palcoux's user avatar
5 votes
0 answers
139 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: ...
Sebastien Palcoux's user avatar
0 votes
1 answer
122 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 unital inclusion of hyperfinite ${\rm II}_1$ factors, such that there is no extra intermediate, with $K_1 \not \...
Sebastien Palcoux's user avatar
1 vote
1 answer
181 views

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

Let $(N \subset M)$ be an irreducible finite index unital 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 ...
Sebastien Palcoux's user avatar
1 vote
0 answers
57 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 $...
Sebastien Palcoux's user avatar
0 votes
1 answer
311 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 ...
Sebastien Palcoux's user avatar
1 vote
1 answer
79 views

Are the two-side TLJ subfactors maximal?

Let $(N \subset M)$ be a unital inclusion of ${\rm II}_1$ factors, with the following principal graph (called two-side TLJ) Question: Is $(N \subset M)$ a maximal subfactor?
Sebastien Palcoux's user avatar
2 votes
0 answers
101 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....
Sebastien Palcoux's user avatar
0 votes
1 answer
122 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 ...
Sebastien Palcoux's user avatar
1 vote
0 answers
174 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 $\...
Sebastien Palcoux's user avatar
2 votes
1 answer
240 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: ...
Sebastien Palcoux's user avatar
1 vote
1 answer
134 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}^{-...
Sebastien Palcoux's user avatar
1 vote
1 answer
132 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}^{-...
Sebastien Palcoux's user avatar
1 vote
0 answers
308 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 ...
Sebastien Palcoux's user avatar
5 votes
0 answers
161 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 (...
Sebastien Palcoux's user avatar
3 votes
0 answers
200 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_{\...
Sebastien Palcoux's user avatar
2 votes
3 answers
515 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 ...
Sebastien Palcoux's user avatar
1 vote
1 answer
182 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 ...
Sebastien Palcoux's user avatar
5 votes
1 answer
260 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 ...
Sebastien Palcoux's user avatar
2 votes
0 answers
149 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_{...
Sebastien Palcoux's user avatar
2 votes
1 answer
180 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 : "...
Sebastien Palcoux's user avatar
3 votes
0 answers
304 views

Is the fundamental group of a maximal subfactor always $\mathbb{R}_{+}^{*}$?

The fundamental group $\mathcal{F}(N \subset M)$ of a unital inclusion of II$_{1}$ factors $N \subset M$ is defined as : $\mathcal{F}(N \subset M) =\{t >0 \ | \ (N \subset M)^{t} \simeq (N \...
Sebastien Palcoux's user avatar
3 votes
1 answer
335 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 $...
Sebastien Palcoux's user avatar
8 votes
0 answers
306 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 ...
Sebastien Palcoux's user avatar
6 votes
2 answers
314 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? ...
Stephen Bigelow's user avatar
4 votes
2 answers
356 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 C*-...
Jon Bannon's user avatar
  • 7,047