Parabolic restriction conjecture for invariant differential-operator quotients

At least 22 years old · documented by

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 P⊂GP\subset G be the parabolic subgroup preserving a fixed line in VV, with Lie algebra p\mathfrak p. For c∈kc\in\Bbbk, let Jc⊂UpJ_c\subset\mathcal U\mathfrak p be the two-sided ideal generated by x−ctr⁡(x)x-c\operatorname{tr}(x) for x∈px\in\mathfrak p, and let Ind⁡c=Ind⁡(Ug↑Jc)⊂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 c∈kc\in\Bbbk, the canonical map

(D(g)/D(g)⋅Ind⁡c)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.

References

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.