Mathematical Physics

A 3d N=4 gauge theory admits two topological twists, which we'll simply call A and B. The two twists are exchanged by 3d mirror symmetry. It is known that local operators in the A (resp. B) twist include the Coulomb-branch (resp. Higgs-branch) chiral rings.  In this talk I will discuss the *line* operators preserved by the two twists, which in each case should have the structure of a braided tensor category.

Positive geometries are real semialgebraic spaces that are
equipped with a meromorphic ``canonical form" whose residues reflect
the boundary structure of the space.  Familiar examples include
polytopes and the positive parts of toric varieties.  A central, but
conjectural, example is the amplituhedron of Arkani-Hamed and Trnka.
In this case, the canonical form should essentially be the tree
amplitude of N=4 super Yang-Mills.

Work of Bezrukavnikov on local geometric Langlands correspondence and works of Gorsky, Neguţ, Rasmussen and Oblomkov, Rozansky on knot homology and matrix factorizations suggest that there should be a categorical version of a certain natural homomorphism from the affine Hecke algebra to the finite Hecke algebra in type A, sending basis lattice elements on the affine side to Jucys-Murphy elements on the finite side.

The Alday-Gaiotto-Tachikawa correspondence connects gauge theory on a fourfold with conformal field theory. We are interested in a certain algebro-geometric incarnation of this framework, where the fourfold is an algebraic surface and instantons/differential geometry are replaced with sheaves/algebraic geometry. In this talk, we will present a certain approach to AGT that yields partial results for quite general surfaces, and ask questions about what still needs to be done to state and prove the full correspondence in the language of algebraic geometry.