Mathematical Physics

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.

Quantized lattices, or q-lattices, appear naturally through categorification constructions (for example from zigzag-algebras), but they haven't been studied from a lattice theory point of view. After establishing the necessary background, we'll explain the q-versions of various lattice theory concepts illustrated with examples from combinatorics and graph theory, and we'll list a number of open problems.