The polynomial-error conjecture for higher-dimensional partitions

At least 1 year old · documented by

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

∑d≥0[Hilb⁡d(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 d≥6d\geq 6, there exists an irreducible polynomial rd(t)∈Q[t]r_d(t)\in{\mathbb Q}[t] of degree d−6d-6 such that

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

for all n≥1n\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.

References

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.