The flatness conjecture for universal quasiharmonics at constant parameter

Let WW be a real reflection group of rank \ell, with Coxeter number hh and basic invariant degrees d1,,dd_1,\dots,d_\ell. Let rr satisfy rdi1(modh)r\equiv d_i-1\pmod h for some i{1,,}i\in\{1,\dots,\ell\}, let QHr\mathcal{QH}_r be the degree-rr component of the universal quasiharmonics, and let V(r)V^{(r)} be its distinguished copy of C[c]V\mathbb{C}[c]\otimes V. Write QHr(r/h)\mathcal{QH}_r^{(r/h)} for the degree-rr quasiharmonics at the constant parameter c=r/hc=r/h, and evr/hQHr\operatorname{ev}_{r/h}\mathcal{QH}_r for specialization at that parameter. Flatness conjecture. If

c=const.=r/h,c=\operatorname{const.}=r/h,

then

QHr(r/h)=evr/hQHr.\mathcal{QH}_r^{(r/h)}=\operatorname{ev}_{r/h}\mathcal{QH}_r.

In particular, if VrV_r denotes the known subspace of singular vectors in Mr(r/h)(1)M_r^{(r/h)}(\mathbf{1}), then Vr=evr/hV(r)V_r=\operatorname{ev}_{r/h}V^{(r)}. The conjecture is proved for dihedral groups, and computations are given for symmetric groups; it remains open in general.

Sources & referencesView supporting material

Primary source

Arkady Berenstein and Yurii Burman, “Quasiharmonic polynomials for Coxeter groups and representations of Cherednik algebras”, arXiv:math/0505173 (2007).

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.