Related papers: Intermediate planar algebra revisited, II
We establish a Galois correspondence for finite quantum groupoid actions on II_1 factors and show that every finite index and finite depth subfactor is an intermediate subalgebra of a quantum groupoid crossed product. Moreover, any such a…
We show a close relationship between non-degenerate smooth commuting squares of $II_1$-factors with all inclusions of finite index and inclusions of subfactor planar algebras by showing that each leads to a construction of the other. One…
We present a purely planar algebraic proof of the main result of a paper of Guionnet-Jones-Shlaykhtenko which constructs an extremal subfactor from a subfactor planar algebra whose standard invariant is given by that planar algebra.
We define a canonical relative commutant planar algebra from a strongly Markov inclusion of finite von Neumann algebras. In the case of a connected unital inclusion of finite dimensional C*-algebras with the Markov trace, we show this…
For a finite-index $\mathrm{II}_1$ subfactor $N \subset M$, we prove the existence of a universal Hopf $\ast$-algebra (or, a discrete quantum group in the analytic language) acting on $M$ in a trace-preserving fashion and fixing $N$…
We consider normalizers of an irreducible inclusion $N\subseteq M$ of $\mathrm{II}_1$ factors. In the infinite index setting an inclusion $uNu^*\subseteq N$ can be strict, forcing us to also investigate the semigroup of one-sided…
We prove that any separable II$_1$ factor $M$ admits a {\it coarse decomposition} over the hyperfinite II$_1$ factor $R$, i.e., there exists an embedding $R\hookrightarrow M$ such that $L^2M\ominus L^2R$ is a multiple of the coarse Hilbert…
Let $M_n$ be a sequence of finite factors with $\dim(M_n)\rightarrow \infty$ and denote $\text{\bf M}=\Pi_\omega M_n$ their ultraproduct over a free ultrafilter $\omega$. We prove that if $\text{\bf Q}\subset \text{\bf M}$ is either an…
We prove existence of subfactors of finite depth of the hyperfinite II_1 factor with indices (5+sqrt{13})/2= 4.302... and (5+sqrt{17})/2=4.561.... The existence of the former was announced by the second named author in 1993 and that of the…
To a planar algebra P in the sense of Jones we associate a natural non- commutative ring, which can be viewed as the ring of non-commutative polynomials in several indeterminates, invariant under a symmetry encoded by P. We show that this…
We give a subfactor construction for a $II_{1}$ factor M which is not anti-isomorphic to itself. The $II_{1}$ factor we consider is essentially the same as the example previously given by Connes. However, our construction uses the recently…
We obtain an estimate of free entropy of generators in a type ${II}_1$-factor $\mc{M}$ which has a subfactor $\mc{N}$ of finite index with a subalgebra $\mc{P}=\mc{P}_1\vee\mc{P}_2\subset\mc{N}$ where $\mc{P}_1=\mc{R}_1'\cap\mc{P}$,…
In this paper we present a conjecture on intermediate subfactors which is a generalization of Wall's conjecture from the theory of finite groups. Motivated by this conjecture, we determine all intermediate subfactors of Goodman-Harpe-Jones…
We give an identification between the planar algebra of the subgroup-subfactor $R \rtimes H \subset R \rtimes G$ and the $G$-invariant planar subalgebra of the planar algebra of the bipartite graph $\star_n$, where $n = [G : H]$. The…
We describe an explicit finite presentation for a finite depth subfactor planar algebra. We also show that such planar algebras are singly generated with the generator subject to finitely many relations.
Given an inclusion of II$_1$ factors $N\subset M$ with finite Jones index, $[M:N]<\infty$, we prove that for any $F\subset M$ finite and $\varepsilon >0$, there exists a partition of $1$ with $r\leq \lceil 16\varepsilon^{-2}\rceil$ $\cdot…
In this paper we discuss a conjecture on intermediate subfactors which is a generalization of Wall's conjecture from the theory of finite groups. We explore special cases of this conjecture and present supporting evidence. In particular we…
For any finite dimensional C^*-algebra A, we give an endomorphism \Phi of the hyperfinite II_1 factor R of finite Jones index such that: for all k \in \mathbb {N}, \Phi^k (R)' \cap R= \otimes^k A. The Jones index [R: \Phi (R)]= (rank…
We show that finitely generated irreducible $\mathrm{II}_1$ subfactors are generic in the following sense. Given a separable $\mathrm{II}_1$ factor $M$ and an integer $n\geq 2$, equip the set of $n$-tuples of self-adjoint operators in $M$…
We consider the quantum algebra $U_q(\mathfrak{sl}_2)$ with $q$ not a root of unity. We describe the finite-dimensional irreducible $U_q(\mathfrak{sl}_2)$-modules from the point of view of the equitable presentation.