Categories generated by a trivalent vertex

DOI10.1007/S00029-016-0240-3zbMATH Open1475.18025arXiv1501.06869OpenAlexW2964092055MaRDI QIDQ522650FDOQ522650

Emily Peters, Noah Snyder, Scott Morrison

Publication date: 18 April 2017

Published in: Selecta Mathematica. New Series (Search for Journal in Brave)

Abstract: This is the first paper in a general program to automate skein theoretic arguments. In this paper, we study skein theoretic invariants of planar trivalent graphs. Equivalently, we classify trivalent categories, which are nondegenerate pivotal tensor categories over $mathbbC$ generated by a symmetric self-dual simple object $X$ and a rotationally invariant morphism $1ightarrowXotimesXotimesX$. Our main result is that the only trivalent categories with $dimoperatornameHom(1,X^{otimesn})$ bounded by $1,0,1,1,4,11,40$ for $0leqnleq6$ are quantum $SO(3)$, quantum $G_2$, a one-parameter family of free products of certain Temperley-Lieb categories (which we call ABA categories), and the $H3$ Haagerup fusion category. We also prove similar results where the map $1ightarrow{X}^{otimes3}$ is not rotationally invariant, and we give a complete classification of nondegenerate braided trivalent categories with dimensions of invariant spaces bounded by $1,0,1,1,4$. Our main techniques are a new approach to finding skein relations which can be easily automated using Gr"obner bases, and evaluation algorithms which use the discharging method developed in the proof of the $4$-color theorem.

Full work available at URL: https://arxiv.org/abs/1501.06869

Mathematics Subject Classification ID

Planar graphs; geometric and topological aspects of graph theory (05C10) Monoidal categories, symmetric monoidal categories (18M05) Knot theory (57K10)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A polynomial invariant for knots via von Neumann algebras
• A probabilistic remark on algebraic program testing
• Fast Probabilistic Algorithms for Verification of Polynomial Identities
• The exoticness and realisability of twisted Haagerup--Izumi modular data
• On braided fusion categories. I
• Spiders for rank 2 Lie algebras
• Algebraic structures on modules of diagrams
• On theories with a combinatorial definition of 'equivalence'
• Planar algebras. I
• Multiplicative functions on the lattice of non-crossing partitions and free convolution
• Canonical basis for quantum \(\mathfrak{osp}(1|2)\)
• Skein theory for the \(D_{2n}\) planar algebras
• THE QUANTUM G₂ LINK INVARIANT
• The Brauer-Picard group of the Asaeda-Haagerup fusion categories
• On braided tensor categories of typeBCD
• Spherical categories
• Exotic subfactors of finite depth with Jones indices \((5+\sqrt{13})/2\) and \((5+\sqrt{17})/2\)
• Exchange relation planar algebras
• Subfactors of index less than 5. I: The principal graph odometer
• Constructing the extended Haagerup planar algebra
• Intermediate subfactors with no extra structure
• CLASSIFICATION OF NONCOMMUTING QUADRILATERALS OF FACTORS
• Quantum subgroups of the Haagerup fusion categories
• Strongly regular graphs and spin models for the Kauffman polynomial
• Near-group categories
• Knot polynomial identities and quantum group coincidences
• Near-group fusion categories and their doubles
• Jaeger's Higman-Sims state model and the \(B_ 2\) spider
• Singly generated planar algebras of small dimension. II.
• Singly generated planar algebras of small dimension.
• Confluence theory for graphs
• Singly generated planar algebras of small dimension, Part III
• A Cuntz algebra approach to the classification of near-group categories

Cited In (25)

• On spectral measures for certain unitary representations of R. Thompson's group F
• Classification of super-modular categories by rank
• Diagrammatics for F4$F_4$
• A no-go theorem for the continuum limit of a periodic quantum spin chain
• Quantum diagrammatics for \(F_4\)
• Monoidal categories, representation gap and cryptography
• Spectral measures for G2, II: Finite subgroups
• Irreducible Pythagorean representations of R. Thompson's groups and of the Cuntz algebra
• Free oriented extensions of subfactor planar algebras
• On the \(3\)-colorable subgroup \(\mathcal{F}\) and maximal subgroups of Thompson's group \(F\)
• Mini-workshop: Non-semisimple tensor categories and their semisimplification. Abstracts from the mini-workshop held February 7--13, 2021 (online meeting)
• Auto-equivalences of the modular tensor categories of type \(A, B, C\) and \(G\)
• Universal skein theory for group actions
• Classification of module categories for \(SO (3)_{2m} \)
• Quantum \(G_2\) categories have property (T)
• Scale invariant transfer matrices and Hamiltionians
• On Semisimplification of Tensor Categories
• Braid rigidity for path algebras
• Classifying fusion categories \(\otimes\)-generated by an object of small Frobenius-Perron dimension
• The Brauer–Picard groups of fusion categories coming from the ADE subfactors
• Towards a Classification of Compact Quantum Groups of Lie Type
• Non-unitary fusion categories and their doubles via endomorphisms
• Locality and the uniqueness of quantum invariants
• Irreducibility of the wysiwyg representations of Thompson's groups
• Classification of Thurston relation subfactor planar algebras

This page was built for publication: Categories generated by a trivalent vertex

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q522650)