# Coordinate-wise powers of algebraic varieties

## Abstract

We introduce and study coordinate-wise powers of subvarieties of \({\mathbb {P}}^n\), i.e. varieties arising from raising all points in a given subvariety of \({\mathbb {P}}^n\) to the *r*-th power, coordinate by coordinate. This corresponds to studying the image of a subvariety of \({\mathbb {P}}^n\) under the quotient of \({\mathbb {P}}^n\) by the action of the finite group \({\mathbb {Z}}_r^{n+1}\). We determine the degree of coordinate-wise powers and study their defining equations, in particular for hypersurfaces and linear spaces. Applying these results, we compute the degree of the variety of orthostochastic matrices and determine iterated dual and reciprocal varieties of power sum hypersurfaces. We also establish a link between coordinate-wise squares of linear spaces and the study of real symmetric matrices with a degenerate eigenspectrum.

## Keywords

Algebraic varieties Coordinate-wise powers Hadamard powers Orthostochastic matrices## Mathematics Subject Classification

51N35 14N05 14N20## 1 Introduction

Recently, Hadamard products of algebraic varieties have been attracting attention of geometers. These are subvarieties \(X \star Y\) of projective space \({\mathbb {P}}^n\) that arise from multiplying coordinate-by-coordinate any two points \(x \in X\), \(y \in Y\) in given subvarieties *X*, *Y* of \({\mathbb {P}}^n\). In applications, they first appeared in Cueto et al. (2010), where the variety associated to the restricted Boltzmann machine was described as a repeated Hadamard product of the secant variety of \({\mathbb {P}}^1 \times \cdots \times {\mathbb {P}}^1 \subset {\mathbb {P}}^{2^n-1}\) with itself. Further study in Bocci et al. (2016, 2018), Friedenberg et al. (2017), Calussi et al. (2018) made progress towards understanding Hadamard products.

Of particular interest are the *r*-th Hadamard powers \(X^{\star r} \,{:}{=}\, X \star \cdots \star X\) of an algebraic variety \(X \subset {\mathbb {P}}^n\). They are the multiplicative analogue of secant varieties that play a central role in classical projective geometry: The *r*-th secant variety \(\sigma _r(X)\) is the closure of the set of coordinate-wise sums of *r* points in *X*. Its subvariety corresponding to sums of *r* equal points is the original variety *X*. In the multiplicative setting, the Hadamard power \(X^{\star r}\) replaces \(\sigma _r(X)\), but it does not typically contain *X* if \([1:\ldots :1] \notin X\). As a multiplicative substitute for the inclusion \(X \subset \sigma _r(X)\), it is natural to study the subvariety of \(X^{\star r}\) given by coordinate-wise products of *r* equal points in *X*.

*X*under \(\varphi _r\) the

*r*-th

*coordinate-wise power of*\(X \subset {\mathbb {P}}^n\).

In this article, we investigate these coordinate-wise powers \(X^{\circ r}\) with a main focus on the case \(r>0\). These varieties show up naturally in many applications. For the Grassmannian variety \({{\,\mathrm{Gr}\,}}(k,{\mathbb {P}}^n)\) in its Plücker embedding, the intersection with its *r*-th coordinate-wise power \({{\,\mathrm{Gr}\,}}(k,{\mathbb {P}}^n) \cap {{\,\mathrm{Gr}\,}}(k,{\mathbb {P}}^n)^{\circ r}\) was described combinatorially in terms of matroids in Lenz (2020) for even *r*. In Bonnafé (2018), highly singular surfaces in \({\mathbb {P}}^3\) have been constructed as preimages of a specific singular surface under the morphism \(\varphi _r\) for \(r>0\). In the case \(r=-\,1\), the map \(\varphi _r\) is a classical Cremona transformation and images of varieties under this transformation are called *reciprocal varieties* whose study has received particular attention in the case of linear spaces, see De Loera et al. (2012), Kummer and Vinzant (2019) and Fink et al. (2018).

For \(r > 0\), the coordinate-wise powers \(X^{\circ r}\) of a variety \(X \subset {\mathbb {P}}^n\) have the following natural interpretation: The quotient of \({\mathbb {P}}^n\) by the finite subgroup \({\mathbb {Z}}_r^{n+1}\) of the torus \(({\mathbb {C}}^*)^{n+1}\) is again a projective space. The image of a variety \(X \subset {\mathbb {P}}^n\) in \({\mathbb {P}}^n/{\mathbb {Z}}_r^{n+1} \cong {\mathbb {P}}^n\) is the variety \(X^{\circ r}\), since \(\varphi _r :{\mathbb {P}}^n \rightarrow {\mathbb {P}}^n\) is the geometric quotient of \({\mathbb {P}}^n\) by \({\mathbb {Z}}_r^{n+1}\). In other words, coordinate-wise powers of algebraic varieties are images of subvarieties of \({\mathbb {P}}^n\) under the quotient by a certain finite group. The case \(r=2\) has the special geometric significance of quotienting by the group generated by reflections at the coordinate hyperplanes of \({\mathbb {P}}^n\). We are, therefore, especially interested in *coordinate-wise squares* of varieties.

A particular application of interest is the variety of orthostochastic matrices. An orthostochastic matrix is a matrix arising by squaring each entry of an orthogonal matrix. In other words, they are points in the coordinate-wise square of the variety of orthogonal matrices. Orthostochastic matrices play a central role in the theory of majorization (Marshall et al. 2011) and are closely linked to finding real symmetric matrices with prescribed eigenvalues and diagonal entries, see Horn (1954) and Mirsky (1963). Recently, it has also been shown that studying the variety of orthostochastic matrices is central to the existence of determinantal representations of bivariate polynomials and their computation, see Dey (2018).

As a further application, we show that coordinate-wise squares of linear spaces show up naturally in the study of symmetric matrices with a degenerate spectrum of eigenvalues.

The article is structured as follows: As customary when studying any variety, first and foremost, we compute the degree of \(X^{\circ r}\). We use this to derive the degree of the variety of orthostochastic matrices. In Sect. 3, we dig a little deeper and find explicitly the defining equations of the coordinate-wise powers of hypersurfaces. We define *generalised power sum hypersurfaces* and give relations between their dual and reciprocal varieties.

We study in more detail coordinate-wise powers of linear spaces in the final section. We show the dependence of the degree of the coordinate-wise powers of a linear space on the combinatorial information captured by the corresponding linear matroid. Particular attention is drawn to the case of coordinate-wise squares of linear spaces. For low-dimensional linear spaces we give a complete classification. We also describe the defining ideal for the coordinate-wise square of general linear spaces of arbitrary dimension in a high-dimensional ambient space, and we link this question to the study of symmetric matrices with a codimension 1 eigenspace.

## 2 Degree formula

*X*under the rational map \(\varphi _r\). More explicitly,

*X*is contained in any coordinate hyperplane of \({\mathbb {P}}^n\). We call the image \(X^{\circ r} \subset {\mathbb {P}}^n\) the

*r-th coordinate-wise power*of

*X*. In the case \(r=-\,1\), the variety \(X^{\circ (-\,1)}\) is called the

*reciprocal variety*of

*X*. We primarily focus on positive coordinate-wise powers in this article, and therefore we will from now on always assume \(r > 0\) unless explicitly stated otherwise. Observe that \(\varphi _r :{\mathbb {P}}^n \rightarrow {\mathbb {P}}^n\) is a finite morphism, and hence, the image \(X^{\circ r}\) of

*X*under \(\varphi _r\) has same dimension as

*X*.

The cyclic group \({\mathbb {Z}}_r\) of order *r* is identified with the group of *r*-th roots of unity \(\{\xi \in {\mathbb {C}}\mid \xi ^r = 1\}\). We consider the action of the \((n+1)\)-fold product \({\mathbb {Z}}_r^{n+1} \,{:}{=}\, {\mathbb {Z}}_r\times \cdots \times {\mathbb {Z}}_r\) on \({\mathbb {C}}[{\mathbf {x}}]\) given by rescaling the variables \(x_0, \ldots , x_n\) with *r*-th roots of unity. We denote the quotient of \({\mathbb {Z}}_r^{n+1}\) by the subgroup \(\{(\xi ,\xi ,\ldots ,\xi ) \in {\mathbb {C}}^r \mid \xi ^r = 1\} \subset {\mathbb {Z}}_r^{n+1}\) as \({\mathcal {G}}_{r}\,{:}{=}\, {\mathbb {Z}}_r^{n+1}/{\mathbb {Z}}_r\). The group action of \({\mathbb {Z}}_r^{n+1}\) on \({\mathbb {C}}[{\mathbf {x}}]\) determines a linear action of \({\mathcal {G}}_{r}\) on \({\mathbb {P}}^n\). In this way, we can also view \({\mathcal {G}}_{r}\) as a subgroup of \({{\,\mathrm{Aut}\,}}({\mathbb {P}}^n)\). For \(r=2\), this has the geometric interpretation of being the linear group action generated by reflections at coordinate hyperplanes. Note that \({\mathcal {G}}_{r}\) does not act on the vector space \({\mathbb {C}}[{\mathbf {x}}]_d\) of homogeneous polynomials of degree *d*, instead it acts on \({\mathbb {P}}({\mathbb {C}}[{\mathbf {x}}]_d)\).

Given a projective variety, the following proposition describes set-theoretically the preimage under \(\varphi _r\) of its coordinate-wise *r*-th power.

### Proposition 2.1

(Preimages of coordinate-wise powers) Let \(X \subset {\mathbb {P}}^n\) be a variety and let \(X^{\circ r} \subset {\mathbb {P}}^n\) be its coordinate-wise *r*-th power. The preimage \(\varphi _r^{-1}(X^{\circ r})\) is given by \(\bigcup _{\tau \in {\mathcal {G}}_{r}}\tau \cdot X\).

### Proof

This follows from \(X^{\circ r} = \varphi _r(X)\) and the fact that \(\varphi _r^{-1}(\varphi _r(p))=\{\tau \cdot p \mid \tau \in {\mathcal {G}}_{r}\}\) for all \(p\in X\). \(\square \)

In particular, for \(r=2\), we obtain the following geometric description.

### Corollary 2.2

The preimage of \(X^{\circ 2}\) under \(\varphi _2 :{\mathbb {P}}^n \rightarrow {\mathbb {P}}^n\) is the union over the orbit of *X* under the subgroup of \({{\,\mathrm{Aut}\,}}({\mathbb {P}}^n)\) generated by the reflections in the coordinate hyperplanes.

In the following theorem, we give a degree formula for the coordinate-wise powers of an irreducible variety.

### Theorem 2.3

*r*-th coordinate-wise power of

*X*is

### Proof

*r*fixed under the \({\mathcal {G}}_{r}\)-action, and their common intersection with

*X*consists of finitely many reduced points by Bertini’s theorem (as in Flenner et al. 1999, 3.4.8). By Bézout’s theorem,

*X*. Therefore, the common intersection of

*k*general hyperplanes \(H_i\) with \(\varphi _r(Z)\) is empty. This implies that the intersection of \(\tau \cdot X\) and \(\tau ' \cdot X\) does not meet \(\bigcap _{i=1}^k \varphi _r^{-1} H_i\) for all \(\tau , \tau ' \in {\mathcal {G}}_{r}\) with \(\tau ' \cdot \tau ^{-1} \notin {{\,\mathrm{Stab}\,}}_r(X)\).

### 2.1 Orthostochastic matrices

We use Proposition 2.3 to compute the degree of the variety of orthostochastic matrices. By \({\mathbb {O}}(m) \subset {\mathbb {P}}^{m^2}\) (resp. \({\mathbb {SO}}(m) \subset {\mathbb {P}}^{m^2}\)) we mean the projective closure of the affine variety of orthogonal (resp. special orthogonal) matrices in \({\mathbb {A}}^{m^2}\). It was shown in Dey (2018) that the problem of deciding whether a bivariate polynomial can be expressed as the determinant of a definite/monic symmetric linear matrix polynomial (a *determinantal representation*) is closely linked to the problem of finding the defining equations of the variety \({\mathbb {O}}(m)^{\circ 2}\). In the case \(m=3\), the defining equations of \({\mathbb {O}}(3)^{\circ 2}\) are known (Chterental and Ɖoković 2008, Proposition 3.1) and based on this knowledge, it was shown in (Dey 2017, Section 4.2) how to compute a determinantal representation for a cubic bivariate polynomial or decide that none exists. For arbitrary *m*, the ideal of defining equations may be very complicated, but we are still able to compute its degree:

### Proposition 2.4

### Proof

The variety \({\mathbb {O}}(m)\) consists of two connected components that are isomorphic to \({\mathbb {SO}}(m).\) The images of these components under \(\varphi _2 :{\mathbb {P}}^{m^2} \rightarrow {\mathbb {P}}^{m^2}\) coincide. In particular, \({\mathbb {O}}(m)^{\circ 2} = {\mathbb {SO}}(m)^{\circ 2}\) and \(\deg {\mathbb {O}}(m) = 2 \deg {\mathbb {SO}}(m)\). We determine \({{\,\mathrm{Fix}\,}}_2({\mathbb {SO}}(m))\) and \({{\,\mathrm{Stab}\,}}_2({\mathbb {SO}}(m))\).

Identify elements of \({\mathcal {G}}_{2}\) with \(m\times m\)-matrices whose entries are \(\pm 1\). Then a group element \(S \in {\mathcal {G}}_{2} = \{\pm 1\}^{m \times m}\) acts on the affine open subset \({\mathbb {A}}^{m^2} \subset {\mathbb {P}}^{m^2}\) corresponding to \(m \times m\)-matrices \(M \in {\mathbb {C}}^{m\times m}\) as \(S \circ M\), where \(S \circ M\) denotes the Hadamard product (i.e. entry-wise product) of matrices. Clearly, \({{\,\mathrm{Fix}\,}}_2({\mathbb {SO}}(m))\) is trivial, or else every special orthogonal matrix would need to have a zero entry at a certain position.

*S*are linearly independent. Consider the vectors \(u,v \in {\mathbb {C}}^m\) given by

*u*and

*v*are orthogonal, we can find a special orthogonal matrix \(M \in {\mathbb {C}}^{m \times m}\) whose first two columns are \(M_{\bullet 1} = u/\Vert u \Vert _2\) and \(M_{\bullet 2} = v/\Vert v \Vert _2\). But \(S \in {{\,\mathrm{Stab}\,}}_2({\mathbb {SO}}(m))\), so the matrix \(S \circ M\) must be a special orthogonal matrix. In particular, the first two columns of \(S \circ M\) must be orthogonal, i.e.

*i*, we have \(|\sum _{i=1}^{m-1} (S_{i1} S_{i2}) 2^{i-1}| \le 2^{m-1}-1\), and equality in (2.1) holds if and only if \(S_{i1} S_{i2} = S_{j1} S_{j2}\) for all \(i,j \in \{1,\ldots ,m\}\). However, this contradicts the linear independence of the first two columns of

*S*. Hence, the claim follows.

### Remark 2.5

*m*by Brandt et al. (2017), namely

*m*.

The degrees of \({\mathbb {SO}}(m)\) and \({\mathbb {SO}}(m)^{\circ 2}\) in comparison

| 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 |
---|---|---|---|---|---|---|---|---|

\(\deg {\mathbb {SO}}(m)\) | 1 | 2 | 8 | 40 | 384 | 4768 | 111616 | 3433600 |

\(\deg {\mathbb {SO}}(m)^{\circ 2}\) | 1 | 1 | 4 | 40 | 1536 | 152576 | 57147392 | 56256102400 |

### 2.2 Linear spaces

We now determine the degree of coordinate-wise powers \(L^{\circ r}\) for a linear space \(L \subset {\mathbb {P}}^n\), based on Proposition 2.3. It can be expressed in terms of the combinatorics captured by the matroid of \(L \subset {\mathbb {P}}^n\). We briefly recall some basic definitions for matroids associated to linear spaces in \({\mathbb {P}}^n\). We refer to Oxley (2011) for a detailed introduction to matroid theory.

*L*with the linear coordinate spaces in \({\mathbb {P}}^n\) is captured in the

*linear matroid*\(\mathcal {M}_L\). It is the collection of index sets \(I \subset \{0,1,\ldots ,n\}\) such that

*L*does not intersect \(V(\{x_i \mid i \notin I\})\). Formally,

*L*.

The set \(\{0,1,\ldots ,n\}\) is the *ground set* of the matroid. Index sets \(I \in \mathcal {M}_L\) are called *independent*, while index sets \(I \in {{\,\mathrm{Pow}\,}}(\{0,1,\ldots ,n\}) {\setminus } \mathcal {M}_L\) are called dependent. An index \(i \in \{0,1,\ldots ,n\}\) is called a *coloop* of \(\mathcal {M}_L\) if, for all \(I \subset \{0,1,\ldots ,n\}\), the condition \(I \in \mathcal {M}_L\) holds if and only if \(I \cup \{i\} \in \mathcal {M}_L\) holds. Geometrically, an index \(i \in \{0,1,\ldots ,n\}\) is a coloop of \(\mathcal {M}_L\) if and only if \(L \subset V(x_i)\).

*irreducible*if there is no non-trivial partition \(E = E_1 \sqcup E_2\) with

*components*of \(\mathcal {M}_L\) and they form a partition of \(\{0,1,\ldots ,n\}\). Geometrically, a component of \(\mathcal {M}_L\) is a minimal non-empty subset of \(\{0,1,\ldots ,n\}\) with the property that \(L \cap V(x_i \mid i \in I)\) and \(L \cap V(x_i \mid i \notin I)\) together span the linear space

*L*.

In the following result, we determine the degree of \(L^{\circ r} \subset {\mathbb {P}}^n\) as an invariant of the linear matroid \(\mathcal {M}_L\).

### Theorem 2.6

*k*. Let

*s*be the number of coloops and

*t*the number of components of the associated linear matroid \(\mathcal {M}_L\). Then

### Proof

*L*, which is a \((k+1)\)-dimensional subspace \(W \subset {\mathbb {C}}^{n+1}\). We denote the canonical basis of \({\mathbb {C}}^{n+1}\) by \(e_0, \ldots , e_n\).

*L*, we have \(|{{\,\mathrm{Stab}\,}}_r(L)| = \frac{1}{r}{\,} |\{\tau \in {\mathbb {Z}}_r^{n+1}\mid \tau \cdot W = W\}|\). If \(\tau \in {\mathbb {Z}}_r^{n+1}\), then

### Corollary 2.7

The degree of the coordinate-wise *r*-th power of a linear space only depends on the associated linear matroid. If \(L_1, L_2 \subset {\mathbb {P}}^n\) are linear spaces such that the linear matroids \(\mathcal {M}_{L_1}\) and \(\mathcal {M}_{L_2}\) are isomorphic (i.e. they only differ by a permutation of \(\{0,1,\ldots ,n\}\)), then \(L_1^{\circ r} \subset {\mathbb {P}}^n\) and \(L_2^{\circ r} \subset {\mathbb {P}}^n\) have the same degree.

### Corollary 2.8

Let \(L \subset {\mathbb {P}}^n\) be a linear space of dimension *k*. Then \(\deg L^{\circ r} \le r^k\). For general k-dimensional linear spaces in \({\mathbb {P}}^n\), equality holds.

### Proof

*general*linear space \(L \in {{\,\mathrm{Gr}\,}}(k,{\mathbb {P}}^n)\) intersects only those linear coordinate space in \({\mathbb {P}}^n\) of dimension at least \(n-k\). Therefore, the linear matroid of a general linear space is the uniform matroid:

### Example 2.9

## 3 Hypersurfaces

In this section, we study the coordinate-wise powers of hypersurfaces. Here, by a hypersurface, we mean a pure codimension 1 variety. In particular, hypersurfaces are assumed to be reduced, but are allowed to have multiple irreducible components. We describe a way to find the explicit equation describing the image of the given hypersurface under the morphism \(\varphi _r\). We define generalised power sum symmetric polynomials and we give a relation between duality and reciprocity of hypersurfaces defined by them. Finally, we raise the question whether and how the explicit description of coordinate-wise powers of hypersurfaces may lead to results on the coordinate-wise powers for arbitrary varieties.

### 3.1 The defining equation

The defining equation of a degree *d* hypersurface is a square-free (i.e. reduced) polynomial unique up to scaling, corresponding to a unique \(f \in {\mathbb {P}}({\mathbb {C}}[{\mathbf {x}}]_d)\). We work with points in \({\mathbb {P}}({\mathbb {C}}[{\mathbf {x}}]_d)\), i.e. polynomials up to scaling. We do not always make explicit which degree *d* we are talking about if it is irrelevant to the discussion. The product of \(f \in {\mathbb {P}}({\mathbb {C}}[{\mathbf {x}}]_d)\) and \(g \in {\mathbb {P}}({\mathbb {C}}[{\mathbf {x}}]_{d'})\) is well-defined up to scaling, i.e. as an element \(fg \in {\mathbb {P}}({\mathbb {C}}[{\mathbf {x}}]_{d+d'})\). Equally, we talk about irreducible factors etc. of elements of \({\mathbb {P}}({\mathbb {C}}[{\mathbf {x}}]_d)\).

Since the finite morphism \(\varphi _r \) preserves dimensions, the coordinate-wise *r*-th power of a hypersurface is again a hypersurface, leading to the following definition.

### Definition 3.1

For a given square-free polynomial *f*, we want to compute \(f^{\circ r}\). To this end, we introduce the following auxiliary notion.

### Definition 3.2

- (i)
If

*f*is irreducible and \(f \ne x_i \ \forall i \in \{0,1,\ldots ,n\}\), then we define \({{\,\mathrm{{\mathfrak {s}}}\,}}_r(f) \in {\mathbb {P}}({\mathbb {C}}[{\mathbf {x}}]_{d'})\) to be the product over the orbit \({\mathcal {G}}_{r}\cdot f \subset {\mathbb {P}}({\mathbb {C}}[{\mathbf {x}}]_d)\). For \(f=x_i\), we define \({{\,\mathrm{{\mathfrak {s}}}\,}}_r(f)\,{:}{=}\,x_i^r.\) - (ii)If \(f=f_1 f_2 \ldots f_m\) where \(f_i \in {\mathbb {P}}({\mathbb {C}}[{\mathbf {x}}]_d)\) are irreducible, then we define$$\begin{aligned} {{\,\mathrm{{\mathfrak {s}}}\,}}_r(f)\,{:}{=}\,{{\,\mathrm{lcm}\,}}\{{{\,\mathrm{{\mathfrak {s}}}\,}}_r(f_1), {{\,\mathrm{{\mathfrak {s}}}\,}}_r(f_2), \ldots , {{\,\mathrm{{\mathfrak {s}}}\,}}_r(f_m)\}. \end{aligned}$$

Observe that in case (ii), determining \({{\,\mathrm{{\mathfrak {s}}}\,}}_r(f)={{\,\mathrm{lcm}\,}}\{{{\,\mathrm{{\mathfrak {s}}}\,}}_r(f_1), {{\,\mathrm{{\mathfrak {s}}}\,}}_r(f_2), \ldots , {{\,\mathrm{{\mathfrak {s}}}\,}}_r(f_m)\}\) is straightforward, assuming the decomposition of *f* into irreducible factors \(f_1, \ldots , f_m\) is known. Indeed, the irreducible factors of each \({{\,\mathrm{{\mathfrak {s}}}\,}}_r(f_i)\) are immediate from case (i) of the definition, so determining the least common multiple does not require any additional factorisation.

### Lemma 3.3

Let \(f\in {\mathbb {P}}({\mathbb {C}}[{\mathbf {x}}]_d)\) be square-free. Then \({{\,\mathrm{{\mathfrak {s}}}\,}}_r(f)\in {\mathbb {P}}({\mathbb {C}}[x_0^r,\ldots ,x_n^r]_{d'})\), and the principal ideal generated by \({{\,\mathrm{{\mathfrak {s}}}\,}}_r(f)\) in the subring \({\mathbb {C}}[x_0^r,\ldots ,x_n^r] \subset {\mathbb {C}}[{\mathbf {x}}]\) is \((f) \cap {\mathbb {C}}[x_0^r,\ldots ,x_n^r]\).

### Proof

*f*irreducible because we can deduce the general case in the following manner. If

*f*factors into irreducible factors as \(f = f_1 f_2 \ldots f_m\), then

*f*is irreducible. If \(f = x_i\) for some \(i \in \{0,1,\ldots ,n\}\), then the claim holds trivially by the definition of \({{\,\mathrm{{\mathfrak {s}}}\,}}_r(f)\). Let \(f \ne x_i\) for all

*i*and

*g*be a polynomial representing \({{\,\mathrm{{\mathfrak {s}}}\,}}_r(f) \in {\mathbb {P}}({\mathbb {C}}[{\mathbf {x}}]_{md})\). By definition, \({{\,\mathrm{{\mathfrak {s}}}\,}}_r(f)\) is fixed under the action of \({\mathcal {G}}_{r}\), hence \(\tau \cdot g\) is a multiple of

*g*for all \(\tau \in {\mathbb {Z}}_r^{n+1}\). Since

*g*is not divisible by \(x_i\), it must contain a monomial not divisible by \(x_i\). This shows that

*g*is fixed by \(\tau ^{\smash [t]{(i)}} = (1, \ldots , 1, \zeta , 1, \ldots , 1) \in {\mathbb {Z}}_r^{n+1}\), where the

*i*-th position of \(\tau ^{\smash [t]{(i)}}\) is a primitive

*r*-th root of unity. Since \(\tau ^{\smash [t]{(0)}}, \tau ^{\smash [t]{(1)}}, \ldots , \tau ^{\smash [t]{(n)}}\) generate the group \({\mathbb {Z}}_r^{n+1}\), we have \(\tau \cdot g = g\) for all \(\tau \in {\mathbb {Z}}_r^{n+1}\). Hence,

*g*lies in the invariant ring \({\mathbb {C}}[{\mathbf {x}}]^{{\mathbb {Z}}_r^{n+1}} = {\mathbb {C}}[x_0^r,\ldots ,x_n^r]\), i.e. \({{\,\mathrm{{\mathfrak {s}}}\,}}_r(f) \in {\mathbb {P}}({\mathbb {C}}[x_0^r,\ldots ,x_n^r]_{d^{\prime }})\).

If \(h \in (f)\) is a polynomial in \({\mathbb {C}}[x_0^r,\ldots ,x_n^r]\), then *h* is invariant under the action of \({\mathbb {Z}}_r^{n+1}\) on \({\mathbb {C}}[{\mathbf {x}}]\), so \(h \in (\tau \cdot f)\) for all \(\tau \in {\mathcal {G}}_{r}\). By the definition of \({{\,\mathrm{{\mathfrak {s}}}\,}}_r(f)\) and irreducibility of \(\tau \cdot f\), this shows \(h \in {{\,\mathrm{{\mathfrak {s}}}\,}}_r(f)\). We conclude \((f) \cap {\mathbb {C}}[x_0^r,\ldots ,x_n^r] = ({{\,\mathrm{{\mathfrak {s}}}\,}}_r(f))\). \(\square \)

Based on Definition 3.2 and Lemma 3.3, the following proposition gives a method to find the equation of the coordinate-wise power of a hypersurface.

### Proposition 3.4

(Powers of hypersurfaces) Let \(V(f) \subset {\mathbb {P}}^n\) be a hypersurface. The defining equation \(f^{\circ r}\) of its coordinate-wise *r*-th power is given by replacing each occurrence of \(x_i^r\) in \({{\,\mathrm{{\mathfrak {s}}}\,}}_r(f)\) by \(x_i\) for all \(i \in \{0,1,\ldots ,n\}\).

### Proof

Since \(V(f)^{\circ r} \subset {\mathbb {P}}^n\) is the image of *V*(*f*) under \(\varphi _r :{\mathbb {P}}^n \rightarrow {\mathbb {P}}^n\), its ideal \((f^{\circ r}) \subset {\mathbb {C}}[{\mathbf {x}}]\) is the preimage under the ring homomorphism \(\psi :{\mathbb {C}}[{\mathbf {x}}]\rightarrow {\mathbb {C}}[{\mathbf {x}}]\), \(x_i \mapsto x_i^r\) of the ideal \((f) \subset {\mathbb {C}}[{\mathbf {x}}]\). The claim is therefore an immediate consequence of Lemma 3.3. \(\square \)

For clarity, we illustrate the above results for a hyperplane in \({\mathbb {P}}^3\).

### Example 3.5

### Example 3.6

*a*,

*b*) and radius

*c*. From Proposition 3.4, we show that the coordinate-wise square of the circle \(C \subset {\mathbb {P}}^2\) can be a line, a parabola or a singular quartic curve. See Fig. 2 for an illustration of the following three cases:

- (i)
If the circle

*C*is centered at the origin (i.e. \(a=b=0\)), then \({{\,\mathrm{{\mathfrak {s}}}\,}}_r(f) = f\) and \(C^{\circ 2} \subset {\mathbb {P}}^2\) is the line defined by the equation \(f^{\circ 2} = x_1+x_2-c^2x_0.\) - (ii)
If the center of the circle lies on a coordinate-axis and is not the origin (i.e. \(ab=0\), but \((a,b) \ne (0,0)\)), then \(C^{\circ 2} \subset {\mathbb {P}}^2\) is a conic. Say \(a=0\), then \(C^{\circ 2}\) is defined by the equation \(f^{\circ 2} = (x_1+x_2)^2 + 2(b^2-c^2)x_0x_1-2(b^2+c^2)x_0x_2 + (b^2-c^2)^2x_0^2.\) In the affine chart \(x_0 = 1\),

*C*is a circle and \(C^{\circ 2}\) is a parabola. - (iii)
If the center of the circle does not lie on a coordinate-axis, then \(|{\mathcal {G}}_{r}\cdot f| = 4\). Therefore, \(C^{\circ 2}\) is a quartic plane curve. Its equation can be computed explicitly using Proposition 3.4. Being the image of a conic, the quartic curve \(C^{\circ 2}\) is rational, hence it cannot be smooth. In fact, its singularities are the two points \([0:1:-\,1]\) and \([a^2+b^2:b^2(c^2-a^2-b^2):a^2(c^2-a^2-b^2)]\) in \({\mathbb {P}}^2\). They form the branch locus of \({\left. \varphi _2\right| _{C}} :C \rightarrow C^{\circ 2}\). The point \([0:1:-\,1] \in {\mathbb {P}}^2\) is the image of the two complex points \([0:1:\pm i]\) at infinity lying on all of the four conics \(\tau \cdot C\) for \(\tau \in {\mathcal {G}}_{2}\). The other singular point of \(C^{\circ 2}\) is the image under \(\varphi _2\) of the two intersection points of the two circles

*C*and \(\tau \cdot C\) for \(\tau = [1:-\,1:-\,1] \in {\mathcal {G}}_{2}\) inside the affine chart \(x_0=1.\)

### Remark 3.7

*f*by rescaling according to the cardinality of the orbit \({\mathcal {G}}_{r}\cdot f \subset {\mathbb {P}}({\mathbb {C}}[{\mathbf {x}}]_d)\):

*g*,

*h*, we have \({{\,\mathrm{Newt}\,}}({{\,\mathrm{{\mathfrak {s}}}\,}}_r(f)) = |{\mathcal {G}}_{r}\cdot f| \cdot {{\,\mathrm{Newt}\,}}(f)\) by Definition 3.2. Replacing \(x_i^r\) by \(x_i\) rescales the Newton polytope with the factor \(\frac{1}{r}\), so the claim follows.

### 3.2 Duals and reciprocals of power sum hypersurfaces

We now highlight the interactions between coordinate-wise powers, dual and reciprocal varieties for the case of *power sum hypersurfaces*\(V(x_0^p+\cdots +x_n^p) \subset {\mathbb {P}}^n\). Specifically, we determine explicitly all hypersurfaces that arise from power sum hypersurfaces by repeatedly taking duals and reciprocals as the coordinate-wise *r*-th power of some hypersurface. In this subsection, we also allow *r* to take negative integer values.

Recall that the *reciprocal variety*\(V(f)^{\circ (-1)}\) of a hypersurface \(V(f) \subset {\mathbb {P}}^n\) not containing any coordinate hyperplane of \({\mathbb {P}}^n\) is defined as the closure of \(\varphi _{-1}(V(f){\setminus } V(x_0 x_1 \ldots x_n))\) in \({\mathbb {P}}^n\). We denote it also by \({{\,\mathrm{{\mathcal {R}}}\,}}V(f)\). For linear spaces the reciprocal variety and its Chow form has been studied in detail in Kummer and Vinzant (2019).

We also recall the definition of the *dual variety* of \(V(f) \subset {\mathbb {P}}^n\). Consider the set of hyperplanes in \({\mathbb {P}}^n\) that arise as the projective tangent space at a smooth point of *V*(*f*). This is a subset of the dual projective space \(({\mathbb {P}}^n)^*\) and its Zariski closure is the *dual variety* of *V*(*f*), which we denote by \(V(f)^*\) or \({{\,\mathrm{{\mathcal {D}}}\,}}V(f)\). We identify \(({\mathbb {C}}^{n+1})^*\) with \({\mathbb {C}}^{n+1}\) via the standard bilinear form and therefore identify \(({\mathbb {P}}^n)^*\) with \({\mathbb {P}}^n\).

*power sum polynomial*\({\mathfrak {f}}_{p} \,{:}{=}\, x_0^p+\cdots +x_n^p \in {\mathbb {P}}({\mathbb {C}}[{\mathbf {x}}]_p)\) for \(p \in {\mathbb {N}}\). As before, we regard polynomials only up to scaling. For power sums with negative exponents we consider the numerator of the rational function as

*n*.

Recall that the morphism \(\varphi _r :{\mathbb {P}}^n \rightarrow {\mathbb {P}}^n\) for \(r > 0\) is finite, hence preserves dimension. Since \(\varphi _{-1} :{\mathbb {P}}^n \dashrightarrow {\mathbb {P}}^n\) is a birational map, the rational map \(\varphi _{-r} = \varphi _{-1} \circ \varphi _r\) also preserves dimensions: \(\dim V({\mathfrak {f}}_{p})^{\circ (-r)} = \dim V({\mathfrak {f}}_{p})\). We therefore extend Definition 3.1 to include the defining equation of \(V({\mathfrak {f}}_{p})^{\circ r}\) by \({\mathfrak {f}}_{p}^{\circ r}\) for all \(p,r \in {\mathbb {Z}}{\setminus } \{0\}\). For the constant polynomial \({\mathfrak {f}}_{0} = 1 \in {\mathbb {P}}({\mathbb {C}}[{\mathbf {x}}]_0) \), we define \({\mathfrak {f}}_{0}^{\circ r} \,{:}{=}\, 1 \) for all \(r \in {\mathbb {Z}}{\setminus } \{0\}\).

### Lemma 3.8

For all \(s \in {\mathbb {Z}}\) and \(r, \lambda \in {\mathbb {Z}}{\setminus } \{0\}\), we have \({\mathfrak {f}}_{\lambda s}^{\circ (\lambda r)} = {\mathfrak {f}}_{s}^{\circ r}\).

### Proof

This naturally leads us to the our next definition.

### Definition 3.9

(Generalised power sum polynomial) For any rational number \(p = \frac{s}{r} \in {\mathbb {Q}}\) (\(r,s \in {\mathbb {Z}}\), \(r \ne 0\)), we define the *generalised power sum polynomial*\({\mathfrak {f}}_{p} \,{:}{=}\, {\mathfrak {f}}_{s}^{\circ r} \in {\mathbb {P}}({\mathbb {C}}[{\mathbf {x}}]_d)\).

By Lemma 3.8, the generalised power sum polynomial \({\mathfrak {f}}_{p}\) is well-defined. With this definition, we get the following duality result for hypersurfaces generalising Example 4.16 in Gelfand et al. (1994).

### Proposition 3.10

(Duality of generalised power sum hypersurfaces) Let \(p, q \in {\mathbb {Q}}{\setminus } \{0\}\) be such that \(\frac{1}{p}+\frac{1}{q} = 1\). Then \(V({\mathfrak {f}}_{p})^* = V({\mathfrak {f}}_{q})\).

### Proof

### Remark 3.11

This statement can be understood as an algebraic analogue of the duality theory for \(\ell ^p\)-spaces \(({\mathbb {R}}^n, |\cdot |_p)\). Indeed, let \(p,q \ge 1\) be rational with \(\frac{1}{p}+\frac{1}{q} = 1\). The unit ball in \(({\mathbb {R}}^n,|\cdot |_p)\) is \(U_p \,{:}{=}\, \{v \in {\mathbb {R}}^n \mid \sum _{i} v_i^p = 1\}\) and, by \(\ell _p\)-duality, hyperplanes tangent to \(U_p\) correspond to the points on the unit ball \(U_q\) of the dual normed vector space \(({\mathbb {R}}^n, |\cdot |_q)\). The complex projective analogues of the unit balls \(U_p \subset {\mathbb {R}}^n\) are the generalised power sum hypersurfaces \(V({\mathfrak {f}}_{p}) \subset {\mathbb {P}}^n\) and Proposition 3.10 shows the previous statement in this setting.

Using Proposition 3.4 we can compute \({\mathfrak {f}}_{p}\) for any \(p \in {\mathbb {Q}}\) explicitly. In particular, we make the following observation:

### Lemma 3.12

Let \(s \in {\mathbb {N}}\) and \(r \in {\mathbb {Z}}{\setminus } \{0\}\) be relatively prime. Then \({\mathfrak {f}}_{s/r}\) arises from \({\mathfrak {f}}_{1/r}\) by substituting \(x_i \mapsto x_i^s\) for all \(i \in \{0,1,\ldots ,n\}\).

### Proof

This follows from the explicit description of the polynomials \({\mathfrak {f}}_{s/r} = {\mathfrak {f}}_{s}^{\circ r}\) and \({\mathfrak {f}}_{1/r} = {\mathfrak {f}}_{1}^{\circ r}\) given by Proposition 3.4. \(\square \)

By Lemma 3.12, in order to determine the generalised power sum polynomials \({\mathfrak {f}}_{p}\), we may restrict our attention to \({\mathfrak {f}}_{1/r}\). These have a particular geometric interpretation as repeated dual-reciprocals of the linear space \(V(x_0+x_1+\cdots +x_n) \subset {\mathbb {P}}^n\) as in Corollary 3.14.

### Theorem 3.13

### Proof

*k*. For \(k=0\), the claim is trivial. For \(k > 0\), we get by induction hypothesis:

### Corollary 3.14

### Example 3.15

Let \(n = 3\) and \(f\,{:}{=}\,x_0+x_1+x_2+x_3\). The reciprocal variety of the plane \(V(f)\subset {\mathbb {P}}^3\) is given by \({\mathfrak {f}}_{-1} = x_1 x_2 x_3+x_0x_2x_3+x_0x_1x_3+x_0x_1x_2\). Its dual is \(V({\mathfrak {f}}_{1/2}) = V({\mathfrak {f}}_{1})^{\circ 2} \subset {\mathbb {P}}^3\) by Proposition 3.10. This is the quartic surface from Example 3.5. Higher iterated dual-reciprocal varieties of *V*(*f*) can be explicitly computed analogous to Example 3.5 via Corollary 3.13. For instance, the surface \({{\,\mathrm{{\mathcal {D}}}\,}}{{\,\mathrm{{\mathcal {R}}}\,}}{{\,\mathrm{{\mathcal {D}}}\,}}{{\,\mathrm{{\mathcal {R}}}\,}}V(f) \subset {\mathbb {P}}^3\) is the coordinate-wise cube of *V*(*f*) which is the degree 9 surface illustrated in Fig. 3.

### Remark 3.16

(Coordinate-wise rational powers) The construction of the generalised power sum hypersurfaces \(V({\mathfrak {f}}_{p})\) may be understood in a broader context of coordinate-wise powers with rational exponents: For a subvariety \(X \subset {\mathbb {P}}^n\), and a rational number \(p = r/s\) with \(r \in {\mathbb {Z}}\) and \(s \in {\mathbb {Z}}_{>0}\) relatively prime, we may define the coordinate-wise *p*-th power \(X^{\circ p} \,{:}{=}\, \varphi _s^{-1}(X^{\circ r}) = (\varphi _s^{-1}(X))^{\circ r}\). This is a natural generalisation of the coordinate-wise integer powers \(X^{\circ r}\). With this definition, the generalised power sum hypersurface \(V({\mathfrak {f}}_{p})\) is the 1/*p*-th coordinate-wise power of \(V({\mathfrak {f}}_{1})\). While we focus on coordinate-wise powers to integral exponents in this article, many results easily transfer to the case of rational exponents. For instance, the defining ideal of \(X^{\circ (r/s)}\) is obtained by substituting \(x_i \mapsto x_i^s\) in each of the generators of the vanishing ideal of \(X^{\circ r}\). In particular, the number of minimal generators for these two ideals agree.

### 3.3 From hypersurfaces to arbitrary varieties?

We briefly discuss to what extent Proposition 3.4 can be used to determine coordinate-wise powers of arbitrary varieties, and mention the difficulties involved in this approach.

Let \(r > 0\) and let \(f_1, \ldots , f_m\) be homogeneous polynomials vanishing on a variety \(X \subset {\mathbb {P}}^n\). Their \(r-\)th coordinate-wise powers give rise to the inclusion \(X^{\circ r} \subset V(f_1^{\circ r}, \ldots , f_m^{\circ r})\). We may ask when equality holds, which leads us to the following definition, reminiscent of the notion of *tropical bases* in Tropical Geometry (Maclagan and Sturmfels 2015, Section 2.6).

### Definition 3.17

*r*-th power basis of the ideal \(I = (f_1, \ldots , f_m)\) if the following equality of sets holds:

We show the existence of such power bases for a given ideal in the following proposition.

### Proposition 3.18

(Existence of power bases) Let \(I \subset {\mathbb {C}}[{\mathbf {x}}]\) be a homogeneous ideal. Then for each *r*, there exists an *r*-th power basis of *I*.

### Proof

*J*denote the defining ideal of \(V(I)^{\circ r} \subset {\mathbb {P}}^n\). If

*J*is generated by homogeneous polynomials \(g_1, \ldots , g_m \in {\mathbb {C}}[{\mathbf {x}}]\), we define \(f_1, \ldots , f_m \in {\mathbb {C}}[{\mathbf {x}}]\) to be their images under the ring homomorphism \({\mathbb {C}}[{\mathbf {x}}]\rightarrow {\mathbb {C}}[{\mathbf {x}}]\), \(x_i \mapsto x_i^r\). Then \(f_i\in I\), since

*J*. Enlarging \(f_1, \ldots , f_m\) to a generating set of

*I*gives an

*r*-th power basis of

*I*. \(\square \)

### Remark 3.19

Proposition 3.18 shows the existence of *r*-th power bases, but explicitly determining one a priori is nontrivial. For the variety of orthostochastic matrices \({\mathbb {O}}(m)^{\circ 2}\) as in Sect. 2.1, it is natural to suspect that the quadratic equations defining the variety of orthogonal matrices would form a power basis for \(r = 2\). This is the question discussed in (Chterental and Ɖoković 2008, Section 3), where it was shown that this is true for \(m = 3\), but not for \(m \ge 6\). The cases \(m = 4,5\) are an open problem (Chterental and Ɖoković 2008, Problem 6.2). Our results on the degree of \({\mathbb {O}}(m)^{\circ 2}\) reduce this open problem to the computation whether explicitly given polynomials \(f_1^{\circ 2}, \ldots , f_k^{\circ 2}\) describe an irreducible variety of the correct dimension and degree. Straightforward implementations of this computation seem to be beyond current computer algebra software.

In the following two examples, we will see that even in the case of squaring codimension 2 linear spaces, obvious candidates for \(f_1, \ldots , f_m\) do not form a power basis.

### Example 3.20

Let \(I \,{:}{=}\, (f_1, f_2) \subset {\mathbb {C}}[{\mathbf {x}}]\) be the ideal defining the line in \({\mathbb {P}}^3\) that is given by \(f_1 \,{:}{=}\, x_0+x_1+x_2+x_3\) and \(f_2 \,{:}{=}\, x_1+2x_2+3x_3\).

The polynomials \(f_1^{\circ 2}\) and \(f_2^{\circ 2}\) have degrees 4 and 2, respectively, by Proposition 3.4. Note that the polynomial \(f_3 \,{:}{=}\, 3x_0^2-x_1^2+x_2^2-3x_3^2 = 3(x_0-x_1-x_2-x_3)f_1+2(x_1+x_2)f_2\) also lies in *I*, so the ideal of \(V(I)^{\circ 2}\) contains the linear form \(f_3^{\circ 2} = 3x_0-x_1+x_2-3x_3\). The polynomials \(f_1,f_2\) do not form a power basis of *I*. In fact, one can check that \(V(f_1^{\circ 2}, f_2^{\circ 2}) \subset {\mathbb {P}}^3\) is the union of four rational quadratic curves, one of which is \(V(I)^{\circ 2}\), see Fig. 4 for an illustration. A power basis of *I* is given by \(f_1,f_2,f_3\).

### Example 3.21

*circuit forms*, i.e. linear forms vanishing on

*X*that are minimal with respect to the set of occurring variables. However, for

*r*-th power basis for \(r = 2\).

We have seen in Examples 3.20 and 3.21 that even for the case of linear spaces of codimension 2 it is not an easy task to a priori identify an *r*-th power basis.

The following proposition shows how one can straightforwardly find a very large *r*-th power basis of an ideal *I*, without first computing the ideal of \(V(I)^{\circ r}\).

### Proposition 3.22

If \(g_1, \ldots , g_k \in {\mathbb {C}}[{\mathbf {x}}]_d\) are forms of equal degree *d*, then taking \((k-1)r^n+1\) general linear combinations of \(g_1, \ldots , g_k\) produces an *r*-th power basis of \((g_1, \ldots , g_k)\).

### Proof

We assume that \(g_1, \ldots , g_k\) are linearly independent, or else we can replace them with a linearly independent subset. For \(m \,{:}{=}\, (k-1)r^n+1\), let \(f_1, \ldots , f_m \in \langle g_1, \ldots , g_k \rangle \) be such that no *k* of them are linearly dependent.

For \(X \,{:}{=}\, V(g_1, \ldots , g_k)\), we will show that \(V(f_1^{\circ r}, \ldots , f_m^{\circ r}) = X^{\circ r}\) by comparing the preimages of both sides under \(\varphi _r :{\mathbb {P}}^n \rightarrow {\mathbb {P}}^n\).

*k*of them are linearly dependent \(f_{i_1}, \ldots , f_{i_k}\) span \(\langle g_1, \ldots , g_k\rangle \). Therefore, \(V(f_{i_1},\ldots ,f_{i_k}) = X\), and hence, \(p\in \tau \cdot V(f_{i_1},\ldots ,f_{i_k})\) implies that \(p \in \tau \cdot X \subset \varphi _r^{-1}(X^{\circ r})\). This shows \(\varphi _r^{-1} (V(f_1^{\circ r}, \ldots , f_m^{\circ r})) \subset \varphi _r^{-1}(X)\). The reverse inclusion is trivial. \(\square \)

In particular, Proposition 3.22 shows that for a subvariety of \({\mathbb {P}}^n\) defined by *k* forms of degree *d*, its coordinate-wise *r*-th power can be described set-theoretically by the vanishing of \((k-1)r^n+1\) forms of degree \(\le d r^{n-1}\). However, we will see in Sect. 4 that for linear spaces this bound is rather weak in many cases and should be expected to allow dramatic refinement in general. We raise the following as a broad open question:

### Question 3.23

When does a set of homogeneous polynomials form an *r*-th power basis? For a given ideal *I*, do there exist polynomials \(f_1, \ldots , f_m \in I\) that simultaneously form an *r*-th power basis for all *r*?

## 4 Linear spaces

In this section, we specialise to linear spaces \(L \subset {\mathbb {P}}^n\) and investigate their coordinate-wise powers \(L^{\circ r}\). First, we highlight the dependence of \(L^{\circ r}\) on the geometry of a finite point configuration associated to \(L \subset {\mathbb {P}}^n\). For \(r=2\), we point out its relation to symmetric matrices with degenerate eigenvalues. Based on this, we classify the coordinate-wise squares of lines and planes. Finally, we turn to the case of squaring linear spaces in high-dimensional ambient space.

### 4.1 Point configurations

*k*-dimensional linear space \(L \subset {\mathbb {P}}^n\). The degrees of its minimal generators do not change under rescaling and permuting coordinates of \({\mathbb {P}}^n\), i.e. under the actions of the algebraic torus \(\mathbb {G}_m^{n+1} = ({\mathbb {C}}^*)^{n+1}\) and the symmetric group \(\mathfrak {S}_{n+1}\). Fixing a \((k+1)\)-dimensional vector space

*W*, we have the identificationHence, we may express coordinate-wise powers of a linear space

*L*in terms of the corresponding finite multi-set \(Z \subset {\mathbb {P}}W^*\). In fact, it is easy to check that the degrees of the minimal generators of the defining ideal only depend on the underlying set

*Z*, forgetting repetitions in the multi-set. We study coordinate-wise powers of a linear space in terms of the corresponding non-degenerate finite point configuration.

*k*. We understand

*L*as the image of a chosen linear embedding Open image in new window, where

*W*is a \((k+1)\)-dimensional vector space and \(\ell _0, \ldots , \ell _n \in W^*\) are linear forms defining \(\iota \). Consider the finite set of points \(Z \subset {\mathbb {P}}W^*\) given by

*W*. Hence, the linear span of

*Z*is the whole space \({\mathbb {P}}W^*\). We denote by \(I(Z) \subset {{\,\mathrm{Sym}\,}}^\bullet W\) the defining ideal of \(Z \subset {\mathbb {P}}W^*\). The subspace of degree

*r*forms vanishing on

*Z*is written as \(I(Z)_r \subset {{\,\mathrm{Sym}\,}}^r W\).

The main technical tool is the following observation that \(L^{\circ r} \subset {\mathbb {P}}^n\) equals (up to a linear re-embedding) the image of the *r*-th Veronese variety \(\nu _r({\mathbb {P}}W)\subset {\mathbb {P}}{{\,\mathrm{Sym}\,}}^r W\) under the projection from the linear space \({\mathbb {P}}(I(Z)_r) \subset {\mathbb {P}}{{\,\mathrm{Sym}\,}}^r W\).

### Lemma 4.1

The diagram

commutes, where \(\nu _r\) is the *r*-th Veronese embedding, \(\pi \) is the linear projection of \({\mathbb {P}}{{\,\mathrm{Sym}\,}}^r W\) from the linear space \({\mathbb {P}}(I(Z)_r)\), \(\psi \) is a morphism and \(\vartheta \) is a linear embedding.

### Proof

The rational map \(\bar{\chi }\) between projective spaces corresponding to the linear map \(\chi \) gives the following commuting diagram:

where \(\vartheta \) is the linear embedding of projective spaces induced by factoring \(\chi \) over \({{\,\mathrm{Sym}\,}}^r W/\ker \chi \). In particular, \(\nu _r({\mathbb {P}}W) \cap {\mathbb {P}}(\ker \chi ) = \emptyset \), since \(\varphi _r \circ \iota \) is defined everywhere on \({\mathbb {P}}W\). Hence, \({\left. \pi \right| _{\nu _r({\mathbb {P}}W)}} :\nu _r({\mathbb {P}}W) \rightarrow {\mathbb {P}}({{\,\mathrm{Sym}\,}}^r W/\ker \chi )\) is a morphism.

Finally, we claim that \(\ker \chi = I(Z)_r\). Once we know this, defining \(\psi \,{:}{=}\, {\left. \pi \right| _{\nu _r({\mathbb {P}}W)}} \circ \nu _r\) completes the claimed diagram.

Let \(f \in {{\,\mathrm{Sym}\,}}^r W\) such that \(f\in I(Z)_r\). Naturally identifying *W* and \(W^{**}\), we may view *f* as a form of degree *r* on \(W^*\). Then, the condition that \(f \in I(Z)_r\) translates to \(f(\ell _i) = 0 \ \forall i\). Viewing *f* as a symmetric *r*-linear form \(W^* \times \cdots \times W^* \rightarrow {\mathbb {C}}\), we have \(f(\ell _i, \ldots , \ell _i) = 0 \ \forall i\). Also, when *f* is considered as a linear form on \({{\,\mathrm{Sym}\,}}^r W^*\), \(f(\ell _i^r) = 0 \ \forall i\). The latter expression is equivalent to \(f \in \ker \chi \), via the identification of *W* and \(W^{**}\). We conclude \(I(Z)_r = \ker \chi \). \(\square \)

In particular, we deduce the following:

### Proposition 4.2

Let *L* be a linear space such that the finite set of points *Z* does not lie on a degree *r* hypersurface. Then the ideal of \(L^{\circ r}\) is generated by linear and quadratic forms.

### Proof

Since \(I(Z)_r = 0\), we deduce from Lemma 4.1 that \(L^{\circ r} = \varphi _r(L)\) is a linear re-embedding of the *k*-dimensional *r*-th Veronese variety \(\nu _r({\mathbb {P}}W) \subset {\mathbb {P}}{{\,\mathrm{Sym}\,}}^r W\). The ideal of this Veronese variety is generated by quadrics. Since \(\dim {{\,\mathrm{Sym}\,}}^r W = \genfrac(){0.0pt}1{k+r}{r}\), the linear re-embedding \(\vartheta :{\mathbb {P}}{{\,\mathrm{Sym}\,}}^r W \hookrightarrow {\mathbb {P}}^n\) adds \(n-\smash {\left( {\begin{array}{c}k+r\\ r\end{array}}\right) }+1\) linear forms to the ideal. \(\square \)

### 4.2 Degenerate eigenvalues and squaring

We now specialise to the case of coordinate-wise squaring, i.e. \(r = 2\). This case has special geometric importance, since it corresponds to computing the image of a linear space under the quotient of \({\mathbb {P}}^n\) by the reflection group generated by the coordinate hyperplanes. In this section through Proposition 4.3 we point out that the case of coordinate-wise square of a linear space is closely related to studying symmetric matrices with a degenerate spectrum of eigenvalues. Here, we interpret \({\mathbb {P}}{{\,\mathrm{Sym}\,}}^2 {\mathbb {F}}^{k+1}\) (for \({\mathbb {F}}= {\mathbb {R}}\) or \({\mathbb {C}}\)) as the projective space consisting of symmetric \((k+1) \times (k+1)\)-matrices up to scaling with entries in \({\mathbb {F}}\).

### Proposition 4.3

Let \(X \subset {\mathbb {P}}{{\,\mathrm{Sym}\,}}^2 {\mathbb {R}}^{k+1}\) be the set of real symmetric \((k+1)\times (k+1)\)-matrices with an eigenvalue of multiplicity \(\ge k\). Then the Zariski closure of *X* in \({\mathbb {P}}{{\,\mathrm{Sym}\,}}^2 {\mathbb {C}}^{k+1}\) is projectively equivalent to the projective cone over the coordinate-wise square \(L^{\circ 2}\) of any *k*-dimensional linear space *L* whose point configuration \(Z \subseteq {\mathbb {P}}W^*\) lies on a unique and smooth quadric.

### Proof

Let \(L \subset {\mathbb {P}}^n\) be a *k*-dimensional linear space such that \(I(Z)_2\) is spanned by a smooth quadric \(q \in {\mathbb {P}}{{\,\mathrm{Sym}\,}}^2 W\). Choosing coordinates of \(W \cong {\mathbb {C}}^{k+1}\), we identify points in \({\mathbb {P}}{{\,\mathrm{Sym}\,}}^2 W\) with complex symmetric \((k+1) \times (k+1)\)-matrices up to scaling and we can assume \(q = {{\,\mathrm{id}\,}}\in {\mathbb {P}}{{\,\mathrm{Sym}\,}}^2 W\). The second Veronese variety \(\nu _2({\mathbb {P}}W) \subset {\mathbb {P}}{{\,\mathrm{Sym}\,}}^2 W\) consists of rank 1 matrices. Let \(X_0 \subset {\mathbb {P}}({{\,\mathrm{Sym}\,}}^2 W/\langle q \rangle )\) be the image of \(\nu _2({\mathbb {P}}W)\) under the natural projection. By Lemma 4.1, \(X_0\) is the coordinate-wise square \(L^{\circ 2}\) up to a linear re-embedding.

*M*such that the set \(M+\langle {{\,\mathrm{id}\,}}\rangle \) contains a matrix of rank \(\le 1\). We observe that the rank of \(M-\lambda {{\,\mathrm{id}\,}}\) is the codimension of the eigenspace of

*M*with respect to \(\lambda \in {\mathbb {C}}\). Hence,

*X*is the orbit of the line \(V \,{:}{=}\, \{{{\,\mathrm{diag}\,}}(\lambda , \ldots , \lambda , \mu ) \mid [\lambda :\mu ] \in {\mathbb {P}}_{\mathbb {R}}^1\}\) under the action of \(O(k+1).\) The action is given by conjugation with orthogonal matrices and the stabiliser is \(O(k) \times \{\pm 1\}\). Therefore,

*X*has real dimension \(\dim V + \dim O(k+1) - \dim O(k) = k+1\). Also, \(X_1\) is the projective cone over \(X_0 \cong L^{\circ 2}\), so it is a \({(k+1)}\)-dimensional irreducible complex variety. We conclude that \(X_1\) is the Zariski closure of

*X*in \({\mathbb {P}}{{\,\mathrm{Sym}\,}}^2 {\mathbb {C}}^{k+1}\). \(\square \)

We illustrate Proposition 4.3 in the case of \(3 \times 3\)-matrices:

### Example 4.4

*Y*. By Proposition 4.3, it can be understood in terms of the coordinate-wise square \(L^{\circ 2}\) for some plane

*L*. We make this explicit as follows: Consider the planar point configuration

*L*be the corresponding plane in \({\mathbb {P}}^4\), given as the image of

*L*gets mapped into

*Y*. Indeed, it is easily checked that a point [

*x*:

*y*:

*z*] gets mapped to the matrix \(-4(x^2+y^2+z^2){{\,\mathrm{id}\,}}+12(x,y,z)^T(x,y,z)\) under the composition \(\psi \circ \iota :{\mathbb {P}}^2 \rightarrow {\mathbb {P}}{{\,\mathrm{Sym}\,}}^2 {\mathbb {C}}^3\); note that this matrix has a repeated eigenvalue. More precisely, Proposition 4.3 shows that

*Y*is the projective cone over \(\psi (L^{\circ 2})\) with the vertex \({{\,\mathrm{id}\,}}\).

In Sect. 4.4 we give an explicit set-theoretic description of the coordinate-wise square of a linear space in high-dimensional ambient space. We will show the following result as a special case of Theorem 4.11. Given a matrix \(A \in {\mathbb {C}}^{s \times s}\), we denote a \(2\times 2\) minor of *A* by \(A_{ij|k\ell }\) where *i*, *j* are the rows and \(k,\ell \) are the columns of the minor.

### Corollary 4.5

Let \(s \ge 4\). A symmetric matrix \(A \in {\mathbb {C}}^{s \times s}\) has an eigenspace of codimension \(\le 1\) if and only if its \(2\times 2\)-minors

### 4.3 Squaring lines and planes

In this subsection we consider the low-dimensional cases and classify the coordinate-wise squares of lines and planes in arbitrary ambient spaces.

### Theorem 4.6

*L*be a line in \({\mathbb {P}}^n\).

- (i)
If \(|Z| = 2\), then \(L^{\circ 2}\) is a line in \({\mathbb {P}}^n\).

- (ii)
If \(|Z| > 2\), then \(L^{\circ 2}\) is a smooth conic in \({\mathbb {P}}^n\).

### Proof

Since \(Z \subset {\mathbb {P}}W^*\) spans the projective line \({\mathbb {P}}W^*\), we must have \(|Z| \ge 2\).

If \(|Z| > 2\), then \(I(Z)_2 = 0\), since no non-zero quadratic form on the projective line \({\mathbb {P}}W^*\) vanishes on all points of *Z*. Then Lemma 4.1 implies that \(L^{\circ 2} = (\varphi _2 \circ \iota )({\mathbb {P}}W) \) is a linear re-embedding of \(\nu _2({\mathbb {P}}W) \), which is a smooth conic in the plane \({\mathbb {P}}{{\,\mathrm{Sym}\,}}^2 W \cong {\mathbb {P}}^2\).

If \(|Z| = 2\), then \(\dim I(Z)_2 = 1\), since up to scaling there is a unique quadric vanishing on the points *Z*. By Lemma 4.1, the image \(\varphi _2(L)\) lies in a projective line \({\mathbb {P}}^1 \cong \vartheta ({\mathbb {P}}({{\,\mathrm{Sym}\,}}^2 W/I(Z)_2)) \subset {\mathbb {P}}^n\). On the other hand \(\dim L^{\circ 2} = \dim L = 1\). Hence, \(L^{\circ 2} = \varphi _2(L)\) is a line in \({\mathbb {P}}^n\). \(\square \)

### Remark 4.7

We observe that the two possibilities in Theorem 4.6 for the coordinate-wise square of a line *L* differ in degree. In particular, Corollary 2.7 shows that it only depends on the linear matroid \(\mathcal {M}_L\) whether \(L^{\circ 2} \) is a line or a (re-embedded) plane conic.

### Remark 4.8

*L*whose coordinate-wise square \(L^{\circ 2}\) is a line. Considering Plücker coordinates \(p_{ij}\) on the Grassmannian \({{\,\mathrm{Gr}\,}}(1, {\mathbb {P}}^n)\), we observe that \(\Gamma \) is the subvariety of \({{\,\mathrm{Gr}\,}}(1, {\mathbb {P}}^n)\) given by the vanishing of \(p_{ij} p_{jk} p_{ki}\) for all \(i,j,k \in \{0,1, \ldots , n\}\) distinct:

*L*is the image of an embedding Open image in new window given by a chosen rank 2 matrix \(B \in {\mathbb {C}}^{(n+1)\times 2}\), then \(Z \subset ({\mathbb {P}}^1)^*\) is the set of points corresponding to the non-zero rows of

*B*. Then \(|Z|=2\) if and only if among any three distinct rows of

*B*there always exist two linearly dependent rows. In terms of the Plücker coordinates, which are given by the \(2 \times 2\)-minors of

*B*, this translates into the vanishing condition above.

### Theorem 4.9

*L*be a plane in \({\mathbb {P}}^n\). The defining ideal \(I \subset {\mathbb {C}}[{\mathbf {x}}]\) of \(L^{\circ 2}\) depends on the geometry of the planar configuration of \(Z\subset {\mathbb {P}}W^*\) as follows (see Fig. 5):

- (i)
If

*Z*is not contained in any conic, then*I*is minimally generated by \(n-5\) linear forms and 6 quadratic forms. - (ii)If
*Z*is contained in a unique conic \(Q \subset {\mathbb {P}}W^*\), we distinguish two cases:- (a)
If

*Q*is irreducible, then*I*is minimally generated by \(n-4\) linear forms and 7 cubic forms. - (a)
If

*Q*is reducible, then \(L^{\circ 2}\) is the complete intersection of \(n-4\) hyperplanes and 2 quadrics.

- (a)
- (iii)If
*Z*is contained in several conics, we distinguish three cases:- (a)
If \(|Z| = 3\), then

*I*is minimally generated by \(n-2\) linear forms. - (b)
If \(|Z| = 4\) and no three points of

*Z*are collinear, then*I*is minimally generated by \(n-3\) linear forms and one quartic form. - (c)
If \(|Z| \ge 3\) and all but one of the points of

*Z*lie on a line, then*I*is minimally generated by \(n-3\) linear forms and one quadratic form.

- (a)

### Proof

- (i)
If \(I(Z)_2 = 0\), then \(L^{\circ 2} \subset {\mathbb {P}}^n\) is by Lemma 4.1 a linear re-embedding of the Veronese surface \(\nu _2({\mathbb {P}}W) \subset {\mathbb {P}}{{\,\mathrm{Sym}\,}}^2 W\). The ideal of the \(\nu _2({\mathbb {P}}W)\) is minimally generated by six quadrics. Indeed, choosing a basis for

*W*, we may understand points in \({\mathbb {P}}{{\,\mathrm{Sym}\,}}^2 W\) as symmetric \(3\times 3\)-matrices up to scaling. Then \(\nu _2({\mathbb {P}}W)\) is the subvariety corresponding to symmetric rank 1 matrices, which is the vanishing set of the six quadratic polynomials corresponding to the \(2 \times 2\)-minors. Since \(\dim {\mathbb {P}}{{\,\mathrm{Sym}\,}}^2 W = 5\), the linear re-embedding \({\mathbb {P}}{{\,\mathrm{Sym}\,}}^2 W \hookrightarrow {\mathbb {P}}^n\) adds \(n-5\) linear forms to*I*. - (ii)We can choose a basis \(\{z_0,z_1,z_2\}\) of
*W*such that the unique reduced plane conic through \(Z \subset {\mathbb {P}}W^*\) is with respect to these coordinates given by the vanishing of either \(q_1 \,{:}{=}\, z_0^2-2z_1 z_2 \in {{\,\mathrm{Sym}\,}}^2 W\) or \(q_2 \,{:}{=}\, z_1 z_2 \in {{\,\mathrm{Sym}\,}}^2 W\). We consider the basis \(\{z_1^2, z_2^2, 2z_0 z_1, 2z_0 z_2, 2z_1 z_2\}\) of \({{\,\mathrm{Sym}\,}}^2 W/\langle q_1\rangle \) and the basis \(\{z_0^2, z_1^2, z_2^2, 2z_0 z_1, 2z_0 z_2\}\) of \({{\,\mathrm{Sym}\,}}^2 W/\langle q_2\rangle \). With respect to these choices of bases, the morphism \(\psi :{\mathbb {P}}W \rightarrow {\mathbb {P}}({{\,\mathrm{Sym}\,}}^2 W/I(Z)_2)\) is given asIn the first case, we checked computationally with Macaulay2 (Grayson and Stillman 2018) that the ideal is minimally generated by seven cubics. A structural description of these quadrics and cubics will be given in the proof of Theorem 4.11. The image of the second morphism is a complete intersection of two binomial quadrics. By Lemma 4.1, the coordinate-wise square \(L^{\circ 2}\) arises from the image of \(\psi \) via a linear re-embedding \({\mathbb {P}}^4 \hookrightarrow {\mathbb {P}}^n\), producing additional \(n-4\) linear forms in$$\begin{aligned}&\psi :{\mathbb {P}}^2 \rightarrow {\mathbb {P}}^4, \quad [a_0:a_1:a_2] \mapsto [a_1^2 : a_2^2 : a_0 a_1 : a_0 a_2 : a_0^2+a_1a_2] \\ \text {or} \qquad&\psi :{\mathbb {P}}^2 \rightarrow {\mathbb {P}}^4, \quad [a_0:a_1:a_2] \mapsto [a_0^2 : a_1^2 : a_2^2 : a_0 a_1 : a_0 a_2]. \end{aligned}$$*I*. - (iii)In case (a), the set
*Z*consists of three points spanning the projective plane \({\mathbb {P}}W^*\), so \(\dim {{\,\mathrm{Sym}\,}}^2 W/I(Z)_2 = 3\). Then by Lemma 4.1, the coordinate-wise square \(L^{\circ 2}\) is contained in a plane \({\mathbb {P}}^2 \cong \vartheta ({\mathbb {P}}({{\,\mathrm{Sym}\,}}^2 W/I(Z)_2)) \subset {\mathbb {P}}^n\). On the other hand, \(\dim L^{\circ 2} = \dim L = 2\), so \(L^{\circ 2} \subset {\mathbb {P}}^n\) must be a plane in \({\mathbb {P}}^n\). For case (b), we may assume thatfor a suitably chosen basis \(\{\ell _0,\ell _1,\ell _2\}\) of \(W^*\). By Lemma 4.1, \(L^{\circ 2} \subset {\mathbb {P}}^n\) is a linear re-embedding of the image of \(\psi :{\mathbb {P}}W \rightarrow {\mathbb {P}}({{\,\mathrm{Sym}\,}}^2 W/I(Z)_2)\). On the other hand, the plane \(L' \,{:}{=}\, V(x_0+x_1+x_2+x_3) \subset {\mathbb {P}}^3\) is the image of Open image in new window, so$$\begin{aligned} Z = \{[1:0:0],[0:1:0],[0:0:1],[-\,1:-\,1:-\,1]\} \end{aligned}$$*Z*can also be viewed as the finite set of points associated to \(L'\). Applying Lemma 4.1 to \(L' \subset {\mathbb {P}}^3\) shows that the image of \(\psi :{\mathbb {P}}W \rightarrow {\mathbb {P}}({{\,\mathrm{Sym}\,}}^2 W/I(Z)_2)\) is the coordinate-wise square \({L'}^{\circ 2} \subset {\mathbb {P}}^3\). Hence, \(L^{\circ 2} \subset {\mathbb {P}}^n\) is a linear re-embedding of the quartic surface from Example 3.5 into higher dimension. Finally, we consider case (c). Consider three points \(p_1,p_2,p_3 \in Z\) lying on a line \(T \subset {\mathbb {P}}W^*\). Then*T*must be an irreducible component of each conic through*Z*. Since*Z*spans the projective plane \({\mathbb {P}}W^*\), there must also be a point \(p_0 \in Z\) outside of*T*. All points in \(Z {\setminus } \{p_0\}\) must lie on the line*T*, as otherwise there could be at most one conic passing through*Z*. If \(Z' \,{:}{=}\, \{p_0,p_1,p_2,p_3\} \subset Z\), then each conic passing through \(Z'\) also passes through*Z*, i.e. \(I(Z)_2 = I(Z')_2\). We may choose a basis \(z_0,z_1,z_2\) of*W*such that \(Z' \subset {\mathbb {P}}W^*\) with respect to these coordinates is given byThe plane \(L' \,{:}{=}\, V(x_1+x_2-x_3) \subset {\mathbb {P}}^3\) is the image of Open image in new window, so \(Z'\) can be viewed as the finite set of points associated to \(L'\). Lemma 4.1 shows that \({L'}^{\circ 2} \subset {\mathbb {P}}^3\) coincides with the image of the morphism \(\psi :{\mathbb {P}}W \rightarrow {\mathbb {P}}({{\,\mathrm{Sym}\,}}^2 W/I(Z')_2)\). On the other hand, Lemma 4.1 shows that \(L^{\circ 2} \subset {\mathbb {P}}^n\) is a linear re-embedding of \({\mathbb {P}}W \rightarrow {\mathbb {P}}({{\,\mathrm{Sym}\,}}^2 W/I(Z)_2)\). From \(I(Z)_2 = I(Z')_2\), we deduce that \(L^{\circ 2} \subset {\mathbb {P}}^n\) is a linear re-embedding of the quadratic surface$$\begin{aligned} Z' = \{[1:0:0],[0:1:0],[0:0:1],[0:1:1]\}. \end{aligned}$$as we compute from Proposition 3.4. \(\square \)$$\begin{aligned} {L'}^{\circ 2} = V(x_1+x_2-x_3)^{\circ 2} = V(x_1^2+x_2^2+x_3^2-2x_1 x_2-2x_2 x_3 -2x_3x_1) \subset {\mathbb {P}}^3, \end{aligned}$$

### Remark 4.10

Opposed to Remark 4.7, the structure of the coordinate-wise square of a plane \(L \subset {\mathbb {P}}^n\) does *not* only depend on the linear matroid of *L*: For \(n=5\), it can happen both in case (i) and case (ii).(a) of Theorem 4.9 that \(\mathcal {M}_L = \{I \subset \{0,1,\ldots ,5\} \mid |I| \le 3\}\).

### 4.4 Squaring in high ambient dimensions

Consider the case of *k*-dimensional linear spaces in \({\mathbb {P}}^n\) for \(n \gg k\). For a *general* linear space \(L \in {{\,\mathrm{Gr}\,}}(k,{\mathbb {P}}^n)\), the finite set of points *Z* does not lie on a quadric. We know from Proposition 4.2 that the coordinate-wise square \(L^{\circ 2}\) is a linear re-embedding of the *k*-dimensional second Veronese variety. In this subsection, we investigate the first degenerate case where the point configuration *Z* is a unique quadric.

The following theorem gives the structure of coordinate-wise squares as the one appearing in Proposition 4.3. We will also prove Corollary 4.5 by deriving the polynomials vanishing on the set of symmetric matrices with a comultiplicity 1 eigenvalue. Proposition 4.3 shows that Corollary 4.5 is a special case of the theorem stated below.

### Theorem 4.11

*k*. If the point configuration

*Z*lies on a unique quadric of rank

*s*, then \(L^{\circ 2}\) can set-theoretically be described as the vanishing set of \(n-\left( {\begin{array}{c}k+2\\ 2\end{array}}\right) +2\) linear forms and

In fact, for \(s \ge 3\), we show that the claim holds *scheme-theoretically*, see Remark 4.17. We believe that in fact for arbitrary *s* the claim is even true *ideal-theoretically*.

*Y*with rows \(i\ne j\) and columns \(\ell \ne m\) by \(Y_{ij|\ell m} \,{:}{=}\, y_{i\ell } y_{j m} - y_{im} y_{j \ell } \in {\mathbb {C}}[{\mathbf {y}}],\) and correspondingly \(M_{ij|\ell m} \in {\mathbb {C}}[{\mathbf {y}},t]\) for the \(2 \times 2\)-minors of

*M*. Let \(J_0 \subset {\mathbb {C}}[{\mathbf {y}},t]\) denote the ideal generated by the \(2 \times 2\)-minors of

*M*. By \(J \,{:}{=}\, J_0 \cap {\mathbb {C}}[{\mathbf {y}}]\) we denote the ideal in \({\mathbb {C}}[{\mathbf {y}}]\) obtained by eliminating

*t*from \(J_0\). We explicitly describe the elimination ideal

*J*for all values of

*k*and

*s*.

### Proposition 4.12

First, we observe that Theorem 4.11 follows directly from Proposition 4.12.

### Proof of Theorem 4.11

Analogous to the proof of Proposition 4.3, we identify \({\mathbb {P}}{{\,\mathrm{Sym}\,}}^2 W\) with \({\mathbb {P}}{{\,\mathrm{Sym}\,}}^2 {\mathbb {C}}^{k+1}\) such that \(q = I_s\). By Lemma 4.1, the coordinate-wise square \(L^{\circ 2} \) is a linear re-embedding of the variety obtained by the projection of \(\nu _2({\mathbb {P}}W)\) from the point \(q=I_s \in {\mathbb {P}}{{\,\mathrm{Sym}\,}}^2 W\). Note that *V*(*J*) describes the set of points \(Y\in {\mathbb {P}}{{\,\mathrm{Sym}\,}}^2 W\) lying on the line joining *q* with some point in \(\nu _2({\mathbb {P}}W)\). Hence, the projection from *q* is given by intersecting *V*(*J*) with a hyperplane \(H \subset {\mathbb {P}}{{\,\mathrm{Sym}\,}}^2 W\) not containing \(q = I_s\).

From Proposition 4.12, we know that \(V(J) \cap H\) has a set-theoretic description inside \(H \cong {\mathbb {P}}^{\left( {\begin{array}{c}k+2\\ 2\end{array}}\right) -2}\) as the zero set of the indicated number of quadric and cubic forms. The coordinate-wise square \(L^{\circ 2}\) is by Lemma 4.1 the image of \(V(J) \cap H\) under a linear embedding \(\vartheta :H \hookrightarrow {\mathbb {P}}^n\), leading to additional \(n-\left( {\begin{array}{c}k+2\\ 2\end{array}}\right) +2\) linear forms vanishing on \(L^{\circ 2}\). \(\square \)

We prove Proposition 4.12 in several steps. First, we describe a set \(\mathcal {X}\) of certain low-degree polynomials in the ideal *J*. Secondly, we show that \(V(\mathcal {X}) = V(J)\). Finally, we identify a subset of \(\mathcal {X}\) providing minimal generators of the ideal \(({\mathcal {X}}) \subset {\mathbb {C}}[{\mathbf {y}}]\), consisting of the claimed number of quadratic and cubic forms.

### Lemma 4.13

*J*:

### Proof

From now on, we denote \(\mathcal {X} \,{:}{=}\, \mathcal {E} \cup \mathcal {F} \cup \mathcal {G} \cup \mathcal {H}_1 \cup \mathcal {H}_2\). These polynomials describe *V*(*J*):

### Lemma 4.14

- (i)
If \(s \ge 3\), then \(V({\mathcal {X}})\) and

*V*(*J*) agree scheme-theoretically on \(U_1\). - (ii)
If \(s = 2\), then \(V({\mathcal {X}})\) and

*V*(*J*) agree scheme-theoretically on \(U_2\). - (iii)
For

*s*arbitrary, \(V({\mathcal {X}})\) and*V*(*J*) agree set-theoretically.

### Proof

*k*.

- (i)Let \(s \ge 3\). We need to show that the ideal generated by \({\mathcal {X}} \subset {\mathbb {C}}[{\mathbf {y}}]\) coincides with \(J \subset {\mathbb {C}}[{\mathbf {y}}]\) after localisation at any element in the setsince the union of the corresponding non-vanishing sets \(D(y_{ij}), D(y_{ii}-y_{jj})\) is \(U_1\). In order to show that \(({\mathcal {X}})\) and$$\begin{aligned} \{y_{ij} \mid \{i\} \cap \{j\} \subset \{s+1, \ldots ,k+1\}\} \cup \{y_{ii}-y_{jj} \mid i,j \le s\}, \end{aligned}$$
*J*agree after localisation at \(y_{i_0j_0}\) for \(\{i_0\} \cap \{j_0\} \subset \{s+1,\ldots ,k+1\}\), we may substitute \(y_{i_0 j_0} = 1\) in both ideals. For a fixed \(\ell _0 \le s\) distinct from \(i_0\) and \(j_0\), we note that \(t+Y_{i_0\ell _0|j_0\ell _0} = M_{i_0 \ell _0| j_0 \ell _0} \in {\left. J_0\right| _{y_{i_0 j_0}=1}}.\) Hence, eliminating*t*from \({\left. J_0\right| _{y_{i_0 j_0}=1}}\) just amounts to replacing \(t = -Y_{i_0 \ell _0|j_0 \ell _0}\) in each occurrence of*t*in the minors \(M_{ij|\ell m}\) (for \(i \ne j\), \(\ell \ne m\)) generating the ideal \(J_0\). According to (4.1), this leads to the following generators of \({\left. J\right| _{y_{i_0 j_0} = 1}}\):To check that \({\left. J\right| _{y_{i_0 j_0} = 1}} = {\left. ({\mathcal {X}})\right| _{y_{i_0 j_0} = 1}}\), we need to check that each of these polynomials belong to \({\left. ({\mathcal {X}})\right| _{y_{i_0 j_0} = 1}}\). For this, it is enough to see that they can be expressed in terms of those polynomials in \({\mathcal {X}}\) that only involve variables with indices among \(\{i_0,j_0,\ell _0,i,j,\ell \}\). This corresponds to showing the claim for a corresponding symmetric submatrix of\(Y_{i_0 \ell _0|j_0\ell _0}^2-(y_{ii}+y_{jj})Y_{i_0 \ell _0|j_0\ell _0}+Y_{ij|ij}\) for \(i\ne j \le s\),

\(-y_{ij}Y_{i_0 \ell _0|j_0\ell _0}+Y_{i \ell |j\ell }\) for \(\ell \le s, \{i\} \cap \{j\} \subset \{s+1,\ldots ,k+1\}\),

\(Y_{ij|\ell m}\) for \(\{i,j\}\cap \{\ell ,m\} \subset \{s+1,\ldots ,k+1\}\).

*M*of size at most \(6 \times 6\). We conclude that it is enough to check \({\left. J\right| _{y_{i_0 j_0} = 1}} = {\left. ({\mathcal {X}})\right| _{y_{i_0 j_0} = 1}}\) for \(k \le 5\). Similarly, in order to show that \({\left. J\right| _{y_{i_0 i_0}-y_{j_0 j_0}=1}} = {\left. ({\mathcal {X}})\right| _{y_{i_0 i_0}-y_{j_0 j_0}=1}}\) holds for \(i_0,j_0 \le s\) distinct, we realise that \(t+Y_{i_0 \ell _0|i_0 \ell _0}-Y_{j_0 \ell _0|j_0 \ell _0} = M_{i_0 \ell _0|i_0 \ell _0} - M_{j_0 \ell _0|j_0 \ell _0} \in {\left. J_0\right| _{y_{i_0 j_0}=1}}\) holds for fixed \(\ell _0 \le s\) distinct from \(i_0\) and \(j_0\). Therefore, replacing \(t = Y_{j_0 \ell _0|j_0 \ell _0}-Y_{i_0 \ell _0|i_0 \ell _0}\) in the expressions for the \(2 \times 2\)-minors of*M*describes generators of \({\left. J\right| _{y_{i_0 i_0}-y_{j_0 j_0}=1}}\). As before, these polynomials involve variables with at most six distinct indices, so it is enough to verify the claim for \(k \le 5\) by the same argument as above. - (ii)
For \(s = 2\), the argument from (i) still shows \({\left. J_0\right| _{y_{i_0 j_0} = 1}} = {\left. ({\mathcal {X}})\right| _{y_{i_0 j_0} = 1}}\) for \(\{i_0, j_0\} \cap \{3,\ldots ,k+1\} \ne \emptyset \). For the localisation at \(y_{12}\) and at \(y_{11}-y_{22}\), the argument does not apply since we cannot choose \(\ell _0\) distinct from \(\{i_0,j_0\} = \{1,2\}\) as before. Hence, we have shown the equality of \(V({\mathcal {X}})\) and

*V*(*J*) only on \(U_2\). - (iii)
We observe that the polynomials in \({\mathcal {X}}\) vanish on the point \(I_s \in {\mathbb {P}}{{\,\mathrm{Sym}\,}}^2 {\mathbb {C}}^{k+1}\), and that \(I_s \in V(J)\) by definition of

*J*. Together with (i), this proves the claim for \(s \ge 3\). For \(s = 2\), the polynomials in \({\mathcal {X}}\) vanish on all symmetric matrices of the form \(A = \left( \begin{array}{cc} \begin{array}{ll} a &{}\quad c \\ c &{}\quad b \end{array} &{}\quad 0 \\ 0 &{}\quad 0 \end{array}\right) \in {{\,\mathrm{Sym}\,}}^2 {\mathbb {C}}^{k+1}\). On the other hand, each such matrix is a point in*V*(*J*), since \(A+t_0 I_2\) is a matrix of rank \(\le 1\) for \(t_0 \in {\mathbb {C}}\) such that \(t_0^2+(a+b)t_0+(ab-c^2)=0\). Together with (ii), we conclude that \(V({\mathcal {X}}) = V(J)\) holds set-theoretically. \(\square \)

### Lemma 4.15

- (i)
\(\langle \mathcal {E} \cup {\mathcal {F}} \cup \mathcal {G} \rangle = \langle \mathcal {E} \rangle \oplus \langle {\mathcal {F}} \rangle \oplus \langle \mathcal {G} \rangle ,\)

- (ii)
\(\langle \mathcal {H}_1 \cup \mathcal {H}_2 \rangle \cap (\mathcal {E}, {\mathcal {F}}, \mathcal {G}) = \emptyset \) for \(s = 3\),

- (iii)
\(\mathcal {H}_1 \cup \mathcal {H}_2 \subset (\mathcal {E}, {\mathcal {F}}, \mathcal {G})\) for \(s \ne 3\).

### Proof

- (i)
This follows from the observation that \(\mathcal {M}_{\mathcal {E}}\), \(\mathcal {M}_{{\mathcal {F}}}\) and \(\mathcal {M}_{\mathcal {G}}\) are disjoint sets.

- (ii)
For \(s = 3\), note that \(\mathcal {G} = \emptyset \) and none of the monomials in \(\mathcal {M}_{\mathcal {E}} \cup \mathcal {M}_{{\mathcal {F}}}\) is of the form \(y_{ij}y_{\ell m}\) with \(i,j,\ell ,m \le 3\). On the other hand, the monomials in \(\mathcal {M}_{\mathcal {H}_1} \cup \mathcal {M}_{\mathcal {H}_2}\) are of the form \(y_{i_1 j_1} y_{i_2 j_2} y_{i_3 j_3}\) with \(i_1, i_2, i_3, j_1, j_2, j_3 \le 3\). Hence, no monomial in \(\mathcal {M}_{\mathcal {H}_1} \cup \mathcal {M}_{\mathcal {H}_2}\) is a multiple of any of the monomials in \(\mathcal {M}_{\mathcal {E}} \cup \mathcal {M}_{{\mathcal {F}}}\), so \(\langle \mathcal {H}_1 \cup \mathcal {H}_2 \rangle \cap (\mathcal {E}, {\mathcal {F}}, \mathcal {G}) = \emptyset \).

- (iii)If \(s = 2\) we have \(\mathcal {H}_1 \cup \mathcal {H}_2=\emptyset \), so the claim is trivial. Let \(s \ge 4\). Then for all \(i,j,\ell ,m \le s\) distinct, we haveso \(\mathcal {H}_1\) and \(\mathcal {H}_2\) lie in the ideal generated by \(\mathcal {E}\), \({\mathcal {F}}\) and \(\mathcal {G}\). \(\square \)$$\begin{aligned}&y_{i\ell }(Y_{ij|ij}-Y_{i\ell |i\ell })-(y_{\ell \ell }-y_{jj})Y_{ij|j\ell } \\&\quad = -2y_{j m}Y_{i j| \ell m}-y_{j m}Y_{i m| j \ell } -y_{i \ell }(Y_{i \ell | i \ell }\\&\qquad -Y_{\ell j| \ell j}+Y_{j m| j m}-Y_{m i| m i})+y_{i m}(Y_{j \ell | j m}-Y_{i \ell | i m})\\&\qquad +y_{i j}(Y_{i j| i \ell }-Y_{m j| m \ell })\\&\qquad +(y_{i i}-y_{j j})(Y_{i j| \ell j}-Y_{i m| \ell m})-y_{j \ell }(Y_{i \ell | j \ell }-Y_{i m| j m}) \in (\mathcal {E}, {\mathcal {F}}, \mathcal {G}), \\&\qquad (y_{ii}-y_{jj})Y_{ij|ij}+(y_{jj}-y_{\ell \ell })Y_{j \ell |j \ell }+(y_{\ell \ell }-y_{ii})Y_{\ell i|\ell i} \\&\quad = (y_{i i}-y_{j j})(Y_{i j| i j}-Y_{j \ell | j \ell }+Y_{\ell m| \ell m}-Y_{m i| m i})+(y_{\ell \ell }-y_{i i})(Y_{i \ell | i \ell }\\&\qquad -Y_{\ell j| \ell j}+Y_{j m| j m}\\&\qquad -Y_{m i| m i})+y_{\ell m}(Y_{i \ell | i m}-Y_{j \ell | j m})-y_{j m}(Y_{i j| i m}-Y_{\ell j| \ell m})\\&\qquad +y_{i m}(Y_{j i| j m}-Y_{\ell i| \ell m}) \in (\mathcal {E}, {\mathcal {F}}, \mathcal {G}), \end{aligned}$$

Next, we identify maximal linearly independent subsets of \(\mathcal {E}\), \({\mathcal {F}}\), \(\mathcal {G}\).

### Lemma 4.16

### Proof

The polynomials in \(\mathcal {E}\) not contained in \(\mathcal {B}_{\mathcal {E}} \cup (- \mathcal {B}_{\mathcal {E}})\) are the polynomials \(Y_{ij|\ell m}\) for \(i< j< \ell < m\). However, these can be expressed as \(Y_{ij|\ell m} = Y_{i \ell |j m}-Y_{im|j \ell } \in \langle \mathcal {B}_{\mathcal {E}}\rangle \). Hence \(\mathcal {B}_{\mathcal {E}}\) spans \(\langle \mathcal {E} \rangle \). For \(i < j\), \(\ell < m\) with \(i \le \ell \le j\) such that \(\{i,j\} \cap \{\ell ,m\} \subset \{s+1, \ldots , k+1\}\), we note that \(Y_{ij|\ell m} \in {\mathbb {C}}[{\mathbf {y}}]\) is the unique polynomial in \(\mathcal {B}_{\mathcal {E}}\) containing the monomial \(y_{im} y_{\ell j}\). In particular, the polynomials in \(\mathcal {B}_{\mathcal {E}}\) are linearly independent, so \(\mathcal {B}_{\mathcal {E}}\) forms a basis of \(\langle \mathcal {E} \rangle \).

For \(3 \le m \le s-1\) and \(\ell \in \{3,\ldots ,m-1\} \cup \{s\}\), the polynomial \(Y_{12|12} - Y_{2\ell |2 \ell } + Y_{\ell m|\ell m} - Y_{m1|m1}\) is the unique polynomial in \(\mathcal {B}_{\mathcal {G}}\) containing the monomial \(y_{\ell \ell } y_{m m}\). In particular, if a linear combination of polynomials in \(\mathcal {B}_{\mathcal {G}}\) is zero, none of the above polynomials can occur in this linear combination. The remaining polynomials in \(\mathcal {B}_{\mathcal {G}}\) are of the form \(Y_{1s|1s} - Y_{s2|s2} + Y_{2m|2m} - Y_{m1|m1}\) for \(3 \le m \le s-1\). Among these, the polynomial containing the monomial \(y_{22} y_{mm}\) is unique. We conclude that the polynomials in \(\mathcal {B}_{\mathcal {G}}\) are linearly independent.

### Proof of Proposition 4.12

By Lemma 4.14, \(V(J) = V({\mathcal {X}})\) holds set-theoretically. For \(s = 3\), we observe that \(\mathcal {H}_1 \cup \mathcal {H}_2\) consists up to sign of seven linearly independent cubics, so by Lemma 4.15, the ideal \(({\mathcal {X}})\) is in this case minimally generated by those seven cubics and the polynomials in \(\mathcal {B}_{\mathcal {E}}\), \(\mathcal {B}_{{\mathcal {F}}}\) and \(\mathcal {B}_{\mathcal {G}}\) from Lemma 4.16.

### Remark 4.17

In fact, for \(s \ge 3\), our proof shows that \(V({\mathcal {X}})\) is the same scheme as *V*(*J*) away from the point \(I_s \in {\mathbb {P}}{{\,\mathrm{Sym}\,}}^2 {\mathbb {C}}^{k+1}\). In the proof of Theorem 4.11, we considered \(V(J) \cap H\), where *H* is a hyperplane not containing \(I_s\). Since \(V(J) \cap H = V({\mathcal {X}}) \cap H\) scheme-theoretically, we conclude that our equations for \(L^{\circ 2}\) in Theorem 4.11 describe not only the correct set, but even the correct scheme. In fact, we believe that we have ideal-theoretic equality for the specified set of polynomials, but our proof stops short of verifying this.

We now prove the result about eigenspaces of symmetric matrices stated as Corollary 4.5. It follows directly from the proof of Proposition 4.12.

### Proof of Corollary 4.5

A complex symmetric matrix \(A \in {\mathbb {C}}^{s \times s}\) has an eigenspace of codimension 1 with respect to an eigenvalue \(\lambda \in {\mathbb {C}}\) if and only if the matrix \(A-\lambda {{\,\mathrm{id}\,}}\) is of rank 1, which means that \(A \in V(J)\) for the case \(s = k+1\). By Lemmas 4.14 and 4.15, this is equivalent to the vanishing of the equations \({\mathcal {E}\cup {\mathcal {F}} \cup \mathcal {G}}\), which are the above relations among \(2\times 2\)-minors for \(s = k+1 \ge 4\). The second claim was proved in Proposition 4.3. \(\square \)

The proof of Theorem 4.11 was based on relating the coordinate-wise square \(L^{\circ 2}\) in the case \(\dim _{\mathbb {C}}I(Z)_2 = 1\) to the question when a symmetric matrix can be completed to a rank 1 matrix by adding a multiple of \(I_s\). In the same spirit, for *arbitrary* linear spaces *L* (no restrictions on the set of quadrics containing *Z*), determining the ideal of the coordinate-wise square \(L^{\circ 2}\) boils down to the following problem in symmetric rank 1 matrix completion:

### Problem 4.18

*L*be an arbitrary linear space of dimension

*k*and let \(B \in {\mathbb {C}}^{(n+1) \times (k+1)}\) be a chosen matrix of full rank describing

*L*as the image of the linear embedding \({\mathbb {P}}^k \hookrightarrow {\mathbb {P}}^n\) given by

*B*. Then the rows of

*B*form the finite set of points \(Z \subset ({\mathbb {P}}^k)^*\). Identifying quadratic forms on \({\mathbb {P}}^k\) with symmetric \((k+1)\times (k+1)\)-matrices, the subspace \(I(Z)_2 \subset {{\,\mathrm{Sym}\,}}^2 ({\mathbb {C}}^{k+1})^*\) corresponds to

*B*. Similarly, describing the coordinate-wise

*r*-th power of a linear space corresponds to the analogous problem in symmetric rank 1 tensor completion.

By Lemma 4.1, determining the coordinate-wise *r*-th power of a linear space corresponds to describing the projection of the *r*-th Veronese variety from a linear space of the form \({\mathbb {P}}(I(Z)_r)\) for a non-degenerate finite set of points *Z*. We may ask how general this problem is, and pose the question which linear subspaces of \({\mathbb {P}}{{\,\mathrm{Sym}\,}}^r W\) are of the form \({\mathbb {P}}(I(Z)_r)\):

### Question 4.19

Which linear subspaces of \({\mathbb {C}}[z_0,\ldots ,z_k]_r\) can be realised as the set of degree *r* polynomials vanishing on some non-degenerate finite set of points in \({\mathbb {P}}^k\) of cardinality \(\le n+1\)?

We envision that an answer to this question may lead to insights into describing which varieties can occur as the coordinate-wise *r*-th power of some linear space in \({\mathbb {P}}^n\).

## Notes

### Acknowledgements

Open access funding provided by Max Planck Society. The authors would like to thank Mateusz Michałek and Bernd Sturmfels for their guidance and suggestions. This work was initiated while the first author was visiting Max Planck Institute MiS Leipzig. The financial support by MPI Leipzig which made this visit possible is gratefully acknowledged. The second and third author were funded by the International Max Planck Research School *Mathematics in the Sciences* (IMPRS) during this project.

## References

- Brandt, M., Bruce, J., Brysiewicz, T., Krone, R., Robeva, E.: The degree of \(\text{ SO }(n, C)\). In: Smith, G.G., Sturmfels, B. (eds.) Combinatorial Algebraic Geometry: Selected Papers From the 2016 Apprenticeship Program, pp. 229–246. Springer, New York (2017)CrossRefGoogle Scholar
- Bocci, C., Carlini, E., Kileel, J.: Hadamard products of linear spaces. J. Algebra
**448**, 595–617 (2016)MathSciNetCrossRefGoogle Scholar - Bocci, C., Calussi, G., Fatabbi, G., Lorenzini, A.: The Hilbert function of some Hadamard products. Collect. Math.
**69**, 205–220 (2018)MathSciNetCrossRefGoogle Scholar - Bonnafé, C.: A surface of degree \(24\) with \(1440\) singularities of type \(D_4\) (2018). arXiv:1804.08388
- Calussi, G., Carlini, E., Fatabbi, G., Lorenzini, A.: On the Hadamard product of degenerate subvarieties (2018). arXiv:1804.01388
- Chterental, O., Đoković, D.Ž.: On orthostochastic, unistochastic and qustochastic matrices. Linear Algebra Appl.
**428**(4), 1178–1201 (2008)MathSciNetCrossRefGoogle Scholar - Cueto, M.A., Morton, J., Sturmfels, B.: Geometry of the restricted Boltzmann machine. Algebraic methods in statistics and probability II, Contemp. Math., vol. 516. Amer. Math. Soc., Providence, pp. 135–153 (2010)Google Scholar
- De Loera, J.A., Sturmfels, B., Vinzant, C.: The central curve in linear programming. Found. Comput. Math.
**12**(4), 509–540 (2012)MathSciNetCrossRefGoogle Scholar - Dey, P.: Monic symmetric/Hermitian determinantal representations of multi-variate polynomials. Ph.D. thesis. Department of Electrical Engineering, Indian Institute of Technology, Bombay (2017)Google Scholar
- Dey, P.: Definite Determinantal Representations via Orthostochastic Matrices (2019) arXiv:1708.09559
- Fink, A., Speyer, D.E., Woo, A.: A Gröbner basis for the graph of the reciprocal plane. Advance publication. J. Commut. Algebra (2018)Google Scholar
- Flenner, H., O’Carroll, L., Vogel, W.: Joins and Intersections. Springer Monographs in Mathematics. Springer, Berlin (1999)CrossRefGoogle Scholar
- Friedenberg, N., Oneto, A., Williams, R.L.: Minkowski sums and Hadamard products of algebraic varieties. In: Smith, G.G., Sturmfels, B. (eds.) Combinatorial Algebraic Geometry: Selected Papers From the 2016 Apprenticeship Program, pp. 133–157. Springer, New York (2017)CrossRefGoogle Scholar
- Gelfand, I.M., Kapranov, M.M., Zelevinsky, A.V.: Discriminants, Resultants, and Multidimensional Determinants, Mathematics: Theory and Applications. Birkhäuser, Boston (1994)CrossRefGoogle Scholar
- Grayson, D.R., Stillman, M.E.: Macaulay2, a software system for research in algebraic geometry (n.d.). https://faculty.math.illinois.edu/Macaulay2/Citing/
- Horn, A.: Doubly stochastic matrices and the diagonal of a rotation matrix. Am. J. Math.
**76**, 620–630 (1954)MathSciNetCrossRefGoogle Scholar - Kummer, M., Vinzant, C.: The Chow form of a reciprocal linear space. Michigan Math. J.
**68**(4), 831–858 (2019)MathSciNetCrossRefGoogle Scholar - Lenz, M.: On powers of Plücker coordinates and representability of arithmetic matroids. Adv. Appl. Math.
**112**, 101911 (2020)MathSciNetCrossRefGoogle Scholar - Maclagan, D., Sturmfels, B.: Introduction to Tropical Geometry, Graduate Studies in Mathematics. American Mathematical Society, Providence (2015)CrossRefGoogle Scholar
- Marshall, A.W., Olkin, I., Arnold, B.C.: Inequalities: Theory of Majorization and Its Applications, Springer Series in Statistics, 2nd edn. Springer, New York (2011)CrossRefGoogle Scholar
- Mirsky, L.: Results and problems in the theory of doubly-stochastic matrices. Z. Wahrscheinlichkeitstheorie und Verw. Gebiete
**1**, 319–334 (1963)MathSciNetCrossRefGoogle Scholar - Oxley, J.: Matroid Theory, Oxford Graduate Texts in Mathematics, second edn. Oxford University Press, Oxford (2011)Google Scholar

## Copyright information

**Open Access**This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.