Point-independence conjecture for tempered D-modules on Bun_G

About 14 years old · traced to

Let XX be a smooth complete curve, let GG be a reductive group, and let x∈Xx\in X. The category \Dmod(\BunG)\Dmod(\Bun_G) is tensored over \QCoh(\cg∗/(\cG×\BGm))\QCoh(\cg^*/(\cG\times \BG_m)), giving each object a support \onsuppx(\CM)\on{supp}^{x}(\CM). Define

\Dmod\ontempx(\BunG):=\CM∈\Dmod(\BunG):\onsuppx(\CM)=0.\Dmod^x_{\on{temp}}(\Bun_G):=\\{\CM\in\Dmod(\Bun_G):\on{supp}^x(\CM)=\\{0\\}\\}.

Point-independence conjecture. The subcategory \Dmod\ontempx(\BunG)⊂\Dmod(\BunG)\Dmod^x_{\on{temp}}(\Bun_G)\subset\Dmod(\Bun_G) is independent of the choice of the point x∈Xx\in X. This is deduced in the source as a consequence of the geometric Langlands conjecture and its compatibility with geometric Satake, so it remains open there.

References

Primary source

Dima Arinkin and Dennis Gaitsgory, “Singular support of coherent sheaves, and the geometric Langlands conjecture”, arXiv:1201.6343 (2014).

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.