Gaitsgory's dimension-torsor Whittaker equivalence conjecture

About 13 years old · traced to

Let \G\G be a loop group, let \bN\bN be its loop maximal unipotent subgroup, and let \C\C be a category equipped with a \bG\bG-action. Let χ\chi be the character of \bN\bN defined from the simple roots, and let ΘΛ:\C\bN,χ→\C\bN,χ\Theta_{\Lambda}:\C_{\bN,\chi}\to\C^{\bN,\chi} be the functor associated with a trivialization Λ\Lambda of the dimension torsor of \bN\bN. Gaitsgory's Whittaker equivalence conjecture. For any trivialization of the dimension torsor of \bN\bN, the functor

ΘΛ:\C\bN,χ→\C\bN,χ\Theta_{\Lambda}:\C_{\bN,\chi}\to\C^{\bN,\chi}

is an equivalence of categories.

This is the dimension-torsor-refined form of the assertion that Whittaker coinvariants and invariants agree. The source attributes the conjecture to Gaitsgory and gives no resolution in the stated generality.

References

Primary source

Dario Beraldo, “Loop group actions on categories and Whittaker invariants”, arXiv:1310.5127 (2017).

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.