I'll explain work in progress, joint with Miroslav Rapcak, on geometric constructions of vertex algebras associated to divisors in toric Calabi-Yau threefolds, in terms of moduli stacks of objects in certain exotic abelian subcategories of complexes of coherent sheaves on the underlying threefold. These vertex algebras were originally proposed by Gaiotto-Rapcak, and constructed mathematically in the example of affine space by Rapcak-Soibelman-Yang-Zhao, building on Schiffmann-Vasserot's proof of the AGT conjecture. We give a geometric explanation and generalization of the quivers with potential that feature in the latter results, and outline the analogous construction of vertex algebras in this setting.
The Deligne-Mumford moduli space of genus 0 curves plays many roles in representation theory. For example, the fundamental group of its real locus is the cactus group which acts on tensor products of crystals.
I will discuss a variant on this space which parametrizes "cactus flower curves". The fundamental group of the real locus of this space is the virtual cactus group. This moduli space of cactus flower curves is also the parameter space for inhomogeneous Gaudin algebras.
The Morita 2-category has as objects associative algebras, 1-morphisms are bimodules and 2-morphisms are given by bimodule homomorphisms. Equivalent objects in this category are exactly Morita equivalent algebras. A vast generalisation of this as a higher category is the so-called higher Morita category, denoted Alg_n. It has two constructions, one due to Haugseng, and one due to Scheimbauer which uses (constructible) factorization algebras. In the latter, Gwilliam-Scheimbauer has proven that every object of Alg_n is n-dualizable. Hence, by the Cobordism Hypothesis, every object gives rise to an n-dimensional (fully extended framed) topological field theory. A natural question to ask is “Which objects of Alg_n are also (n+1)-dualizable?”. This talk is on work in progress (for n=2) to prove a conjecture due to Lurie answering this question.
We present a series of (partly proven) conjectures
describing geometric realizations of
categories of (finite-dimensional) representations of quantum
super-groups U_q(g) corresponding
to Lie super-algebras g with reductive even part and a non-degenerate
We shall also discuss the meaning of these conjectures from the point
of view of local geometric Langlands correspondence as well as a
connection to the work of Ben-Zvi, Sakellaridis and Venkatesh.
Based on joint works with M.Finkelberg, V.Ginzburg and R.Travkin as
well as the work of R.Travkin and R.Yang.
I will discuss a close parallel between Gaiotto and Witten's S-duality for supersymmetric boundary conditions in 4d N=4 SYM and the relative Langlands program, an enhancement of the Langlands program that was developed to provide a framework for the theory of integral representations of L-functions. A special and conjecturally self-dual class of boundary conditions is provided by quantizations of "small" or "multiplicity-free" hamiltonian spaces called hyperspherical varieties. I'll explain how a hyperspherical variety produces objects of interest in all the different settings of the Langlands program (local / global, geometric / arithmetic) and a collection of conjectures providing S-dual descriptions of these objects. The talk is based on forthcoming joint work with Yiannis Sakellaridis and Akshay Venkatesh.
In this lecture I'll discuss various aspects of 4d N=2 and 5d N=1 supersymmetric QFT's in the 1/2 Omega-background (and along the way try to emphasize some relations to the 3d N=2 theories discussed in this workshop). Central to this story is the Nekrasov instanton partition function (or topological string partition function) in this background, which we will obtain through abelianization as an integral of a ratio of Wronskians of certain special solutions to the relevant Schrodinger equation. We will argue that a slight generalization of the above partition function solves an associated Riemann-Hilbert problem and defines a section of a distinguished line bundle over the moduli space of flat connections.