Extra components of Hilbert schemes of points on affine three-space

About 16 years old · traced to

Let k\Bbbk be an algebraically closed field of characteristic zero, and write

Hd=Hilb⁡d(Ak3)H_d=\operatorname{Hilb}^d(\mathbb A^3_{\Bbbk})

for the Hilbert scheme of length-dd zero-dimensional subschemes of affine three-space. Its smoothable component is the closure of the locus of dd distinct points and has dimension 3d3d. Let

Hd,0=Hilb⁡d(Ak3,0)H_{d,0}=\operatorname{Hilb}^d(\mathbb A^3_{\Bbbk},0)

denote the punctual Hilbert scheme parametrizing subschemes supported at the origin.

Open problems. Determine the smallest dd for which Hd,0H_{d,0} is reducible, and the smallest dd for which HdH_d is reducible. The presently known bounds are

12≤dpunctual≤18,12≤dfull≤78.12\leq d_{\mathrm{punctual}}\leq18, \qquad 12\leq d_{\mathrm{full}}\leq78.

Indeed, both spaces are irreducible through length 1111; reducibility is known for the punctual space at length 1818 and for the full Hilbert scheme at length 7878.

A related explicit challenge is to describe a component other than the smoothable component as concretely as possible. One would like an explicit family of finite local algebras

A=k[x,y,z]/I,dim⁡kA=d,A=\Bbbk[x,y,z]/I, \qquad \dim_{\Bbbk}A=d,

or an equivalent family of Macaulay inverse systems, together with a deformation-theoretic certificate that its closure is an irreducible component and is not contained in the smoothable component.

A computational approach could enumerate local Hilbert functions and inverse systems, calculate

T[I]Hd≅Hom⁡k[x,y,z](I,k[x,y,z]/I),T_{[I]}H_d\cong\operatorname{Hom}_{\Bbbk[x,y,z]}(I,\Bbbk[x,y,z]/I),

study obstruction spaces, and search for a parameter family of the dimension required to force a new component. Even a single explicit component in the unresolved range 12≤d<7812\leq d<78, or a sharper threshold for either Hilbert scheme, would be substantial progress.

References

References

J. Jelisiejew, Open problems in deformations of Artinian algebras, Hilbert schemes and around, arXiv:2307.08777v2 (2026). https://arxiv.org/abs/2307.08777 T. Douvropoulos, J. Jelisiejew, B. I. U. Nødland, and Z. Teitler, The Hilbert scheme of 11 points in A3\mathbb A^3 is irreducible, arXiv:1701.03089 (2017). https://arxiv.org/abs/1701.03089

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.