Questions tagged [subfactors]
The subfactors tag has no usage guidance.
72
questions with no upvoted or accepted answers
12
votes
0
answers
529
views
On a revised quantum Riemann hypothesis
This post provides a revision of the disproved quantum Riemann hypothesis proposed 2 years ago in this post, where you can refer to have more details about the motivations, the notations and the ...
- 25.5k
12
votes
0
answers
306
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 ...
- 619
8
votes
0
answers
302
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 ...
- 25.5k
8
votes
0
answers
791
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} ...
- 5,192
8
votes
0
answers
340
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 < ...
- 7,490
7
votes
0
answers
166
views
How to translate connection on four graphs to quantum 6j symbols
I need the explicit quantum 6j symbols for the Haagerup fusion category for a physics research project. This paper math/9803044 by Asaeda and Haagerup brute-force constructs the Haagerup subfactor, by ...
- 437
7
votes
0
answers
325
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 [KSZ06].
We are interesting in an alternative ...
- 25.5k
7
votes
0
answers
473
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 $\...
- 25.5k
6
votes
0
answers
228
views
Tomita–Takesaki theory and subfactors
Let $M$ be a von Neumann algebra acting on a Hilbert space $H$. Let $\Omega$ be a cyclic and separating vector in $H$. Let $J$ and $\Delta$ be the corresponding modular conjugation and modular ...
- 25.5k
6
votes
0
answers
259
views
Is there an integral simple fusion ring rank<6, FPdim>60 and Frobenius type?
A fusion ring is a finite dimensional $\mathbb{Z}$-module
$\mathbb{Z}\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}^...
- 25.5k
6
votes
0
answers
235
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}...
- 25.5k
6
votes
0
answers
137
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 ...
- 42.2k
5
votes
0
answers
456
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 ...
- 25.5k
5
votes
0
answers
101
views
Unitary fusion category and subfactor
From a unitary fusion category $\mathcal{C}$, there are several ways to make a (hyperfinite II$_1$) subfactor.
By [Ha] there are weak Hopf algebras $H$ such that $\mathcal{C} = Rep(H)$. By unitarity (...
- 25.5k
5
votes
0
answers
589
views
Weak Hopf algebra structure on twisted group algebra
A (normalized) $2$-cocycle on a finite group $G$ with values in $S^1$ is a map
$\sigma:G\times G\rightarrow S^1$ such that $$\sigma(g,h)\sigma(gh,k)=\sigma(h,k)\sigma(g,hk)$$ and $$\sigma(g,e)=\sigma(...
- 383
5
votes
0
answers
115
views
Pimsner-Popa basis dealing with higher relative commutants
Let $(N \subseteq M)$ be a finite index unital inclusion of ${\rm II}_1$ factors. Let $e_1$ be the Jones' projection.
A finite subset $\{\lambda_i, i \in I\} \subset M $ is called a (right) Pimsner-...
- 25.5k
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: ...
- 25.5k
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 (...
- 25.5k
5
votes
0
answers
305
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 ...
- 25.5k
5
votes
0
answers
247
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 ...
- 1,629
4
votes
0
answers
103
views
non centrally free actions of ameanable groups on the hyperfinite III_1 factor
Let $R$ be a hyperfinite $\mathit{III}_1$ factor, and let $Out(R)$ be its set of automorphisms modulo inner automorphisms. There is a canonical and important homomorphism $\phi:\mathbb R\to Z(Out(R))$ ...
- 42.2k
4
votes
0
answers
188
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 \...
- 25.5k
4
votes
0
answers
117
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 ...
- 229
4
votes
0
answers
158
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 ...
- 25.5k
4
votes
0
answers
157
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: ...
- 25.5k
4
votes
0
answers
193
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 every $1$-dimensional complex representation of $G$ is trivial.
proof: First if $...
- 25.5k
4
votes
0
answers
237
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(...
- 25.5k
4
votes
0
answers
248
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 ...
- 25.5k
4
votes
0
answers
148
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 ...
- 25.5k
3
votes
0
answers
134
views
Is there a finite depth irreducible subfactor of prime index and not group-subgroup?
Let $N \subset M$ be a finite depth unital inclusion of II$_1$ factors. By Theorem 3.2 in this paper (Bisch, 1994), if the index $|M:N|$ is integer then for any intermediate subfactor $N \subset P \...
- 25.5k
3
votes
0
answers
121
views
Extended cyclotomic criterion for unitary categorification
According to this paper (Corollary 8.54) the Frobenius-Perron dimension (FPdim) of any object $a$ of a fusion category over $\mathbb{C}$ is a cyclotomic integer. Now, FPdim($a$) is the maximal ...
- 25.5k
3
votes
0
answers
111
views
Is there a non-irreducible maximal subfactor other than two-sided TLJ?
A subfactor $N \subseteq M$ is called:
irreducible if $N' \cap M = \mathbb{C}$,
maximal if for any intermediate subfactor $N \subseteq P \subseteq M$ then $P=\{N,M \}$.
The two-sided ...
- 25.5k
3
votes
0
answers
158
views
Given non-type-I subfactors $R \subset S$, must $S$ have a projection that meets no projection in $R$ except $1$?
Let $R \subset S$ be distinct non-type-I von Neumann factors; say two projections $P, Q \in S$ "meet" if they have a common non-null subprojection (i.e. if $P \wedge Q \neq 0$), and call $P$ "$R$-...
- 271
3
votes
0
answers
245
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 ...
- 25.5k
3
votes
0
answers
199
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_{\...
- 25.5k
3
votes
0
answers
297
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$.
...
- 25.5k
3
votes
0
answers
262
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,
...
- 25.5k
3
votes
0
answers
156
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$...
- 25.5k
3
votes
0
answers
302
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 \...
- 25.5k
3
votes
0
answers
131
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,431
3
votes
1
answer
329
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 $...
- 25.5k
2
votes
0
answers
112
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 ...
- 383
2
votes
0
answers
80
views
DHR superselection and DR reconstruction in low spacetime dimensions
Given a completely rational net on $\mathbb{R}$, the Doplicher-Haag-Roberts (DHR) category is a modular fusion category (MFC) identical to that associated with the corresponding vertex operator ...
- 437
2
votes
0
answers
124
views
What are all the possible indices for the finite depth subfactors?
Jones index theorem (1983) states that the set of all possible (finite) indices of subfactors is exactly $$\mathrm{Ind}=\{ 4 \cos(\pi/n)^2 \ | \ n \ge 3 \} \cup [4, \infty),$$ but if we restrict to ...
- 25.5k
2
votes
0
answers
154
views
Extension of a theorem of Bisch to cyclotomic integers of fixed degree
Theorem 3.2 in this paper (Bisch, 1994) states that for a finite depth ${\rm II}_1$ subfactor of integral index, every intermediate subfactor are also of integral index. As an application, every such ...
- 25.5k
2
votes
0
answers
102
views
The simple unitary fusion categories of multiplicity one
Here are two families of simple unitary fusion categories of multiplicity one:
$Vec(C_p)$ with $C_p$ the cyclic group of order $p$ (one or prime),
The even part of Temperley-Lieb $A_{2n}$ with $n \...
- 25.5k
2
votes
0
answers
88
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:
...
- 25.5k
2
votes
0
answers
89
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.
...
- 25.5k
2
votes
0
answers
94
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....
- 25.5k
2
votes
0
answers
104
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 ...
- 25.5k