The motivic compatibility conjecture for factorizable line bundles and gerbes

From papers

Let XX be the smooth scheme considered above, let GG be the reductive group with maximal torus TT, and let \ell be the chosen prime. Consider the diagram

Maps(X×BZar(T),BZar2(\bK2))/Maps(X×BZar(G),Bet4(μ2))FactorLine(GrG,Ran)/FactGerbeμ(GrG,Ran).\begin{CD} \operatorname{Maps}(X\times B_{\operatorname{Zar}}(T),B^2_{\operatorname{Zar}}(\bK_2))/\ell @>>> \operatorname{Maps}(X\times B_{\operatorname{Zar}}(G),B^4_{\operatorname{et}}(\mu_\ell^{\otimes 2})) \\ @VVV @VVV \\ \operatorname{FactorLine}(\operatorname{Gr}_{G,\operatorname{Ran}})/\ell @>>> \operatorname{FactGerbe}_{\mu_\ell}(\operatorname{Gr}_{G,\operatorname{Ran}}). \end{CD}

The horizontal and vertical maps are the parameterization, Kummer, and gerbe maps constructed above. The motivic compatibility conjecture. The displayed diagram of equivalences commutes. This would identify the motivically constructed map with the Kummer-theoretic map on factorizable line bundles and gerbes.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Dennis Gaitsgory, “Parameterization of factorizable line bundles by K-theory and motivic cohomology”, arXiv:1804.02567 (2020).

Solutions 0

No solutions have been posted yet.