Parabolic compatibility of quantum Langlands for the Siegel parabolic

Let G=Sp(Mn)G=\operatorname{Sp}(M_n), let H=SO2n+1H=\operatorname{SO}_{2n+1}, and let PGP\subset G be the Siegel parabolic with Levi quotient GLn\operatorname{GL}_n. Let Eis:D(Bunn)D(Bun~G)\operatorname{Eis}:\operatorname{D}(\operatorname{Bun}_n)\to\operatorname{D}_-(\operatorname{\widetilde{Bun}}_G) and EisGLnH:D(Bunn)D(BunH)\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 δ:Bunn~Bunn\delta:\operatorname{Bun}_n\widetilde\to\operatorname{Bun}_n such that the diagram

D(Bunn)EisD(Bun~G)δQLD(Bunn)EisGLnHD(BunH)\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.

Sources & referencesView supporting material

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.