Related papers: Planar Algebra of the Subgroup-Subfactor
If $G$ is a countable, discrete group generated by two finite subgroups $H$ and $K$ and $P$ is a II$_1$ factor with an outer G-action, one can construct the group-type subfactor $P^H \subset P \rtimes K$ introduced in \cite{BH}. This…
We consider inclusions of type $(P\otimes A)^G\subset(P\otimes B)^G$, where $G$ is a compact quantum group of Kac type acting on a ${\rm II}_1$ factor $P$, and on a Markov inclusion of finite dimensional $C^*$-algebras $A\subset B$. In the…
An inclusion of II$_1$ factors $N \subset M$ with finite Jones index gives rise to a powerful set of invariants that can be approached successfully in a number of different ways. We describe Jones' pictorial description of the standard…
For any abstract subfactor planar algebra $P$, there exists a finite index extremal subfactor $M_0 \subset M_1$ with $P$ as its standard invariant. In this paper, we classify the automorphism group of a bipartite graph planar algebra, and…
Given a planar algebra we show the equivalence of the notions of a module over this algebra (in the operadic sense), and module over a universal annular algebra. We classify such modules, with invariant inner products, in the generic region…
In this paper, we explicitly work out the subfactor planar algebra $P^{(N \subset Q)}$ for an intermediate subfactor $N \subset Q \subset M$ of an irreducible subfactor $N \subset M$ of finite index. We do this in terms of the subfactor…
In this paper, we construct the "2221" subfactor planar algebra by finding it as a subalgebra of the graph planar algebra of its principal graph. In particular, we give a presentation of the "2221" subfactor planar algebra consisting of…
We present more planar algebraic construction of subfactors than those of Guionet-Jones-Shlyakhtenko-Walker and Kodiyalam-Sunder which start from a subfactor planar algebra and give in a direct way a subfactor of the same standard invariant…
There is a natural construction which associates to a finitely generated, countable, discrete group $G$ and a 3-cocycle $\omega$ of $G$ an inclusion of II$_1$ factors, the so-called diagonal subfactors (with cocycle). In the case when the…
Let $n\geq 2$ and $G_n=\mathbb{Z}^n\rtimes SL_n(\mathbb{Z})$. We classify all $G_n$-invariant von Neumann subalgebras in $L(G_n)$. For $n=2$, this gives an alternative proof of the previous result of Jiang-Liu. For $n\geq 3$, this gives the…
Most known examples of subfactors occur in families, coming from algebraic objects such as groups, quantum groups and rational conformal field theories. The Haagerup subfactor is the smallest index finite-depth subfactor which does not…
By changing to an orthogonal basis, we give a short proof that the subfactor of the graded algebra of a planar algebra reproduces the planar algebra.
Let $G$ be a finite group and $H$ a normal subgroup. Starting from $G$-spin models, in which a non-Abelian field ${\mathcal{F}}_H$ w.r.t. $H$ carries an action of the Hopf $C^*$-algebra $D(H;G)$, a subalgebra of the quantum double $D(G)$,…
We shall present an algorithm for determining whether or not a given planar graph H can ever be a subgraph of a 4-regular planar graph. The algorithm has running time O(|H|^{2.5}) and can be used to find an explicit 4-regular planar graph G…
Let $G$ be a complex reductive algebraic group, $g$ its Lie algebra and $h$ a reductive subalgebra of $g$, $n$ a positive integer. Consider the diagonal actions $G:g^n, N_G(h):h^n$. We study a relation between the algebra $C[h^n]^{N_G(h)}$…
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.
To a weighted graph can be associated a bipartite graph planar algebra P. We construct and study the symmetric enveloping inclusion of P. We show that this construction is equivariant with respect to the automorphism group of P. The…
We give the classification of subfactor planar algebras at index exactly 5. All the examples arise as standard invariants of subgroup subfactors. Some of the requisite uniqueness results come from work of Izumi in preparation. The…
If $N \subset P,Q \subset M$ are type II_1 factors with $N' \cap M = C id$ and $[M:N]$ finite we show that restrictions on the standard invariants of the elementary inclusions $N \subset P$, $N \subset Q$, $P \subset M$ and $Q \subset M$…
Growing out of the initial connections between subfactors and knot theory that gave rise to the Jones polynomial, Jones' axiomatization of the standard invariant of an extremal finite index $II_1$ subfactor as a spherical $C^*$-planar…