Perverse sheaves and relative Langlands duality
The program of Ben-Zvi--Sakellaridis--Venkatesh connects the construction of L-functions in number theory with S-duality of boundary conditions in 4d. In particular this predicts certain equivalences of categories between equivariant D-modules on the formal loop space of a smooth variety X and equivariant quasi-coherent sheaves on a Hamiltonian manifold. I discuss an extension of this conjecture to certain singular varieties X and the possibility of quantizing the equivalence. I will explain joint work with Yiannis Sakellaridis on computing a certain factorization algebra which plays a role in the story.