Geometric Langlands duality compatibility with Serre duality
Let be a reductive group, let be the underlying smooth projective curve, and let be the moduli stack of -bundles on . Write for the Langlands dual group, for the derived stack of -local systems on , and and for the corresponding DG categories. Suppose that the geometric Langlands equivalence is
Let be the Serre duality equivalence on the spectral category, let be the pseudo-identity functor, and let be the automorphism induced by the Cartan involution of . Geometric Langlands duality conjecture. The diagram
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
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.