Mathematical physics

The correspondence of AGT sets up, in part, a connection between six-dimensional superconformal theories and 2d CFT. We will give a mathematical construction of 2d CFT from 6d SCFT which involves recent progress in our understanding of the holomorphic twist 6d superconformal symmetry. We then turn to the question of enhancement of familiar structures in 2d CFT to 6d including the well-known Segal—Sugawara construction. Finally, I will set up a Dolbeault enhancement of the AGT correspondence which is expected to probe coherent cohomology of the moduli space of instantons.

The underlying holomorphic structure of a generalized Kahler manifold has been recently understood to be a square in the double category of holomorphic symplectic groupoids (or (1,1)-shifted symplectic stacks). I will explain what this means and how it allows us to describe the generalized Kahler metric in terms of a single real scalar function, resolving a conjecture made by physicists Gates, Hull, and Rocek in 1984. This is based on joint work with Yucong Jiang and Daniel Alvarez available at https://arxiv.org/abs/2407.00831.

I'll discuss the representation theory of line operators in 3d holomorphic-topological theories, following recent work with Wenjun Niu and Victor Py. Examples of the line operators we have in mind include half-BPS lines in 3d N=2 supersymmetric theories (reinterpreted in a holomorphic twist). We compute the OPE of line operators, which endows the category with a meromorphic tensor product, and establish a perturbative nonrenormalization theorem for the OPE. Then, applying Koszul-duality methods of Costello and Costello-Paquette, we represent the category of lines as modules for a new sort of mathematical object, which we call a dg-shifted Yangian. This is an A-infinity algebra, with a chiral coproduct whose data includes a Maurer-Cartan element that behaves like an infinitesimal r-matrix. The structure is a cohomologically shifted version of the ordinary Yangians that represent lines in 4d holomorphic-topological theories.