---
title: Graph Planar Algebra Embedding Theorem
url: https://www.emergentmind.com/topics/graph-planar-algebra-embedding-theorem
type: topic
---

# Graph Planar Algebra Embedding Theorem

Searching arXiv for the cited papers and closely related work to ground the article.
The Graph Planar Algebra Embedding Theorem is a realization theorem in subfactor theory stating that a finite depth subfactor planar algebra can be embedded, as a shaded planar $*$-algebra, into the bipartite graph planar algebra of an associated graph. In its original form, the target graph is the principal graph of the subfactor planar algebra; in its later generalization, the target may be the fusion graph of any cyclic pivotal $C^*$-module over the corresponding projection category. The theorem converts an abstract standard invariant into a concrete loop-based planar algebra model, preserving grading, the $*$-structure, positivity, and the tracial state, and thereby provides a combinatorial framework for construction, computation, and obstruction arguments in finite depth subfactor theory [1007.3173][1810.07049].

## 1. Statement of the theorem and its variants

In the finite depth setting, let $P$ be a finite depth subfactor planar algebra of modulus $\delta>0$, assumed to be a shaded spherical $C^*$-planar algebra. Let $\Gamma$ be the principal graph of $P$. Then there exists an injective planar algebra homomorphism
$$
\phi:P\to G(\Gamma),
$$
into the bipartite graph planar algebra of $\Gamma$, making $P$ a planar subalgebra. Equivalently, for each $n$ and shading $\pm$, $\phi$ restricts to an injective $*$-homomorphism of finite-dimensional $C^*$-algebras
$$
\phi:P_{n,\pm}\to G_{n,\pm}(\Gamma)
$$
intertwining all planar tangle operations. The map preserves grading, the $*$-structure, positivity, and the tracial state. The modulus is $\delta$, and the index satisfies $[M:N]=\delta^2$ [1007.3173].

A later reformulation replaces the principal graph target by a more general fusion graph target. Let $Q_\bullet$ be a finite depth subfactor planar algebra, and let $(M,\operatorname{Tr}_M,m)$ be an indecomposable finitely semisimple pivotal right module $C^*$ category over the projection category of $Q_\bullet$, with simple basepoint $m$. Then $Q_\bullet$ embeds into the bipartite graph planar algebra of the fusion graph of the cyclic module $(M,m)$. In this form, the principal graph embedding is recovered by choosing the cyclic module given by the planar module consisting of the $P_+$ tower itself; choosing the dual tower recovers the embedding into the dual principal graph [1810.07049].

The generalized statement is strictly broader than the principal-graph version. It covers embeddings into graph planar algebras associated to graphs that are not the principal or dual principal graphs, provided they arise as fusion graphs of cyclic pivotal modules. This explains why constructions associated with graphs used in Haagerup–Izumi or extended Haagerup settings fit naturally into the graph planar algebra framework [1810.07049].

## 2. Strongly Markov inclusions and the canonical relative commutant planar algebra

The operator-algebraic input is a strongly Markov inclusion
$$
M_0\subset (M_1,\operatorname{tr}_1)
$$
of finite von Neumann algebras. Two conditions characterize this setting in the formulation used for the embedding theorem: the canonical semifinite trace $\operatorname{Tr}_2$ on the basic construction $M_2=\langle M_1,e_1\rangle$ is finite and normalized so that $\operatorname{Tr}_2(1)^{-1}\operatorname{Tr}_2|_{M_1}=\operatorname{tr}_1$, and there exists a Pimsner–Popa basis $B=\{b_i\}\subset M_1$ for $M_1$ over $M_0$, equivalently
$$
1=\sum_i b_i e_1 b_i^*.
$$
Such a basis satisfies
$$
x=\sum_i b_i E_{M_0}(b_i^*x)=\sum_i E_{M_0}(x b_i)b_i^*
$$
for all $x\in M_1$, and the Watatani index is
$$
[M_1:M_0]=\sum_i b_i b_i^*,
$$
independent of the choice of basis [1007.3173].

The associated Jones tower
$$
M_0\subset M_1\subset M_2\subset \cdots
$$
is built inductively by $M_{n+1}=\langle M_n,e_n\rangle$, with
$$
\operatorname{tr}_{n+1}(x e_n)=d^{-2}\operatorname{tr}_n(x),\qquad d=[M_1:M_0]^{1/2}=\delta.
$$
The projections $e_i$ satisfy the Temperley–Lieb–Jones relations
$$
e_i^2=e_i,\qquad e_i e_j=e_j e_i\ \ (|i-j|>1),\qquad e_i e_{i\pm1} e_i=\delta^{-2}e_i.
$$
Equivalently, with $E_i=d e_i$,
$$
E_i^2=dE_i=dE_i^*,\qquad E_i E_j=E_j E_i\ \ (|i-j|>1),\qquad E_i E_{i\pm1}E_i=E_i.
$$
The Markov normalization is therefore identical to the planar algebra loop parameter [1007.3173].

From a strongly Markov inclusion one defines a canonical shaded planar $*$-algebra by relative commutants:
$$
P_{n,+}:=\theta_n^{-1}(M_0'\cap M_n),\qquad
P_{n,-}:=\theta_{n+1}^{-1}(M_1'\cap M_{n+1}),
$$
where $\theta_n$ is the identification
$$
\theta_n:M_1\otimes_{M_0}\cdots\otimes_{M_0}M_1\to M_n,
\qquad
\theta_n(x_1\otimes\cdots\otimes x_n)=x_1 v_1 x_2 v_2\cdots v_{n-1}x_n,
$$
with $v_i=de_i\,de_{i-1}\cdots de_1$. Multiplication is induced by product in $M_n$, the $*$-structure is reversal of tensors, inclusions add vertical strings, and capping operations are implemented by conditional expectations. In particular, the commutant expectation has the explicit formula
$$
E_{M_1'}(x)=d^{-2}\sum_{b\in B} b x b^*,
$$
independent of the chosen Pimsner–Popa basis [1007.3173].

This relative-commutant planar algebra is the algebraic core of the embedding theorem. It supplies an intrinsic planar algebra attached to the Jones tower before any graph model is introduced.

## 3. Bipartite graph planar algebras and Perron–Frobenius normalization

For a connected unital inclusion of finite-dimensional $C^*$-algebras $M_0\subset M_1$ with the Markov trace, the Bratteli diagram $\Gamma$ is a finite connected bipartite multigraph whose even and odd vertices index simple summands of $M_0$ and $M_1$. If $\Lambda$ is the bipartite adjacency matrix, the Markov trace vectors $\lambda_0$ and $\lambda_1$ satisfy
$$
\Lambda\lambda_1=\lambda_0,\qquad
\Lambda^T\Lambda \lambda_1=d^{-2}\lambda_1,\qquad
\Lambda\Lambda^T\lambda_0=d^{-2}\lambda_0,
$$
with $d^2=\|\Lambda^T\Lambda\|$. Equivalently, if
$$
A=\begin{pmatrix}0&\Lambda\\ \Lambda^T&0\end{pmatrix},
$$
then the Perron–Frobenius eigenvalue of $A$ is $\delta$, and one uses a positive Perron–Frobenius eigenvector $\mu$ with $A\mu=\delta\mu$; in the normalization of the theorem one writes
$$
\lambda=\begin{pmatrix}\lambda_0\\ d\lambda_1\end{pmatrix}
$$
as the positive eigenvector encoding the trace weights [1007.3173].

The bipartite graph planar algebra $G(\Gamma)$, also denoted $\operatorname{GPA}(\Gamma)$, is a shaded planar $*$-algebra whose box spaces are spanned by based loops of length $2n$ in $\Gamma$. For the even shading,
$$
G_{n,+}=\operatorname{span}\big[\varepsilon_1\varepsilon_2^*\cdots \varepsilon_{2n-1}\varepsilon_{2n}^*\big],
$$
where the loop starts at an even vertex; $G_{n,-}$ is defined analogously from odd vertices. Multiplication is path concatenation with matching conditions at the seam, and the adjoint is loop reversal:
$$
[\varepsilon_1\varepsilon_2^*\cdots \varepsilon_{2n-1}\varepsilon_{2n}^*]^*
=
[\varepsilon_{2n}\varepsilon_{2n-1}^*\cdots \varepsilon_2\varepsilon_1^*].
$$
The action of tangles is computed by summing over states and multiplying by local correction factors
$$
c(\sigma)=\prod_{e\in E(T)} k_e,\qquad
k_e=\sqrt{\frac{\lambda(\operatorname{convex}(e))}{\lambda(\operatorname{concave}(e))}},
$$
so that contractible closed loops evaluate to $d$ [1007.3173].

The Temperley–Lieb structure is built directly into the graph model. Jones projections are realized by cap-cup elements, and in algebraic form satisfy
$$
e_i^2=e_i,\qquad e_i e_{i\pm1}e_i=\frac{1}{\delta^2}e_i.
$$
The trace on loop basis elements is diagonal with Perron–Frobenius weights. For loops $\ell,m\in G_{n,\pm}$,
$$
\langle \ell,m\rangle=\operatorname{tr}_n(m^*\ell),
$$
and the loop basis carries the Markov trace after the appropriate Perron–Frobenius normalization [1007.3173].

A central identification theorem states that the canonical relative-commutant planar algebra of a strongly Markov inclusion of finite-dimensional $C^*$-algebras is isomorphic to the bipartite graph planar algebra of the Bratteli diagram of the inclusion. In the principal-graph embedding theorem, that Bratteli diagram is the principal graph of the finite depth subfactor planar algebra; in the module embedding theorem, it becomes the fusion graph of a cyclic module [1007.3173][1810.07049].

## 4. Construction of the embedding

The original proof proceeds in three steps. First, one chooses a finite shift $s=2r$ large enough so that the shifted inclusion
$$
Q_{s,+}\subset Q_{s+1,+}\subset (Q_{s+2,+},e_{s+1})
$$
is standard; finite depth guarantees the existence of such a shift. Setting
$$
M_0=Q_{s,+},\qquad M_1=Q_{s+1,+},
$$
one forms the canonical relative-commutant planar algebra $P_\bullet$ attached to the strongly Markov inclusion $M_0\subset M_1$ [1007.3173].

Second, one defines the embedding map by adding strings on the left. In the principal-graph form, the map
$$
\Phi:Q_\bullet\to P_\bullet
$$
is given by adding $s=2r$ strings on the left for $Q_{n,+}$ and $s+1$ strings on the left for $Q_{n,-}$. In the generalized categorical form, if $(M,\operatorname{Tr}_M,m)$ is a cyclic pivotal module category over the projection category of $Q_\bullet$, one constructs the tower
$$
M_n:=\operatorname{End}_M(m\triangleleft X_{\mathrm{alt}}^{\otimes n}),
$$
chooses $r\ge 0$ such that $M_{2r}\subset(M_{2r+1},\operatorname{tr}_{2r+1})$ is strongly Markov, and defines
$$
\Phi_{n,\pm}(x):=\operatorname{id}_m\triangleleft \operatorname{id}_{(X\otimes \bar X)^{\otimes r}}\triangleleft x.
$$
Diagrammatically, this “adds $2r$ alternating strings on the left” together with the module strand corresponding to $m$ [1810.07049].

Third, one verifies that $\Phi$ intertwines the planar algebra structure. In the finite depth principal-graph case, $\Phi$ preserves multiplication, the $*$-structure, Jones projections, inclusions, and both ordinary and commutant conditional expectations. Injectivity follows from trace-preservation and positivity on finite-dimensional box spaces:
if $\Phi(x)=0$, then
$$
\operatorname{tr}(x^*x)=\operatorname{tr}(\Phi(x)^*\Phi(x))=0,
$$
hence $x=0$ [1007.3173].

In the module form, the verification uses the tower description together with the fact that left capping is averaging over a Pimsner–Popa basis:
$$
E_{A_1'\cap A_n}^{A_0'\cap A_n}(x)=d^{-2}\sum_b b x b^*.
$$
The key identity is that the map $\Phi$ commutes with left capping after choosing Pimsner–Popa bases adapted to the compression and shift. The resulting planar $*$-algebra morphism lands in the canonical relative-commutant planar algebra $P_\bullet$, and composing with a non-canonical planar $*$-isomorphism
$$
P_\bullet\cong \operatorname{GPA}(\Gamma)_\bullet
$$
produces the desired embedding into the graph planar algebra [1810.07049].

Different choices entering the construction are controlled. Shifting by two strings produces isomorphic canonical planar algebras; compression by projections with central support $1$ produces isomorphic canonical planar algebras; and different choices of Pimsner–Popa bases change the identification with the graph planar algebra by a planar $*$-automorphism. Thus the resulting embeddings are equivalent up to planar $*$-automorphisms of the target [1810.07049].

## 5. Module categories, Markov towers, and the generalized embedding theorem

A major conceptual advance of the towers-of-algebras approach is the equivalence between several formulations of “module over a subfactor planar algebra.” The paper establishes the following chain of equivalences: subfactor planar algebras are equivalent to unitary $2\times 2$ multitensor categories with generator; modules over planar algebras are equivalent to pivotal module $C^*$-categories over the corresponding multitensor category; and pivotal $\operatorname{TLJ}(d)$-module $C^*$-categories are equivalent to connected Markov towers of tracial finite-dimensional von Neumann algebras and to pointed bipartite graphs with Frobenius–Perron vertex weights [1810.07049].

A Markov tower
$$
M_\bullet=(M_n,\operatorname{tr}_n,e_{n+1})
$$
consists of an increasing sequence of finite-dimensional von Neumann algebras, faithful normal tracial states with $\operatorname{tr}_{n+1}|_{M_n}=\operatorname{tr}_n$, and Jones projections satisfying the Temperley–Lieb–Jones relations with modulus $d>0$. The canonical trace-preserving conditional expectation $E_n:M_n\to M_{n-1}$ is implemented by $e_n$:
$$
e_n x e_n=E_n(x)e_n,
$$
and the Markov property is
$$
\operatorname{tr}_{n+2}(x e_n)=d^{-2}\operatorname{tr}_{n+1}(x).
$$
The tower also has a pull-down property $M_{n+1}e_n=M_n e_n$, and a decomposition of each level into “old stuff” and “new stuff,” with the principal graph defined from the simple summands in the new stuff [1810.07049].

The converse construction starts from a cyclic pivotal right $\operatorname{TLJ}(d)$-module $C^*$-category $(M,\operatorname{Tr}_M,m)$. One sets
$$
M_n:=\operatorname{End}_M(m\triangleleft X_{\mathrm{alt}}^{\otimes n}),
$$
takes $\operatorname{tr}_n$ to be the normalized trace induced by $\operatorname{Tr}_M$, and defines Jones projections from the coevaluation and evaluation morphisms of $X$ and their daggers. These satisfy the Temperley–Lieb–Jones relations with modulus $d$, and the principal graph of the resulting tower is exactly the fusion graph of the cyclic module $(M,m)$ with respect to the generator $X$ [1810.07049].

This equivalence yields a classification theorem for cyclic pivotal right $\operatorname{TLJ}(d)$-module $C^*$-categories with simple basepoint. Their equivalence classes are classified by a connected bipartite graph $\Gamma$ with distinguished base vertex $v_0$ and a positive function $\dim:V(\Gamma)\to \mathbb{R}_{>0}$ satisfying the Frobenius–Perron condition
$$
A v=d v,
$$
equivalently
$$
d\cdot \dim(v)=\sum_{w\sim v}\dim(w),
$$
with normalization $\dim(v_0)=1$. The data determine, and are determined by, the Markov tower and its principal graph, hence by the $\operatorname{TLJ}(d)$-module [1810.07049].

In this formulation, the generalized embedding theorem becomes a structural statement: every finite depth subfactor planar algebra embeds into the graph planar algebra of the fusion graph of any of its cyclic modules. The original principal graph embedding is the special case obtained from the canonical cyclic module defined by the planar module tower itself [1810.07049].

## 6. Applications, obstructions, and significance for classification

One immediate consequence of the embedding theorem is that any finite depth subfactor planar algebra may be studied concretely inside a loop algebra model. This permits explicit computations with generators, Jones projections, traces, and annular actions using paths on a graph rather than only abstract planar operad relations. The theorem is therefore a central tool in classification problems, especially at small index, where low-box-space relations can be checked inside graph planar algebras [1007.3173].

A notable application is the obstruction of principal graphs developed from the embedding theorem for a family of $3$-supertransitive subfactors. In that setting, if the principal graph begins as a Temperley–Lieb chain through depth $3$, bifurcates at depth $4$ to vertices $P$ and $Q$, and continues to $P'$ and $Q'$ at depth $5$, then one studies the image of a $4$-box lowest weight rotational eigenvector
$$
S\in P_{4,+}=\mathrm{TL}_4\oplus \mathbb{C}S
$$
inside $\operatorname{GPA}(\Gamma)_{4,+}$. The vector $S$ satisfies the quadratic relation
$$
S^2=(1-r)S+r f^{(4)},
$$
where $r$ is the ratio $\dim(P)/\dim(Q)$ or its reciprocal if $<1$, and $f^{(4)}$ is the $4$-strand Jones–Wenzl idempotent [1302.5148].

The graph planar algebra model turns annular lowest-weight conditions into explicit linear equations on coefficients of loops. For example, the relations
$$
S(\dots 010\dots)=0,\qquad
S(\dots 121\dots)=-\frac{\kappa\,\dim(1)}{\dim(2)}S(\dots 101\dots),
$$
and analogous formulas at deeper vertices reduce the calculation to finitely many collapsed loops. In the family considered, there are $81$ collapsed loops and $24$ rotation orbits; after imposing lowest-weight and rotation constraints, the solution space has dimension $4$ for $\omega=-1$ and dimension $3$ for $\omega=+1$ [1302.5148].

The decisive consequence is an “early cycle” obstruction. If there is no vertex at depth $6$ adjacent to both $P'$ and $Q'$, then the quadratic and annular relations force either the Haagerup polynomial
$$
q^8-q^6-q^4-q^2+1=0
$$
or a contradiction. For $q>1$, this yields the index
$$
[M:N]=q^2+2+q^{-2}=\frac{5+\sqrt{13}}{2},
$$
which is the Haagerup index. Hence, in this family, absence of a cycle by depth $6$ implies that the standard invariant is that of the Haagerup subfactor; otherwise a cycle must appear by depth $6$ [1302.5148].

The broader significance is twofold. First, the embedding theorem transforms structural questions about subfactor planar algebras into concrete graph-theoretic calculations with Perron–Frobenius weights and loop concatenations. Second, the module embedding theorem shows that non-principal graph targets are not exceptional phenomena but are organized by cyclic pivotal module categories and their fusion graphs. This unifies planar algebra, tensor-categorical, and operator-algebraic approaches to subfactors within a single graph-planar-algebra framework [1810.07049].

Source: https://www.emergentmind.com/topics/graph-planar-algebra-embedding-theorem