Mathematical Physics

The theory of quasimaps to Nakajima quiver varieties X has recently been used very effectively by Aganagic, Okounkov and others to study symplectic duality. For certain X, namely Hilbert schemes of ADE surfaces, it turns out quasimap theory is equivalent to a particular flavor of Donaldson-Thomas theory on a related threefold Y. I will explain this equivalence and how it intertwines concepts and tools from the two sides. For example, symplectic duality has something to say about the crepant resolution conjecture for Y.

A classical result of R. Courant gives an upper bound for the count of nodal domains (connected components of the complement of where a function vanishes) for Dirichlet eigenfunctions on compact planar domains.  This can be generalized to Laplace-Beltrami eigenfunctions on compact surfaces without boundary. When considering random linear combinations of eigenfunctions, one can make this count more precise and pose statistical questions on the geometries appearing amongst the nodal domains: what percentage have one hole? ten holes? what percentage have their boundary being tangent 100 times to a fixed non-zero vector field? The first 20-25 minutes will give a survey on some fundamental results of Nazarov-Sodin, Sarnak-Wigman, and Gayet-Welschinger before presenting some joint works with I. Wigman (King's College London) and Matthew de Courcy-Ireland (École Polytechnique Fédérale de Lausanne) answering these questions in the last 25-30 minutes.

In this talk I will describe a new link "invariant" (with certain wall-crossing properties) for links L in a three-manifold M, where M takes the form of a surface times the real line. This link "invariant" is constructed via a map, called the q-nonabelianization map, from the
gl(N) skein algebra of M to the gl(1) skein algebra of a covering three-manifold M'. In the special case of M=R^3, this map computes well-known link invariants in a new way. As a physical application, the q-nonabelianization map computes protected spin character counting BPS ground states with spin for line defects in 4d N=2 theories of class-S. I will also mention possible extension to more general three-manifolds, as well as further physical applications to class-S theories. This talk is based on joint work with Andrew Neitzke, and ongoing work with Gregory Moore and Andrew Neitzke.

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.