Mathematical Physics

A Coxeter category is a braided tensor category which carries an action of a generalised braid group $B_W$ on its objects. The axiomatics of a Coxeter category and the data defining the action of $B_W$ are similar in flavor to the associativity and commutativity constraints in a monoidal category, but arerelated to the coherence of a family of fiber functors.

We will show how to construct two examples of such structure on the integrable category $\matcal{O}$ representations of a symmetrisable Kac–Moody algebra $\mathfrak{g}$, the first one arising from the quantum group $U_\hbar(\mathfrak{g})$, and the second one encoding the monodromy of the KZ and Casimir connections of $\mathfrak{g}$.

The rigidity of this structure, proved in the framework of $\mathsf{PROP}$ categories, implies in particular that the monodromy of the Casimir connection is given by the quantum Weyl group operators of $U_\hbar(\mathfrak{g})$.

This is a joint work with Valerio Toledano Laredo.

Topological factorization homology is an invariant of manifolds which enjoys a hybrid of the structures in topological field theory, and in singular homology.  These invariants are especially interesting when we restrict attention to the factorization homology of surfaces, with coefficients in braided tensor categories.  In this talk, I would like to explain a technique, related to Beck monadicity, which allows us to compute these abstractly defined categories, as modules for explicitly computable, and in many cases well-known, algebras.

The algebras produced in this way for the annulus and punctured torus are the so-called ``reflection equation algebra" and "quantum differential equation algebra", respectively.  When we close up punctures, a variation on the our formalism naturally reproduces the framework of quantum Hamiltonian reduction, and leads to simultaneous deformations of categories D(g/G) of character sheaves on g, on the one hand, and categories QC(Ch_G(T^2)), of quasi-coherent sheaves on the character variety of T^2, on the other.  We call these deformations "quantum character varieties", and they form the two-dimensional part of a four dimensional TFT related to Kapustin-Witten's geometric Langlands TFT, or "topologically twisted N=4 SYM".

We'll explain the slogan of the title: a cluster variety is a space associated to a quiver, and which is built out of algebraic tori.

They appear in a variety of contexts in geometry, representation theory, and physics. We reinterpret the definition as: from a quiver (and some additional choices) one builds an exact symplectic 4-manifold from which the cluster variety is recovered as a component in its moduli space of Lagrangian branes. In particular, structures from cluster algebra govern the classification of exact Lagrangian surfaces in Weinstein 4-manifolds.

This is joint work with Vivek Shende and David Treumann.