我们给出了子群-子因子 $R \rtimes H \subset R \rtimes G$ 的平面代数与 bipartite 图 $\star_n$ 的 $G$-不变平面子代数之间的识别，其中 $n = [G : H]$。这一识别的关键步骤是展示了一个基本构造塔的模型，并随后用算子矩阵形式表达了 $R \rtimes H \subset R \rtimes G$ 的标准不变量。我们还获得了固定代数子因子 $R^G \subset R^H$ 的平面代数与 $\star_n$ 的 'flip' 的 $G$-不变平面子代数之间的识别。
英文摘要：
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 crucial step in this identification is an exhibition of a model for the basic construction tower, and thereafter of the standard invariant, of $R \rtimes H \subset R \rtimes G$ in terms of operator matrices. We also obtain an identification between the planar algebra of the fixed algebra subfactor $R^G \subset R^H$ and the $G$-invariant planar subalgebra of the planar algebra of the `flip' of $\star_n $.
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.
Subfactors of the hyperfinite II$_1$ factor with ''exotic'' properties can be constructed from nondegenerate commuting squares of multi-matrix algebras. We show that the subfactor planar algebra of these commuting square subfactors necessarily embeds into Jones' graph planar algebra associated to one of the inclusion graphs in the commuting square. This leads to a powerful obstruction for the standard invariant of the subfactor, and we use it to give an example of a hyperfinite subfactor with Temperley-Lieb-Jones standard invariant and index $\frac{5+\sqrt{13}}{2}$, i.e. the index of the Haage…
We define generalised notions of biunitary elements in planar algebras and show that objects arising in quantum information theory such as Hadamard matrices, quantum latin squares and unitary error bases are all given by biunitary elements in the spin planar algebra. We show that there are natural subfactor planar algebras associated with biunitary elements.
We give a diagrammatic description of Popa's symmetric enveloping algebras associated to planar algebra subfactors. As an application we construct a natural family of derivations on these factors, and compute a certain free entropy dimension type quantity.
We develop an analog of Jones' planar calculus for II_1-factor bimodules with arbitrary left and right von Neumann dimension. We generalize to bimodules Burns' results on rotations and extremality for infinite index subfactors. These results are obtained without Jones' basic construction and the resulting Jones projections.
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 invariant of a subfactor as a so-called planar algebra and show how this point of view leads to new structure results for subfactors.
There is a natural construction which associates to a finitely generated, countable, discrete group $G$ and a 3-cocycle $ω$ of $G$ an inclusion of II$_1$ factors, the so-called diagonal subfactors (with cocycle). In the case when the cocycle is trivial these subfactors are well studied and their standard invariant (or planar algebra) is known. We give a description of the planar algebra of these subfactors when a cocycle is present. The action of Jones' planar operad involves the 3-cocycle $ω$ explicitly and some interesting identities for 3-cocycles appear when naturality of the action is ver…
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 with the planar algebra. Our construction is based on using the ordinary concepts in planar algebras such as involution, inclusion and conditional expectation mappings as it is
Using a family of graded algebra structures on a planar algebra and a family of traces coming from random matrix theory, we obtain a tower of non-commutative probability spaces, naturally associated to a given planar algebra. The associated von Neumann algebras are II$_{1}$ factors whose inclusions realize the given planar algebra as a system of higher relative commutants. We thus give an alternative proof to a result of Popa that every planar algebra can be realized by a subfactor.
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 obtain subfactor planar subalgebras by taking fixed points under groups of automorphisms. This construction provides both new examples of subfactors and new descriptions of the planar algebras of previously known examples.
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 algebra, presented in arXiv:math.QA/9909027, is the most elegant and powerful description available. We make the natural extension of this axiomatization to the case of finite index subfactors of arbitrary type. We also provide the first steps toward a limited planar structure in the infinite index case. The central role of rotations, which provide the main non-t…
We consider the infinite symmetric group and its infinite index subgroup given as the stabilizer subgroup of one element under the natural action on a countable set. This inclusion of discrete groups induces a hyperfinite subfactor for each finite factorial representation of the larger group. We compute subfactor invariants of this construction in terms of the Thoma parameter.
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.
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 ring carries a natural structure of a non-commutative probability space. Non-commutative laws on this space turn out to describe random matrix ensembles possessing special sym- metries. As application, we give a canonical construction of a subfactor and its symmetric enveloping algebra associated to a given planar algebra P. This talk is based on joint work w…
Given a subfactor planar algebra P, Guionnet, Jones and Shlyakhtenko give a diagrammatic construction of a II_{1} subfactor whose planar algebra is P. They showed if P is finite-depth, then the factors are interpolated free group factors, and they identified the parameters. We prove if P is infinite-depth, then the factors are isomorphic to L(F\infty}$.
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 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.
Given a finite depth subfactor planar algebra $\mathcal{P}$ endowed with the graded $*$-algebra structures $\{Gr_k^+ \mathcal{P}\}_{k\in\mathbb{N}}$ of Guionnet, Jones, and Shlyakhtenko, there is a sequence of canonical traces $Tr_{k,+}$ on $Gr_k^+\mathcal{P}$ induced by the Temperley-Lieb diagrams and a sequence of trace-preserving embeddings into the bounded operators on a Hilbert space. Via these embeddings the $*$-algebras $\{Gr_k^+\mathcal{P}\}_{k\in \mathbb{N}}$ generate a tower of non-commutative probability spaces $\{M_{k,+}\}_{k\in\mathbb{N}}$ whose inclusions recover $\mathcal{P}$ as…
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…
To every subfactor planar algebra was associated a II_1 factor with a canonical abelian subalgebra generated by the cup tangle. Using Popa's approximative orthogonality property, we show that this cup subalgebra is maximal amenable.
Bisch and Jones suggested the skein theoretic classification of planar algebras and investigated the ones generated by 2-boxes with the second author. In this paper, we consider 3-box generators and classify subfactor planar algebras generated by a non-trivial 3-box satisfying a relation proposed by Thurston. The subfactor planar algebras in the classification are either $E^6$ or the ones from representations of quantum $SU(N)$. We introduce a new method to determine positivity of planar algebras and new techniques to reduce the complexity of computations.
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.
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.
This article proves the existence and uniqueness of a subfactor planar algebra with principal graph consisting of a diamond with arms of length 2 at opposite sides, which we call 2D2. We also prove the uniqueness of the subfactor planar algebra with principal graph 4442. We conjecture this will complete the list of subfactor planar algebras at index $3+\sqrt{5}$.
In this note, we discuss the notion of symmetric self-duality of shaded planar algebras, which allows us to lift shadings on subfactor planar algebras to obtain Z/2Z-graded unitary fusion categories. This finishes the proof that there are unitary fusion categories with fusion graphs 4442 and 3333.
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 generators and relations. As a corollary, we have a planar algebra proof of the existence of a subfactor with principal graph "2221". To show the subfactor property, we use the jellyfish algorithm for evaluating closed diagrams. Lastly, we show uniqueness up to conjugation of "2221".
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 irreducible hyperfinite subfactors of index 6 with a prescribed fundamental group from a large family containing all countable and many uncountable subgroups of R_+. We also prove that there are unclassifiably many irreducible hyperfinite group-type subfactors of index 6 that all have the same standard invariant. More precisely, we associate such a subfactor to every ergodic measure preserving automorphism of the interval [0,1] and prove that the resulting subfactors are isomorphic if and only if the automorphisms are conjugate.
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 describe the tube algebra and its representations in the cases of diagonal and Bisch-Haagerup subfactors possibly with a scalar 3-cocycle obstruction. We show that these categories are additively equivalent to the direct product over conjugacy classes of representation category of a centralizer subgroup (corresponding to the conjugacy class) twisted by a scalar 2-cocycle obtained from the 3-cocycle obstruction.
We answer three related questions concerning the Haagerup subfactor and its even parts, the Haagerup fusion categories. Namely we find all simple module categories over each of the Haagerup fusion categories (in other words, we find the `"quantum subgroups" in the sense of Ocneanu), we find all subfactors whose principal even part is one of the Haagerup fusion categories, and we compute the Brauer-Picard groupoid of Morita equivalences of the Haagerup fusion categories. In addition to the two even parts of the Haagerup subfactor, there is exactly one more fusion category which is Morita equiva…
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 planar algebra $P^{(N \subset M)}$ by showing that if $T$ is any planar tangle, the associated operator $Z^{(N \subset Q)}_T$ can be read off from $Z^{(N \subset M)}_T$ by a formula involving the so-called {\em biprojection} corresponding to the intermediate subfactor $N \subset Q \subset M$ and a scalar $α(T)$ carefully chosen so as to ensure that the formula …
We describe the subfactor planar algebra of an intermediate subfactor $N\subset Q \subset M$ of an extremal subfactor $N\subset M$ of finite Jones index which is not necessarily irreducible.
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 non-existence results build upon the classification of subfactor planar algebras with index less than 5, with some additional analysis of special cases.
Braided subfactors of von Neumann algebras provide a framework for studying two dimensional conformal field theories and their modular invariants. We review this in the context of SU(3) conformal field theories through corresponding SU(3) braided subfactors and various subfactor invariants including spectral measures for the nimrep graphs, A_2-planar algebras and almost Calabi-Yau algebras.
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 and give applications to subfactorss, including a planar construction of the $E_6$ and $E_8$ subfactors.
This paper introduces the cyclic subfactors, generalizing the cyclic groups as the subfactors generalize the groups, and generalizing the natural numbers as the maximal subfactors generalize the prime numbers. On one hand, a theorem of O. Ore states that a finite group is cyclic if and only if its subgroups lattice is distributive, and on the other hand, every subgroup of a cyclic group is normal. Then, a subfactor planar algebra is called cyclic if all the biprojections are normal and form a distributive lattice. The main result shows in what sense a cyclic subfactor is singly generated, by g…
The main purpose of this paper is to classify exchange relation planar algebras with 4 dimensional 2-boxes. Besides its skein theory, we emphasize the positivity of subfactor planar algebras based on the Schur product theorem. We will discuss the lattice of projections of 2-boxes, specifically the rank of the projections. From this point, several results about biprojections are obtained. The key break of the classification is to show the existence of a biprojection. By this method, we also classify another two families of subfactor planar algebras, subfactor planar algebras generated by 2-boxe…
We construct a new subfactor planar algebra, and as a corollary a new subfactor, with the `extended Haagerup' principal graph pair. This completes the classification of irreducible amenable subfactors with index in the range $(4,3+\sqrt{3})$, which was initiated by Haagerup in 1993. We prove that the subfactor planar algebra with these principal graphs is unique. We give a skein theoretic description, and a description as a subalgebra generated by a certain element in the graph planar algebra of its principal graph. In the skein theoretic description there is an explicit algorithm for evaluati…
In this paper we construct two new fusion categories and many new subfactors related to the exceptional Extended Haagerup subfactor. The Extended Haagerup subfactor has two even parts EH1 and EH2. These fusion categories are mysterious and are the only known fusion categories which appear to be unrelated to finite groups, quantum groups, or Izumi quadratic categories. One key technique which has previously revealed hidden structure in fusion categories is to study all other fusion categories in the Morita equivalence class, and hope that one of the others is easier to understand. In this paper…
We extend the Euler's totient function (from arithmetic) to any irreducible subfactor planar algebra, using the Mobius function of its biprojection lattice, as Hall did for the finite groups. We prove that if it is nonzero then there is a minimal 2-box projection generating the identity biprojection. We explain a relation with a problem of K.S. Brown. As an application, we define the dual Euler totient of a finite group and we show that if it is nonzero then the group admits a faithful irreducible complex representation. We also get an analogous result at depth 2, involving the central biproje…
In \cite{Sde2018} we defined the notion of \textit{quantum double inclusion} associated to a finite-index and finite-depth subfactor and studied the quantum double inclusion associated to the Kac algebra subfactor $R^H \subset R$ where $H$ is a finite-dimensional Kac algebra acting outerly on the hyperfinite $II_1$ factor $R$ and $R^H$ denotes the fixed-point subalgebra. In this article we analyse quantum double inclusions associated to the family of Kac algebra subfactors given by $\{ R^H \subset R \rtimes \underbrace{H \rtimes H^* \rtimes \cdots}_{\text{$m$ times}} : m \geq 1 \}$. For each $…
Given a group action on a finite set, we define the group-action model which consists of tensor network diagrams which are invariant under the group symmetry. In particular, group-action models can be realized as the even part of group-subgroup subfactor planar algebras. Moreover, all group-subgroup subfactor planar algebras arise in this way from transitive actions. In this paper, we provide a universal skein theory for those planar algebras. With the help of this skein theory, we give a positive answer to a question asked by Vaughan Jones in the late nineties.
We analyse the Guionnet-Jones-Shlyakhtenko construction for the planar algebra associated to a finite-dimensional Kac algebra and identify the factors that arise as finite interpolated free group factors.
Ore proved that a finite group is cyclic if and only if its subgroup lattice is distributive. Now, since every subgroup of a cyclic group is normal, we call a subfactor planar algebra cyclic if all its biprojections are normal and form a distributive lattice. The main result generalizes one side of Ore's theorem and shows that a cyclic subfactor is singly generated in the sense that there is a minimal 2-box projection generating the identity biprojection. We conjecture that this result holds without assuming the biprojections to be normal, and we show that it is true for small lattices. We fin…
Let $(Γ,μ)$ be a bipartite graph together with a weight on its vertices. Assume that $μ$ is an eigenvector for the adjacency matrix of $Γ$. Let Aut$(Γ, μ)$ be the automorphism group of the bipartite graph $Γ$ that scales the weight $μ$. It is a locally compact totally disconnected group that acts on the bipartite graph planar algebra $P$ associated to $(Γ,μ)$. Consider a subgroup G < Aut$(Γ, μ)$ and the set of fixed points $P^G \subset P$ that we assume to be a subfactor planar algebra. If the closure of G inside Aut$(Γ, μ)$ satisfies an approximation property such as amenability, the Haagerup…
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$ imply drastic restrictions on the indices and angles between the subfactors. In particular we show that if these standard invariants are trivial and the conditional expectations onto $P$ and $Q$ do not commute, then $[M:N]$ is 6 or $6 + 4\sqrt 2$. In the former case $N$ is the fixed point algebra for an outer action of $S_3$ on $M$ and the angle is $π/3$, and …
By a construction of Vaughan Jones, the bipartite graph $Γ(A)$ associated with the natural inclusion of $\mathbb C$ inside a finite-dimensional $C^*$-algebra $A$ gives rise to a planar algebra $\mathcal P^{Γ(A)}$. We prove that every subfactor planar subalgebra of $\mathcal P^{Γ(A)}$ is the fixed point planar algebra of a uniquely determined action of a compact quantum group $\mathbb G$ on $A$. We use this result to introduce a conceptual framework for the free wreath product operation on compact quantum groups in the language of planar algebras/standard invariants of subfactors. Our approach …
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 direction of this uses the Guionnet-Jones-Shlyakhtenko construction.
We construct a certain `cobordism category' ${\cal D}$ whose morphisms are suitably decorated cobordism classes between similarly decorated closed oriented 1-manifolds, and show that there is essentially a bijection between (1+1-dimensional) unitary topological quantum field theories (TQFTs) defined on ${\cal D}$, on the one hand, and Jones' subfactor planar algebras, on the other.
