Quadrics base locus conjecture for exceptional dimensions

Let n{8,16}n\in\{8,16\}, and let LRsymn×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.

Sources & referencesView supporting material

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.