Compatibility of Brylinski–Deligne and étale constructions

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)MapsPtd(PreStk/X)(Bet(G)×X,Bet4(μ2×X))FactPic(GrG)FactGeμ(GrG).\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.

Sources & referencesView supporting material

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.