| • Science | • People | • Locations | • Timeline |
The two obvious areas where these would be applied were projective geometry, and number theory (less than in fashion). The geometric use was connected with invariant theory. There is a general linear group acting on any given space of quantics, and this group action is potentially a fruitful way to classify algebraic varieties (for example cubic hypersurfaces in a given number of variables).
In more modern language the spaces of quantics are identified with the symmetric tensors of a given degree constructed from the tensor powers of a vector space V of dimension m. (This is straightforward provided we work over a field of characteristic zero). That is, we take the n-fold tensor product of V with itself and take the subspace invariant under the symmetric group as it permutes factors. This definition specifies how GL(V) will act.
It would be a possible direct method in algebraic geometry, to study the orbits of this action. More precisely the orbits for the action on the projective space formed from the vector space of symmetric tensors. The construction of invariants would be the theory of the co-ordinate ring of the 'space' of orbits, assuming that 'space' exists. No direct answer to that was given, until the geometric invariant theory of David Mumford; so the invariants of quantics were studied directly. Heroic calculations were performed, in an era leading up to the work of David HilbertDavid Hilbert ( January 23, 1862 February 14, 1943) was a German mathematician born in Wehlau, near Konigsberg, Prussia (now Znamensk, near Kaliningrad, Russia) who is recognized as one of the most influential mathematicians of the 19th and early 20th cen on the qualitative theory.
For algebraic forms with integer coefficients, generalisations of the classical results on quadratic forms to forms of higher degree motivated much investigation.
See also: multilinear formMultilinear algebra In multilinear algebra, a multilinear form is a map of the type :, where V is a vector space over the field K that is separately linear in each its N variables. As the word "form" usually denotes a mapping from a vector space into its
Multilinear algebraIn mathematics, multilinear algebra extends the methods of linear algebra. Just as linear algebra is built on the concept of a vector and develops the theory of vector spaces, multilinear algebra builds on the concept of a tensor and develops the theory o Algebraic geometry