The polynomial-error conjecture for higher-dimensional partitions

For positive integers nn and dd, let Ωdn\Omega^n_d be the effective classes defined by

d0[Hilbd(An)0]td=Exp(d>0Ωdntd),\sum_{d\geq 0}[\operatorname{Hilb}^d({\mathbb A}^n)_0]t^d=\operatorname{Exp}\left(\sum_{d>0}\Omega^n_dt^d\right),

and let χ\chi denote the Euler characteristic. Polynomial-error conjecture. For every d6d\geq 6, there exists an irreducible polynomial rd(t)Q[t]r_d(t)\in{\mathbb Q}[t] of degree d6d-6 such that

(d+n3n2)χ(Ωdn)=(n4)rd(n)\binom{d+n-3}{n-2}-\chi(\Omega^n_d)=\binom{n}{4}r_d(n)

for all n1n\geq 1.

The claim describes a regularity in the discrepancy between MacMahon’s proposed product and the actual generating function for higher-dimensional partitions, as measured by Euler characteristics of the motivic classes.

Sources & referencesView supporting material

Primary source

Michele Graffeo, Sergej Monavari, Riccardo Moschetti and Andrea T. Ricolfi, “The motive of the Hilbert scheme of points in all dimensions”, arXiv:2406.14321 (2024).

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.