Mathematical physics

The prototypical example of a symmetric tensor category is Rep(G) for G a compact group. The other main source of symmetric tensor categories are Deligne's interpolation categories (S_t, GL_t, and O_t) which extend a family of group representation categories defined at positive integers to all complex numbers. Harman and Snowden have developed a theory of symmetric tensor categories coming from Oligomorphic permutation groups together with a well-behaved measure on G-sets. This includes Deligne's S_t which comes from the infinite symmetric group together with a measure where the usual permutation G-set has volume t. The simplest new example of their theory is the group of order-preserving bijections of the real line with the measure given by Euler characteristic. In joint work with Harman and Snowden (arXiv:2211.15392) we give a detailed description of this new symmetric tensor category, which has a number of novel properties. We call this category the Delannoy category because the dimensions of Hom spaces are given by Delannoy numbers. In this talk I'll outline our main results, including the classification of simple objects, the tensor product rules, and a combinatorial model for the category using Delannoy paths.

---

Zoom link

This talk explains the theory of "factorisation" or "vertex algebra" analogues of the theory of quantum groups, (2312.07274).

We will first recap the theory of quantum groups and their connections to wider mathematics, due to Drinfeld, Etingof, Kazhdan, Jimbo, Reshetikhin, Turaev, and many others. We will then explain how to give a natural definition of "factorisation" version of these objects, give the basic structure theory about their categories of representations, and derive an explicit model for them. This relates to previous work of Etingof-Kazhdan and Frenkel-Reshetikhin.

We will sketch some physics heuristics for the above theory; briefly, our structures should appear on the category of line operators in 4d theories due to Costello, Witten and Yamazaki, e.g. on the representations Rep U_q(g^) of affine quantum groups.

We will then give some examples. The last part discusses the conjectures that naturally suggest themselves, for instance by analogy to the connections referred to above.

Prerequisites on chiral and vertex algebras will be given at a talk earlier in the week. (1-2pm Tuesday, Bob Room)

--- 

Zoom link

Brane Webs in Type IIB String Theory can be used to engineer 5d N=1 gauge theories and SCFTs. These brane webs can also be used to obtain so called magnetic quivers, whose 3d Coulomb branches gives the Higgs branch of the 5d theory in question. We will see how to obtain these magnetic quivers for brane webs possibly in the presence of orientifold planes. Then we will see how 3d Coulomb branch technology (such as quiver subtraction) can be used to understand Higgsings and mass deformations of 5d SCFTs.

---

Zoom link