Diagrammatics for $F_4$
Representation Theory
2025-05-14 v3 Category Theory
Abstract
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 . In this way, we obtain a set of diagrammatic tools for studying type representation theory that are analogous to those of the oriented and unoriented Brauer categories in classical type.
Cite
@article{arxiv.2107.12464,
title = {Diagrammatics for $F_4$},
author = {Raj Gandhi and Alistair Savage and Kirill Zainoulline},
journal= {arXiv preprint arXiv:2107.12464},
year = {2025}
}
Comments
20 pages. v2: Minor corrections, references added, proof of Prop. 5.2 modified; v3: Small improvements