Mathematical Physics

We study the effective BV quantization theory for chiral deformation of two dimensional conformal field theories. We establish an exact correspondence between renormalized quantum master equations for effective functionals and Maurer-Cartan equations for chiral vertex operators. The generating functions are proven to be quasi-modular forms. As an application, we construct an exact solution of quantum B-model (BCOV theory) in complex one dimension that solves the higher genus mirror symmetry conjecture on elliptic curves. The talk is based on arXiv: 1612.01292[math.QA]

We will describe a formulation of the Batalin-Vilkovisky formalism using derived symplectic geometry.  In this setting, the classical master equation of the BV formalism describes a space of coisotropic structures.  Using this approach, we resolve a conjecture of Felder-Kazhdan regarding BRST cohomology.  Time permitting, we will also describe applications of these ideas to more general quantization problems.

Motivated by the question about reconstructing a Conformal field theory from the data of a subfactor of finite index, Jones studied the continuous limit of the periodic quantum spin chain which Thompson group acts on. Based on planar algebras, the topological axiomatization of subfactors, we will illustrate the idea of the correspondence between the skein theory of planar algebras and presentation of Thompson groups.

The affine Grassmannian is the analog of the Grassmannian for the loop group. They are very important objects in mathematical physics and the Geometric Langlands program. In this talk, I will explain my recent work on the central degeneration of semi-infinite orbits, Iwahori orbits and Mirkovic-Vilonen cycles in the affine Grassmannian. I will also use lots of convex polytopes to illustrate my results. In addition, I will explain the connections between my work and other parts of geometric representation theory and combinatorial algebraic geometry.  

About a decade ago Eynard and Orantin proposed a powerful computation algorithm
known as topological recursion. Starting with a ``spectral curve" and some ``initial data"
(roughly, meromorphic differentials of order one and two) the topological recursion produces by induction
a collection of symmetric meromorphic differentials on the spectral curves parametrized by
pairs of non-negative integers (g,n) (g should be thought of as a genus and n as the number of punctures).
Despite of many applications of the topological recursion (matrix integrals, WKB expansions, TFTs, etc.etc.)
the nature of the recursive relations was not understood.

Recently, in a joint work with Maxim Kontsevich we found a simple underlying structure of the recursive relations of Eynard and Orantin. We call it  ``Airy structure". In this talk I am going to define this notion and explain how the recursive relations of Eynard and Orantin follow from the  quantization of
a quadratic Lagrangian subvariety in a symplectic vector space.

Integral values of zeta functions are important not only for what they say about other values of their respective functions, but also for what they say about transcendence degree questions for appropriate extensions of the rationals or other number fields.  They  also appear in some recent computations relevant to particle physics.
In this talk we will give a quick introduction to the theory of periods and motives, relate said theory to special values of zeta functions, and discuss a graphical definition of the associated category of motives.
Any original work discussed in this talk is joint with Susama Agarwala.

We discuss recent work showing that in type A_n the category of equivariant perverse coherent sheaves on the affine Grassmannian categorifies the cluster algebra associated to the BPS quiver of pure N=2 gauge theory. Physically, this can be understood as a statement about line operators in this theory, following ideas of Gaiotto-Moore-Neitzke, Costello, and Kapustin-Saulina -- in short, coherent IC sheaves are the precise algebro-geometric counterparts of Wilson-'t Hooft line operators. The proof relies on techniques developed by Kang-Kashiwara-Kim-Oh in the setting of KLR algebras. A key moral is that the appearance of cluster structures is in large part forced by the compatibility between chiral and tensor structures on the category in question (i.e. by formal features of holomorphic-topological field theory). This is joint work with Sabin Cautis.

Quantum groups from character varieties
Abstract: The moduli spaces of local systems on marked surfaces enjoy many nice properties. In particular, it was shown by Fock and Goncharov that they form examples of cluster varieties, which means that they are Poisson varieties with a positive atlas of toric charts, and thus admit canonical quantizations. I will describe joint work with A. Shapiro in which we embed the quantized enveloping algebra U_q(sl_n) into the quantum character variety associated to a punctured disk with two marked points on its boundary. The construction is closely related to the (quantized) multiplicative Grothendieck-Springer resolution for SL_n. I will also explain how the R-matrix of U_q(sl_n) arises naturally in this topological setup as a (half) Dehn twist. Time permitting, I will describe some potential applications to the study of positive representations of the split real quantum group U_q(sl_n,R)

The Wigner-Eckart theorem is a well known result for tensor operators of SU(2) and, more generally, any compact Lie group. I will show how it can be generalised to arbitrary Lie groups, possibly non-compact. The result relies on the knowledge of recoupling theory between finite-dimensional and arbitrary admissible representations, which may be infinite-dimensional; the particular case of the Lorentz group will be studied in detail. As an application, the Wigner-Eckart theorem will be used to construct an analogue of the Jordan-Schwinger representation, previously known only for finite-dimensional representations of the Lorentz group, valid for infinite-dimensional ones.

For a finite group G, a G-gerbe over a space B can be thought of as a fiber bundle over B with fibers the classifying orbifold BG. Hellerman-Henriques-Pantev-Sharpe studied conformal field theories on G-gerbes. Given a G-gerbe Y-> B, they constructed a disconnected space \widehat{Y} endowed with a locally constant U(1) 2-cocycle c. They conjectured that a CFT on Y is equivalent to a CFT on \widehat{Y} twisted by the "B-field" c. In this talk, I plan to explain the constructions in this conjecture and the mathematical side of the story, in particular the viewpoints from noncommutative geometry and Gromov-Witten theory. This is based on joint work with Xiang Tang.

I will talk about some connections among the GKZ (introduced by Gelfand-Kapranov-Zelevinsky) hypergeometric series, orbifold singularities of the system, and chain integrals in some geometry.  The GKZ hypergeometric series appeared in some very interesting contexts including arithmetic geometry, enumerative geometry and mathematical physics in the last few decades. I will report some new geometric realizations and interpretations of them.