The differential operator conjecture for pseudo-reflection groups

About 5 years old · traced to

Let GG be a pseudo-reflection group, with θ\theta-degree rr as in the differential-operator identity

SHG=K[∂x1,…,∂xn]SHGdet⁡={∂gdi1⋯dikΔG:g∈K[x1,…,xn], ij∈[r]}.\mathcal{SH}_G=K[\partial_{x_1},\ldots,\partial_{x_n}]\mathcal{SH}_G^{\det}=\{\partial_g\mathrm{d}_{i_1}\cdots\mathrm{d}_{i_k}\Delta_G:g\in K[x_1,\ldots,x_n],\ i_j\in [r]\}.

Differential operator conjecture. If G=G(m,1,n)G=G(m,1,n), then this identity holds. The conjecture extends the proved cases for rank at most two and the real pseudo-reflection groups; computational evidence shows that the identity does not hold for some other families, while it has been verified in several additional small cases.

References

Primary source

Joshua P. Swanson and Nolan R. Wallach, “Harmonic differential forms for pseudo-reflection groups II. Bi-degree bounds”, arXiv:2109.03407 (2021).

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.