Briançon–Iarrobino lexsegment conjecture on maximal tangent spaces

About 7 years old · traced to

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

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

and, for some rr, mr+1⊆E(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,

dim⁡kT(I)≤dim⁡kT(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+n−1n)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.

References

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.