Abstract:Let $G_\mathbb R$ be a connected real reductive group and let $X$ be the corresponding complex symmetric variety under the Cartan bijection. We construct a canonical equivalence between the relative Satake category of $G(\mathcal O)$-equivariant $\mathbb C$-constructible complexes on the loop space of $X$ and the real Satake category of $G_\mathbb R(\mathcal O_\mathbb R)$-equivariant $\mathbb C$-constructible complexes on the real affine Grassmannian. We show that the equivalence is $t$-exact with respect to the natural perverse $t$-structures and is compatible with the fusion products and Hecke actions. We further show that the relative Satake category is equivalent to the category of $\mathbb C$-constructible complexes on the moduli stack of $G_\mathbb R$-bundles on the real projective line $\mathbb P^1(\mathbb R)$ and hence provides a connection between the relative Langlands program and the geometric Langlands program for real groups. We provide numerous applications of the main theorems to real and relative Langlands duality including the formality and commutativity conjectures for the real and relative Satake categories and an identification of the dual groups for $G_\mathbb R$ and $X$.

A Real Groups Construction of the Tame Local Langlands Correspondence for PGSp(4,F)

The local Langlands correspondence for GL(n) over p-adic fields

The explicit Local Langlands Correspondence for $\mathrm{GSp}_4$, $\mathrm{Sp}_4$ and stability (with an application to Modularity Lifting)

Local Langlands in families: The banal case

A Deligne-Lusztig type correspondence for tame $p$-adic groups

Real groups, symmetric varieties and Langlands duality

Local converse theorems and Langlands parameters

Converse theorems and the local Langlands correspondence in families

Beijing notes on the categorical local Langlands conjecture

Local Langlands Correspondence for Classical Groups and Affine Hecke Algebras

Modular functoriality in the Local Langlands Correspondence

Local Langlands correspondences in $\ell$-adic coefficients

On the geometrization of the $p$-adic local Langlands correspondence

$\infty$-Categorical Generalized Langlands Correspondence II: Langlands Program Formalism

Moduli stacks of Galois representations and the $p$-adic local Langlands correspondence for $\mathrm{GL}_2(\mathbb{Q}_p)$

Smith theory and cyclic base change functoriality

The Langlands-Weissman Program for Brylinski-Deligne extensions

On patched completed homology and a conjecture of Venkatesh

On the local Langlands conjectures for disconnected groups

Proof of the geometric Langlands conjecture IV: ambidexterity

Proof of the geometric Langlands conjecture II: Kac-Moody localization and the FLE