Categories generated by a trivalent vertex (Q522650): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
This paper is the first in a general program to automate skein-theoretic arguments in quantum algebra and quantum topology, studying skein-theoretic invariants of planar triangular graphs after [\textit{G. Kuperberg}, Int. J. Math. 5, No. 1, 61--85 (1994; Zbl 0797.57008)]. The paper is to be thought of as providing classifications of nondegenerate pivotal tensor categories over \(\mathbb{C}\)\ generated by a symmetrically self-dual simple object \(X\) and a rotationally invariant morphism \[ 1\rightarrow X\otimes X\otimes X \] The main result is that the only trivalent categories with \[ \dim\,\mathrm{Hom}\left( 1\rightarrow X^{\otimes n}\right) \] bounded by \[ 1,0,1,1,4,11,40 \] for \(0\leq n\leq6\) are quantum \(SO\left( 3\right) \), quantum \(G_{2}\), a one-parameter family of free products of certain Temperley-Lieb categories and the \(H3\) Haagerup fusion category. The authors establish similar results where the map \(1\rightarrow X^{\otimes n}\)\ is not rotationally invariant. The main techniques are a new approach to finding skein relations which is to be easily automated with the help of Gröbner bases together with evaluation algorithms making use of the discharging method developed in the proof of the \(4\)-color theorem [\textit{K. Appel} and \textit{W. Haken}, Bull. Am. Math. Soc. 82, 711--712 (1976; Zbl 0331.05106); J. Recreat. Math. 9, 161--169 (1977; Zbl 0357.05043); Ill. J. Math. 21, 429--490 (1977; Zbl 0387.05009); Every planar map is four colorable. Providence, RI: American Mathematical Society (1989; Zbl 0681.05027); \textit{K. Appel} et al., Ill. J. Math. 21, 491--567 (1977; Zbl 0387.05010)]. | |||
Property / review text: This paper is the first in a general program to automate skein-theoretic arguments in quantum algebra and quantum topology, studying skein-theoretic invariants of planar triangular graphs after [\textit{G. Kuperberg}, Int. J. Math. 5, No. 1, 61--85 (1994; Zbl 0797.57008)]. The paper is to be thought of as providing classifications of nondegenerate pivotal tensor categories over \(\mathbb{C}\)\ generated by a symmetrically self-dual simple object \(X\) and a rotationally invariant morphism \[ 1\rightarrow X\otimes X\otimes X \] The main result is that the only trivalent categories with \[ \dim\,\mathrm{Hom}\left( 1\rightarrow X^{\otimes n}\right) \] bounded by \[ 1,0,1,1,4,11,40 \] for \(0\leq n\leq6\) are quantum \(SO\left( 3\right) \), quantum \(G_{2}\), a one-parameter family of free products of certain Temperley-Lieb categories and the \(H3\) Haagerup fusion category. The authors establish similar results where the map \(1\rightarrow X^{\otimes n}\)\ is not rotationally invariant. The main techniques are a new approach to finding skein relations which is to be easily automated with the help of Gröbner bases together with evaluation algorithms making use of the discharging method developed in the proof of the \(4\)-color theorem [\textit{K. Appel} and \textit{W. Haken}, Bull. Am. Math. Soc. 82, 711--712 (1976; Zbl 0331.05106); J. Recreat. Math. 9, 161--169 (1977; Zbl 0357.05043); Ill. J. Math. 21, 429--490 (1977; Zbl 0387.05009); Every planar map is four colorable. Providence, RI: American Mathematical Society (1989; Zbl 0681.05027); \textit{K. Appel} et al., Ill. J. Math. 21, 491--567 (1977; Zbl 0387.05010)]. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Hirokazu Nishimura / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18M05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 05C10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 57K10 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6706083 / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2964092055 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1501.06869 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Exotic subfactors of finite depth with Jones indices \((5+\sqrt{13})/2\) and \((5+\sqrt{17})/2\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Singly generated planar algebras of small dimension. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Singly generated planar algebras of small dimension. II. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Singly generated planar algebras of small dimension, Part III / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Constructing the extended Haagerup planar algebra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Spherical categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Canonical basis for quantum \(\mathfrak{osp}(1|2)\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4878340 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4779050 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On braided fusion categories. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A probabilistic remark on algebraic program testing / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The exoticness and realisability of twisted Haagerup--Izumi modular data / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Near-group fusion categories and their doubles / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4658947 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: CLASSIFICATION OF NONCOMMUTING QUADRILATERALS OF FACTORS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Intermediate subfactors with no extra structure / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Brauer-Picard group of the Asaeda-Haagerup fusion categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Quantum subgroups of the Haagerup fusion categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Cuntz algebra approach to the classification of near-group categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Strongly regular graphs and spin models for the Kauffman polynomial / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A polynomial invariant for knots via von Neumann algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2871958 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: THE QUANTUM G<sub>2</sub> LINK INVARIANT / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Spiders for rank 2 Lie algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Jaeger's Higman-Sims state model and the \(B_ 2\) spider / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4273351 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Exchange relation planar algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Skein theory for the \(D_{2n}\) planar algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Knot polynomial identities and quantum group coincidences / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Subfactors of index less than 5. I: The principal graph odometer / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On theories with a combinatorial definition of 'equivalence' / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4443440 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4808275 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Fast Probabilistic Algorithms for Verification of Polynomial Identities / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Near-group categories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Multiplicative functions on the lattice of non-crossing partitions and free convolution / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4236280 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Confluence theory for graphs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4561569 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On braided tensor categories of type<i>BCD</i> / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraic structures on modules of diagrams / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3851616 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 17:20, 13 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Categories generated by a trivalent vertex |
scientific article |
Statements
Categories generated by a trivalent vertex (English)
0 references
18 April 2017
0 references
This paper is the first in a general program to automate skein-theoretic arguments in quantum algebra and quantum topology, studying skein-theoretic invariants of planar triangular graphs after [\textit{G. Kuperberg}, Int. J. Math. 5, No. 1, 61--85 (1994; Zbl 0797.57008)]. The paper is to be thought of as providing classifications of nondegenerate pivotal tensor categories over \(\mathbb{C}\)\ generated by a symmetrically self-dual simple object \(X\) and a rotationally invariant morphism \[ 1\rightarrow X\otimes X\otimes X \] The main result is that the only trivalent categories with \[ \dim\,\mathrm{Hom}\left( 1\rightarrow X^{\otimes n}\right) \] bounded by \[ 1,0,1,1,4,11,40 \] for \(0\leq n\leq6\) are quantum \(SO\left( 3\right) \), quantum \(G_{2}\), a one-parameter family of free products of certain Temperley-Lieb categories and the \(H3\) Haagerup fusion category. The authors establish similar results where the map \(1\rightarrow X^{\otimes n}\)\ is not rotationally invariant. The main techniques are a new approach to finding skein relations which is to be easily automated with the help of Gröbner bases together with evaluation algorithms making use of the discharging method developed in the proof of the \(4\)-color theorem [\textit{K. Appel} and \textit{W. Haken}, Bull. Am. Math. Soc. 82, 711--712 (1976; Zbl 0331.05106); J. Recreat. Math. 9, 161--169 (1977; Zbl 0357.05043); Ill. J. Math. 21, 429--490 (1977; Zbl 0387.05009); Every planar map is four colorable. Providence, RI: American Mathematical Society (1989; Zbl 0681.05027); \textit{K. Appel} et al., Ill. J. Math. 21, 491--567 (1977; Zbl 0387.05010)].
0 references
0 references
0 references