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

Let GG be a reductive group, let PP^- 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.

Sources & referencesView supporting material

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.