Mathematical Physics

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.

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 fermions" and "has spinors" and when they are "related". I will then restrict to topological field theories (TFTs) and define unitary TFTs. There are counterexamples of the spin-statistics theorem for non-unitary TFTs. I will prove that every unitary TFT satisfies the spin-statistics theorem.

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 observation, that at a given vacuum the spectrum of PBS particles can be quipped with an algebra structure – cohomological Hall algebra of the corresponding BPS quiver – we propose a category generated by certain bimodules over this algebra that possesses expected properties of the category of lines. Based on a joint work with Davide Gaiotto and Wei Li. 

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 string. We will show that the spectrum of string^h has the notable property that it orients tmf_1(n), just like how the spectrum of string orients tmf, by the work of Ando-Hopkins-Rezk. Finally we will show that the anomaly of the partition function of type IIA, studied by Diaconescu-Moore-Witten induces a string^h structure on the target space of type IIA, in parallel to the Green-Schwarz anomaly for heterotic string theory, and discuss applications for anomaly cancellation. This is joint work in progress with Arun Debray.

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 spaces of Bun_G(X) at P for each n. The description is in terms of differential forms on X^n with logarithmic singularities along the diagonals. Furthermore, we show the pullback of these differential forms to the Fulton-Macpherson compactification space is an isomorphism, thus illustrating a connection between infinitesimal jet spaces of Bun_G(X) and the Lie operad.

---

Zoom link 

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 define a categorical generalization of the notion of principal bundles over a manifold (or stack) X, and obtain a bicategory Bun_G(X), living over the category Bun_G(X) of ordinary G-bundles on X. For G finite and X a Riemann surface, we prove that this gives a categorification of the Freed--Quinn line bundle, a mapping-class group equivariant line bundle on Bun_G(X) which plays an important role in Dijkgraaf--Witten theory (i.e. Chern--Simons theory for the finite group G). This talk is based on joint work with Daniel Berwick-Evans, Laura Murray, Apurva Nakade, and Emma Phillips.

I will not assume previous knowledge of 2-groups: I will provide a quick overview in the main talk, as well as a more detailed discussion during a pre-talk on Tuesday. 

---

Zoom link 

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 morphism can be used to prove conjectures of Ben-Zvi—Gunningham, which predict that this morphism gives “spectral decomposition” of DG categories with an action of a reductive group over the coarse quotient of a maximal Cartan subalgebra by the affine Weyl group.

---

Zoom link 

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})$ construction for the qde of the affine type $A$ quiver varieties. We will show that there is a really explicit and concise formula for the quantum difference operators. Moreover we will show that the degeneration limit of the quantum difference equation is equivalent to the Dubrovin connection for the quantum cohomology of the affine type A quiver varieties, which will give the description of the monodromy representation of the Dubrovin connection via the monodromy operators in the quantum difference equation.

---

Zoom link

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 be unified starting from holomorphic Chern-Simons theory in 6 dimensions. In this talk I will introduce the first complete description of this diamond of integrable theories for a family of deformed sigma models, going beyond the Dirichlet boundary conditions that have been considered thus far. The talk is based on the recent work https://arxiv.org/abs/2311.17551.

---

Zoom link