Categories generated by a trivalent vertex

DOI10.1007/S00029-016-0240-3MaRDI QIDQ522650zbMATH OpenOpenAlexFDO

Authors Scott Morrison, Emily Peters, Noah Snyder

Publication date 18 April 2017

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

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)

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.

Recommendations

• Invariants of piecewise-linear 3-manifolds
• Traces on ideals in pivotal categories
• SOME NON-BRAIDED FUSION CATEGORIES OF RANK THREE
• Kuperberg and Turaev-Viro invariants in unimodular categories
• Modular categories of type \(B\), \(C\) and \(D\)

Cites work

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

Cited in

(26)

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

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)