Mathematical Physics

We will discuss some aspects of my recent preprint, joint with Victor Ginzburg, on Kostant-Whittaker reduction, a (deformation) quantization of restriction to a Kostant slice. We will explain how this functor can be used to prove conjectures of Ben-Zvi and Gunningham on parabolic induction, as well as a convolution exactness conjecture of Braverman and Kazhdan in the D-module setting. While this talk will occasionally reference facts from a talk I gave at Perimeter on other aspects of this preprint, the overlap and references will be minimal.

Skein theory forms a once-categorified 3d TQFT and assigns skein algebras to surfaces and skein modules to 3-manifolds. Motivated by physics, these modules are expected to satisfy a certain holonomicity property, generalizing Witten's finiteness conjecture of skein modules. In this talk, we will recall the basic notions of skein theory as a deformation quantization theory, and then state and discuss the generalized Witten's finiteness conjecture.

Chern-Simons theory is a topological quantum field theory which leads to link invariants, such as the Jones polynomial, through the expectation values of Wilson loops. The same link invariants also appear in a mathematical construction of Reshetikhin and Turaev which uses a trace on Yang-Baxter operators. Several algebraic structures are involved in these frameworks for computing link invariants, including the braid group, quantum algebras and centralizer algebras (such as the Temperley-Lieb algebra). In this talk, I will explain how the Askey-Wilson algebra, originally introduced in the context of orthogonal polynomials, can also be understood within the Chern-Simons theory and the Reshetikhin-Turaev link invariant construction.

The operator algebraic approach to quantum field theory is called algebraic quantum field theory. In this setting, we consider a family of operator algebras generated by observables in spacetime regions. This has been particularly successful in 2-dimensional conformal field theory. We present roles of tensor categories, modular invariance, classification theory, induction machinery and connections to vertex operator algebras.

I will review some recent progress in derived differential geometry, in particular pertaining to moduli stacks of solutions of elliptic partial differential equations on manifolds (with boundaries, and also with `logarithmic' boundaries, which include, for instance, manifolds with asymptotically cylindrical ends). In particular, this framework allows one to work efficiently with the compactified moduli spaces of symplectic topology and gauge theory. In another direction, I will explain some work in progress on the derived geometry of jet spaces, which can be used to endow moduli stacks of solutions of EOMs of a classical field theory with shifted symplectic structures.

In this talk, I will discuss how M2-M5 intersections in a twisted M-theory background yield the R-matrices of the quantum toroidal algebra of gl(1). These R-matrices are identified with the Miura operators for the q-deformed W- and Y-algebras. Additionally, I will show how the M2-M5 intersection (or equivalently, the Miura operator) generates the qq-characters of the 5d N=1 gauge theory, offering new insight into the algebraic meaning of the latter.

In my talk I will explain how to extend the Goncharov-Kenyon class of cluster integrable systems by their Hamiltonian reductions. In particular, this extension allows to fill in the gap in cluster construction of the q-difference Painlev'e equations. Isomorphisms of reduced Goncharov-Kenyon integrable systems are given by mutations in another, dual in non-obvious sense, cluster structure. These dual mutations cause certain polynomial mutations of dimer partition functions and polygon mutations of the corresponding decorated Newton polygons.

Many interesting spaces arise as Coulomb branches of 3d N=4 quiver gauge theories, including nilpotent orbit closures and affine Grassmannian slices. These interesting spaces often admit interesting embeddings into one another. For example, one nilpotent orbit closure might be contained inside another. That said, it is much less clear how to describe or construct such an embedding from a purely Coulomb branch perspective. I will discuss joint work with Dinakar Muthiah, where we describe a natural Coulomb branch connection with Coulomb branches: for finite ADE types, the embeddings respect monopole operators thought of as functions on the Coulomb branch. This perspective also allows us to generalize the story, and construct embeddings for arbitrary quivers which have the same property.

The Moore-Tachikawa conjecture posits the existence of certain 2-dimensional topological quantum field theories (TQFTs) valued in a category of complex Hamiltonian varieties. Previous work by Ginzburg-Kazhdan and Braverman-Nakajima-Finkelberg has made significant progress toward proving this conjecture. In this talk, I will introduce a new approach to constructing these TQFTs using the framework of shifted symplectic geometry. This higher version of symplectic geometry, initially developed in derived algebraic geometry, also admits a concrete differential-geometric interpretation via Lie groupoids and differential forms, which plays a central role in our results. It provides an algebraic explanation for the existence of these TQFTs, showing that their structure comes naturally from three ingredients: Morita equivalence, as well as multiplication and identity bisections in abelian symplectic groupoids. It also allows us to generalize the Moore-Tachikawa TQFTs in various directions, raising interesting questions in Lie theory and Poisson geometry. This is joint work with Peter Crooks.

We will discuss the functor of geometric Whittaker coefficients in the context of quantum geometric Langlands. We will prove that tempered twisted D-modules on the stack of G-bundles on a smooth projective curve have non-vanishing Whittaker coefficients. Roughly, this means that a certain natural subcategory of twisted D-modules on the stack of G-bundles can be controlled by the category of twisted D-modules on the Beilinson-Drinfeld affine Grassmannian. The proof will combine generalizations of representation-theoretic and microlocal methods from the preceding works of Faergeman-Raskin and Nadler-Taylor respectively.