The moduli space of binary quintics

The moduli space of binary quintics A.A.du Plessis and C.T.C.Wall November 10, 2005 1 Invariant theory From classical invariant theory (we refer to the version in [2]), we find that the ring of (SL 2 )invariants of binary quintics is generated by four invariants: I 4, I 8, I 12 and I 18, where I d has degree d. We normalise the invariants I 4, I 8, I 12 using a normal form due to Clebsch [1]. Lemma 1.1 A general binary quintic can be expressed uniquely as a sum of 3 fifth powers of linear forms. Proof We represent the quintic a = 5 ( 5 r=0 r) ar x 5 r y r by the point A with coordinates (a r ) in P 5 (C). Then a quintic that is a fifth power (t 1 x + t 2 y) 5 corresponds to a point T lying on the standard rational normal curve C. If a is the sum of 3 fifth powers, A lies in the plane spanned by the corresponding points on C. No point may lie on 2 such planes, for otherwise the planes would lie in a hyperplane containing 6 points of C, whereas C has degree 5. But since there are 3 degrees of freedom for the 3 points on C, and hence for the plane, and 2 more for the point A on it, a generic point will lie on such a plane. We may extract more from this argument. It follows by specialisation that any point A in P 4 lies on a plane meeting C in 3 points, but the points need not be distinct. If all 3 coincide, so that A lies on the osculating plane corresponding to a point T, then a is divisible by the cube of t 1 x + t 2 y. If just 2 coincide, corresponding say to x 5 (repeated) and y 5, then we may write a = x 4 (px+qy)+ ry 5. We may thus write a general binary quintic in the form al 5 + bm 5 + cn 5 with l + m + n = 0. Then the invariants are given in terms of the elementary symmetric functions σ 1, σ 2 and σ 3 of a, b and c by the formulae I 4 = 4σ 1 σ 3 σ 2 2, I 8 = σ 2 σ 2 3, I 12 = 3σ 4 3. For the above form, the discriminant vanishes if and only if, for some choice of the radicals, we have a 1/4 + b 1/4 + c 1/4 = 0. 1

Also we have, up to a constant factor, I 18 = a 5 b 5 c 5 (b c)(c a)(a b). We have just seen that a quintic which may not be written in the above form either has a cubed factor or is equivalent to x 4 (px + qy) + ry 5. For such a form, I 12 = 0. The invariants are subject to a unique syzygy (of degree 36) I 2 18 = 144I 3 12 + (I 3 4 72I 4 I 8 )I 2 12 + (24I 3 8 6I 2 4 I 2 8 )I 12 + 9I 4 I 4 8. (1) Taking (I 4, I 8, I 12 ) as coordinates gives an isomorphism of the moduli space M onto the weighted projective space P (1, 2, 3). For the values of these invariants determine I 18 up to sign, while in the weighted projective space P (4, 8, 12, 18), the coordinates (I 4, I 8, I 12, I 18 ) and (t 4 I 4, t 8 I 8, t 12 I 12, t 18 I 18 ) both give the same point; taking t = i now shows that changing the sign of I 18 still gives the same point. The space M is smooth except at two points: (0, 1, 0), where there is a singularity of type A 1, and (0, 0, 1), where there is a singularity of type A 2. It gives a moduli space for all quintics with no factor of multiplicity 3 or more; all such are stable. Quintics with a repeated root yield a curve M: the discriminant curve. It has equation I 2 4 = 128I 8. 2 Special quintics For any set of 5 distinct points on P 1 (C) admitting a nontrivial symmetry group, we can choose coordinates so that the 5 points appear as (0, ±α, ±β) for some α, β; moreover, we may take αβ = 1. The quintic is thus x(x 4 2tx 2 y 2 + y 4 ) for t = (α 2 + β 2 )/2. For such quintics, I 18 = 0. The other invariants are I 4 = 16t(3t 2 + 5) I 8 = 2(t 2 5) 2 (9t 2 5) I 12 = 12t(t 2 5) 4. This parametrises the curve Γ 5 M whose equation is given by the right hand side of Equation 1. (This is not a good parametrisation since t and t yield the same point of the curve.) We have the following points of particular significance on the discriminant curve : F 0 = (48, 18, 12), represented by f 0 = x 2 y(x 2 y 2 ) (harmonic tetrad with one point repeated), F 1 = (0, 0, 1), represented by f 1 = x 2 (x 3 y 3 ) (equianharmonic tetrad with one point repeated), F 2 = (16, 2, 6), represented by f 2 = x 2 y 2 (x y) (two repeated points, and another point). The intersection of Γ 5 with consists of F 0, and F 2 counted twice. 2

A pentad with distinct points, and with symmetry group of order greater than 2, has invariants at one of the following points in M: F 3 = ( 3, 3, 3), represented by f 3 = xy(x 3 y 3 ), F 4 = (0, 1, 0), represented by f 4 = x(x 4 y 4 ), F 5 = (1, 0, 0), represented by f 5 = x 5 y 5, with 3-, 4- and 5-fold symmetry respectively. The singular points of M occur at F 4 and F 1, with types A 1 and A 2 respectively. The curve Γ 5 has singular points of type A 2 at F 3 and of type A 5 at F 4. 3 The real case In this section we will write M(R) for the set of real points of M. The following result is due to Hermite [3]. Lemma 3.1 Each point of M(R) is represented by a quintic with real coefficients. Proof For Hermite s proof we suppose that the point does not lie on (other cases may be treated directly). Invariant theory provides two linear covariants of a quintic, which are linearly independent when there is no repeated root. Take these as coordinates: then the coefficients of the quintic are themselves invariants, hence are real. An alternative argument may be given when I 12 0. Write the quintic in the above normal form al 5 +bm 5 +cn 5 with l+m+n = 0. Then the invariants are given above; since σ 3 0, the same point on M is given by (4σ 1 σ2 2 σ 3, σ 2, 3σ 3 ). Thus adjusting a, b and c by a common scalar factor we may suppose that these, and hence the σ r are all real. Now either a, b, c are all real and we may take l, m, n to be real linear forms or one say a is real and the other two complex conjugate. We then take l real and m, n complex conjugate (e.g. l = 2x, m = x + iy, n = x iy) to obtain a real quintic. If we think of the quintic as determining 5 points on P 1 (C), then a real form gives an anti-holomorphic involution preserving the set of points. If there are two such, their product gives a holomorphic automorphism, so the point in M must lie on Γ 5. We wish to determine, for each real point in M(R), the number of real roots of the corresponding real quintic. The standard theory tells us that for one sign of the discriminant there are 3 real roots; for the other, either 1 or 5 real roots. It follows from the above that the number of real roots may only change as we cross Γ 5 or. We next investigate Γ 5. As before, for 5 distinct points on P 1 (R) admitting a nontrivial symmetry, we choose coordinates so that the points are (0, ±α, ±β) for some α, β; this fixes x, y up to scalars, and the quintic is then x multiplied by a quadratic in x 2 and y 2. We adjust the scalars so that the coefficient of x 5 is 1 and that of xy 4 is ±1 3

(if the coefficient of xy 4 vanishes, the quintic is unstable; if that of x 5 vanishes, we have the point F 0 ). This fixes x, and y up to sign. However, changing the sign of the coefficient of x 3 y 2 gives the same point of M(R) (it corresponds to substituting iy for y). First consider x(x 4 2tx 2 y 2 + y 4 ). From the invariants given above, we find I 2 4 128I 8 = 2 8 5 3 (t 2 1) 2 > 0 except when t = ±1 corresponding to F 2, or, in the limit, t = corresponding to F 0. As t 2 increases from 0 to the point in M(R) runs from F 4 to F 0, touching at F 2 when t 2 = 1 and passing through F 5 when t 2 = 20. The quadratic for (x/y) 2 has no real roots for t 2 < 1 and 2 real roots for t 2 > 1, which have the same sign as t. Thus the quintic has 5 real roots for t > 1 and only 1 for t < 1. For x(x 4 2ux 2 y 2 y 4 ), we have I 2 4 128I 8 = 2 8 5 3 (u 2 + 1) 2 < 0. As u 2 increases from 0 to, the point in M(R) runs from F 4 to F 0, passing through F 3 when u 2 = 3. The quadratic for (x/y) 2 has 2 real roots of opposite signs. Thus the quintic has 3 real roots. To interpret these facts it is convenient to consider the affine chart of M(R) where I 4 = 1, so that we may take (I 8, I 12 ) as coordinates. In the diagram, we illustrate the curves (a vertical line) and Γ 5. Taking the weights into account, we see that the compactification of this plane in M(R) may be topologically described by regarding the plane as the interior of a disc, and identifying points on the boundary via reflection in the horizontal axis. In addition, the 2 points at the ends of this axis are identified in M(R) (the space has a topological singularity a quadratic cone at F 4 ), but it is convenient to describe the space where these are regarded as separate: this is homeomorphic to a sphere. It follows that the region to the right of, which corresponds to having 3 real roots, is not separated by Γ 5 ; while the region to the left is separated into 2 components. Both sides of that part of Γ 5 going off to the left (where t 2 < 1) give quintics with 1 real root, thus those with 5 real roots correspond to the small region near the centre of the figure. 4 Exceptional curves We are interested in the five curves in P arising in [4]. These are constructed as follows. We start with the quintic curves H i (1 i 5) defined in P 2 (C) by the equations h i = 0, with h i given by the following table, which also gives the types of singularities of the curves H i at the points indicated: Equation (0, 0, 1) (0, 1, 0) (1, 0, 0) h 1 = xz(y 2 z x 3 ) D 8 D 5 h 2 = z(y 3 z x 4 ) E 6 A 7 h 3 = y 3 z 2 x 5 E 8 A 4 h 4 = yz(y 2 z x 3 ) E 7 A 5 A 1 h 5 = xyz(yz x 2 ) D 6 D 6 A 1 4

each with (semisimple) 1-parameter symmetry group G i. Thus the lines L in the plane P 2 (C) fall into a 1-parameter family of orbits under G i, so their intersections with H i give essentially a 1-parameter family of binary quintics, whose moduli trace out a curve Γ i in P. If the line L is an edge of the triangle of reference, or even if it passes through the point (0, 0, 1), the corresponding binary quintic is unstable, so does not determine a point of P. For lines through (1, 0, 0) or (0, 1, 0) respectively, the corresponding point in the M is given by the following table: Line H 1 H 2 H 3 H 4 H 5 y = z F 3 F 4 F 5 F 1 F 0 x = z (F 2 ) F 1 F 1 F 0 (F 2 ) Here the symbol (F 2 ) means that although the intersection gives an unstable binary quintic, the completed curve Γ i in P passes through F 2 at the corresponding limiting point. We will see later that F i Γ j only as indicated in this table, except that (as we already know), F 3, F 4 and F 5 belong to Γ 5. To obtain a parametrisation of Γ i we substitute y = x+tz in h i and compute the invariants of the resulting binary quintic. In the cases of Γ 3 and Γ 5 this does not give a good parametrisation. In the former case it suffices to substitute t 2 = T. In the latter, we find that the lines z = y + q 1 4 x and z = y + q 1 1 4 x lead to quintics having as invariants the same point in P. More precisely there is a projectivity between these lines such that the intersections with y = 0 correspond to each other, and the intersections of one with y 2 = xz correspond to the intersections of the other with xz = 0. We may choose a new parameter to allow for this or, more simply, start from the invariants of x(x 4 2tx 2 y 2 +y 4 ) as above. We can also determine equations for these curves in P by eliminating the parameter t. If R i = 0 is the equation of Γ i, we have and deg = 2. i 1 2 3 4 5 deg Γ i 12 11 8 14 9 5 Intersections and Singularities In general in P = P (1, 2, 3) curves of degrees d 1 and d 2 will have d 1 d 2 points of intersection. At smooth points of P, intersection multiplicities are as usual. At a singular point we lift the curve-germs to the appropriate branched cover, determine the intersection number there, and divide by 2 (at the singular point of type A 1 ) or 3 (for that of type A 2 ). 5

First we check intersections with. We find Γ 1 = 3F 2 + G 1 Γ 2 = 8 3 F 1 + G 2 Γ 3 = 5 3 F 1 + G 3 Γ 4 = 2 3 F 1 + 3F 0 + G 4 Γ 5 = F 0 + 2F 2, where the points G i are distinct from each other and from the F i. In particular, the only points Γ i Γ j occur among F 0, F 1, F 2. The mutual intersections of the Γ i can be found by substituting a parametrisation of Γ i in the equation R j and factorising. A first result is that (except at F 0, F 4 ), all intersection numbers with Γ 5 are even, so for this purpose, Γ 5 does behave as though its degree were 4 1 2. The factors are as in the following table, where α i is of degree 1, and corresponds to F i ; φ j is irreducible of degree j over Q (and not necessarily the same on different occasions). Γ 1 Γ 2 = φ 4 φ 6 φ 12 Γ 1 Γ 3 = φ 16 Γ 1 Γ 4 = φ 1 φ 1 φ 2 φ 2 φ 4 φ 4 φ 6 φ 8 Γ 1 Γ 5 = α 2 α 3 φ 1 φ 2 φ 4 Γ 2 Γ 3 = α 5/3 1 φ 13 Γ 2 Γ 4 = α 2/3 1 φ 2 φ 3 φ 4 φ 16 Γ 2 Γ 5 = α 1/4 4 φ 2 φ 6 Γ 3 Γ 4 = α 2/3 1 φ 18 Γ 3 Γ 5 = α5φ 2 4 Γ 4 Γ 5 = α 1/2 0 φ 1 φ 2 φ 3 φ 4. Apart from the α j, different φ j all represent points distinct from the F j and from each other. Collectively, the φ s respresent 151 points, at each of which just 2 of the Γ i meet transversely (save when one curve is Γ 5, when we have simple contact. We now consider singularities of the curves Γ j. In general, a smooth curve of degree d in weighted projective space P (a 0, a 1, a 2 ) has genus g equal to the number of monomials of degree d 2 0 a i. This is to be decreased by terms corresponding to any singularities (the usual rule µ+r 1 will apply at points smooth on P ). Now our curves Γ 1... Γ 5 have degrees 12, 11, 8, 14, 9; decreasing by 6 gives 6, 5, 2, 8, 3 and the corresponding numbers of monomials are 7, 5, 2, 10, 3: e.g. in the first case, we have x 7, x 5 y, x 3 y 2, xy 3, x 3 z, xyz, xz 2. Since our curves are parametrised, they are rational, so these numbers must be accounted for by singularities. Computationally, we seek repeated factors of the discriminant of R i with respect to z = I 12. These are, with notation as above and where δ denotes 6

I 2 4 128I 8, Curve discriminant singularities Γ 1 δ 2 φ 2 1φ 2 2φ 2 4 φ 1 φ 2 φ 4 Γ 2 φ 2 5 φ 5 Γ 3 φ 2 2 φ 2 Γ 4 δ 2 φ 2 1φ 2 3φ 2 6 φ 1 φ 3 φ 6 Γ 5 j 5 2φ 3 1 j 2 β 3. The factors δ for Γ 1, Γ 4 do not yield singular points: Γ 1 touches at F 2 and Γ 4 touches it at F 0 (otherwise we would have transverse intersections at smooth points.) For Γ 1... Γ 4 the remaining factors yield (distinct) singular points of type A 1. For Γ 5 the factor j 2 vanishes at F 5 ; β 3 vanishes at F 3. Calculating in local coordinates shows that F 5 is a singular point of Γ 5 of type A 4, and that F 3 is one of type A 2 : together, these lower the genus by 3, confirming our calculations. The φ s corresponding to singular points represnt a further 24 points of P. For our stratification, in the C case we need 151 (φ s before) + 24 (these φ s) +3(F 3, F 4, F 5 ) = 178 special points (as well as the 7 points F i (i = 0, 1, 2), G i (i = 1, 2, 3, 4) on. 6 Equations for the curves The following equations for the Γ i were found using Maple: R 1 = +257460937500z 4 + ( 849570312500xy + 5283203125x 3 )z 3 + ( 3920231212500y 3 + 638876915625x 2 y 2 15092175000x 4 y + 83418750x 6 )z 2 +(6869004789375xy 4 293089815000x 3 y 3 +4993132500x 5 y 2 33322500x 7 y+67500x 9 )z + (14838034276107y 6 3318382102464x 2 y 5 + 182225527470x 4 y 4 3154670820x 6 y 3 + 23909580x 8 y 2 82944x 10 y + 108x 12 ); R 2 = ( 1043568939604377600000y + 8152882340659200000x 2 )z 3 +( 3061977358592424960000xy 2 +51184790018542440000x 3 y 212992905504211875x 5 )z 2 +( 992379068070210017644428y 4 +29683683214082475400404x 2 y 3 327745815296433611202x 4 y 2 + 1575492903769317156x 6 y 2760926734011888x 8 )z +(44434883644934776909452xy 5 1596859992578905245387x 3 y 4 +22126314998528665236x 5 y 3 146702369241038988x 7 y 2 + 461918940996344x 9 y 551433967396x 11 ); R 3 = (3556224y 27783x 2 )z 2 + (3951234xy 2 71640x 3 y + 288x 5 )z + (85470025y 4 1919000x 2 y 3 + 10800x 4 y 2 ); R 4 = (+876977530773606236160000000000y 2576121496647468318720000000000x 2 )z 4 + ( 2241161829517312917504000000000xy 2 + 5048380953660066103296000000000x 3 y 35017212985004261376000000000x 5 )z 3 +( 1345689133882266793401542246400000y 4 +3984077097551882484664447795200000x 2 y 3 88678603566351816985254297600000x 4 y 2 + 673429354733578011593932800000x 6 y 1744611164407104661094400000x 8 )z 2 +( 727542875476948805138597806080000xy 5 +4539316713218273244167641497600000x 3 y 4 137123596035574793306741145600000x 5 y 3 +1510284183673736743590297600000x 7 y 2 7173930892257690439680000000x 9 y + 12362556735676003167360000x 11 )z 7

+(+240997492810845047331283179405312y 7 154334790552800926632069172297728x 2 y 6 +1175288933743424804473444371529728x 4 y 5 60335030669807815740063964200960x 6 y 4 + 1196342711687175840536772280320x 8 y 3 11476338070034133461188952064x 10 y 2 + 53502446012645548042080896x 12 y 97393677359695041798001x 14 ); R 5 = 144z 3 + ( 72xy + x 3 )z 2 + (24y 3 6x 2 y 2 )z + 9xy 4. 7 Characteristic 2 Introduction Over a field K of characteristic 2 (which, when convenient, we assume algebraically closed) there are several differences to the above theory. We now write a general quintic in the form a = 5 a r x 5 r y r, (2) r=0 omitting the binomial coefficients. We compute the above invariants for a where, for the moment, we still work in characteristic zero. We find that the expressions for I 4, 2 5 I 8 and 2 10 I 12 have no denominators in their expansions; reducing them modulo 2 we obtain i 4, i 8 and i 2 6, where the invariants i 4, i 6 and i 8 are given by the following expressions. First set A 1 := a 0 a 3 + a 1 a 2, A 2 := a 0 a 5 + a 1 a 4, A 3 := a 2 a 3, A 4 := a 2 a 5 + a 3 a 4, B 1 := a 1 a 2 2a 5 + a 0 a 2 3a 4, B 2 := a 1 a 3 3 + a 3 2a 4, and C := a 0 a 5 3 + a 5 2a 5. Then i 4 = A 2 A 3 + A 2 2 + B 1, i 6 = a 4 2A 4 + a 4 3A 1 and i 8 = A 2 C + B 2 2 + B 2 A 2 A 3 + B 1 A 2 3 + A 3 3A 2 + A 4 3. We can verify directly that i 4, i 6 and i 8 are indeed invariants of a under the action of SL 2 (K). Using the same technique of clearing denominators and reducing modulo 2, we find that the invariant I 18 yields i 3 6, and the discriminant gives i 2 4, so we obtain no further basic invariants. We will see in Theorem 7.2 that the ring of polynomial invariants is the polynomial ring K[i 4, i 6, i 8 ]. The moduli space M 2 is thus isomorphic to the weighted projective space P (2, 3, 4)(K). Its singular points are of type A 2 at (0, 1, 0) and of type A 1 at (0, 0, 1). Binary quartics in characteristic 2 We begin by revising this rather simpler case. For quartics f(x, y) := ax 4 + bx 3 y + cx 2 y 2 + dxy 3 + ey 4, the ring of invariants is polynomial, generated by i 2 := bd + c 2 and i 3 := ad 2 + bcd + eb 2. The vanishing of i 3 characterises the case of equal roots. 8

The automorphism group of P 1 (K) is SL 2 (K) = P GL 2 (K). Each involution (element of order 2) is conjugate to the map given affinely as t t + 1, which has the unique fixed point (pole). Given 4 distinct points in P 1 (K), we can arrange them in 3 ways into 2 pairs. For each such arrangement, there is a unique involution interchanging the two elements of each pair. The poles of all 3 involutions coincide, and the involutions commute, forming a copy of the four group. The derivatives f/ x = bx 2 y+dy 3, f/ y = bx 3 +dxy 2 depend only on the class of f modulo the ideal I 1 = x 2, y 2 K[x, y] generated by perfect squares, and (provided f I 1 ) vanish together only at the point where bx 2 + dy 2 = 0. This point is the pole of the involutions permuting the roots of f: we can call it the pole of f. If, however, f I 1, so that b = d = 0, f itself is a perfect square, so can be reduced under SL 2 (K) to cx 2 y 2 (with c 0) or x 4. For f not a square, we take the pole of f as (1, 0), so that b = 0, d 0, the involutions take the form t(= x/y) t + α, t t + β, so f = a(x + γy)(x + (γ + α)y)(x + (γ + β)y)(x + (γ + α + β)y); (3) here we can also reduce γ to 0, so f = ax 4 + cx 2 y 2 + dxy 3, and the invariants reduce to i 2 = c 2, i 3 = ad 2. Under SL 2 (K) we can further reduce d to 1, so f has the unique normal form i 3 x 4 + i 2 x 2 y 2 +xy 3. If there is a further symmetry of the roots, we can take it to fix 0, and it must cyclically permute the others. In this case, i 2 = 0 and the set of 4 points is equivalent (under P GL 2 (K)) to the affine line over F 4. Quintics with symmetry and special quintics A set of 5 points admitting an involution must consist of a set of 4 points together with its pole, and hence we can take the equation as yf with f as in (3), with invariants ((αβ(α + β)) 2, 0, (α 2 + αβ + β 2 ) 6 ). In particular, the condition for a quintic to possess such a symmetry is i 6 = 0. For a symmetry of order 3 or 5, as in the characteristic zero case, we may suppose the group a diagonal subgroup of SL 2, and obtain the above forms f 3 and f 5. Over K, these are equivalent to each other, and to f 4, which is the equation for the set of 5 points forming the projective line P 1 (F 4 ) over the Galois field F 4. This admits the group SL 2 (F 4 ) of automorphisms, which has order 60 and acts as the alternating group. The corresponding invariants are (1, 0, 0). As in characteristic zero, we also have cases with coincident roots: f 1 = x 2 (x 3 y 3 ) (equianharmonic tetrad with one point repeated), with invariants (0, 1, 0), and f 2 = x 2 y 2 (x y) (two repeated points, and another point), with invariants (0, 0, 1) (over K, f 0 is equivalent to this). Normal forms For a fifth power of a linear form we have a 2 = a 3 = 0; thus a general quintic is no longer a linear combination of fifth powers: indeed, a quintic is if and only 9

if it belongs to the ideal I 2 K[a 0,..., a 5 ] generated by 4 th powers of linear forms. Noting that f/ x = a 0 x 4 + a 2 x 2 y 2 + a 4 y 4, we see that, if a 2 and a 3 do not both vanish, there is a unique differential operator D = α / x + β / y such that Df has zero coefficient of x 2 y 2 and hence is a fourth power. Theorem 7.1 A binary quintic f can be reduced under SL 2 (K) to a unique normal form as follows: (a) if i 4 0, i 6 0, a 0 x 5 + x 3 y 2 + a 4 xy 4 + a 5 y 5 with a 0 0, a 5 0, with invariants (a 2 0a 2 5, a 5, a 0 a 2 5 + a 2 4); (b) if i 4 0, i 6 = 0, a 1 x 4 y + a 3 x 2 y 3 + a 4 xy 4 with a 1 0, a 4 0; with invariants (a 2 1a 2 4, 0, a 2 1a 6 3), and either a 3 = 1 or a 3 = 0, a 1 = 1; (c) if i 4 = 0, (i 6, i 8 ) (0, 0), x 3 y 2 + a 4 xy 4 + a 5 y 5 with (a 4, a 5 ) (0, 0), with invariants (0, a 5, a 2 4); (d) if i 4 = i 6 = i 8 = 0, one of ax 3 y(x + y) with a 0, x 3 y 2, x 4 y or x 5. Proof (a) Since i 6 0, we cannot have a 2 = a 3 = 0, so have a derivation D as above. We change coordinates to take Df as (a non-zero multiple of) y 4. Then A 1 = 0 and A 4 0, so i 6 = a 4 2A 4 0. We can thus also take a 2 x + a 3 y as a non-zero multiple of x, or equivalently D as / y. Then the coordinates x and y are both fixed up to scalar multiples; and a 1 = a 3 = 0, a 5 0. Now i 4 = a 2 0a 2 5 is non-zero, so a 0 0. Replacing x by a 1 2 x and y by a 2y, we reduce a 2 to 1. (b) If a 2 and a 3 do not both vanish, we proceed as before up to the point where A 1 = 0 and A 4 0, but now since i 6 = 0, we deduce a 2 = 0, so D = / x. We now have a 0 = a 2 = 0, a 4 0, which we recognise as the same form as for quintics with symmetry. As in the preceding paragraph, we can choose x as one of the factors of f, thus reducing a 5 to 0, and can reduce a 3 to 1. In the case a 2 = a 3 = 0, the invariants are ((a 1 a 4 + a 0 a 5 ) 2, 0, 0). As i 4 0, there are at least 2 distinct linear factors. Choosing x and y to be two of them we have a 0 = a 5 = 0, hence a 1 0, a 4 0. The quintic is equivalent to P 1 (F 4 ) (in particular, f is indeed a sum of two fifth powers), and this case is subsumed as a 3 = 0 in the preceding normal form. (c) If i 4 = 0, the quintic has a repeated factor, and we can take the factor as y 2, and thus suppose a 0 = a 1 = 0. The invariants then reduce to (0, a 4 2(a 2 a 5 + a 3 a 4 ), a 6 2a 2 4 + a 4 2a 4 3). If a 2 = 0, all invariants vanish; otherwise we normalise coordinates first so that a 2 = 1 and then so that a 3 = 0. The invariants now reduce to (0, a 5, a 2 4), so our hypothesis gives (a 4, a 5 ) (0, 0). (d) We saw in the preceding paragraph that if all invariants vanish, we may reduce till either a 0 = a 1 = a 2 = 0 or a 3 = a 4 = a 5 = 0: in either case, there is a linear factor of multiplicity at least 3. Thus there are at most 3 distinct roots, so by inspection the quintic can be reduced to ax 3 y(x + y) (with a 0), x 3 y 2, x 4 y or x 5. We observe that the results of Geometric Invariant Theory apply to this case, and imply that all invariants vanish if and only if there is a 3-fold factor; and in all other cases the quintic is stable, and is determined up to SL 2 (K) by its invariants, as we see directly. 10

Theorem 7.2 The SL 2 (K)-invariants in K[a 0,... a 5 ] form the polynomial ring K[i 4, i 6, i 8 ]. Proof Any invariant is determined by its value on a generic quintic, which we can take in the normal form (a). As we have just seen, the invariants (i 4, i 6, i 8 ) here take the values (a 2 0a 2 5, a 5, a 0 a 2 5 + a 2 4). We can thus write a 5 = i 6, a 0 = i 1 6 (i4 ) and a 4 = (i 8 + i 6 (i4 )). The field of invariants is thus contained in K(i 6, i 1 6 (i4 ), (i 8 + i 6 (i4 )), which has degree 4 over K(i 4, i 6, i 8 ). We see by inspection that each strictly intermediate field contains (i 4 ). However, for a generic quintic (2), i 4 is not a perfect square. Thus the field of invariants coincides with K(i 4, i 6, i 8 ). It remains to show that an element of this field which restricts to a polynomial in a 0,..., a 5 is a polynomial in i 4, i 6 and i 8. We see from the preceding paragraph that we have a polynomial in i 6, i 1 6 (i4 ) and (i 8 + i 6 (i4 )), so the only denominator that may occur is a power of i 6. If such a case occurs, there must be an example with denominator i 6, and we may suppose without loss of generality that the numerator depends on i 4 and i 8 only. But for the normal form for case (b), i 4 and i 8 are independent, while i 6 = 0. Hence no such example exists. Exceptional curves As before, given a plane quintic curve H i with 1-parameter symmetry group G i, the lines L in the plane P 2 (K) fall into a 1-parameter family of orbits under G i, so we expect their intersections with H i to give a family of binary quintics whose moduli trace out a curve Γ i in M 2. If we take the above calculations, remove the appropriate power of 2, and reduce mod 2, R1 reduces to i 8 6, R2 to i 2 6i 4 8, R3 to (i 4 i 2 6 + i 2 8) 2 and R5 to i 6 6, but R4 remains irreducible, giving (I think) i 8 6i 8 + i 6 6i 3 4i 8 + i 6 6i 5 4 + i 4 6i 2 4i 3 8 + i 2 6i 3 4i 4 8 + i 2 6i 5 4i 3 8 + i 2 6i 11 4 + i 2 4i 6 8 + i 14 4. However, it is much easier to calculate directly. Cases are enumerated in [4] as follows: N ame Equation Singularities H 1 xz(y 3 xz 2 ) E 7 A 5 A 1 H 2 z(y 4 x 3 z) E 6 A 7 H 3 yz(y 3 x 2 z) D 8 D 5 H 4 xyz(y 2 xz) 2D 6 A 1 H 5 y 5 x 2 z 3 E 8 A 4 H 6 y(y 4 2txy 2 z + x 2 z 2 ) 2D 6 H 7 f(y, z) N 16 H 8 x(y 2 xz + x 2 )(y 2 xz x 2 ) T 2,3,10 H 9 y(y 3 z x 4 ) W 13 H 10 yz(y 3 xz 2 ) Z 12 A 1 H 11 z(y 4 2tx 2 y 2 + x 4 ) T 2,4,4 A 1 H 12 z(y 4 2txy 2 z + x 2 z 2 ) T 2,3,6 A 3 H 13 y 5 xz 4 W 12 H 14 y(y 4 xz 3 ) Z 11 A 1 11

To adapt this to characteristic 2, replace the parameter 2t in H 6, H 11 and H 12 by t, and amend the normal form for H 8 to x(y 2 xz + x 2 )(y 2 xz). Again we can substitute z = x + uy and calculate the invariants. This gives H 1 [u, u 9 + 1, u 5 + u 8 + u 14 ] H 2 [u 2, u 11, 0] H 3 [1, 0, u 12 ] H 4 [u 2, 0, 1 + u 4 + u 8 + u 12 ] H 5 [1, u 10, u 10 ] H 6 [t 2 u 2, 0, u 12 + u 8 t 2 + u 4 t 4 + t 6 ] H 8 [u 2, 0, 1 + u 4 + u 8 + u 12 ] H 9 [1, 0, 0] H 10 [1, 0, u 6 ] H 11 [0, 0, u 8 t 6 + t 6 + t 8 u 4 ] H 13 [1, 0, 0] H 14 [u 2, u 5, 0], while H 12 gives [u 2 t 2, t 5 u+t 5 u 5 +tu 9, t 6 +(t 4 +t 6 +t 8 )u 4 +(t 2 +t 4 )u 8 +(1+t 4 )u 12 ]. Equations H 9 and H 13 both lie in the ideal I 2 generated by 4th powers of linear forms. Hence the same is the case for the restriction to any line, which thus always has i 6 = i 8 = 0, giving a single point in M 2. H 11 consists of a line and a repeated conic, so all linear sections give the point (0, 0, 1) M 2. For each curve in the family H 7, all sections are equivalent. For each value of t, the curve H 12 gives a curve; as t varies, these curves fill up M 2. Each such curve parametrises the set of quintics with roots 4 fixed points and one variable point; thus there are 5 such curves through each point of M 2. In the remaining cases we obtain curves Γ i, but these are not all distinct. Equations H 2, H 3, H 5 and H 8 lie in the ideal Ii 2 generated by squares of quadratic forms. This, however, has no immediate consequence for linear sections. We do find, however, that i 6 = 0 for all sections of H 3, H 4, H 6, H 8 and H 10 ; thus all these yield the same exceptional curve i 6 = 0 in M 2. Indeed, if there is no monomial in which y appears to the 0 th or 2 nd power, and x 3 yz and xyz 3 are absent, the substitution z := x + ty yields a binary quintic with x 5 and x 3 y 2 absent. The curves H 2 and H 14 both give the exceptional curve i 8 = 0 in M 2. There remain H 5, giving the exceptional curve i 2 4i 4 6 = i 4 8 and H 1, giving (I think) the curve i 8 6i 8 +i 6 6i 3 4i 8 +i 6 6i 5 4 +i 4 6i 2 4i 3 8 +i 2 6i 3 4i 4 8 +i 2 6i 5 4i 3 8 +i 2 6i 11 4 +i 2 4i 6 8 +i 14 4 = 0. References [1] Clebsch (normal form) [2] Grace and Young [3] Hermite [4] Wall, C.T.C. Highly singular quintic curves, Math. Proc. Camb. Phil. Soc. 119 (1996) 257 277. 12