Mathematical Physics

Kontsevich and Soibelman defined Donaldson-Thomas invariants of a 3d Calabi-Yau category with a stability condition. Any cluster variety gives rise to a family of such categories. Their DT invariants are encapsulated in single formal automorphism of the cluster variety, called the DT-transformation. An oriented surface S with punctures, and a finite number of special points on the boundary give rise to a moduli space, closely related to the moduli space of PGL(m)-local systems on S, which carries a canonical cluster Poisson variety structure. We determine the DT-transformation of this space. This is a joint work with Alexander Goncharov.

I will present some results on three-dimensional gauge theory from the point of view of extended topological field theory. In this setting a theory is specified by describing its collection of boundary conditions - in our case, a collection of categories (standing in for 2d TFTs) with a prescribed symmetry group G. We will apply ideas from Seiberg-Witten geometry to construct a new commutative algebra of symmetries for categorical representations (or line operators in the gauge theory) -  a categorification of Kostant's description of the center of the enveloping algebra. (Joint with Sam Gunningham and David Nadler)

The notion of singular support for coherent sheaves was introduced by Arinkin and Gaitsgory in order to carefully state the geometric Langlands conjecture.  This is a conjectural equivalence of categories of sheaves on certain moduli spaces: in order to make the conjecture reasonable one needs to restrict to sheaves which satisfy a certain "singular support condition".  In this talk I'll explain how to think about this singular support condition from the point of view of boundary conditions in twisted N=4 gauge theory.  Specifically, Arinkin and Gaitsgory's singular support condition arises by considering only those boundary conditions which are compatible with a natural choice of vacuum state.  By allowing this vacuum state to move away from this natural choice we see aspects of a rich additional structure for the geometric Langlands correspondence.  This work is joint with Philsang Yoo.

In this talk, we will discuss an open Gromov-Witten invariant on hyperKahler surfaces, including K3 surfaces and certain Hitchin moduli spaces. The invariant is defined via the Lagrangian Floer theory and satisfy the Kontsevich-Soibelman wall-crossing formula and are expect to recover the generalized Donaldson-Thomas invariants studied in the work of Gaiotto-Moore-Neitzke.

The notion of Positive Representations is a new research program devoted to the representation theory of split real quantum groups, initiated in a joint work with Igor Frenkel. It is a generalization of the special class of representations considered by J. Teschner for Uq(sl(2,R)) in Liouville theory, where it exhibits a strong parallel to the finite-dimensional representation theory of compact quantum groups, but at the same time also serves some new properties that are not available in the compact case. In this talk, I will survey the recent developments and describe some of its relations to other areas of mathematics. 

I will discuss some results on double loop groups that point to geometric phenomena about double affine flag varieties and double affine Grassmannian. One result of this study is a definition of double affine Kazhdan-Lusztig polynomials.

This talk concerns a family of special functions common to the study of quantum conformal blocks and hypergeometric solutions to q-KZB type equations.  In the first half, I will explain two methods for their construction -- as traces of intertwining operators between representations of quantum affine algebras and as certain theta hypergeometric integrals we term Felder-Varchenko functions.  I will then explain our proof by bosonization the first case of Etingof-Varchenko's conjecture that these constructions are related by a simple renormalization.

The second half of the talk will concern applications to affine Macdonald theory.  I will present refinements of the denominator and evaluation conjectures for affine Macdonald polynomials proposed by Etingof-Kirillov Jr.  I will then explain how to prove the first non-trivial cases of these conjectures by combining the methods of the first half and well-chosen applications of the elliptic beta integral.   The second half of this talk is joint work with E. Rains and A. Varchenko.

The physics proof of the Atiyah-Singer index theorem relates the Hamiltonian and Lagrangian approaches to quantization of N=1 supersymmetric mechanics. Similar ideas applied to the N=(0,1) supersymmetric sigma model construct two versions of elliptic cohomology: elliptic cohomology at the Tate curve over the integers and the universal elliptic cohomology theory over the complex numbers. Quantization procedures give analytic constructions of wrong-way maps in these cohomology theories. Relating these to the Ando-Hopkins-Strickland-Rezk string orientation of topological modular points to intricate torsion invariants associated with these sigma models. 

An F-field on a manifold M is a local system of algebraically closed fields of characteristic p.  You can study local systems of vector spaces over this local system of fields.  On a 3-manifold, they are are rigid, and the rank one local systems are counted by the Alexander polynomial.  On a surface, they come in positive-dimensional moduli (perfect of characteristic p), but they are more "stable" than ordinary local systems in the GIT sense.  When M is symplectic, maybe an F-field should remind you of a B-field, it can be used to change the Fukaya category in about the same way.  On S^1 x R^3, this version of the Fukaya category is related to Deligne-Lusztig theory, and I found something like a cluster structure on the Deligne-Lusztig pairing varieties by studying it.

We define an action of the k-strand braid group on the set of cluster variables for the Grassmannian Gr(k,n), provided k divides n. The action sends clusters to clusters, preserving the underlying quivers, defining a homomorphism from the braid group to the cluster modular group for Gr(k,n). Our results can be translated to statements about clusters in Fock-Goncharov configuration spaces of affine flags, provided the number of flags is even. Finally, we apply our results to the two "Grassmannians of finite mutation type," proving in these cases versions of conjectures made by Fomin and Pylyavskyy describing cluster variables as SL_k web invariants. 

The Feynman diagram expansion for a Wilson loop observable in Chern-Simons gauge theory generates an infinite series of topological invariants for framed knots.  In this talk, I will describe a new perturbative formalism which conjecturally generates the same invariants for Legendrian knots in the standard contact R^3.  The formalism includes a `perturbative' localization principle which drastically simplifies the structure of calculations.  As time permits, I will provide some examples and applications.  This talk is based upon joint work with Brendan McLellan and Ruoran Zhang.

Representations of the fundamental groups of surfaces appear so often in geometry that it's tempting to see them primarily as geometric structures. In recent years, however, researchers have uncovered beautiful new features of these representations by thinking of them instead as dynamical systems. As an invitation to the dynamical point of view, I'll describe how geometric tools from the study of billiards can be used to build invariants of surface group representations.