Parabolic restriction conjecture for invariant differential-operator quotients

Let VV be an nn-dimensional vector space over k\Bbbk, let G=GL(V)G=\operatorname{GL}(V) with Lie algebra g=gl(V)\mathfrak g=\mathfrak{gl}(V), and let PGP\subset G be the parabolic subgroup preserving a fixed line in VV, with Lie algebra p\mathfrak p. For ckc\in\Bbbk, let JcUpJ_c\subset\mathcal U\mathfrak p be the two-sided ideal generated by xctr(x)x-c\operatorname{tr}(x) for xpx\in\mathfrak p, and let Indc=Ind(UgJc)Ug\operatorname{Ind}_c=\operatorname{Ind}(\mathcal U\mathfrak g\uparrow J_c)\subset\mathcal U\mathfrak g be the induced ideal. Let D(g)\mathscr D(\mathfrak g) be the algebra of differential operators on g\mathfrak g, with GG acting by the adjoint action. Parabolic restriction conjecture. For every ckc\in\Bbbk, the canonical map

(D(g)/D(g)Indc)G(D(g)/D(g)Jc)P\left(\mathscr D(\mathfrak g)/\mathscr D(\mathfrak g)\cdot\operatorname{Ind}_c\right)^G\longrightarrow\left(\mathscr D(\mathfrak g)/\mathscr D(\mathfrak g)\cdot J_c\right)^P

induced by the natural quotient map is an algebra isomorphism.

This conjecture asserts that taking GG-invariants after quotienting by the induced primitive ideal agrees with taking PP-invariants after quotienting by the original parabolic ideal. The supplied text proposes the statement but gives no evidence of a resolution.

Sources & referencesView supporting material

Primary source

Roman Bezrukavnikov, Michael Finkelberg and Victor Ginzburg, “Cherednik algebras and Hilbert schemes in characteristic p (with an appendix by Pavel Etingof)”, arXiv:math/0312474 (2021).

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.