Varieties of sums of power

From MaRDI portal



Abstract: The variety of sums of powers of a homogeneous polynomial of degree d in n variables is defined and investigated in some examples, old and new. These varieties are studied via apolarity and syzygies. Classical results of Sylvester (1851), Hilbert (1888), Dixon and Stuart (1906) and some more recent results of Mukai (1992) are presented together with new results for the cases (n,d)=(3,8), (4,2), (5,3). In the last case the variety of sums of 8 powers of a general cubic form is a Fano 5-fold of index 1 and degree 660.


A classical problem in algebraic geometry, already treated in several papers of Terracini, is the so-called Waring problem for linear forms: Determine the minimal number \(s=s(n+1,d)\) such that a generic polynomial of degree \(d\) in \(n+1\) variables can be written as a sum of \(s\) \(d\)-th powers of linear forms. \textit{J. Alexander} and \textit{A. Hirschowitz} [J. Algebr. Geom. 4, 201--222 (1995; Zbl 0829.14002)] obtained a complete answer: For \(d\geq 3\), the number coincides with the expected one \(\lceil{{n+d}\choose{d}}/(n+1)\rceil\) except from four classically known degenerate cases. On the other hand, one may ask when such a decomposition is unique. In the paper under review, the authors investigate the more general question of the geometry of such representations. More precisely, for \(f\in \mathbb{C}[x_0,\dots,x_n]_d\) and the corresponding degree \(d\) hypersurface \(F=V(f)\subset \mathbb{P}^n\), they define the variety of sums of powers as a subvariety of the Hilbert scheme \[ \text{VSP}(F,s)=\overline{\{\{L_1,\dots, L_s\}\in \text{Hilb}_s(\check{\mathbb{P}}^n) | \exists \lambda_i \in\mathbb{C}: f=\lambda_1l_1^d+\dots+\lambda_sl^d_s\}}. \] Here, the \(L_i\) are the points in the dual projective space (or, equivalently, the hyperplanes in \(\mathbb{P}^n\)) corresponding to the linear forms \(l_i\). The main techniques in the study of these objects are apolarity, syzygies and (as geometric counterparts) duality and projections; they are recalled in the first sections of the article. The main body of the paper consists of a number of examples for varieties of sums of powers, with a lot of highly interesting geometry involved. First, classical results for \(n=2\), \(d\leq 7\) are recovered and extended to the case \(n=2,d=8\). In particular, they discuss \textit{S. Mukai}'s result [in: Complex projective geometry, Conf. Trieste 1989, and Vector bundles and special projective embeddings, Bergen 1989, Lond. Math. Soc. Lect. Note Ser. 179, 255--263 (1992; Zbl 0774.14037)] that for \(n=2, d=4\), \(\text{VSP}(F,6)\) is a smooth Fano threefold \(V_{22}\), and every such \(V_{22}\) arises in this way. The main new example is the (exceptional in the sense of [loc. cit.]) case of a general cubic threefold \(F\). It is proved that \(\text{VSP}(F,8)\) is a smooth Fano fivefold of index 1 and degree 660. More precisely, this Fano fivefold arises as the variety of lines on the following variety \(Y(F)\) associated to \(F\): \(Y=Y(F)=\mathbb{P}^{10}\cap \mathbb{S}^{10}\subset \mathbb{P}^{15}\), where \(\mathbb{S}^{10}\) is the spinor variety of isotropic \(\mathbb{P}^4\)'s in an 8-dimensional smooth quadric \(Q^8\subset \mathbb{P}^9\), and \(\mathbb{P}^{10}\) is a linear subspace of \(\mathbb{P}^{15}\) depending on \(F\) (here, the points of \(\mathbb{P}^{15}\) represent the even subspaces \(\bigwedge^{\text{ev}}(V)\) of \(\bigwedge(V)\), \(\dim(V)=5\)). Though the occurence of the spinor variety might be surprising here, the authors explain it by relating it via apolarity to the result of \textit{S. Mukai} [Am. J. Math. 117, 1627--1644 (1995; Zbl 0871.14025)] that a smooth canonical curve \(C\subset \mathbb{P}^6\) of genus 7 and Clifford index 3 is isomorphic to \(\mathbb{P}^6\cap \mathbb{S}^{10}\) for a suitable linear subspace \(\mathbb{P}^6\subset \mathbb{P}^{15}\).




Cited in
(82)


Describes a project that uses

Uses Software






This page was built for publication: Varieties of sums of power

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4505658)