Waring-locus additivity conjecture for disjoint-variable forms

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 FiSd[i]F_i\in S^{[i]}_d and set F=i=1sFiSdF=\sum_{i=1}^sF_i\in S_d, with d3d\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+s1.N=n_1+\cdots+n_s+s-1.

Waring-locus additivity conjecture. If F=i=1sFiSF=\sum_{i=1}^sF_i\in S is a degree d3d\geq3 form such that FiS[i]F_i\in S^{[i]} for all i=1,,si=1,\ldots,s, then

WF=i=1rWFiPN.\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.

Sources & referencesView supporting material

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.