Geometric Langlands duality compatibility with Serre duality

About 12 years old · traced to

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.

References

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.