Mathematical Physics

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

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 Braden-Licata-Proudfoot-Webster.

---

Zoom link