Etingof's refined filtration conjecture for non-integral rational parameters

About 16 years old · traced to

Let kk be rational and non-integral with denominator m>1m>1. Let Fi,jF_{i,j} and Fi,j\bold F_{i,j} be the two-index refinements of the geometric and support filtrations on K0(Rep⁡Γn)K_0(\operatorname{Rep}\Gamma_n), and define their associated graded pieces by

gr⁡i,jFK0=Fi,jK0/(Fi−m,j+1K0+Fi−1,jK0+Fi,j−1K0),\operatorname{gr}_{i,j}^{F}K_0=F_{i,j}K_0/(F_{i-m,j+1}K_0+F_{i-1,j}K_0+F_{i,j-1}K_0),

with the analogous definition for gr⁡i,jF\operatorname{gr}_{i,j}^{\bold F}. Let ∂m\partial_m be the Heisenberg operator and let Lμ[ω0−nδ,j]L_\mu[\omega_0-n\delta,j] denote the subspace of weight ω0−nδ\omega_0-n\delta and ∂m\partial_m-eigenvalue jj.

Etingof's refined filtration conjecture. For either filtration, there exists an isomorphism of vector spaces

gr⁡i,jK0(Rep⁡Γn)C≅⨁μ∈P+a: μ2=−2iLμ[ω0−nδ,j]⊗Hom⁡a(Lμ,V).\operatorname{gr}_{i,j}K_0(\operatorname{Rep}\Gamma_n)_{\mathbb C}\cong \bigoplus_{\mu\in P_+^{\mathfrak a}:\,\mu^2=-2i}L_\mu[\omega_0-n\delta,j]\otimes \operatorname{Hom}_{\mathfrak a}(L_\mu,\bold V).

This refines the one-index filtration conjecture by recording the Heisenberg degree. The paper notes that it subsumes the irrational case and gives the corresponding finite-dimensional representation count, but the general refined statement remains open.

References

Primary source

Pavel Etingof, “Symplectic reflection algebras and affine Lie algebras”, arXiv:1011.4584 (2012).

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.