Page 94 -
P. 94

§3. The Discriminant and the Invariant j  71

                             4
                                              2
                            u b 4 = b 4 + rb 2 + 6r ,
                              ¯
                                                     3
                             6
                                              2
                            u b 6 = b 6 + 2rb 4 + r b 2 + 4r ,
                              ¯
                                               2
                             8
                            u b 8 = b 8 + 3rb 6 + 3r b 4 + 3r 4 ,
                              ¯
        and u   =  . Moreover, if k is a field of characteristic different from 2, then for
             12 ¯


        y = y + (a 1 x + a 3 )/2and x = x the equation in normal form becomes
                                      3
                                2
                                               2
        (N 2 )              (y ) = (x ) +  b 2  (x ) +  b 4    b 6  .
                                                    x +
                                          4       2      4
        (3.3) Notations. Associated to the coefficients a i in (N 1 ) and b j in (3.1) are the
        coefficients
                          2
                                              3
                     c 4 = b − 24b 4 ,  c 6 =−b + 36b 2 b 4 − 216b 6 .
                          2                   2
        For   invertible, we introduce the quantity
                                              c 3
                                   j(E) = j =  4  .

                                   3
                                             2
                                         3
        We have the following relation 12   = c − c , and, therefore,
                                         4   6
                                            c 3
                                   j = 12 3  3  4  2  .
                                          c − c
                                           4   6
        (3.4) Remarks. Under an admissible change of variable as in (2.3) and (2.4) we
                                    ¯
        have for the corresponding ¯c j and j the relations
                       4              6
                                                         ¯
                      u ¯c 4 = c 4  and u ¯c 6 = c 6  and finally j = j.
                                     ¯
        For the j-invariant we have j = j which means that j(E) is an invariant of an
        elliptic curve E up to isomorphism. If E and E are isomorphic, as in (2.5) and (2.8),
                                             ¯
                             ¯
        then we have j(E) = j(E). Moreover, if k is a field of characteristic different from



        2 and 3, then for y = y and x = x + b 2 /12 the equation in normal form becomes

                                           3
        (N 3 )                  (y ) = (x ) −  c 4  x −  c 6


                                             48     864


        and ω = dx /2y .
           Now we take up the question of when the normal form defines a nonsingular
                                                  3
        curve. First consider a cubic polynomial f (x) = x + px + q. The discriminant
                                               2
        D( f ) is the resultant R( f, f ) where f (x) = 3x + p is the derivative of f (x).We


        compute

                                q  p   0  1   0

                                0  q   p  0   1
                                                     2     3
                       D( f ) = p  0   3  0   0 = 27q + 4p .



                                0  p   0  3   0

                                0  0   p  0   3
   89   90   91   92   93   94   95   96   97   98   99