Page 71 - Geometric Modeling and Algebraic Geometry
P. 71

68     P. H. Johansen et al.
                           when m ≥ 2 any choice of p 1 ,...,p r and m 1 ,...,m r with m 1 + ··· + m r =
                           12 − m corresponds to a four dimensional space of equations f 4 that gives this set

                           of roots and multiplicities in f 4 (θ).If f is one such f 4 , then any other is of the form
                                                          4
                           λf + 
f 3 for some constant λ  =0 and linear form 
. All of these give monoids that

                             4
                           are projectively equivalent.
                              When m =0, we write p i =(α i : β i ) for i =1,...,r. The condition b 0 = b 12
                           on the coefficients of q translates to
                                                 α  m 1  ··· α m r  = β  m 1  ··· β m r .  (4.3)
                                                         r
                                                                     r
                                                  1            1
                           This means that any choice of parameter points (α 1 : β 1 ),..., (α r : β r ) and mul-
                           tiplicities m 1 ,...,m r with m 1 + ··· + m r =12 that satisfy condition (4.3) cor-
                           responds to a four dimensional family λf + 
f 3 , giving a unique monoid up to

                                                              4
                           projective equivalence.
                              For example, we can have an A 11 singularity only if f 4 (θ) is of the form
                           (αs − βt) . Condition (4.3) implies that this can only happen for 12 parameter
                                    12
                           points, all of the form (1 : ω), where ω 12  =1. Each such parameter point (1 : ω)
                           corresponds to a monoid uniquely determined up to projective equivalence. How-
                           ever, since there are six projective transformations of the plane that maps Z(f 3 ) onto
                           itself, this correspondence is not one to one. If ω 12  = ω 12  =1, then ω 1 and ω 2 will
                                                                  1     2
                           correspond to projectively equivalent monoids if and only if ω = ω or ω ω =1.
                                                                                  3
                                                                                       3
                                                                                         3
                                                                             3
                                                                             1    2    1  2
                           This means that there are three different quartic monoids with one T 3,3,4 singularity
                           and one A 11 singularity. One corresponds to those ω where ω =1, one to those ω
                                                                             3
                           where ω = −1, and one to those ω where ω = −1. The first two of these have real
                                                               6
                                  3
                           representatives, ω = ±1.
                              It easy to see that for any set of multiplicities m 1 + ··· + m r =12, we can find
                           real points p 1 ,...,p r such that condition (4.3) is satisfied. This completely classifies
                           the possible configurations of singularities when f 3 is an irreducible nodal curve.
                              Case 2. The tangent cone is a cuspidal curve, and we can assume f 3 (x 1 ,x 2 ,x 3 )=
                           x − x x 3 . The cuspidal curve is singular at (0 :0:1) and can be parameterized by
                                 2
                            3
                            1    2
                           θ as a map from P to P where θ(s, t)=(s t, s ,t ). The intersection numbers are
                                                                    3
                                              2
                                                              2
                                          1
                                                                  3
                           determined by the degree 12 polynomial f 4 (θ). As in the previous case, f 4 (θ) ≡ 0
                           if and only if f 3 is a factor of f 4 , and we will assume this is not the case. The mul-
                           tiplicity m of the factor s in f 4 (θ) determines the type of singularity at O.If m =0
                           (no factor s), then O is a Q 10 singularity. If m =2 or m =3, then O is of type
                           Q 9+m .If m> 3, then (0 :0:1) is a singular point on Z(f 4 ), so the monoid has a
                           singular line and is not considered in this article. Also, m =1 is not possible, since
                           f 4 (θ(s, t)) = f 4 (s t, s ,t ) cannot contain st 11  as a factor.
                                          2
                                             3
                                                3
                              For each m =0, 2, 3 we can analyze the possible configurations of other sin-
                           gularities on the monoid. Similarly to the previous case, any choice of parameter
                           points p 1 ,...,p r ∈ P \{(0 : 1)} and positive multiplicities m 1 ,...,m r with
                                              1

                              m i =12 − m corresponds, up to a nonzero constant, to a unique degree 12 poly-
                           nomial q.
                              When m =2 or m =3, for any choice of parameter values and associated mul-

                           tiplicities, we can find a four dimensional family f 4 = λf +
f 3 with the prescribed
                                                                         4
                           roots in f 4 (θ). As before, the family gives projectively equivalent monoids.
   66   67   68   69   70   71   72   73   74   75   76