The generic linear-form reduction conjecture for subspaces without powers

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 WAdW\subseteq A_d be a kk-dimensional subspace with kd1k\le d-1 and kn1k\le n-1, where n3n\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 lA1l\in A_1, either W\overline W contains no dd-th power of a linear form, or n=k+1n=k+1 and W=L1d1C[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.

Sources & referencesView supporting material

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.