Compatibility of Brylinski–Deligne and étale constructions

About 10 years old · traced to

Let XX be a curve, let GG be a constant group scheme over XX, and let ℓ\ell be an integer prime to the characteristic. Set A=μℓA=\mu_\ell, so that A(1)≃μℓ⊗2A(1)\simeq \mu_\ell^{\otimes 2}. Consider the map from central extensions by (K2)Zar⁡(K_2)_{\operatorname{Zar}} to the étale mapping space and the map from factorizable line bundles to factorizable μℓ\mu_\ell-gerbes, together with the map from central extensions to factorizable line bundles. Brylinski–Deligne–étale compatibility conjecture. The resulting diagram commutes:

CExt⁡(G,(K2)Zar⁡)→Maps⁡Ptd⁡(PreStk⁡/X)(Bet⁡(G)×X,Bet⁡4(μℓ⊗2×X))↓↓FactPic⁡(Gr⁡G)→FactGe⁡μℓ(Gr⁡G).\begin{CD} \operatorname{CExt}(G,(K_2)_{\operatorname{Zar}}) @>>> \operatorname{Maps}_{\operatorname{Ptd}(\operatorname{PreStk}_{/X})}\left(B_{\operatorname{et}}(G)\times X,B^4_{\operatorname{et}}(\mu_\ell^{\otimes 2}\times X)\right) \\ @VVV @VVV \\ \operatorname{FactPic}(\operatorname{Gr}_G) @>>> \operatorname{FactGe}_{\mu_\ell}(\operatorname{Gr}_G). \end{CD}

Here the arrows are the constructions described immediately before the conjecture. This is stated as equivalent to a conjecture in the cited work; the supplied text gives no resolution.

References

Primary source

D. Gaitsgory and S. Lysenko, “Parameters and duality for the metaplectic geometric Langlands theory”, arXiv:1608.00284 (2022).

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.