arXiv++ Combinatorics

We prove a necessary condition conjecture ([27, Conjecture B]) for the maximal singularity of the Hilbert scheme of points in 3D for a large class of degrees, which in particular implies the 1978 Briançon-Iarrobino Conjecture for a tetrahedral degree, and vastly generalises the result in [19]. The novelty lies in introducing a new upper bound on the dimensions of the tangent spaces of the claimed non-maximally singular ideals, constructing canonical ideals that satisfy the claimed maximal singularity condition, providing a lower bound on the dimension of their tangent spaces, and finally comparing the two cases.

We resolve the 1978 Briançon-Iarrobino Conjecture regarding the maximum singularity of $\mathcal{H}=\mathrm{Hilb}^{l}(\mathbb{A}^3)$, where $l$ is a tetrahedral number, by refining the work of Ramkumar-Sammartano in \cite{Ramkumar-Sammartano}. This also immediately implies the conjectural necessary condition for a point of $\mathcal{H}$ to have the maximal singularity, suggested by the second-named author in \cite{Rezaee-23-Conjectures}. In a sequel to this article, \cite{Mackenzie-Rezaee2}, we prove a generalized version of this conjecture for certain non-tetrahedral $l$, via proving the conjectural necessary condition.

The Briançon-Iarrobino conjecture predicts the maximum singularity of the Hilbert scheme of a tetrahedral number of points. As for the maximal singularities of the Hilbert scheme of a non-tetrahedral number of points, the second named author gave some separate conjectural necessary and sufficient conditions. In this paper, we provide a conjectural sufficient condition for the necessary condition, and propose a monotonicity conjecture which predicts that for a fixed colength $l$, the maximal dimension of the tangent space over all the Borel-fixed ideals of colength $l$ is increasing with respect to the smallest pure exponent of the ideal.

We provide conjectural necessary and (separately) sufficient conditions for the Hilbert scheme of points of a given length to have the maximum dimension tangent space at a point. The sufficient condition is claimed for 3D and reduces the original problem to a problem in convex geometry. Proving either of the two conjectural statements will in particular resolve a long-standing conjecture by Briançon and Iarrobino back in the '70s for the case of the powers of the maximal ideal. Furthermore, for specific classes of lengths, we conjecturally classify points satisfying the conjectural sufficient conditions. This in particular (conjecturally) provides many new explicit families of examples of maximum dimension tangent space at a point of the Hilbert schemes of points of lengths strictly between two consecutive tetrahedral numbers ${3+k \choose 3}$.