Questions tagged [subfactors]
The subfactors tag has no usage guidance.
171 questions
1
vote
0
answers
91
views
Subfactors with integer Jones index
Is there any integer (Jones) index subfactor which is not extremal?
- 393
8
votes
1
answer
331
views
Some fusion rings/categories I don't recognize
Recently (what I believe are) all multiplicity-free fusion categories up to rank 7 have been posted on the AnyonWiki. Most of the fusion rings belonging to these categories belong to one of the ...
- 293
1
vote
1
answer
256
views
Intersection of two intermediate subalgebras
Suppose $B\subset A$ is an inclusion of simple $C^*$-algebras with a conditional expectation of (Watatani) index-finite type and $B^{\prime}\cap A=\mathbb{C}$. Then we know $B^{\prime}\cap A_1$ is ...
- 393
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 ...
- 393
3
votes
1
answer
103
views
Relation between factor condition on von Neumann algebras and modularity condition on ribbon fusion categories
A modular tensor category is defined to be a ribbon fusion category $\mathcal{C}$ in which the only objects which commute with all other objects are multiples of the identity. That is, if we denote by ...
- 2,902
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 ...
- 393
5
votes
1
answer
158
views
Backwards stable factors
A factor $R$ is called stable if $M_n(R)\cong R$ for all $n>0$. For the sake of this question, we call a factor backwards stable if $R\cong M_n(S)$ implies $S\cong R$ where $S$ is allowed to be any ...
- 759
0
votes
1
answer
71
views
Cyclic vectors and subfactor inlcusion
Let $N\subset M$ be a be factors acting on a Hilbert space $H$.
Denote by $\mathrm{Cyc}(A)\subset H$ the set of cyclic vectors for $A = M,N$.
I am interested in the equality case of the inclusion $\...
- 759
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 ...
2
votes
0
answers
92
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
6
votes
0
answers
128
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 (...
1
vote
0
answers
87
views
irreducible subfactor inclusion and commutativity of induced projections
Let $N\subset M$ be an irreducible subfactor inclusion, i.e., $N'\cap M =\mathbb C1$, acting on a Hilbert space $H$.
Let $\Omega\in H$.
Does it follow that the projections onto $[N\Omega]$ and $[M'\...
- 759
1
vote
1
answer
177
views
Commuting and generating subfactors of $ B(H)$
I have a question on subfactors of $B(H)$ (the von Neumann algebra of bounded operators on a complex Hilbert space).
Say I have a subfactor $M$ of $B(H)$. Is it true that another subfactor $N \subset ...
- 759
4
votes
0
answers
110
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))$ ...
- 43.2k
6
votes
0
answers
241
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 ...
5
votes
1
answer
128
views
Non-cyclotomic modular fusion categories
In a recent talk (see [1]) Richard Ng asks whether the invariants of 3-manifolds derived from any modular fusion category are cyclotomic integers. In tqft, such an invariant is computed from the F-...
3
votes
1
answer
167
views
Realizing a fusion category as endomorphisms of an algebra
Consider the two statements:
"Any unitary fusion category can be realised as a category of endomorphisms on a hyperfinite von Neumann algebra", as stated in 1506.03546 page 4. The above ...
- 437
1
vote
0
answers
106
views
Second Frobenius-Schur indicator and near-group categories G+|G|
A near-group category $G+m$ is a (spherical) fusion category whose simple objects are given by the element $g$ of the finite group $G$, plus one extra simple object $y$, with Grothendieck ring as ...
3
votes
0
answers
138
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 \...
4
votes
1
answer
205
views
Multiplicative set of positive algebraic integers
Let $S$ be a set of algebraic integers such that:
$\mathbb{N}_{\ge 1} \subseteq S \subset \mathbb{R}_{\ge 1}$,
$\alpha, \beta \in S \Rightarrow \alpha \beta \in S$,
$\alpha, \beta \in S \Rightarrow ...
3
votes
0
answers
134
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 ...
5
votes
1
answer
370
views
Action of a dual Hopf algebra on a factor
Suppose that a finite-dimesnional Hopf $C^*$-algebra $H$ acts on a type $II_1$ factor $N$ minimally (that is, $N^{\prime}\cap (N\rtimes H)=\mathbb{C}$). Is it true that there always exists a minimal ...
- 393
1
vote
0
answers
399
views
Pairs of subfactors
Suppose we have two subfactors $P\subset M$ and $Q\subset M$ with finite Jones indices (here $P,Q$ and $M$ all are $II_1$ factors). Under what condition the von Neumann algebra $L$ generated by $M,e_P$...
- 393
5
votes
0
answers
606
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(...
- 393
2
votes
0
answers
156
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 ...
12
votes
0
answers
552
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 ...
3
votes
0
answers
123
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 ...
2
votes
0
answers
103
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 \...
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 ...
6
votes
1
answer
313
views
What is the smallest rank for a noncommutative fusion ring?
A fusion ring $\mathcal{F}$ (of rank $r$) is given by a finite set $B = \{b_1,b_2, \dots, b_r \}$ such that $b_i b_j = \sum_k n_{i,j}^k b_k$ with $n_{i,j}^k \in \mathbb{Z}_{\ge 0}$, satisfying ...
3
votes
3
answers
435
views
Is there a noncommutative simple fusion ring?
A fusion ring $\mathcal{F}$ is given by a finite set $B = \{b_1,b_2, \dots, b_r \}$ such that $b_i b_j = \sum_k n_{i,j}^k b_k$ with $n_{i,j}^k \in \mathbb{Z}_{\ge 0}$, satisfying axioms slightly ...
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
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 \...
5
votes
1
answer
191
views
Fusion category and induction matrix to its Drinfeld center: combinatorial properties
This question is inspired by this paper of Scott Morrison and Kevin Walker.
Consider a fusion category $\mathcal{C}$ of rank $r$, and its Drinfeld center $Z(\mathcal{C})$ of rank $s$.
Let $N_i = (n_{...
7
votes
0
answers
169
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
11
votes
2
answers
490
views
Actions of locally compact groups on the hyperfinite $II_1$ factor
Let $R$ be the hyperfinite $II_1$ factor, and let $G$ be a locally compact group.
(1) Does there always exist a continuous, (faithful) outer action of $G$ on $R$?
(2) If so, how does one ...
- 43.2k
5
votes
0
answers
119
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-...
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 ...
5
votes
1
answer
144
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
348
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
75
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 ...
- 91
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:
...
34
votes
1
answer
3k
views
On a quantum Riemann Hypothesis
Here is a revised version: On a revised 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 ...
6
votes
2
answers
256
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 ...
- 3,001
4
votes
0
answers
119
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
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: ...
9
votes
2
answers
437
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$...
- 179
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 ...
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 \...
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 ...