The Resultant, Episode 3: Inside the Episode

So we have, at long last, several expressions for the resultant:

(1)

(2)

where

*E*(*x*) = *a _{m}x^{m}*+···+

*a*

_{0}=

*a*(

_{m}*x–u*

_{1})···(

*x–u*) (3a)

_{m}*F*(

*x*) =

*b*+···+

_{n}x^{n}*b*

_{0}=

*b*(

_{n}*x–v*

_{1})···(

*x–v*) (3b)

_{n}and we assume *m* and *n* are greater than 0. *S* is the Sylvester matrix. At the moment, though, we don’t really care about the matrix or its determinant. (It will matter when we get to Kendig’s proof of Bézout’s Theorem.) Leave the *proof* that det(*S*) equals the product for the next episode. Algebraic curves occupy us; that’s the special case where *R*=*k*[*y*], so *R*[*x*]=*k*[*x*,*y*]. (Of course, you can always interchange *x* and *y*.) The key facts that make the resultant useful here:

- While
*E*and*F*belong to*k*[*x*,*y*], the*u*‘s and_{i}*v*‘s of (3) typically belong to an extension field_{j}*L*of*K*=*k*(*y*). But the resultant belongs to*k*[*y*]—a polynomial in*y*alone. Let’s write res(_{x}*y*) for it. (Or res(_{y}*x*) when*x*and*y*trade places.) - The resultant is 0 whenever
*E*(*x*_{0},*y*_{0})=*F*(*x*_{0},*y*_{0})=0,*x*_{0},*y*_{0}∈*k*. In other words, at the intersections of*E*and*F*. - The roots of the resultant are places where either (a) an intersection of
*E*and*F*lies on the horizontal line*y*=*y*_{0 }through the root; or else (b) the leading coefficients of*E*and*F*are both 0. That is, res(_{x}*y*_{0})=0,*y*_{0}∈*k*, implies either (a) there is an*x*_{0}∈*k*such that*E*(*x*_{0},*y*_{0})=*F*(*x*_{0},*y*_{0})=0, or else (b)*a*(_{m}*y*_{0})=0 and*b*(_{n}*y*_{0})=0. (Remember that the coefficients belong to*k*[*y*].)

We’ll look into the proofs of these later. Two more facts, one mentioned in post 4 (with *x* and *y* switched):

- The
*order*of res(_{x}*y*) (the degree of its*lowest*nonzero term) is the sum of the multiplicities of all intersections*on the x-axis*, provided that the leading coefficients*a*(_{m}*y*) and*b*(_{n}*y*) are constants. (Likewise with*x*and*y*switched.) - The
*degree*of res(_{x}*y*) (the degree of its*highest*nonzero term) is the sum of the multiplicities of all intersections*in the affine plane*, with the same proviso about leading coefficients.

Post 10 had our lone example so far: the two ellipses *x*^{2}+*y*^{2} = 1 and 2*x*^{2}+*y*^{2} = 1. We regarded these as polynomials in *y* with coefficients in *k*(*x*), and computed res* _{y}*(

*x*)=

*x*

^{4}explicitly. The

*u*‘s are and the

_{i}*v*‘s are , elements of an algebraic extension field. Both intersections lie on the y-axis, so the order and degree of res

_{j}*(*

_{y}*x*) are the same: 2+2=4, since they both have multiplicity 2. No intersections at infinity.

Let’s look at our favorite pair of curves from post 1, the roses:

The resultant, using SageMath, and regarding *E* and *F* as polynomials in *x*: res* _{x}*(

*y*)=16

*y*

^{14}(16

*y*

^{2}—5)

^{2}. The leading coefficients are both 1. (

*E*has leading term

*x*

^{4}and

*F*has leading term

*x*

^{6}.) The order of res

*(*

_{x}*y*) is 14, reflecting the lone intersection on the x-axis with multiplicity 14, as we saw earlier. The degree is 18, reflecting the four additional intersections of multiplicity 1 in the affine plane.

To find all those affine intersections, we set res* _{x}*(

*y*)=0, solve for

*y*, and plug into both

*E*and

*F*to find the corresponding

*x*‘s. (As you can see from the picture, this procedure will turn up some

*x*‘s for points on

*E*or

*F*but not both.) The results:

Incidentally, those last four intersections occur at the angles 72°, 108°, 216°, and 324°, all multiples of 36°. In principle we have a construction of a regular decagon, though not with ruler and compass.

What about the intersections at infinity? In post 2 we pictured them by “moving the line at infinity”, and displaying the *ix*-axis instead of the x-axis.

We accomplish the first maneuver by homogenizing and then dehomogenizing by setting *y*=1:

*E*: (*x*^{2}+*y*^{2})^{2}+3*x*^{2}*y*–*y*^{3} ⇒ (*X*^{2}+*Y*^{2})^{2}+3*X*^{2}*YZ*–*Y ^{3}Z *⇒ (

*x*

^{2}+1)

^{2}

*+*3

*x*

^{2}

*z–*

*z*

*F*: (

*x*

^{2}+

*y*

^{2})

^{3}–4

*x*

^{2}

*y*

^{2}⇒ (

*X*

^{2}+

*Y*

^{2})

^{3}–4

*X*

^{2}

*Y*

^{2}

*Z*

^{2}⇒ (

*x*

^{2}+1)

^{2}–4

*x*

^{2}

*z*

^{2}

This moves the old line at infinity, *Z*=0 in homogenous coordinates, to the new x-axis, and the old x-axis to the new line at infinity. Recall how points correspond:

(*x*,*y*) = (*X*/*Z*, *Y*/*Z*, 1) ↔ (*X*:*Y*:*Z*) ↔ (*X*/*Y*, 1, *Z*/*Y*) = (*x*,*z*)

(Check out the “art history” pictures in post 2 if this doesn’t ring a bell, or any discussion of coordinates for the projective plane. The *x* on the left is the “old” *x*, not the same as the “new” *x* on the right. The capital *X*,*Y*, and *Z* are the homogeneous coordinates.) Our two new equations

*E**(*x*,*z*) = (*x*^{2}+1)^{2}*+*3*x*^{2}*z*–*z*

*F**(*x*,*z*) = (*x*^{2}+1)^{2}–4*x*^{2}*z*^{2}

won’t show any intersections on the line *z*=0, if you plug them into graphing software; for that you need to replace *x* by *ix* in the equations. I did that in post 2. This time I prefer to stick with these forms, just noting that the picture displays the *ix*-axis rather than the real x-axis. Of course, this makes any points with *real* x-coordinates invisible.

SageMath computes the resolvent for us:

res* _{x}*(

*E**,

*F**) = 16

*z*

^{6}(5

*z*

^{2}–16)

^{2}

The order is 6; two intersections of multiplicity 3 on the (complex) x-axis, check! The total degree is 10; four additional intersections of multiplicity 1 in the xz-plane, check! Maybe you’re asking, where are they? They’re the green dots in the previous picture, other than *O*. They’re invisible in *this* picture because they have real coordinates. *O* is on the old x-axis, so it’s been relocated to infinity.

We could compute the new (*x*,*z*)-coordinates of these points using the same procedure as before: *z*=0 or 5*z*^{2}–16=0, giving . When *z*=0, plugging into *E** and *F** yields (*x*^{2}+1)^{2}=0 so *x*=±*i*. For , let’s take a shortcut. We use the transformation equations between the old and new coordinates:

The value of *z* checks: the old *y* is , as we saw above. (Or *y*=0, giving a point at infinity in the xz-plane.) For the other four points, we get

Last batch of examples: hyperbolas. Start with *xy*=2, *xy*=1.

Obviously no intersections in the affine plane, but it looks like two at infinity: (∞,0) and (0,∞). The resultants are res* _{x}*(

*y*)=

*y*and res

*(*

_{y}*x*)=

*x*. This

*kind of*makes sense, but what does Fact 3 have to say? Answer:

*either*there’s a genuine intersection in the affine plane,

*or*the leading coefficients are 0.

Treating the curves as polynomials in *x*, the leading coefficients are both *y*. So Fact 3 is happy. Facts 4 and 5 don’t complain, because the leading coefficient proviso is not met.

It’s easy to compute the resultant explicitly via the product formula. The roots are *u*_{1}(*y*)=2/*y* and *v*_{1}(*y*)=1/*y*, the difference is 1/*y*, and multiplying by the leading coefficients gives *y ^{2}*(1/

*y*) =

*y*. Likewise with

*x*and

*y*switched.

If you homogenize and dehomogenize with *y*=1, you’ll get a pair of parabolas, *x*=2*z*^{2} and *x*=*z*^{2}. We have an intersection of multiplicity 2 at (0:1:0). Bézout says we need four intersections. If you dehomogenize with *x*=1, the other two turn up, at (1:0:0), with the parabolas *y*=2*z*^{2} and *y*=*z*^{2}.

Finally, rotate these hyperbolas by 45 and rescale a bit, getting *x*^{2}–*y*^{2}=2 and *x*^{2}–*y*^{2}=1:

This time the leading coefficients are 1. The resultants are also 1. So no intersections anywhere in the affine plane. Homogenize and dehomogenize with *x*=1, getting two ellipses *y*^{2}+2*z*^{2}=1 and *y*^{2}+*z*^{2}=1. We’ve already seen what that looks like.