Briançon–Iarrobino lexsegment conjecture on maximal tangent spaces

Let k\mathbf{k} be a field, let S=k[x1,,xn]S=\mathbf{k}[x_1,\ldots,x_n], and for dNd\in\mathbf{N} let E(d)SE(d)\subseteq S be the unique lexsegment ideal such that

dimk(S/E(d))=d\dim_{\mathbf{k}}\bigl(S/E(d)\bigr)=d

and, for some rr, mr+1E(d)mr\mathfrak{m}^{r+1}\subseteq E(d)\subseteq\mathfrak{m}^r, where m=(x1,,xn)\mathfrak{m}=(x_1,\ldots,x_n). For an ideal II, let T(I)T(I) denote the tangent space at [I][I] in the Hilbert scheme. Briançon–Iarrobino lexsegment conjecture. For every [I]HilbdAn[I]\in\mathrm{Hilb}^{d}\mathbf{A}^n,

dimkT(I)dimkT(E(d)).\dim_{\mathbf{k}}T(I)\leq\dim_{\mathbf{k}}T\bigl(E(d)\bigr).

This is the proposed extension of the maximal-tangent-space conjecture from the special lengths d=(r+n1n)d={r+n-1\choose n} to arbitrary dd. The source attributes the formulation to Briançon and Iarrobino and does not report a resolution.

Sources & referencesView supporting material

Primary source

Ritvik Ramkumar and Alessio Sammartano, “On the tangent space to the Hilbert scheme of points in P3”, arXiv:1910.07662 (2022).

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.