Tamely ramified relative Langlands conjecture
Establish the equivalence between the category of (H(F),psi)-equivariant D-modules on the affine flag variety Fl_G and the corresponding category of quasi-coherent sheaves on the fiber product of the dual hyperspherical variety with the GrothendieckSpringer resolution.
References
First, note that the relative Langlands conjecture admits a tamely ramified extension
— Iwahori Gaiotto conjecture for cotangent type
(2610.08243 - Travkin et al., 6 Oct 2026) in Section 1.1, subsection “The Gaiotto conjecture,” Iwahori case