Gaitsgory's dimension-torsor Whittaker equivalence conjecture

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.

Sources & referencesView supporting material

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.