Mathematical Physics

We discuss recent work showing that in type A_n the category of equivariant perverse coherent sheaves on the affine Grassmannian categorifies the cluster algebra associated to the BPS quiver of pure N=2 gauge theory. Physically, this can be understood as a statement about line operators in this theory, following ideas of Gaiotto-Moore-Neitzke, Costello, and Kapustin-Saulina -- in short, coherent IC sheaves are the precise algebro-geometric counterparts of Wilson-'t Hooft line operators. The proof relies on techniques developed by Kang-Kashiwara-Kim-Oh in the setting of KLR algebras. A key moral is that the appearance of cluster structures is in large part forced by the compatibility between chiral and tensor structures on the category in question (i.e. by formal features of holomorphic-topological field theory). This is joint work with Sabin Cautis.

Quantum groups from character varieties
Abstract: The moduli spaces of local systems on marked surfaces enjoy many nice properties. In particular, it was shown by Fock and Goncharov that they form examples of cluster varieties, which means that they are Poisson varieties with a positive atlas of toric charts, and thus admit canonical quantizations. I will describe joint work with A. Shapiro in which we embed the quantized enveloping algebra U_q(sl_n) into the quantum character variety associated to a punctured disk with two marked points on its boundary. The construction is closely related to the (quantized) multiplicative Grothendieck-Springer resolution for SL_n. I will also explain how the R-matrix of U_q(sl_n) arises naturally in this topological setup as a (half) Dehn twist. Time permitting, I will describe some potential applications to the study of positive representations of the split real quantum group U_q(sl_n,R)

The Wigner-Eckart theorem is a well known result for tensor operators of SU(2) and, more generally, any compact Lie group. I will show how it can be generalised to arbitrary Lie groups, possibly non-compact. The result relies on the knowledge of recoupling theory between finite-dimensional and arbitrary admissible representations, which may be infinite-dimensional; the particular case of the Lorentz group will be studied in detail. As an application, the Wigner-Eckart theorem will be used to construct an analogue of the Jordan-Schwinger representation, previously known only for finite-dimensional representations of the Lorentz group, valid for infinite-dimensional ones.

For a finite group G, a G-gerbe over a space B can be thought of as a fiber bundle over B with fibers the classifying orbifold BG. Hellerman-Henriques-Pantev-Sharpe studied conformal field theories on G-gerbes. Given a G-gerbe Y-> B, they constructed a disconnected space \widehat{Y} endowed with a locally constant U(1) 2-cocycle c. They conjectured that a CFT on Y is equivalent to a CFT on \widehat{Y} twisted by the "B-field" c. In this talk, I plan to explain the constructions in this conjecture and the mathematical side of the story, in particular the viewpoints from noncommutative geometry and Gromov-Witten theory. This is based on joint work with Xiang Tang.

I will talk about some connections among the GKZ (introduced by Gelfand-Kapranov-Zelevinsky) hypergeometric series, orbifold singularities of the system, and chain integrals in some geometry.  The GKZ hypergeometric series appeared in some very interesting contexts including arithmetic geometry, enumerative geometry and mathematical physics in the last few decades. I will report some new geometric realizations and interpretations of them.

I'll describe a family of algebras called shifted Yangians, which arise as deformation quantizations of certain spaces related to loop groups.  I'll also describe coproducts for these algebras, which are related to multiplication in the loop group.  Physically, this fits into the story of Coulomb branches associated to 3d N=4 quiver gauge theories, where the above multiplication maps arises by taking products of scattering matrices.

I will report on progress understanding the 576-fold periodicity in TMF in terms of conformal field theoretic constructions.  Sporadic finite groups and their cohomology will play a role.

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".