Mathematical Physics

I will review the construction of Coulomb branches in 3D gauge theory for a compact Lie group G and a quaternionic  representation E. In the case when E is polarized, these branches are determined by topological boundary conditions built from the gauged A-model of the two polar halves of E. No analogue of this is apparent in the absence of a polarization, nonetheless the Coulomb branch can be defined by the use of a ‘quantum’ square root of E (related to the Spin representation). These branches ought to be part of a 3D topological field theory, but that is only apparent in special cases.

Geometry of a pair of complex Lagrangian submanifolds of a complex symplectic manifold appears in many areas of mathematics and physics,  including exponential integrals in finite and infinite dimensions,  wall-crossing formulas in 2d and 4d, representation theory, resurgence of WKB series and so  on.

In 2014 we started a joint project with Maxim Kontsevich which we  named "Holomorphic Floer Theory" (HFT for short) in order to study all these (and other) phenomena as a part of a bigger picture.

Aim of my talk is to discuss  aspects of HFT related to deformation quantization of complex symplectic manifolds, including the conjectural Riemann-Hilbert correspondence.  Although some parts of this story have been already reported elsewhere, the topic has  many ramifications which have not been discussed earlier.

Idempotent (aka Karoubi) completion is used throughout mathematics: for instance, it is a common step when building a Fukaya category. I will explain the n-category generalization of idempotent completion. We call it "condensation completion" because it answers the question of classifying the gapped phases of matter that can be reached from a given one by condensing some of the chemicals in the matter system. From the TFT side, condensation preserves full dualizability. In fact, if one starts with the n-category consisting purely of ℂ in degree n, its condensation completion is equivalent both to the n-category of n-dualizable ℂ-linear (n-1)-categories and to an n-category of lattice condensed matter systems with commuting projector Hamiltonians. This establishes an equivalence between large families of TFTs and of gapped topological phases. Based on joint work with D. Gaiotto.

It is expected that the Betti version of the geometric Langlands program should ultimately be about the equivalence of two 4-dimensional topological field theories. In this talk I will give an overview of ongoing work in categorified sheaf theory and explain how one can use it to describe the categories of boundary conditions arising on the spectral side.

I'll explain the TFT perspective on holomorphic-topological twists of 3d N=4 and 4d N=2 theories, and outline some connections between the topics discussed in Justin and Davide's previous lectures, and various ongoing work of Justin, Philsang, Kevin, Davide, Tudor, myself, etc.

Let G be a complex reductive group, and X be any smooth projective G-variety. In this talk, we will construct an algebra homomorphism from the G-equivariant homology of the affine Grassmannian Gr_G to the G-equivariant quantum cohomology of X. The construction uses shift operators in quantum cohomologies. We will also discuss the possible extension to the loop rotation equivariant setting and the relation with the Peterson isomorphism when X is the flag variety associated with G. This is based on joint work with Alexander Braverman.

There has long been interest in Beilinson-Bernstein localization for the affine Grassmannian (or affine flag variety). First, Kashiwara-Tanisaki treated the so-called negative level case in the 90's. Some ten years later, Frenkel-Gaitsgory (following work of Beilinson-Drinfeld and Feigin-Frenkel) formulated a conjecture at the critical level and made some progress on it. Their conjecture is more subtle than its negative level counterpart, but also more satisfying. We will review the necessary background from representation theory of Kac-Moody algebras at critical level, formulate the Frenkel-Gaitsgory conjecture, and outline a proof for GL_2. Time permitting, we will discuss how our result provides a test of the Frenkel-Gaitsgory proposal for local geometric Langlands.

Classical work by Thurston in the theory of surfaces gives symplectic co-ordinate charts on Teichmüller space, associated to quadratic differentials. Motivated by wall crossing in 4d field theories Gaiotto, Moore and Neitzke defined a generalization of these; giving maps from the moduli of one dimensional local systems on a spectral curve to the moduli space of n-dimensional local systems on a non-compact Riemann surface. I will describe joint work with M. Ionita which extends this construction to arbitrary reductive algebraic groups G. Time permitting I will describe the interpretation of this construction in terms of the wild Riemann--Hilbert Correspondence in the closely related setting of Frobenius manifolds.

From a probabilistic perspective, 2D quantum gravity is the study of natural probability measures on the space of all possible geometries on a topological surface. One natural approach is to take scaling limits of discrete random surfaces. Another approach, known as Liouville quantum gravity (LQG), is via a direct description of the random metric under its conformal coordinate. In this talk, we review both approaches, featuring a joint work with N. Holden proving that uniformly sampled triangulations converge to the so called pure LQG under a certain discrete conformal embedding.

In this talk we describe a systematic way of producing stochastic solutions to the Yang-Baxter equation from a “base solution” that is not necessarily stochastic. This gives rise to a wide class of new families of stochastic (Markovian) vertex models with integrable weights. In various cases, these models are more amenable to algebraic analysis than are their non-stochastic counterparts, sometimes leading to new (and at times unexpected) refined asymptotic results for them. In other cases, these stochastic systems are amenable to probabilistic analysis, yielding results that seem less transparent to access algebraically and that can occasionally shed new light on the original (non-stochastic) model. This is partially based on joint work with Alexei Borodin and Alexey Bufetov.