Geometric Langlands duality compatibility with Serre duality

Let GG be a reductive group, let XX be the underlying smooth projective curve, and let \bunG\bun_G be the moduli stack of GG-bundles on XX. Write \bG\bG for the Langlands dual group, \fLocSys\bG\fLocSys_{\bG} for the derived stack of \bG\bG-local systems on XX, and \bDmod(\bunG)\bDmod(\bun_G) and \bIndCohilpglob(\fLocSys\bG)\bIndCoh_{ ilpglob}(\fLocSys_{\bG}) for the corresponding DG categories. Suppose that the geometric Langlands equivalence is

\BLG:\bDmod(\bunG)\bIndCoh\nilpglob(\fLocSys\bG).\BL_G:\bDmod(\bun_G)\to \bIndCoh_{\nilpglob}(\fLocSys_{\bG}).

Let \bD\fLocSys\bGSerre\bD^{\mathrm{Serre}}_{\fLocSys_{\bG}} be the Serre duality equivalence on the spectral category, let \psId\bunG,!\psId_{\bun_G,!} be the pseudo-identity functor, and let τ\tau be the automorphism induced by the Cartan involution of GG. Geometric Langlands duality conjecture. The diagram

\bDmod(\bunG)((\BLG))1(\bIndCoh\nilpglob(\fLocSys\bG))\psId\bunG,!\bD\fLocSys\bGSerre\bDmod(\bunG)\BLG\bIndCoh\nilpglob(\fLocSys\bG) τ\begin{CD} \bDmod(\bun_G)^\vee @>{((\BL_G)^\vee)^{-1}}>> (\bIndCoh_{\nilpglob}(\fLocSys_{\bG}))^\vee \\ @V{\psId_{\bun_G,!}}VV @VV{\bD^{\mathrm{Serre}}_{\fLocSys_{\bG}}}V \\ \bDmod(\bun_G) @>{\BL_G}>> \bIndCoh_{\nilpglob}(\fLocSys_{\bG}) \\ @. @VV{\tau}V \end{CD}

commutes up to a cohomological shift, with the indicated Cartan-involution automorphism. This is a motivational enhancement of the categorical geometric Langlands conjecture; the source gives no resolution, so the compatibility remains open.

Sources & referencesView supporting material

Primary source

D. Gaitsgory, “A "strange" functional equation for Eisenstein series and miraculous duality on the moduli stack of bundles”, arXiv:1404.6780 (2016).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.