• Corpus ID: 236447811

Diagrammatics for $F_4$

@inproceedings{Gandhi2021DiagrammaticsF,
  title={Diagrammatics for \$F\_4\$},
  author={Raja Rama Gandhi and Alistair Savage and Kirill Zaynullin},
  year={2021}
}
. We define a diagrammatic monoidal category, together with a full and essentially surjective monoidal functor from this category to the category of modules over the exceptional Lie algebra of type F 4 . In this way, we obtain a set of diagrammatic tools for studying type F 4 representation theory analogous to those of the oriented and unoriented Brauer categories in classical type. 

References

SHOWING 1-10 OF 24 REFERENCES

A basis theorem for the affine oriented Brauer category and its cyclotomic quotients

The affine oriented Brauer category is a monoidal category obtained from the oriented Brauer category (= the free symmetric monoidal category generated by a single object and its dual) by adjoining a

A new duality theory for compact groups

SummaryThe Tannaka-Krein duality theory characterizes the category ℋ(G) of finite-dimensional, continuous, unitary representations of a compact group as a subcategory of the category of Hilbert

INVARIANT TENSORS AND DIAGRAMS

In this paper we first give three known examples of strict pivotal categories defined by a finite presentation. Then in the final section we give some of the relations for a conjectural strict

The Brauer Category and Invariant Theory

A category of Brauer diagrams, analogous to Turaev's tangle category, is introduced, and a presentation of the category is given; specifically, we prove that seven relations among its four generating

THE F4 AND E6 FAMILIES HAVE A FINITE NUMBER OF POINTS

Deligne conjectured that there is a continuous family of exceptional Lie algebras, a category with a continuous parameter that specializes to the category of representations of the exceptional Lie

Categories generated by a trivalent vertex

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

Spiders for rank 2 Lie algebras

A spider is an axiomatization of the representation theory of a group, quantum group, Lie algebra, or other group or group-like object. It is also known as a spherical category, or a strict, monoidal

Rational R-matrices, centralizer algebras and tensor identities for e6 and e7 exceptional families of Lie algebras

We use Cvitanovic’s [Group Theory (Princeton University Press, Princeton, NJ, in press) (http://www.nbi.dk/GroupTheory/); Phys. Rev. D 14, 1536 (1976)] diagrammatic techniques to construct the

Webs and quantum skew Howe duality

We give a diagrammatic presentation in terms of generators and relations of the representation category of $$U_q({\mathfrak {sl}}_n) $$Uq(sln). More precisely, we produce all the relations among