We characterize finite index depth 2 inclusions of type II_1 factors in terms of actions of weak Kac algebras and weak C*-Hopf algebras. If N\subset M \subset M_1 \subset M_2 \subset ... is the Jones tower constructed from such an inclusion N\subset M, then B=M^\prime \cap M_2 has a natural structure of a weak C*-Hopf algebra and there is a minimal action of B on M_1 such that M is the fixed point subalgebra of M_1, and M_2 is isomorphic to the crossed product of M_1 and B. This extends the well-known results for irreducible depth 2 inclusions.
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.
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 planar algebra is isomorphic to the bipartite graph planar algebra of the Bratteli diagram of the inclusion. Finally, we show that a finite depth subfactor planar algebra is a planar subalgebra of the bipartite graph planar algebra of its principal graph.
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 latter has been conjectured since then. These are the only known subfactors with finite depth which do not arise from classical groups, quantum groups or rational conformal field theory.
We find a new obstruction to the principal graphs of subfactors. It shows that in a certain family of 3-supertransitive principal graphs, there must be a cycle by depth 6, with one exception, the principal graph of the Haagerup subfactor.
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 occur in one of these families. In this paper we construct the planar algebra associated to the Haagerup subfactor, which provides a new proof of the existence of the Haagerup subfactor. Our technique is to find the Haagerup planar algebra as a singly generated subfactor planar algebra, contained inside of a graph planar algebra.
We state a conjecture for the formulas of the depth 4 low-weight rotational eigenvectors and their corresponding eigenvalues for the $3^G$ subfactor planar algebras. We prove the conjecture in the case when $|G|$ is odd. To do so, we find an action of $G$ on the reduced subfactor planar algebra at $f^{(2)}$, which is obtained from shading the planar algebra of the even half. We also show that this reduced subfactor planar algebra is a Yang-Baxter planar algebra.
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 construction was used in \cite{BH} to obtain numerous examples of infinite depth subfactors whose standard invariant has exotic growth properties. We compute the planar algebra (in the sense of Jones \cite{J2}) of this subfactor and prove that any subfactor with an abstract planar algebra of "group type" arises from such a subfactor. The action of Jones' planar op…
Let H and K be two finite groups with a properly outer action on the II_1 factor M. We prove that the group type inclusions $M^H \subset M \rtimes K$, studied earlier by Bisch and Haagerup, have property T in the sense of Popa if and only if the group generated by H and K in the outer automorphism group of M has Kazhdan's property T. This construction yields irreducible, infinite depth subfactors with small Jones indices and property T standard invariant.
We show that if the principal graph of a subfactor planar algebra of modulus δ>2 is stable for two depths, then it must end in A_{finite} tails. This result is analogous to Popa's theorem on principal graph stability. We use these theorems to show that an (n-1) supertransitive subfactor planar algebra has jellyfish generators at depth n if and only if its principal graph is a spoke graph.
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 subfactor is completely and canonically determined by a quantum groupoid and its coideal *-subalgebra. This allows to express the bimodule category of a subfactor in terms of the representation category of a corresponding quantum groupoid and the principal graph as the Bratteli diagram of an inclusion of certain C^*-algebras related to it.
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$ pointwise. We call this Hopf $\ast$-algebra the quantum Galois group for the subfactor and compute it in some examples of interest, notably for arbitrary irreducible finite-index depth-two subfactors. Along the way, we prove the existence of universal acting Hopf algebras for more general structures (tensors in enriched categories), in the spirit of recent work by …
We show that the restriction functor from oriented factor planar algebras to subfactor planar algebras admits a left adjoint, which we call the free oriented extension functor. We show that for any subfactor planar algebra realized as the standard invariant of a hyperfinite $\rm{II}_1$ subfactor, the projection category of the free oriented extension admits a realization as bimodules of the hyperfinite $\rm{II}_{1}$ factor.
We construct inclusions of the form $(B_0\otimes P)^G\subset (B_1\otimes P)^G$, where $G$ is a compact quantum group of Kac type acting on an inclusion of finite dimensional $\c^*$-algebras $B_0\subset B_1$ and on a $II_1$ factor $P$. Under suitable assumptions on the actions of $G$, this is a subfactor, whose Jones to er and standard invariant can be computed by using techniques of A. Wassermann. The subfactors associated to subgroups of compact groups, to projective representations of compact groups, to finite quantum groups, to finitely generated discrete groups, to vertex models and to spi…
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 case $[A,B]=0$, which basically covers all known examples, we show that the planar algebra of such a subfactor is of the form $P(A\subset B)^G$, with $G$ acting in some natural sense on the bipartite graph algebra $P(A\subset B)$.
We show that the mathematical structures in a recent work of Bultinck-Mariena-Williamson-Sahinoglu-Haegemana-Verstraete are the same as those of flat symmetric bi-unitary connections and the tube algebra in subfactor theory. More specifically, a system of flat symmetric bi-unitary connections arising from a subfactor with finite index and finite depth satisfies all their requirements for tensors and the tube algebra for such a subfactor and the anyon algebra for such tensors are isomorphic up to the normalization constants. Furthermore, the matrix product operator algebras arising from tensors…
Jones and Penneys showed that a finite depth subfactor planar algebra embeds in the bipartite graph planar algebra of its principal graph, via a Markov towers of algebras approach. We relate several equivalent perspectives on the notion of module over a subfactor planar algebra, and show that a Markov tower is equivalent to a module over the Temperley-Lieb-Jones planar algebra. As a corollary, we obtain a classification of semisimple pivotal C* modules over Temperley-Lieb-Jones in terms of pointed graphs with a Frobenius-Perron vertex weighting. We then generalize the Markov towers of algebras…
To a proper inclusion N\subset M of II_1 factors of finite Jones index [M:N], we associate an ergodic C*-action of the quantum group S_μU(2). The deformation parameter is determined by -1<μ<0 and [M:N]=|μ+μ^{-1}|. The higher relative commutants can be identified with the spectral spaces of the tensor powers of the defining representation of the quantum group. This ergodic action may be thought of as a virtual subgroup of S_μU(2) in the sense of Mackey arising from the tensor category generated by M regarded as a bimodule over N. μis negative as M is a real bimodule.
We study the four infinite families KA(n), KB(n), KD(n), KQ(n) of finite dimensional Hopf (in fact Kac) algebras constructed respectively by A. Masuoka and L. Vainerman: isomorphisms, automorphism groups, self-duality, lattices of coideal subalgebras. We reduce the study to KD(n) by proving that the others are isomorphic to KD(n), its dual, or an index 2 subalgebra of KD(2n). We derive many examples of lattices of intermediate subfactors of the inclusions of depth 2 associated to those Kac algebras, as well as the corresponding principal graphs, which is the original motivation. Along the way,…
We give a survey of the theory of finite quantum groupoids (weak Hopf algebras), including foundations of the theory and applications to finite depth subfactors, dynamical deformations of quantum groups, and invariants of knots and 3-manifolds.
It is well-known that the quantum double $D(N\subset M)$ of a finite depth subfactor $N\subset M$, or equivalently the Drinfeld center of the even part fusion category, is a unitary modular tensor category. Thus should arise in conformal field theory. We show that for every subfactor $N\subset M$ with index $[M:N]<4$ the quantum double $D(N\subset M)$ is realized as the representation category of a completely rational conformal net. In particular, the quantum double of $E_6$ can be realized as a $\mathbb Z_2$-simple current extension of $\mathrm{SU}(2)_{10}\times \mathrm{Spin}(11)_1$ and thus …
We introduce $L^2$-Betti numbers, as well as a general homology and cohomology theory for the standard invariants of subfactors, through the associated quasi-regular symmetric enveloping inclusion of II_1 factors. We actually develop a (co)homology theory for arbitrary quasi-regular inclusions of von Neumann algebras. For crossed products by countable groups $Γ$, we recover the ordinary (co)homology of $Γ$. For Cartan subalgebras, we recover Gaboriau's $L^2$-Betti numbers for the associated equivalence relation. In this common framework, we prove that the $L^2$-Betti numbers vanish for amenabl…
We define Jones's planar algebra as a map of multicategories and constuct a planar algebra starting from a 1-cell in a pivotal strict 2-category. We prove finiteness results for the affine representations of finite depth planar algebras. We also show that the radius of convergence of the dimension of an affine representation of the planar algebra associated to a finite depth subfactor is at least as big as the inverse-square of the modulus.
We show that indecomposable weak Kac algebras are free over their Cartan subalgebras and prove a duality theorem for their actions. Using this result, for any biconnected weak Kac algebra we construct a minimal action on the hyperfinite II_1 factor. The corresponding crossed product inclusion of II_1 factors has depth 2 and an integer index. Its first relative commutant is, in general, non-trivial, so we derive some arithmetic properties of weak Kac algebras from considering reduced subfactors.
In recent joint work with V. Jones and D. Shlyakhtenko, we have given a diagrammatic description of Popa's symmetric enveloping inclusion for planar algebra subfactors. In this paper we give a diagrammatic construction of the associated Jones tower, in the case that the planar algebra is finite-depth. We then use this construction to describe the planar algebra of the symmetric enveloping inclusion, which is known to be isomorphic to the planar algebra of Ocneanu's asymptotic inclusion by a result of Popa. As an application we give a planar algebraic computation of the (reduced) fusion algebra…
Representations of braid group obtained from rational conformal field theories can be used to obtain explicit representations of Temperley-Lieb-Jones algebras. The method is described in detail for SU(2)$_k$ Wess - Zumino conformal field theories and its generalization to an arbitrary rational conformal field theory outlined. Explicit definition of an associated linear trace operation in terms of a certain matrix element in the space of conformal blocks of such a conformal theory is presented. Further for every primary field of a rational conformal field theory, there is a subfactor of hyperfi…
We introduce a general notion of depth two for ring homomorphism N --> M, and derive Morita equivalence of the step one and three centralizers, R = C_M(N) and C = End_{N-M}(M ø_N M), via dual bimodules and step two centralizers A = End_NM_N and B = (M ø_N M)^N, in a Jones tower above N --> M. Lu's bialgebroids End_k A' and A' ø_k {A'}^op over a k-algebra A' are generalized to left and right bialgebroids A and B with B the R-dual bialgebroid of A. We introduce Galois-type actions of A on M and B on End_NM when M_N is a balanced module. In the case of Frobenius extensions M | N, we prove an endo…
We bring together ideas in analysis of Hopf *-algebra actions on II_1 subfactors of finite Jones index and algebraic characterizations of Frobenius, Galois and cleft Hopf extensions to prove a non-commutative algebraic analogue of the classical theorem: a finite field extension is Galois iff it is separable and normal. Suppose N < M is a separable Frobenius extension of k-algebras split as N-bimodules with a trivial centralizer C_M(N). Let M_1 := End(M)_N and M_2 := End(M_1)_M be the endomorphism algebras in the Jones tower N < M < M_1 < M_2. We show that under depth 2 conditions on the second…
