Mathematical physics

I will give an overview of a joint project with Simon Riche and Laura Rider and another one with Dima Arinkin aimed at a modular version of the equivalence between two geometric realization of the affine Hecke algebra and derived Satake equivalence respectively. As a byproduct we obtain a proof of the Finkelberg-Mirkovic conjecture and a possible approach to understanding cohomology of higher Frobenius kernels with coefficients in a G-module.

The Beilinson-Drinfeld Grassmannian of a simple complex algebraic group admits a natural stratification into "global spherical Schubert varieties". In the case when the underlying curve is the affine line, we determine algebraically the global sections of the determinant line bundle over these global Schubert varieties as modules over the corresponding Lie algebra of currents. The resulting modules are the global Weyl modules (in the simply laced case) and generalizations thereof. This is a joint work with Ilya Dumanski and Evgeny Feigin.

Elliptic stable envelopes, introduced by Aganagic and Okounkov, are a key ingredient in the study of quantum integrable systems attached to a symplectic resolution. I will describe a relation between elliptic stable envelopes on a hypertoric variety and a certain 'loop space' of that variety. Joint with Artan Sheshmani and Shing-Tung Yau.

Given a quiver with potential, Kontsevich-Soibelman constructed a Hall algebra on the cohomology of the stack of representations of (Q,W). In particular cases, one recovers positive parts of Yangians as defined by Maulik-Okounkov. For general (Q,W), the Hall algebra has nice structure properties, for example Davison-Meinhardt proved a PBW theorem for it using the decomposition theorem. One can define a K-theoretic version of this algebra using certain categories of singularities that depend on the stack of representations of (Q,W). In particular cases, these Hall algebras are positive parts of quantum affine algebras. We show that some of the structure properties in cohomology, such as the PBW theorem, can be lifted to K-theory, replacing the use of the decomposition theorem with semi-orthogonal decompositions.

Since the 1980s, mathematicians have found connections between orbit closures in type A quiver representation varieties and Schubert varieties in type A flag varieties. For example, singularity types appearing in type A quiver orbit closures coincide with those appearing in Schubert varieties in type A flag varieties (Bobinski-Zwara); combinatorics of type A quiver orbit closure containment is governed by Bruhat order on the symmetric group (follows from work of Zelevinsky, Kinser-R); and multiple researchers have produced formulas for classes of type A quiver orbit closures in equivariant cohomology and K-theory in terms of Schubert polynomials, Grothendieck polynomials, and related objects. After recalling some of this type A story, I will discuss joint work with Ryan Kinser on type D quiver representation varieties. I will describe explicit embeddings which completes a circle of links between orbit closures in type D quiver representation varieties, B-orbit closures (for a Borel subgroup B of GL_n) in certain symmetric varieties GL_n/K, and B-orbit closures in double Grassmannians Gr(a, n) x Gr(b, n). I will end with some geometric and combinatorial consequences, as well as a brief discussion of joint work in progress with Zachary Hamaker and Ryan Kinser on formulas for classes of type D quiver orbit closures in equivariant cohomology.

In this talk, I will give a geometric description of the category of representations of the centralizer of a regular unipotent element in a reductive algebraic group in terms of perverse sheaves on the Langlands dual affine flag variety. This is joint work with R. Bezrukavnikov and S. Riche.

We give an introduction to the notion of moduli stack of a dg category. We explain what shifted symplectic structures are and how they are connected to Calabi-Yau structures on dg categories. More concretely, we will show that the cotangent complex to the moduli stack of a dg category A admits a modular interpretation: namely, it is isomorphic to the moduli stack of the *Calabi-Yau completion* of A. This answers a conjecture of Keller-Yeung. The talk is based on joint work This is joint work with Damien Calaque and Tristan Bozec arxiv.org/abs/2006.01069

I will explain how to obtain the Gordon-Stafford construction and some related constructions of Z-algebras in the literature, using certain mathematical avatars of line defects in 3d N=4 theories. ​Time permitting, I will discuss the K-theoretic and elliptic cases as well.

In quantum geometric Langlands, the Satake equivalence plays a less prominent role than in the classical theory. Gaitsgory--Lurie proposed a conjectural substitute, later termed the fundamental local equivalence, relating categories of arc-integrable Kac--Moody representations and Whittaker D-modules on the affine Grassmannian. With a few exceptions, we verified this conjecture non-factorizably, as well as its extension to the affine flag variety. This is a report on joint work with Justin Campbell and Sam Raskin.

This is joint work with Justin Hilburn. We will explain a theorem showing that D-modules on the Tate vector space of Laurent series are equivalent to ind-coherent sheaves on the space of rank 1 de Rham local systems on the punctured disc equipped with a flat section. Time permitting, we will also describe an application of this result in the global setting. Our results may be understood as a geometric refinement of Tate's ideas in the setting of harmonic analysis. They also may be understood as a proof of a strong form of the 3d mirror symmetry conjectures: our results amount to an equivalence of A/B-twists of the free hypermultiplet and a U(1)-gauged hypermultiplet.

We will review a set of conjectures related to the structure of cohomological Hall algebras (COHA) of categories of Higgs sheaves on curves. We then focus on the case of P^1, and relate its COHA to the affine Yangian of sl_2.

We describe an algorithm which takes as input any pair of permutations and gives as output two permutations lying in the same Kazhdan-Lusztig right cell. There is an isomorphism between the Richardson varieties corresponding to the two pairs of permutations which preserves the singularity type. This fact has applications in the study of W-graphs for symmetric groups, as well as in finding examples of reducible associated varieties of sln-highest weight modules, and comparing various bases of irreducible representations of the symmetric group or its Hecke algebra. This is joint work with Peter McNamara.