Equality conjecture for the Serre subcategories associated with a simple module

About 3 years old · traced to

Let LL be a simple g\mathfrak{g}-module. Let A(L)\mathscr{A}(L) be the abelian category of finitely generated subquotients of modules V⊗CLV\otimes_{\mathbb{C}}L with VV finite-dimensional. Let B(L)\mathscr{B}(L) be the Serre subcategory of objects of Gelfand–Kirillov dimension strictly smaller than GKdim⁡(L)\operatorname{GKdim}(L), and let C(L)\mathscr{C}(L) be the Serre subcategory of objects annihilated by every indecomposable projective functor in the two-sided cell corresponding to Ann⁡U(g)(L)\operatorname{Ann}_{U(\mathfrak{g})}(L). Equality conjecture.

B(L)=C(L).\mathscr{B}(L)=\mathscr{C}(L).

This equality would identify the dimension-theoretic negligible objects with those invisible to the annihilator cell, making the resulting Serre quotient a natural finite-length setting for projective-functor actions. The supplied context gives stability of these subcategories but no proof of equality.

References

Primary source

Marco Mackaay, Volodymyr Mazorchuk and Vanessa Miemietz, “Applying projective functors to arbitrary holonomic simple modules”, arXiv:2311.04191 (2024).

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.