Mathematical Physics

I will discuss free (i.e., noninteracting) and interacting classifications for certain fermionic symmetry-protected topological phases (SPTs) and show how to define free-to-interacting maps in terms of homotopy theory. I will apply these ideas to study the phenomenon of the "Bott spiral": as shown…

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…

In quantum field theory (QFT) the spin-statistics theorem says that in a unitary QFT, a particle has half-integer spin if and only if it is a fermion. I show how to phrase this statement in the language of functorial field theories. More precisely, I explain when a functorial field theory "has…

BPS line defects in 4d N=2 supersymmetric QFT are described by a monoidal category with a list of desired properties. For example, the Grothendieck group of this category is supposed to coincide with quantization of functions on Coulomb branch of the theory compactified on a circle. Based on an…

The Green-Schwarz anomaly cancellation condition says that the target space of heterotic string theory must come with a string structure for the theory to be consistent. In this talk we discuss a new tangential structure called string^h, first introduced by Devalapurkar, as a spin^c analogue of…

Given a semisimple group G and a smooth projective curve X over an algebraically closed field of arbitrary characteristic, let Bun_G(X) denote the moduli space of principal G-bundles over X. For a bundle P without infinitesimal symmetries, we describe the n^th order divided-power infinitesimal jet…

A 2-group is a categorical generalization of a group: it's a category with a multiplication operation which satisfies the usual group axioms only up to coherent isomorphisms. The isomorphism classes of its objects form an ordinary group, G. Given a 2-group G with underlying group G, we can similarly…

We will discuss work, joint with Victor Ginzburg, on the quantization (non-commutative deformation) of the Ngô morphism, a morphism of group schemes which plays a key role in Ngô’s proof of the fundamental lemma in the Langlands program. We will also discuss how the tools used to construct this…

The quantum difference equation (qde) is the $q$-difference equation which is proposed by Okounkov and Smirnov to encode the $K$-theoretic twisted quasimap counting for the Nakajima quiver varieties. In this talk, we will give a direct quantum toroidal algebra $U_{q,t}(\hat{\hat{\mf{sl}}}_{n})$…

Integrable field theories in two dimensions are known to originate as defect theories of 4d Chern-Simons theory and as symmetry reductions of the 4d anti-self-dual Yang-Mills equations. Based on ideas of Costello, it has been proposed in work of Bittleston and Skinner that these two approaches can…

In this talk I will present an update on my work with Ben Gammage and Aaron Mazel-Gee on the 2-categories of boundary conditions in the A and B-twists. In particular I will explain how 2-categorical 3d mirror symmetry decategorifies to the Koszul duality of hypertoric categories O discovered by…

Abstract TBA --- Zoom link