The reducibility conjecture for the real rank boundary of quaternary quartics

Let S4(V)S^4(V^*) be the space of quaternary quartic forms, let R4,4\mathcal{R}_{4,4} denote the set of such forms of real rank at most 1010, and let algR4,4\partial_{alg}\mathcal{R}_{4,4} be its algebraic boundary. For a quartic ff, let Ω(f)\Omega(f) denote the corresponding variety of apolar decompositions, and let C10,4C_{10,4} be the cone of quartics expressible as

i=110λii4,\sum_{i=1}^{10}\lambda_i\ell_i^4,

with λiR0\lambda_i\in\mathbb{R}_{\geq 0} and iV\ell_i\in V^*.

Reducibility conjecture. The real rank boundary algR4,4\partial_{alg}\mathcal{R}_{4,4} is reducible. The discriminant of Ω(f)\Omega(f) is one of its components. Further, at least one more component comes from the components of the algebraic boundary of C10,4C_{10,4}.

The preceding discussion notes that quaternary quartics of signature (9,1)(9,1) with no real points on Ω(f)\Omega(f) have rank at least 1111, and that an open subset of Q4,4Q_{4,4} consists of forms of real rank greater than 1010. The conjecture predicts that these phenomena yield distinct components of the algebraic real-rank boundary.

Sources & referencesView supporting material

Primary source

Mateusz Michałek and Hyunsuk Moon, “Spaces of Sums of Powers and Real Rank Boundaries”, arXiv:1612.07900 (2016).

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.