Mathematical physics

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.

When the wavefunction of a macroscopic system unitarily evolves from a low-entropy initial state, there is good circumstantial evidence it develops "branches", i.e., a decomposition into orthogonal components that can't be distinguished from the corresponding incoherent mixture by feasible observations, with each component a simultaneous eigenstate of preferred macroscopic observables.  Is this decomposition unique?  Can the number of branches decrease in time?

Answering these questions is hard because branches are defined only intuitively, much like early investigations of algorithms prior to the Church–Turing thesis.  A rigorous definition could give a speed up to certain non-stationary matrix-product state numerical simulations, as well as solve Kent's Set Selection problem in the consistent histories formalism, a 20-year-old open challenge in the foundations of quantum mechanics. I introduce some tentative definitions based on the idea of redundant information, and establishing a uniqueness theorems. A key counterexample is provided by the Shor error-correction code, which demonstrates that branch structure with robust, redundant records on macroscopic scales can hide incompatible (noncommuting) structure on microscopic scales.

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.