A relative Langlands dual realization of $T^*(G/K)$ and derived Satake

TL;DR

This paper establishes a duality between the cotangent bundle of quasi-split symmetric spaces and loop symmetric spaces, extending the derived Satake equivalence and connecting to the geometric Langlands program.

Contribution

It introduces a relative Langlands duality for non-split groups and generalizes the derived Satake equivalence to quasi-split symmetric spaces.

Findings

Proves the derived Satake equivalence for twisted affine Grassmannians.

Establishes a Langlands dual description of equivariant coherent sheaves.

Connects the results to the geometric Langlands program on the twistor P^1.

Abstract

We show that the cotangent bundle $T^*(G/K)$ of a quasi-split symmetric space $G/K$ is isomorphic to the dual variety of the loop symmetric space for the Langlands dual group, providing instances of the relative Langlands duality for non-split groups. Then we establish a Langlands dual description of equivariant coherent sheaves on $T^*(G/K)$ in terms of constructible sheaves on the loop symmetric spaces, generalizing the derived Satake equivalence for reductive groups to quasi-split symmetric spaces. To this end, we prove the derived Satake equivalence for the twisted affine Grassmannians, study ring objects arising from loop symmetric spaces, and explore the formality and fully-faithfulness properties of $!$-pure objects. We deduce a version of Bezrukavnikov equivalence for quasi-split symmetric spaces and make connections to the geometric Langlands on the twistor $\mathbb P^1$.