Diagonal form

In mathematics, a diagonal form is an algebraic form (homogeneous polynomial) without cross-terms involving different indeterminates. That is, it is

${\displaystyle \Sigma a_{i}{x_{i}}^{m}\ }$

for some given degree m, summed for 1 ≤ in.

Such forms F, and the hypersurfaces F = 0 they define in projective space, are very special in geometric terms, with many symmetries, they also include famous cases like the Fermat curves, and other examples well known in the theory of Diophantine equations.

A great deal has been worked out about their theory: algebraic geometry, local zeta-functions via Jacobi sums, Hardy-Littlewood circle method.

Examples

${\displaystyle X^{2}+Y^{2}-Z^{2}=0}$ is the unit circle in P2
${\displaystyle X^{2}-Y^{2}-Z^{2}=0}$ is the unit hyperbola in P2.
${\displaystyle x_{0}^{3}+x_{1}^{3}+x_{2}^{3}+x_{3}^{3}=0}$ gives the Fermat cubic surface in P3 with 27 lines. The 27 lines in this example are easy to describe explicitly: they are the 9 lines of the form (x : ax : y : by) where a and b are fixed numbers with cube −1, and their 18 conjugates under permutations of coordinates.
${\displaystyle x_{0}^{4}+x_{1}^{4}+x_{2}^{4}+x_{3}^{4}=0}$ gives a K3 surface in P3.