The generic linear-form reduction conjecture for subspaces without powers

About 3 years old · traced to

Let A=C[x1,…,xn]A={\mathbb{C}}[x_1,\dots,x_n] be a polynomial ring, let AdA_d denote its degree-dd component, and let W⊆AdW\subseteq A_d be a kk-dimensional subspace with k≤d−1k\le d-1 and k≤n−1k\le n-1, where n≥3n\ge3. Write W‾\overline W for the image of WW after the relevant generic linear-form reduction. Generic linear-form reduction conjecture. If WW contains no dd-th power of a linear form, then for a generic linear form l∈A1l\in A_1, either W‾\overline W contains no dd-th power of a linear form, or n=k+1n=k+1 and W=L1d−1C[L2,…,Lk+1]1W=L_1^{d-1}{\mathbb{C}}[L_2,\dots,L_{k+1}]_1 for some basis L1,…,Lk+1L_1,\dots,L_{k+1} of A(k+1)1A(k+1)_1. This proposed reduction would sharpen the preceding reduction to 2k2k variables to k+1k+1 variables; the surrounding text presents it as likely and notes that only one counterexample is known, with small monomial cases checked computationally.

References

Primary source

Julian Vill, “Bounds on Hilbert functions with application to convexity”, arXiv:2304.02332 (2023).

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.