Related papers: A Well-Defined Jellyfish Algorithm for the Affine …
The Kuperberg Program asks to find presentations of planar algebras and use these presentations to prove results about their corresponding categories purely diagrammatically. This program has been completed for index less than 4 and is…
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 show that if the principal graph of a subfactor planar algebra of modulus \delta>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…
We give generators and relations for the planar algebras corresponding to $ADE$ subfactors. We also give a basis and an algorithm to express an arbitrary diagram as a linear combination of these basis diagrams.
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 a finite index subfactor, we show that the {\em affine morphisms at zero level} in the affine category over the planar algebra associated to the subfactor is isomorphic to the fusion algebra of the subfactor as a *-algebra. This…
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…
We give a diagrammatic presentation of the A_2-Temperley-Lieb algebra. Generalizing Jones' notion of a planar algebra, we formulate an A_2-planar algebra motivated by Kuperberg's A_2-spider. This A_2-planar algebra contains a subfamily of…
In this short note we construct an embedding of the planar algebra for $\overline{\operatorname{Rep}(U_q(sl_3))}$ at $q = e^{2\pi i \frac{1}{24}}$ into the graph planar algebra of di Francesco and Zuber's candidate graph…
To a semisimple and cosemisimple Hopf algebra over an algebraically closed field, we associate a planar algebra defined by generators and relations and show that it is a connected, irreducible, spherical, non-degenerate planar algebra with…
We construct a numeric algorithm for completing the proof of a conjecture asserting that all deformed preprojective algebras of generalized Dynkin type are periodic. In particular, we obtain an algorithmic procedure showing that non-trivial…
We prove that the category of commutative Hopf algebras over a field $k$ is co-semi-abelian. Consequently, the category of affine group $k$-schemes is semi-abelian. We establish coregularity by identifying the orthogonal factorization…
We give presentations of the planar algebra of unipotent representations of the groups $\mathbb{C}$ and $\mathbb{F}_p$ under addition using jellyfish and light leaf style arguments. These are some of the most natural examples of…
Given a family $\mathcal{F}$ of graphs, a graph is \emph{$\mathcal{F}$-subgraph-free} if it has no subgraph isomorphic to a member of $\mathcal{F}$. We present a fixed-parameter linear-time algorithm that decides whether a planar graph can…
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…
A Gelfand model for a semisimple algebra A over C is a complex linear representation that contains each irreducible representation of A with multiplicity exactly one. We give a method of constructing these models that works uniformly for a…
Generalizing Jones's notion of a planar algebra, we have previously introduced an A_2-planar algebra capturing the structure contained in the double complex pertaining to the subfactor for a finite SU(3) ADE graph with a flat cell system.…
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…
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…
We suggest a classification scheme for subfactorizable fusion bialgebras, particularly for exchange relation planar algebras. This scheme begins by transforming infinite diagrammatic consistency equations of exchange relations into a finite…