Whittaker sheaf Hecke property conjecture

Let GG be the group and let γ\gamma be the coweight used to define the stacks Yd\mathcal Y_d. For a Gˇ\check{G}-local system EE on XX, let WE,ψd\mathcal W^d_{E,\psi} be the Whittaker sheaf in the Grothendieck ring K(Yd)K(\mathcal Y_d), and let VEγV^\gamma_E be the corresponding representation local system. Consider the Hecke correspondence

Yd×XpY×suppYd×BunGHG+,1qYYd+1.\mathcal Y_d\times X\xleftarrow{\mathfrak p_{\mathcal Y}\times\operatorname{supp}}\mathcal Y_d\times_{\operatorname{Bun}_G}\mathcal H_G^{+,1}\xrightarrow{\mathfrak q_{\mathcal Y}}\mathcal Y_{d+1}.

Whittaker sheaf Hecke property conjecture. There is a canonical isomorphism in K(Yd×X)K(\mathcal Y_d\times X)

(pY×supp)!qYWE,ψd+1Qˉ(12)[1]γ,2ρˇWE,ψdVEγQˉ(12)[1].(\mathfrak p_{\mathcal Y}\times\operatorname{supp})_!\mathfrak q_{\mathcal Y}^*\mathcal W^{d+1}_{E,\psi}\otimes\mathbb{\bar Q}_\ell(\tfrac12)[1]^{\otimes\langle\gamma,2\check{\rho}\rangle}\simeq\mathcal W^d_{E,\psi}\boxtimes V^\gamma_E\otimes\mathbb{\bar Q}_\ell(\tfrac12)[1].

This compatibility is intended to make the Whittaker sheaves into Hecke eigensheaves and is part of the proposed geometric construction. The source gives no resolution, so the conjecture remains open.

Sources & referencesView supporting material

Primary source

Sergey Lysenko, “On automorphic sheaves on Bun_G”, arXiv:math/0211067 (2003).

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.