Parabolic compatibility of quantum Langlands for the Siegel parabolic

About 14 years old · traced to

Let G=Sp⁡(Mn)G=\operatorname{Sp}(M_n), let H=SO⁡2n+1H=\operatorname{SO}_{2n+1}, and let P⊂GP\subset G be the Siegel parabolic with Levi quotient GL⁡n\operatorname{GL}_n. Let Eis⁡:D⁡(Bun⁡n)→D⁡−(Bun~⁡G)\operatorname{Eis}:\operatorname{D}(\operatorname{Bun}_n)\to\operatorname{D}_-(\operatorname{\widetilde{Bun}}_G) and Eis⁡GL⁡nH:D⁡(Bun⁡n)→D⁡(Bun⁡H)\operatorname{Eis}_{\operatorname{GL}_n}^H:\operatorname{D}(\operatorname{Bun}_n)\to\operatorname{D}(\operatorname{Bun}_H) be the corresponding geometric Eisenstein series functors.

Parabolic compatibility conjecture. There is an automorphism δ:Bun⁡n→~Bun⁡n\delta:\operatorname{Bun}_n\widetilde\to\operatorname{Bun}_n such that the diagram

D⁡(Bun⁡n)→Eis⁡D⁡−(Bun~⁡G)↑δ∗↑QLD⁡(Bun⁡n)→Eis⁡GL⁡nHD⁡(Bun⁡H)\begin{array}{ccc} \operatorname{D}(\operatorname{Bun}_n)&\xrightarrow{\operatorname{Eis}}&\operatorname{D}_-(\operatorname{\widetilde{Bun}}_G)\\\\ \uparrow^{\delta^*}&&\uparrow^{QL}\\\\ \operatorname{D}(\operatorname{Bun}_n)&\xrightarrow{\operatorname{Eis}_{\operatorname{GL}_n}^H}&\operatorname{D}(\operatorname{Bun}_H) \end{array}

\nis 2-commutative. If n=1n=1, then δ(B)=B⊗Ω1/2\delta({\cal B})={\cal B}\otimes\Omega^{1/2} for some square root Ω1/2\Omega^{1/2} of Ω\Omega.

This expresses compatibility of quantum Langlands with parabolic induction. The source gives the assertion as conjectural and does not state a resolution.

References

Primary source

Sergey Lysenko, “Geometric Whittaker models and Eisenstein series for Mp_2”, arXiv:1211.1596 (2012).

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.