Skein theory for the D_{2n} planar algebras

Abstract

We give a combinatorial description of the ``$D_{2n}$ planar algebra,'' by generators and relations. We explain how the generator interacts with the Temperley-Lieb braiding. This shows the previously known braiding on the even part extends to a `braiding up to sign' on the entire planar algebra. We give a direct proof that our relations are consistent (using this `braiding up to sign'), give a complete description of the associated tensor category and principal graph, and show that the planar algebra is positive definite. These facts allow us to identify our combinatorial construction with the standard invariant of the subfactor $D_{2n}$.

Correcting several errors noticed by careful readers!

References in corpus (8)

• A Diagrammatic Category for the Representation Theory of U_q(sl_n)
• Confluence Theory for Graphs
• An orthogonal approach to the subfactor of a planar algebra
• The planar algebra of diagonal subfactors
• Knot polynomial identities and quantum group coincidences
• Jones-Wenzl idempotents For Rank 2 Simple Lie algebras
• The planar algebra of group-type subfactors
• Skein theory for the ADE planar algebras

Cited by in corpus (34)

• The classification of subfactors of index at most 5
• Operator algebras in rigid C*-tensor categories
• Constructing the extended Haagerup planar algebra
• Rigid C^*-tensor categories of bimodules over interpolated free group factors
• Planar Para Algebras, Reflection Positivity
• Exchange relation planar algebras of small rank
• The Nakayama automorphism of the almost Calabi-Yau algebras associated to SU(3) modular invariants
• Yang-Baxter relation planar algebras
• The planar algebra of diagonal subfactors
• Categorified trace for module tensor categories over braided tensor categories
• C*-tensor categories and subfactors for totally disconnected groups
• Constructing spoke subfactors using the jellyfish algorithm
• Web bases for the general linear groups
• A planar algebra construction of the Haagerup subfactor
• A Construction of the "2221" Planar Algebra
• A2-Planar Algebras II: Planar Modules
• The Brauer-Picard groups of the fusion categories coming from the $ADE$ subfactors
• Fusion Rules for $\mathbb{Z}/2\mathbb{Z}$ Permutation Gauging
• Lifting shadings on symmetrically self-dual subfactor planar algebras
• Singly generated planar algebras of small dimension, Part III
• Diagrammatic morphisms between indecomposable modules of ${\bar{U}}_q({\mathfrak{sl}}_2)$
• $C^{\ast }$-algebras from planar algebras I: canonical $C^{\ast }$-algebras associated to a planar algebra
• $K$-theory of AF-algebras from braided C*-tensor categories
• A Diagrammatic Multivariate Alexander Invariant of Tangles
• A field guide to categories with $A_n$ fusion rules
• Realizing the braided Temperley-Lieb-Jones C*-tensor categories as Hilbert C*-modules
• Non-Semisimple Planar Algebras from the Representation Theory of ${\bar{U}}_q({\mathfrak{sl}}_2)$
• A complete classification of unitary fusion categories tensor generated by an object of dimension $\frac{1+\sqrt{5}}{2}$
• A planar algebraic description of conditional expectations
• Interpolation categories for Conformal Embeddings
• Type $II$ quantum subgroups of ${\mathfrak{sl}}_N$. $I$: Symmetries of local modules
• Classification of Module Categories for $SO(3{)}_{2m}$
• Planar algebra presentations of ${\text{URep}}_{\mathbb{C}}({\mathbb{C}}^{+})$ and ${\text{URep}}_{{\mathbb{F}}_p}({\mathbb{F}}_p^{+})$
• Free probability, planar algebras, and the multicolored Guionnet-Jones-Shlyakhtenko construction