# Diagrammatics for $F_4$

@inproceedings{Gandhi2021DiagrammaticsF, title={Diagrammatics for \$F\_4\$}, author={Raja Rama Gandhi and Alistair Savage and Kirill Zaynullin}, year={2021} }

. We deﬁne 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

- Mathematics
- 2014

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

- Mathematics
- 1989

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

- Mathematics
- 2003

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

- Mathematics
- 2012

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

- Mathematics

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

- Mathematics
- 2015

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

- Mathematics
- 1996

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

- Mathematics
- 2006

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

- Mathematics
- 2014

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…