arxiv:math/ v1 [math.ag] 5 Dec 2006

Transcription

1 ON COMPLETE SYSTEM OF COVARIANTS FOR THE BINARY FORM OF DEGREE 8 arxiv:math/ v1 [math.ag] 5 Dec 2006 LEONID BEDRATYUK Abstract. A minimal system of homogeneous generating elements of the algebra of covariants for the binary form of degree 8 is calculated. 1. introduction Let V n be a vector C-space of the binary forms of degree d considered with natural action of the group G = SL(2, C). Let us extend the action of the group G to the polynomial functions algebra C[V d C 2 ]. Denote by C d = C[V d C 2 ] G the corresponding subalgebra of G-invariant functions. In the vocabulary of classical invariant theory the algebra C d is called the algebra covariants of the binary form of d-th degree. Let C + d be an ideal of C d generated by all homogeneus elements of positive power. Denote by C d a set of homogeneus elements of C + d such that their images in C + d /(C+ d )2 form a basis of the vector space. The set C d is caled complete system of covariants of the d-th degree binary form. Elements of C d form a minimal system of homogeneous generating elements of the invariants algebra C d. Denote by c d a number of elements of the set C d. The complete systems of covariants was a topic of major research interest in classical invariant theory of the 19th century. It is easy to show that c 1 = 0, c 2 = 2, c 3 = 4. A complete system of covariants in the case d = 4 was calculated by Bool, Cayley, Eisenstein, see survey [1]. The complete systems of invariants and covariants in the cases d = 5, 6 were calculated by Gordan, see [2]. In particular, c 4 = 5, c 5 = 23, c 6 = 26. Gall s attempt [3] to discover the complete system for the case d = 7 was unsuccessful. He did offered a system of 151 covariants but the system was not a minimal system, see [11],[20]. Also, Sylvester s attempts [6], [7] to find the cardinality c 7 and covariant s degree-order distribution of the complete system were mistaken, see [11]. Therefore, the problem of finding a minimal system of homogeneous generating elements (or even a cardinality of the system) of the algebra of covariants for the binary form of degree 7 is still open. The case d = 8 was studied by Sylvester and Gall but they have obtained completelly different results. By using Sylvester-Cayley technique, Sylvester in [6] got that c 8 = 69. Gall in [9], evolving the Gordan s constructibe method, offered 68 covariants as a complete system of covariants for the case d = 8. Also they have got a different degree-order distribution of the covariants, see in [4], a part of their long discussion. For the cases d = 9, 10 Sylvester in [7] calculated the cardinalities c 9 and c 10 but the present author, using a computer, found numerous mistakes in those computations. Therefore, the complete systems of covariants for the binary form are so far known only up to degree 6, see [5], [1]. 1

2 2 LEONID BEDRATYUK For the case d = 8 Gall have found the 68 invariants in implicit way by the symbolic method. A covariant has very simple symbolic representation but it is too hard to check out and be sure if the covariant is an irreducible one. The verification could be done for an covariants in their explicit representation but some of offered by Gall invariants is impossyble even for computer calculation due to hight tranvectant s order. To solve the computation problem we offer a form of represenation of the covariants, which is an intermediate form between the highly unwieldy explicit represenation and too compressed symbolic represenation. Also we have found new symbolic representation of the covariants, which is different from Gall s representation. The representation use transvectants of low orders. A first step in the simplifycation of a calculation is calculation a semi-invariants instead calculation of covariants. Let us consider a covariant as a polynomial of generating functions of the polynomial functions algebra C[V d C 2 ]. Then a semi-invariat is just a leading coeficient of the polinomial with respect to usual lexicographical ordering, see [15], [5]. A semi-invariant is an invariant of upper unipotent matrix subalgebra of Lie algebra sl 2. Let us indentify the algebra C[V d ] with the algebra C[X d ] := C[t, x 1, x 2,...,x d ], and the algebra C[V d C 2 ] identify with the polynomial algebra C[t, x 1, x 2,...,x n, Y 1, Y 2 ]. The generating elements derivations ( ), ( ) of the tangent Lie algebra sl 2 act on C[V d ] by D 1 := t + 2 x d x d 1, x 1 x 2 x d D 2 := d x 1 t + (d 1) x x d. x 1 x d 1 It follows that the semi-invariant algebra coincides with an algebra C[X d ] D 1, of polynomial solutions of the following first order PDE, see [14], [15]: where u C[X d ], and t u x x 1 u x d x d 1 u x d = 0, C[X d ] D 1 := {f C[X d ] D 1 (f) = 0}. It is easy to get an explicit form of the algebra C[X d ] D 1, see, for example, [13]. Namely C[X d ] D 1 = C[t, z 2,...,z d ][ 1 t ] C[X], here z i are some functional independed semi-invariants of power i. The polynomials z i arised in the first time in Cayley, see [15]. Therefore, any semi-invariant we may write as rational fraction of C[Z d ][ 1 t ] := C[t, z 2,...,z d ][ 1 t ]. This form of semi-invariants is more compact than their standard form as a polynomial of C[X d ]. In this case, a semi-invariant has terms number in tens times less than terms number of the corresponding covariant that make a computation crucial easy. By using Robert s theorem, see [12], knowing a semi-invariant one may restore a corresponding covariant. In the paper on explicit form have found a complete system of covariants for the binary form of degree 8. The system consists of 69 covariants, i.e. c 8 = 69. Also, the covariants degree-order distribution coincides completelly with Sylvester s offered distribution. ( )

3 ON COMPLETE SYSTEM OF COVARIANTS FOR THE BINARY FORM OF DEGREE 8 3 All calculation were done with Maple. 2. Premilinaries. Before any calculation we try make a simplification of a covariant represenation and their computation. Let κ : C d C[X d ] D 1 be the C-linear map takes each homogeneous covariant of order k to his leading coefficient, i.e. a coefficient of Y1 k. Follow by classical tradition an element of the algebra C[X d ] D 1 is called semi-invariants, a degree of a homogeneous covariant with respect to the variables set X d is called degree of the covariant and its degree with respect to the variables set Y 1, Y 2 is called order. m ( ) m Suppose F = f i Y1 m i Y2 i i be a covariant of order m, κ(f) = f 0 C[X d ] D 1. The classical Robert s theorem, [12], states that the covariant F is completelly and uniquely determined by its leading coefficient f 0, namely m D i F = 2(f 0 ) Y1 m i Y2 i i!. On the other hand, every semi-invariant is a leading coefficient of some covariant, see [15], [5]. This give us well defined explicit form of the inverse map namely κ 1 (a) = κ 1 : C[X] d 1 C d, ord(a) D2(a) i Y ord(a) i 1 Y2 i i!, here a C[X] d 1 and ord(a) is an order of the element a with respect to the locally nilpotent derivation D 2, i.e. ord(a) := max{s, D2(a) s 0}. For example, since ord(t) = d, we have ord(t) κ 1 D2 i (t) = (t) d ( ) Y ord(t) i d 1 Y2 i i! = ty 1 d + x i Y1 d i Y2 i i. i=1 As we see the κ 1 (t) is just the basic binary form. From polynomial functions point of view the covariant κ 1 (t) is the evaluation map. Thus, the problem of finding of complete system of the algebra C d is equivalent to the problem of finding of complete system of semi-covariants s algebra C[X] D 1. It is well known classical results. A structure of constants algebras for such locally nilpotent derivations can be easy determined, see for example [13]. In particular, for the derivation D 1 we get C[X d ] D 1 = C[t, σ(x 2 ),...,σ(x d )][ 1 t ] C[X d], where σ : C[X d ] C(X d ) D 1 is a ring homomorphism defined by σ(a) = d1 i (a)λi i!, λ = x 1 t.

4 4 LEONID BEDRATYUK After not complicated simplification we obtain σ(x i ) = z i+1, where z t i i C(X d ) D 1 and i 2 ( ) i z i := ( 1) k x i k x k k 1t i k 1 + (i 1)( 1) i+1 x i 1, i = 2,..., d. Especially k=0 z 2 = x 2 t x 1 2 z 3 = x 3 t x x 1 x 2 t z 4 = x 4 t 3 3 x x 1 2 x 2 t 4 x 1 x 3 t 2 z 5 = x 5 t x x 1 3 x 2 t + 10 x 1 2 x 3 t 2 5 x 1 x 4 t 3 z 6 = x 6 t 5 5 x x 1 4 x 2 t 20 x 1 3 x 3 t x 1 2 x 4 t 3 6 x 1 x 5 t 4 z 7 = x 7 t x x 1 5 x 2 t + 35 x 1 4 x 3 t 2 35 x 1 3 x 4 t x 1 2 x 5 t 4 7 x 1 x 6 t 5 z 8 = 28 x 1 6 x 2 t 56 x 1 5 x 3 t 2 56 x 1 3 x 5 t x 1 2 x 6 t 5 8 x 1 x 7 t 6 7 x x 1 4 x 4 t 3 + x 8 t 7 Thus we obtain C[X d ] D 1 = C[t, z 2,...,z d ][ 1 t ] C[X d]. Hence, a generating elements of the semi-invariant algebra C[X d ] D 1 we may looking as a rational fraction f(z 2,..., z d ) t s, f C[Z d ] := C[t, z 2,...,z d ], s Z +. To make of a calculation with an invariants in such representation we need know an action of the operator D 2 in new coordinates t, z 2,...,z d. Denote by D extention of the derivation D 2 to the algebra C[Z d ][ 1 t ] : In [19] the autor proved that D := D 2 (t) t + D 2(z 2 ) z D 2 (z d ) z d. D(t) = ntλ, D(σ(x 2 )) = (n 2)σ(x 3 ) (n 4)σ(x 2 )λ, D(σ(x i )) = (n i)σ(x i+1 ) (n 2i)σ(x i )λ i(n 1) σ(x 2)σ(x i 1 ), for i > 2. t Taking into account σ(x i ) = z i+1, λ = x 1 t i t i = 2,...,d. Especially, for d = 8 we get : D = 7 x 1 t ( 15 x 1 z z z 4 ) t + (2 z x 1 z 5 30 z 2 z 4 ) t + 7 (5 x 1 z 7 6 z 2 z 6 ) t we can obtain an expression and for D(z i ), + (20 x 1 z 4 24 z 2 z z 5 ) z 3 t + (z x 1 z 6 36 z 2 z 5 ) z 5 t + 5 (2 x 1 z 2 + z 3 ) z 7 t z ( 6 x 1 z z 2 z 7 ) z 2 t z 4 + z 8.

5 ON COMPLETE SYSTEM OF COVARIANTS FOR THE BINARY FORM OF DEGREE 8 5 To calculate the semi-invariants we need have an analogue of the transvectants. Suppose m ( ) m k ( ) k F = f i Y1 m i Y2 i i, G = f i Y1 k i Y2 i i, f i, g i C[Z d ][ 1 t ], are two covariants of the degrees m and k respectively. Let r ( ) r (F, G) r = ( 1) i r F r G i Y1 r i Y2 i Y i 1Y2 r i be their r-th transvectant. The following lemma give us rule how to find the semi-invariant κ((f, G) r ) without of direct computing of the covariant (F, G) r. Lemma 1. The leading coefficient κ((f, G) r ) of the covariant (F, G) r, 0 r min(m, k) is calculating by the formula r ( ) r D κ((f, G) r ) = ( 1) i i (κ(f)) D r i (κ(g)), i [m] i x1 =0,...,x r=0 [k] r i x1 =0,...,x r=0 here [a] i := a(a 1)...(a (i 1)), a Z. The proof is in [20]. Let f, g be two semi-invariants. Their numers are a polynomials of z 2,...,z d with rational coefficients. Then the semi-invariant κ((κ 1 (f), κ 1 (g)) i ) be a fraction and their numer be a polynomial of z 2,..., z d with rational coefficients too. Therefore we may multiply κ((κ 1 (f), κ 1 (g)) r ) by some rational number q r (f, g) Q such that the numer of the expression q r (f, g)κ((κ 1 (f), κ 1 (g)) r ) be now a polynomial with an integer coprime coefficients. Put [f, g] r := q r (f, g)κ((κ 1 (f), κ 1 (g)) r ), 0 r min(ord(f), ord(g)). The expression [f, g] r is said to be the r-th semitranvectant of the semi-invariants f and g. The following statements is direct consequences of corresponding transvectant properties, see [15]: Lemma 2. Let f, g be two semi-invariants. Then the folloving conditions hold (i) the semitransvectant [t, f g] i is reducible for 0 i min(d, max(ord(f), ord(g)); (ii) if ord(f) = 0, then [t, f g] i = f[t, g] i ; (iii) ord([f, g] i ) = ord(f) + ord(g) 2 i; (iv) ord(z i 1 2 z i 3 3 z i d d ) = d (i 2 + i i d ) 2 (2 i i d i d ). 3. Calculation Let C 8, i := (C 8 ) i be a subset of C 8 whose elements has degree i. Let C + be the ideal i>0 C 8,i of C 8, and C 8, i := C 8 C 8,i. The number δ i of linearly independent irreducible invariants of degree i is calculated by the formula δ i = dim C 8,i dim(c+ 2 ) i. A dimension of the vector space C d,i is calculated by Sylvester-Cayley formula, see for example [14], [16]: dim C d, i = (1 T d+1 )(1 T d+2 )...(1 T d+i ). (1 T 2 )...(1 T i ) T=1,

6 6 LEONID BEDRATYUK A dimension of the vector space (C+ 2 ) i is calculating by the formula dim(c+ 2 ) i = σ i dim S i. Here σ i is a coefficient of T i 1 in Poincaré series k<i (1 T of a graded algebra generated by k ) δ k the system of homogeneous elements k<i C 8,k, and S i is a vector subspace of (C+ 2 ) i generated by syzygies. The dimension dim S i one may find by direct Maple calculation. If we already have calculated the set C 8, i, then the elements of the set C 8, i+1 we are seeking as an irreducible elements of a basis of a vector space generated by semitransvectants of the form [t, u v] r, u C 8, l, v C 8, k, l + k = i, max(ord(u), ord(v)) r 8. It is a standard linear algebra problem. The unique semi-invariant of the degree one obviously is t, ord(t) = 8. For i = 2 have dimc 8,2 = 5, σ 2 = 1, thus δ 8,2 = 4. The semi-transvectants [t, t] k are equal to zero for odd i. Put dv 1 := [t, t] 2 = z 2 = x 2 t x 2 1, dv 2 := [t, t] 4 = z z 2 = x t 2 4 t 4 x 1 x x 2 2, dv 3 := [t, t] 6 = z z 2 z 4 10 z 3 = x t 4 6 t 6 x 1 x x 2 x 4 10 x 2 3, dv 4 := [t, t] 8 = z z 2 z 6 56 z 3 z z 4 = 8 x t 6 1 x 7 + x 8 t + 28 x 2 x 6 56 x 3 x x 2 4, ord(dv 1 ) = 12, ord(dv 2 ) = 8, ord(dv 3 ) = 4, ord(dv 4 ) = 0. The polynomials t 2, dv 1, dv 2, dv 3 dv 4 are linear independent. Therefore, the set C 8,2, consists of the irreducible semi-invariants dv 1, dv 2, dv 3, dv 4. For i = 3 we have dim C 8,3 = 13, σ 3 = 5, dim S 3 = 0, thus δ 8,3 = 8. The set C 8, 3 consists of the following 8 irreducible semi-invariants: tr 1 = [t, dv 1 ] 3, ord(tr 1 ) = 14, tr 2 = [t, dv 1 ] 4, ord(tr 2 ) = 12, tr 3 = [t, dv 1 ] 5, ord(tr 3 ) = 10, tr 4 = [t, dv 1 ] 7, ord(tr 4 ) = 6, tr 5 = [t, dv 2 ] 4, ord(tr 5 ) = 8, tr 6 = [t, dv 2 ] 6, ord(tr 6 ) = 4, tr 7 = [t, dv 2 ] 8, ord(tr 5 ) = 0, tr 8 = [t, dv 1 ], ord(tr 6 ) = 18. For i = 4 we have dim C 8,4 = 33, σ 4 = 23, dim S 4 = 0, thus δ 8,4 = 10. The set C 8,4 consists of the following 10 irreducible semi-invariants: ch 1 = [t, tr 4 ] 2, ord(ch 1 ) = 10, ch 2 = [t, tr 4 ] 5, ord(ch 2 ) = 4, ch 3 = [t, tr 5 ] 8, ord(ch 3 ) = 0, ch 4 = [t, tr 6 ] 4, ord(ch 4 ) = 4, ch 5 = [t, tr 1 ] 4, ord(tr 5 ) = 14, ch 6 = [t, tr 1 ] 5, ord(tr 6 ) = 12, ch 7 = [t, tr 1 ] 6, ord(ch 7 ) = 10, ch 8 = [t, tr 1 ] 7, ord(ch 6 ) = 8, ch 9 = [t, tr 2 ], ord(ch 7 ) = 18, ch 10 = [t, tr 2 ] 7, ord(ch 6 ) = 6. For i = 5 we have dim C 8,5 = 73, σ 5 = 65. Below is typical instance how dim S i is calculated. The vector space (C 2 + ) 5 = t C 8,4 + C 8,2 C 8,3 is generated by the following 65 elements: t ch 1,...,tch 10, t 2 tr 1,...,t 2 tr 8, dv 1 tr 1,...,dv 4 tr 8, t 3 dv 1,...,t 3 dv 4, t 5.

7 ON COMPLETE SYSTEM OF COVARIANTS FOR THE BINARY FORM OF DEGREE 8 7 To find a basis of the vector space S 5 of syzygies let us equate the system : By solving it we get α 1 t ch 1 + α 2 t ch α 65 t 5 = 0. (55tr 1 dv 3 55tr 3 dv 2 + ch 7 t 12ch 1 t) α ( tr 4 t 2 + ch 5 t tr 8 dv tr 3 dv 1 ) α (126tr 1 dv 1 ch 9 t + tr 3 t 2 126tr 8 dv 2 ) α 11 = 0. Therefore, the vector space S 5 is generated by the 3 syzygies: 12ch 1 t + 55tr 1 dv 3 55tr 3 dv 2 + ch 7 t = 0, 5ch 5 t + 383tr 4 t 2 176tr 8 dv tr 3 dv 1 = 0, ch 9 t 126tr 8 dv tr 1 dv 1 + tr 3 t 2 = 0. Thus dim S 5 = 3 i δ 8,5 = 11 and the set C 8, 5 consists of 11 irreducible semi-invariants. We searshing the semi-invariants as semitransvectants of the form [t, u] i, u (C 2 + ) 4. By using Lemma 2 we have that irreducibles covariants be only for the following values of u : ch 1, ch 2, ch 4, ch 5, ch 6, ch 7, ch 8, ch 9, ch 10, dv 3 2. We calculate the 65 semitransvetants of the forms [t, ch i ] k, k = 1,...,min(8, ord(ch i )), i = 1, 2, 4,..., 10, [t, dv 2 3 ]k, k = 5,...,8, and select 11 linearly independed such that ones dont belong to the vector space (C 2 + ) 5 : pt 1 = [t, dv3] 2 6, ord(pt 1 ) = 4, pt 2 = [t, dv3] 2 7, ord(pt 2 ) = 2, pt 3 = [t, dv3 2]8, ord(pt 3 ) = 0, pt 4 = [t, ch 1 ] 2, ord(pt 4 ) = 14, pt 5 = [t, ch 1 ] 4, ord(pt 5 ) = 10, pt 6 = [t, ch 1 ] 5, ord(pt 6 ) = 8, pt 7 = [t, ch 1 ] 7, ord(pt 7 ) = 4, pt 8 = [t, ch 2 ], ord(pt 6 ) = 10, pt 9 = [t, ch 4 ], ord(pt 9 ) = 10, pt 10 = [t, ch 4 ] 3, ord(pt 10 ) = 6, pt 11 = [t, dv2 3]5, ord(pt 9 ) = 6. Thus, C 8,5 = {pt 1, pt 2,...,pt 11 }. For i = 6 we have dim C 8,6 = 151, σ 5 = 172, dim S 6 = 30. Thus δ 6 = 151 (172 30) = 9, the set C 8, 6 consists of the 9 irreducible semi-invariants: sh 1 = [t, tr 6 dv 3 ] 6, ord(sh 1 ) = 4, sh 2 = [t, tr 6 dv 3 ] 7, ord(sh 2 ) = 2, sh 3 = [t, tr 6 dv 3 ] 8, ord(sh 3 ) = 0, sh 4 = [t, pt 5 ] 5, ord(sh 4 ) = 8, sh 5 = [t, pt 6 ] 5, ord(sh 5 ) = 6, sh 6 = [t, pt 8 ] 6, ord(sh 6 ) = 6, sh 7 = [t, pt 9 ] 4, ord(sh 7 ) = 6, sh 8 = [t, pt 9 ] 7, ord(sh 6 ) = 4, sh 9 = [t, pt 1 0] 2, ord(sh 9 ) = 10. For i = 7 we have dim C 8,7 = 289, σ 7 = 385, dim S 7 = 104. Thus δ 7 = 8, the set C 8, 7 consists of the 8 irreducible semi-invariants: si 1 = [t, ch 10 dv 3 ] 7, ord(si 1 ) = 4, si 2 = [t, tr6] 2 5, ord(si 2 ) = 6, si 3 = [t, tr6] 2 7, ord(si 3 ) = 2, si 4 = [t, tr6] 2 8, ord(si 4 ) = 0, si 5 = [t, sh 9 ] 6, ord(si 5 ) = 6, si 6 = [t, sh 9 ] 7, ord(si 6 ) = 4, si 7 = [t, ch 4 dv 3 ] 5, ord(si 7 ) = 6, si 8 = [t, ch 10 dv 3 ] 8, ord(si 6 ) = 2.

8 8 LEONID BEDRATYUK For i = 8 we have dim C 8,8 = 289, σ 8 = 385, dim S 8 = 104. Thus δ 8 = 8. The set C 8,8 consists of the 7 irreducible semi-invariants: vi 1 = [t, ch 4 tr 6 ] 7, ord(vi 1 ) = 2, vi 2 = [t, ch 4 tr 6 ] 8, ord(vi 2 ) = 0, vi 3 = [t, ch 2 tr 6 ] 5, ord(vi 3 ) = 6, vi 4 = [t, pt 10 dv 3 ] 7, ord(vi 4 ) = 4, vi 5 = [t, pt 10 dv 3 ] 8, ord(vi 5 ) = 2, vi 6 = [t, ch 4 tr 6 ] 5, ord(vi 6 ) = 6, vi 7 = [t, ch 4 tr 6 ] 6, ord(vi 7 ) = 4. For i = 9 we have dim C 8,8 = 910, σ 8 = 1782, dim S 8 = 877. Thus δ 8 = 5. The set C 8,9 consists of the 5 irreducible semi-invariants: de 1 = [t, vi 2 ] 6, ord(de 1 ) = 4, de 2 = [t, vi 2 ] 7, ord(de 2 ) = 2, de 3 = [t, sh 2 dv 3 ] 6, ord(de 3 ) = 2, de 4 = [t, pt 1 tr 6 ] 8, ord(de 4 ) = 0, de 5 = [t, ch 2 4 ]7, ord(de 5 ) = 2. For i = 10 we have dimc 8,10 = 1514, σ 10 = 3673, dim S 10 = Thus δ 10 = 3. The set C 8,10 consists of the 3 irreducible semi-invariants: des 1 = [t, pt 1 ch 4 ] 8, ord(des 1 ) = 0, des 2 = [t, si 2 dv 3 ] 8, ord(des 2 ) = 2, des 3 = [t, pt 1 0 ch 4 ] 8, ord(des 3 ) = 2. For i = 11 we have dimc 8,11 = 2430, σ 11 = 7355, dim S 11 = Thus δ 11 = 2. The set C 8, 11 consists of the 2 irreducible semi-invariants: odn 1 = [t, si 3 tr 6 ] 6, ord(odn 1 ) = 2, odn 2 = [t, vi 7 dv 3 ] 7, ord(odn 2 ) = 2. For i = 12 we have dimc 8,12 = 3788, σ 12 = 14520, dim S 12 = Thus δ 12 = 1. The set C 8,12 consists of the unique irreducible semi-invariant: dvan = [t, vi 5 tr 6 ] 6, ord(dvan 1 ) = 2. It is follows from [3] that δ i = 0 for i > 12. The cardinalities of the sets C 8, i and the covariant s degree-order distributions of Sylvester s results, see [6]. Summarizing the above results we get Theorem. The system of the 69 covariants: t, dv 1, dv 2, dv 3, dv 4, tr 1, tr 2, tr 3, tr 4, tr 5, tr 6, tr 7, tr 8, ch 1, ch 2, ch 3, ch 4, ch 5, ch 6, ch 7, ch 8, ch 9, ch 10, pt 1, pt 2, pt 3, pt 4, pt 5, pt 6, pt 7, pt 8, pt 9, pt 10, pt 11, sh 1, sh 2, sh 3, sh 4, sh 5, sh 6, sh 7, sh 7, sh 9, si 1, si 2, sh 3, sh 4, sh 5, sh 6, sh 7, si 8, vi 1, vi 2, vi 3, vi 4, vi 5, vi 6, vi 7, de 1, de 2, de 3, de 4, de 5, des 1, des 2, des 2, odn 1, odn 2, dvan. is a complete system of the covariants for the binary form of degree 8.

9 ON COMPLETE SYSTEM OF COVARIANTS FOR THE BINARY FORM OF DEGREE 8 9 References [1] Dixmier, J., Quelques aspects de la théorie des invariants, Gaz. Math., Soc. Math. Fr., 43, (1990) [2] Gordan, P., Invariantentheorie, Teubner, Leipzig, reprinted by Chelsea Publ. Co., (1987). [3] von Gall, F., Das vollständige Formensystem der binären Form 7 ter Ordnung. Math. Ann. XXXI, , (1888). [4] Sylvester, J. J., Demonstration of the impossibility of the binary octavic possessing any groundform of degorder 10.4, Am. J.M., IV ,(1881) [5] Olver, P., Classical invariant theory, Cambridge University Press,(1999). [6] Sylvester, J. J.; Franklin, F. Tables of the generating functions and groundforms for the binary quantic of the first ten orders. Am. J. II (1879) [7] Sylvester, J. J. Table des nombres de drives invariantives d ordre et de degr donns, appartenant la forme binaire du dixime ordre. C. R. LXXXIX (1880) [8] Sylvester, J. J. On the complete system of the Grundformen of the binary quentic of the ninth order. Am. J. II Published: (1879) [9] von Gall, F., Das vollständig Formensystem der binären Form achter Ordnung, Math. Ann., 17, 31-52, , (1880). [10] Shioda, T. On the graded ring of invariants of binary octavics. Am. J. Math. 89, (1967). [11] Dixmier, J., Lazard, D., Le nombre minimum d invariants fondamentaux pour les formes binaires de degré 7. Port. Math., 43,, , (1986). J. Symb. Comput., 6, No.1, (1988). [12] Roberts, M., The covariants of a binary quantic of the n-th degree, Quarterly J. Math.4, , (1861). [13] van den Essen, A., Polynomial automorphisms and the Jacobian conjecture. Progress in Mathematics (Boston, Mass.) Basel: Birkhauser,(2000). [14] Hilbert, D., Theory of algebraic invariants. Lectures. Cambridge University Press, (1993). [15] O. E. Glenn, reatise on theory of invariants, Boston,1915. [16] Springer, T.A., Invariant theory, Lecture Notes in Mathematics, 585, Springer-Verlag, (1977). [17].,..:, c. [18] Popov, V., Vinberg, E., Invariant theory. Algebraic geometry. IV:Linear algebraic groups, invariant theory. Vol. 55. Springer-Verlag, Berlin, Heidelberg, New York. [19] Bedratyuk, L.P., On Differential equation of invariants of binary forms, math.ag/ [20] Bedratyuk, L.P., On complete system of invariants for the binary form of degree 7, math.ag/ The degree-order distribution for C Appendix

10 10 LEONID BEDRATYUK degree order t 2 dv 4 dv 3 dv 2 dv 1 3 tr 7 tr 6 tr 4 tr 5 tr 3 tr 2 tr 1 tr 8 4 ch 3 ch 2, ch 4 ch 10 ch 8 ch 1, ch 7 ch 6 ch 5 ch 9 5 pt 3 pt 2 pt 1, pt 7 pt 10, pt 11 pt 6 pt 5, pt 8, pt 9 pt 4 6 sh 3 sh 2 sh 1, sh 8 sh 5, sh 6, sh 7 sh 4 sh 9 7 si 4 si 3, si 8 si 1, si 6 si 2, si 5, si 7 8 vi 2 vi 1, vi 5 vi 4, vi 7 vi 3, vi 6 9 de 4 de 2, de 3, de 5 de 1 10 des 1 des 2, des 3 11 odn 1, odn 2 12 dvan 13 Khmelnytsky National University, Instytuts ka st. 11, Khmelnytsky, 29016, Ukraine address: bedratyuk@ief.tup.km.ua