The weight-generating-function conjecture for Poisson-de Rham homology

Let XX be a conical Poisson variety with a symplectic resolution, and let dd be the degree of its generic symplectic form. Let X~\widetilde X be the resolution and, for each ii, let ϕ(i,j)Z0\phi(i,j)\in\mathbf Z_{\geq0} be the exponents describing the Jordan blocks of the cokernel of the map from fiberwise closed ii-forms to Hi(X~)C[t]H^i(\widetilde X)\otimes\mathbf C[t]. Write h(HPDR(X);x,y)h(\operatorname{\mathsf{HP}}_*^{DR}(X);x,y) for the corresponding bigraded generating function. The weight-generating-function conjecture. One has

h(HPDR(X);x,y)=yddimX/2i,jxiydϕ(dimXi,j).h(\operatorname{\mathsf{HP}}_*^{DR}(X);x,y)=y^{-d\cdot\dim X/2}\sum_{i,j}x^i y^{d\cdot\phi(\dim X-i,j)}.

The conjecture relates the bigraded Poisson-de Rham homology to the Gauss–Manin-theoretic defect measured by the integers ϕ(i,j)\phi(i,j); in particular, it predicts that the homology is supported only in weights divisible by dd. The supplied text gives no resolution evidence, so the conjecture remains open.

Sources & referencesView supporting material

Primary source

Pavel Etingof and Travis Schedler, “Poisson traces, D-modules, and symplectic resolutions”, arXiv:1705.00423 (2017).

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.