Content deleted Content added
→Terminology: representation theory |
→Terminology: examples |
||
Line 3:
==Terminology==
A binary form (of degree ''n'') is a homogeneous polynomial Σ{{su|b=''i''=0|p=''n''}} ({{su|p=''n''|b=''i''}})''a''<sub>''n''−''i''</sub>''x''<sup>''n''−''i''</sup>''y''<sup>''i''</sup> = ''a''<sub>''n''</sub>''x''<sup>''n''</sup> + ({{su|p=''n''|b=1}})''a''<sub>''n''−1</sub>''x''<sup>''n''−1</sup>''y'' + ... + ''a''<sub>0</sub>''y''<sup>''n''</sup>. The group ''SL''<sub>2</sub>('''C''') acts on these forms by taking ''x'' to ''ax''+''by'' and ''y'' to ''cx''+''dy''. This induces an action on the space spanned by ''a''<sub>0</sub>, ..., ''a''<sub>''n''</sub> and on the polynomials in these variables. An '''invariant''' is a polynomial in these ''n''+1 variables ''a''<sub>0</sub>, ..., ''a''<sub>''n''</sub> that is invariant under this action. More generally a '''covariant''' is a polynomial in ''a''<sub>0</sub>, ..., ''a''<sub>''n''</sub>, ''x'', ''y'' that is invariant, so an invariant is a special case of a covariant where the variables ''x'' and ''y'' do not occur. More generally still, a '''simultaneous invariant''' is a polynomial in the coefficients of several different forms in ''x'' and ''y''.
In terms of representation theory, given nay representation ''V'' of the group ''SL''<sub>2</sub>('''C''') one can ask for the ring of invaraint polynomials on ''V''. Invariants of a binary form of degree ''n'' correspond to taking ''V'' to be the ''n''+1 dimensional irreducible representation, and covariants correspond to taking ''V'' to be the sum of the irreducible representations of dimensions 2 and ''n''+1.
Line 10:
Forms of degrees 2, 3, 4, 5, 6, 7, 8, 9, 10 are sometimes called quadrics, cubic, quartics, quintics, sextics, septics, octavics, nonics, and decimics. "Quantic" is an old name for a form of arbitrary degree. Forms in 1, 2, 3, ... variables are called unary, binary, ternary, ... forms.
==Examples==
A degree ''n'' form itself is a covariant of degree ''n'' and order 1.
The Hessian covariant of a form {{harvtxt|Hilbert|1993|loc=p.88}} is the determinant
:<math></math>
It is a covariant of degree 2''n''− 4 and order 2.
==The ring of invariants==
| |||