Equality conjecture for the Serre subcategories associated with a simple module

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 VCLV\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 AnnU(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.

Sources & referencesView supporting material

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.