Cohomological realization of the Lusztig–Vogan bijection

Suppose we are in the reductive case. Let uX+\boldsymbol{ u}\in-\boldsymbol{X}^+, and let (Ou,ρu)Ξ({\mathscr{O}}_{\boldsymbol{ u}},\boldsymbol{\rho}_{\boldsymbol{ u}})\in\Xi be the pair corresponding to u\boldsymbol{ u} under the Lusztig–Vogan bijection. Let T(wu0)\mathsf{T}(w_{\boldsymbol{ u}}\cdot_\ell 0) be the corresponding tilting module and let Hg\mathsf{H}_{\mathsf{g}}^\bullet denote its coherent cohomology sheaf. Cohomological realization conjecture. The coherent sheaf Hg(T(wu0))\mathsf{H}_{\mathsf{g}}^\bullet(\mathsf{T}(w_{\boldsymbol{ u}}\cdot_\ell 0)) is scheme-theoretically supported on Ou\overline{{\mathscr{O}}_{\boldsymbol{ u}}}, and

Hg(T(wu0))OuTOu(ρu).\mathsf{H}_{\mathsf{g}}^\bullet(\mathsf{T}(w_{\boldsymbol{ u}}\cdot_\ell 0))|_{{\mathscr{O}}_{\boldsymbol{ u}}}\cong \mathscr{T}_{{\mathscr{O}}_{\boldsymbol{ u}}}(\boldsymbol{\rho}_{\boldsymbol{ u}}).

This would provide a faithful reductive analogue of the corresponding cohomological theorem and would solve the cohomology problem mentioned by the authors. The supplied source gives no evidence of resolution.

Sources & referencesView supporting material

Primary source

Pramod N. Achar, William Hardesty and Simon Riche, “Conjectures on tilting modules and antispherical p-cells”, arXiv:1812.09960 (2019).

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.