Relative Langlands duality and Koszul duality

TL;DR

This paper explores a duality between hyperspherical varieties and their quantizations, establishing an equivalence of certain equivariant categories under specific conjectural and polarization assumptions.

Contribution

It demonstrates a novel equivalence between B-equivariant and B^1-graded unipotent B^1-monodromic categories in the context of S-dual hyperspherical varieties.

Findings

Established an equivalence of categories under duality assumptions.

Utilized a variant of equivariant localization to derive the main result.

Connected Langlands duality with Koszul duality through categorical equivalences.

Abstract

Consider a pair of $S$-dual hyperspherical varieties $G\circlearrowright X$ and $G^\vee\circlearrowright X^\vee$ equipped with equivariant quantizations $Q(X)$, $Q(X^\vee)$. Assume that the local conjecture of Ben-Zvi, Sakellaridis and Venkatesh holds for this pair, and also that $X\simeq T^*_\psi(Y)$ is polarized, so that $Q(X)=D_\psi(Y)$. Let $B\subset G$ (resp. $B^\vee\subset G^\vee$) be Borel subgroups. Then using a variant of the $S^1$-equivariant localization of arxiv:0706.0322, we deduce an equivalence between the ${\mathbb Z}/2$-graded $B$-equivariant category $(D_\psi(Y)\operatorname{-mod}^B)^{{\mathbb Z}/2}$ and the ${\mathbb Z}/2$-graded unipotent $B^\vee$-monodromic category $(Q(X^\vee)\operatorname{-mod}^{B^\vee,\operatorname{mon}})^{{\mathbb Z}/2}$.