Quadrics base locus conjecture for exceptional dimensions

About 1 year old · traced to

Let n∈{8,16}n\in\{8,16\}, and let L⊂Rsymn×nL\subset\mathbb{R}_{sym}^{n\times n} be a subspace satisfying

P(L)∩Y=∅\boldsymbol{\mathrm{P}}(L)\cap\boldsymbol{\mathrm{Y}}=\varnothing

and such that P(L∨)∩Z\boldsymbol{\mathrm{P}}(L^\vee)\cap\boldsymbol{\mathrm{Z}} exists and can span P(L∨)\boldsymbol{\mathrm{P}}(L^\vee). Quadrics base locus conjecture. The maximum dimension of LL in Theorem is 12n\frac{1}{2}n.

The conjecture concerns the unsettled exceptional dimensions n=8,16n=8,16 in the paper's algebraic-geometric decomposition problem. The cases n=2,4n=2,4 are stated to be known, while the optimal dimension remains undetermined for n=8,16n=8,16.

References

Primary source

Zhitong Su and Weijun Zhang, “A Decomposition Lemma in Convex Integration via Classical Algebraic Geometry”, arXiv:2504.21300 (2026).

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.