English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

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 Open image in new window generated by a symmetric self-dual simple object X and a rotationally invariant morphism (1 rightarrow X otimes X otimes X). Our main result is that the only trivalent categories with (dim {text {Hom}}(1 rightarrow X^{otimes n})) bounded by 1, 0, 1, 1, 4, 11, 40 for (0 le n le 6) 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 (1 rightarrow X^{otimes 3}) is not rotationally invariant, and we give a complete classification of nondegenerate braided trivalent categories with dimensions of invariant spaces bounded by the sequence 1, 0, 1, 1, 4. Our main techniques are a new approach to finding skein relations which can be easily automated using Grobner bases, and evaluation algorithms which use the discharging method developed in the proof of the 4-color theorem.

Categories generated by a trivalent vertex