Conjecture on determinantal equations of eigenschemes of symmetric tensors

Let n2n\geq 2. For a homogeneous polynomial fC[x0,,xn]df\in\mathbb{C}[x_0,\dots,x_n]_d, let E(f)E(f) denote its eigenscheme. Consider a set {fij0i<jn}C[x0,,xn]d\{f_{ij}\mid 0\leq i<j\leq n\}\subseteq\mathbb{C}[x_0,\dots,x_n]_d of (n+12)\binom{n+1}{2} homogeneous polynomials. Determinantal equations conjecture. This set is the set of determinantal equations of E(f)E(f) for some fC[x0,,xn]df\in\mathbb{C}[x_0,\dots,x_n]_d if and only if, for every 0i<j<kn0\leq i<j<k\leq n,

xifjkxjfik+xkfij=0x_i f_{jk}-x_j f_{ik}+x_k f_{ij}=0

and

ifjkjfik+kfij=0.\partial_i f_{jk}-\partial_j f_{ik}+\partial_k f_{ij}=0.

The conjecture proposes an intrinsic characterization of the determinantal equations arising from eigenschemes of symmetric tensors; its status is not resolved in the supplied source context.

Sources & referencesView supporting material

Primary source

Valentina Beorchia, Francesco Galuppi and Lorenzo Venturello, “Eigenschemes of Ternary Tensors”, arXiv:2007.12789 (2021).

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.