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

About 9 years old · traced to

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)∈Z≥0\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(HP⁡∗DR(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(HP⁡∗DR(X);x,y)=y−d⋅dim⁡X/2∑i,jxiyd⋅ϕ(dim⁡X−i,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.

References

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.