Related papers: Relative Langlands duality and Koszul duality
For any Kac-Moody group $G$ with Borel $B$, we give a monoidal equivalence between the derived category of $B$-equivariant mixed complexes on the flag variety $G/B$ and (a certain completion of) the derived category of $B^\vee$-monodromic…
For a pair of affine toric varieties X and Y defined by dual cones, we define an equivalence between two triangulated categories. The first is a mixed version of the equivariant derived category of X and the second is a mixed version of the…
Let $X$ be a spherical variety for a connected reductive group $G$. Work of Gaitsgory-Nadler strongly suggests that the Langlands dual group $G^\vee$ of $G$ has a subgroup whose Weyl group is the little Weyl group of $X$.…
We verify the relative Langlands duality conjecture proposed by Ben-Zvi, Sakellaridis, Venkatesh for the hyperspherical Hamiltonian variety $T^*(\operatorname{Sp}_{2n}\backslash \operatorname{GL}_{2n+1})$. We provide numerical (over number…
Given a hyperspherical $G$-variety $\mathscr X$ we consider the zero moment level $\Lambda_{\mathscr X}\subset{\mathscr X}$ of the action of a Borel subgroup $B\subset G$. We conjecture that $\Lambda_{\mathscr X}$ is Lagrangian. For the…
Let $G$ be $Sp_{2n}$, $SO_{2n}$ or $SO_{2n+1}$ and let $G^\vee$ be its Langlands dual group. Barbasch and Vogan based on earlier work of Lusztig and Spaltenstein, define a duality map $D$ that sends nilpotent orbits $\mathbb{O}_{e^\vee}…
We consider two $S$-dual hyperspherical varieties of the group $G_2 \times \text{SL}(2)$: an equivariant slice for $G_2$, and the symplectic representation of $G_2 \times \text{SL}_2$ in the odd part of the basic classical Lie superalgebra…
Let $G$ be a complex reductive group. For a smooth affine spherical $G$-variety $X$, assume that the unramified relative local Langlands conjecture of Ben-Zvi-Sakellaridis-Venkatesh for $X$ holds, the loop space $LX$ is an $L^+G$--placid…
Let $G$ be a connected reductive algebraic group over an algebraically closed field of positive characteristic, $\mathfrak{g}$ be its Lie algebra, and $B$ be a Borel subgroup. We prove a formula for the dimensions of extension groups, in…
Let $G$ be a semisimple group, split over a non-Archimedean field $F$. We prove that the category of modules over the extension algebra of generalised Steinberg representations of $G(F)$ is equivalent to a full subcategory of equivariant…
Let $G$ and $\check{G}$ be Langlands dual connected reductive groups. We establish a monoidal equivalence of $\infty$-categories between equivariant quasicoherent sheaves on the formal neighborhood of the nilpotent cone in $G$ and…
We show that there is an equivalence in any $n$-topos $\mathcal{X}$ between the pointed and $k$-connective objects of $\mathcal{X}$ and the $\mathbb{E}_k$-group objects of the $(n-k-1)$-truncation of $\mathcal{X}$. This recovers, up to…
We prove an analogue of the Borel-Bott-Weil theorem in equivariant KK-theory by constructing certain canonical equivariant correspondences between minimal flag varieties G/B, with G a complex semisimple Lie group.
We propose two families of relative trace formula comparisons in the study of relative Langlands duality conjectured by Ben-Zvi--Sakellaridis--Venkatesh. This allows us to incorporate numerous relative trace formula comparisons studied…
Let $G$ be a connected semisimple Lie group. There are two natural duality constructions that assign to it the Langlands dual group $G^\vee$ and the Poisson-Lie dual group $G^*$. The main result of this paper is the following relation…
Let $g$ be a reductive Lie algebra over a field of characteristic zero. Suppose $g$ acts on a complex of vector spaces $M$ by $i_\lambda$ and $L_\lambda$, which satisfy the identities as contraction and Lie derivative do for smooth…
We construct an isomorphism between the (universal) spherical Hall algebra of a smooth projective curve of genus g and a convolution algebra in the (equivariant) K-theory of the genus g commuting varieties C_{{gl}_r}={(x_i, y_i) \in…
Geometric Langlands duality relates a representation of a simple Lie group $G^\vee$ to the cohomology of a certain moduli space associated with the dual group $G$. In this correspondence, a principal $SL_2$ subgroup of $G^\vee$ makes an…
In this paper we construct, for F_1 and F_2 subbundles of a vector bundle E, a "Koszul duality" equivalence between derived categories of G_m-equivariant coherent (dg-)sheaves on the derived intersection of F_1 and F_2 inside E, and the…
In an earlier paper of the authors, a general family of instances of the relative Langlands duality of Ben-Zvi-Sakellaridis-Venkatesh [BZSV] were proposed and studied in the setting of branching problems for smooth representations. In this…