Compatibility of the enhanced spectral Eisenstein functors with the global self-duality

About 2 years old · traced to

Let GG be a reductive group, let P−P^- be an opposite parabolic with Levi subgroup MM, and let \CZ\CZ be the auxiliary coefficient category. Consider the equivalence

Θ\onI(\cG,\cP−)\onspec,glob:\IndCoh(\LS\cM)\CZ−,\onenh\onco⟶\IndCoh(\LS\cM)\CZ−,\onenh\Theta_{\on{I}(\cG,\cP^-)^{\on{spec,glob}}}:\IndCoh(\LS_\cM)^{-,\on{enh}_{\on{co}}}_\CZ\longrightarrow \IndCoh(\LS_\cM)^{-,\on{enh}}_\CZ

and the enhanced spectral Eisenstein functors appearing in the diagram below.

Compatibility conjecture. The following diagram of functors commutes:

\CD\IndCoh(\LS\cM)\CZ−,\onenh\onco@>Θ\onI(\cG,\cP−)\onspec,glob>>\IndCoh(\LS\cM)\CZ−,\onenh@V\Eis\CZ−,\onspec,\onenh\oncoVV@VV\Eis\CZ−,\onspec,\onenhV\IndCoh(\LS\cG)⊗\Dmod(\CZ)@>>\onid>\IndCoh(\LS\cG)⊗\Dmod(\CZ),\endCD\CD \IndCoh(\LS_\cM)^{-,\on{enh}_{\on{co}}}_\CZ @>{\Theta_{\on{I}(\cG,\cP^-)^{\on{spec,glob}}}}>> \IndCoh(\LS_\cM)^{-,\on{enh}}_\CZ \\ @V{\Eis_\CZ^{-,\on{spec},\on{enh}_{\on{co}}}}VV @VV{\Eis_\CZ^{-,\on{spec},\on{enh}}}V \\ \IndCoh(\LS_\cG)\otimes \Dmod(\CZ) @>>{\on{id}}> \IndCoh(\LS_\cG)\otimes \Dmod(\CZ), \endCD

in a way compatible with the \Sph\cG,\CZ\onspec\Sph^{\on{spec}}_{\cG,\CZ}-actions.

The conjecture expresses compatibility between the proposed global self-duality and enhanced spectral Eisenstein series. The source gives a local and categorical formulation, but no resolution of this compatibility statement.

References

Primary source

Justin Campbell, Lin Chen, Joakim Faergeman, Dennis Gaitsgory, Kevin Lin, Sam Raskin and Nick Rozenblyum, “Proof of the geometric Langlands conjecture III: compatibility with parabolic induction”, arXiv:2409.07051 (2024).

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.