Waring-locus additivity conjecture for disjoint-variable forms

About 10 years old · traced to

Let S=C[x1,0,…,x1,n1,…,xs,0,…,xs,ns]S=\mathbb{C}[x_{1,0},\ldots,x_{1,n_1},\ldots,x_{s,0},\ldots,x_{s,n_s}] be the polynomial ring in ss disjoint blocks of variables, and let S[i]=C[xi,0,…,xi,ni]S^{[i]}=\mathbb{C}[x_{i,0},\ldots,x_{i,n_i}]. Let Fi∈Sd[i]F_i\in S^{[i]}_d and set F=∑i=1sFi∈SdF=\sum_{i=1}^sF_i\in S_d, with d≥3d\geq3. Write WFi\mathcal{W}_{F_i} for the Waring locus of FiF_i, embedded in the corresponding coordinate linear subspace of PN\mathbb{P}^N, where

N=n1+⋯+ns+s−1.N=n_1+\cdots+n_s+s-1.

Waring-locus additivity conjecture. If F=∑i=1sFi∈SF=\sum_{i=1}^sF_i\in S is a degree d≥3d\geq3 form such that Fi∈S[i]F_i\in S^{[i]} for all i=1,…,si=1,\ldots,s, then

WF=⋃i=1rWFi⊂PN.\mathcal{W}_F=\bigcup_{i=1}^r\mathcal{W}_{F_i}\subset\mathbb{P}^N.

The conjecture asks whether every point appearing in a minimal Waring decomposition of the sum comes from one of the summands. The source does not specify its resolution status.

References

Primary source

Enrico Carlini, Maria Virginia Catalisano and Alessandro Oneto, “Waring loci and the Strassen conjecture”, arXiv:1605.00384 (2017).

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.