Linear independence of cell modules for distinguished nilpotents

Let ee be a distinguished nilpotent element, so that Ae=QeA_e=Q_e, and let cc be the corresponding two-sided cell. Let JcJ_c be identified with K0(ShQe(Ye×Ye))K_0(\operatorname{Sh}^{Q_e}(Y_e\times Y_e)), and let O\mathcal{O} range over the QeQ_e-centrally extended orbits appearing in YeY_e. Cell-module independence conjecture. In the Grothendieck group of the category of JcJ_c-modules, the classes of the cell modules

K0(ShQe(Ye×O))K_0(\operatorname{Sh}^{Q_e}(Y_e\times \mathcal{O}))

for non-isomorphic O\mathcal{O} are linearly independent. This conjecture concerns the independence of the different left cell-module classes and is motivated by the analogous result for finite Weyl groups; the supplied passage gives no resolution.

Sources & referencesView supporting material

Primary source

Do Kien Hoang, “Geometry of the fixed points loci and discretization of Springer fibers in classical types”, arXiv:2405.10105 (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.