Cubic form

A homogeneous polynomial of degree 3 in several variables with coefficients in some fixed field or ring. Let $K$ be a field and $F_3(x_0,\ldots,x_n)$ a cubic form with coefficients in $K$ (one calls it a cubic form over $K$). The equation $$F_3(x_0,\ldots,x_n) = 0$$ defines a cubic hypersurface in the projective space $\mathbf{P}^n(K)$, so that the algebraic-geometric theory of cubic forms over an algebraically closed field $K$ is reduced to the theory of cubic hypersurfaces (see [1]).
The purely algebraic theory of cubic forms contains, in addition to results concerning the structure of sets of points on cubic hypersurfaces, various results pertaining to the classical theory of invariants. Indeed, the structure of the algebra of (absolute) invariants of a cubic form in two or three variables is known; in these cases the algebra has no syzygies — it is the algebra of polynomials in one (degree 4) and two (degrees 4 and 6) algebraically independent homogeneous generators. If the number of variables exceeds 4, the algebra in question contains syzygies [5] and its structure is very complicated. H. Poincaré investigated the orbits, stabilizers and canonical representatives, and also the families of orbits under the natural action of the group $\mathrm{SL}_n$ on the space of all cubic forms in three and four variables [6].