Algebraic Geometry Jottings 16

Prev TOC Next

The Resultant, Episode 5: Inside the Episode

The double-product form for the resultant:

  (1)

implies Fact 3:

3. res_x(y₀)=0 ⇔ [the line y=y₀ passes through an intersection of E and F, or a_m(y₀)=b_n(y₀)=0].

provided it makes sense to evaluate the u_i‘s and v_j‘s at y₀. If you’ll grant me that, then here goes the argument. In one direction: if res_x(y₀)=0 and a_m(y₀)≠0 and b_n(y₀)≠0, then some factor u_i(y₀)–v_j(y₀) must equal 0. (What if a_m(y₀)≠0 but b_n(y₀)=0? See below.) Let x₀=u_i(y₀)=v_j(y₀). Plugging into the factored forms for E(x,y) and F(x,y):

E(x,y) = a_m(y)(x–u₁)···(x–u_m)    (3a)
F(x,y) = b_n(y)(x–v₁)···(x–v_n)      (3b)

gives E(x₀,y₀)=F(x₀,y₀)=0, so (x₀,y₀) is an intersection of E and F. This argument is easily reversed to prove the other direction.

This near-proof or plausibility proof has some wrinkles worth investigating. First off, it seems from eq.(1) that a_m(y₀)=0 or b_n(y₀)=0 should force res_x(y₀)=0—why do we need them both to be zero? The simplest example exhibiting the flaw in this ointment: x=y, xy=1, i.e., E(x,y)=x–y, F(x,y)=yx–1. When y₀=0, the leading coefficient of F is 0. The double product is (y–(1/y))=(y²–1)/y. The resultant is y times that, that is y²–1; thus plugging in y₀=0 gives res_x(y₀)=–1. If we hadn’t canceled y first. we’d have gotten 0·∞.

A more elaborate example: E(x)=ax²+bx+c, F(x)=dx+e. Using the approximation , valid for |b|≫|ac|, the roots of E(x)=0 are approximately

Keeping b and c fixed (with b≠0) while a→0, one of the roots of E(x)=0 tends to –c/b while the other wanders off to infinity. F(x)=0 has the fixed root –e/d. When a=0, E morphs into a linear equation, sharing a root with F precisely when c/b=e/d, i.e., when be–cd=0. We’ve seen this before: it’s the Sylvester determinant:

But if we plug a=0 into the Sylvester determinant for the original pair E and F, we have:

Let’s look at the general case, but let’s get rid of those pesky leading coefficients by dividing them out:

E′(x) = x^m + (a_m–1/a_m) x^m–1 +···+ (a₀/a_m)    (3a′)
F′(x) = xⁿ  +   (b_n–1/b_n) xⁿ    +···+  (b₀/b_n)    (3b′)

Say the original coefficients are polynomials in y. We’ve introduced poles at any of the roots of a_m(y)=0 or b_n(y)=0. If, say, b_n(y₀)=0, then the actual degree of F(x,y₀) in x is less than n, but (you might say) its formal degree is still n. (Some people do say this.) Whereas F(x,y₀)=0 has fewer than n roots, F′(x,y₀)=0 is blessed (or cursed) with additional roots at infinity.

Now, if a_m(y₀) is not 0, then all the roots of E′(x,y₀)=0 are finite. If we’re asking after common roots, we can ignore the infinite roots of F′(x,y₀).

How does the resultant view this? The roots at infinity bedevil the double product in eq.(1), but the leading coefficient factors smooth the troubled waters. If we use the actual degrees, we’re rewarded with a smaller Sylvester determinant. As long as a_m(y₀)≠0 and b_n(y₀)=0 (or vice versa), the “formal” and “actual” determinants give the same verdict for the existence of common roots: one equation has only finite roots, the other just some extra roots at infinity. If both a_m(y₀) and b_n(y₀) are 0, then we have common roots at infinity, and det(S) is 0.

This is easy to see from the determinant itself, using expansion by minors down the first column. Say a_m(y₀)≠0 and b_n(y₀)=0. Letting m=2, n=3 as usual, to ease formatting, we have:

with the “formal” determinant on the left, and the “actual” one on the right. (At least if b₂(y₀)≠0. If not, rinse, repeat.) So one determinant is 0 if and only if the other is.

OK, how about the other dodgy aspect of the plausibility proof, evaluating the u_i‘s and v_j‘s at a value y₀ of k? The u_i‘s and v_j‘s belong to an algebraic extension L of k(y). We sort of have an evaluation map from k(y) to k, at least when we steer clear of poles. It seems like one should be able to extend this to a suitable map from L to k, since k is algebraically closed. When k=ℂ, the theory of Riemann surfaces handles the matter. For algebraically closed k in general, I gather Puiseaux series step into the breach. Kendig discusses this in §§3.3–3.4.

While we’re on the topic of alternate proofs, Lang’s Algebra concludes the justification of eq.(1) (det(S)=double product) this way, adjusting his notation to agree with ours:

From (2) we see that [the double product] is homogeneous and of degree n in [the a_i‘s], and homogeneous and of degree m in [the b_j‘s]. Since [det(S)] has exactly the same homogeneity properties, and is divisible by [the double product], it follows that [det(S)=c(double product)] for some integer c. Since both [det(S) and the double product] have a monomial [a_mⁿ b₀^m] occurring in them with coefficient 1, it follows that c=1, and our proposition is proved.

To my mind, the logic suffers from two gaps, although I think I see how to fill them. Recall the corresponding spot in the proof from Episode 4.  We were looking at the special case with a_m=b_n=1.  We’d set R=k[u₁,…,u_m, v₁,…,v_n]. We’d shown

, with h∈R.

Let’s write R_ab for the subring k[a_m–1,…,a₀, b_n–1,…,b₀] of R. Note that det(S) belongs to R_ab. If we knew that the double product and h also belonged to R_ab, we’d be home free.

Galois theory shows that the double product belongs to R_ab. The equivalent expression  belongs to R_ab[u₁,…,u_m], and is symmetric in the u_i‘s; that should do the trick. We know that h results from dividing one element of R_ab by another, without remainder in R. This ought to force h∈R_ab. Ideals, Varieties, and Algorithms (Cox, Little, and O’Shea) provides a multivariable polynomial division algorithm; I haven’t checked the details, but I think this offers what we need.

So we can validate Lang’s argument, but it takes a bit of work. The approach in Episode 4 avoids these potholes, and as a bonus, introduces the “packing with t‘s” technique we’ll need later.

One last matter. We’ve already made use of the formula PE+QF=det(S), for some P∈R_n[x], Q∈R_m[x]. Proving this took some effort. It’s much easier to derive this result:

PE+QF=D
for some P∈R[x], Q∈R[x], and D∈R

Here’s the proof. Let K be the fraction field of R, as usual. Then K[x] is a PID. So if E and F are coprime, then for some p,q∈K[x],

pE+qF=1

Since the coefficients of p and q all belong to K, we can clear denominators and get PE+QF=D. Note that D≠0. When R=k[y], D is a polynomial in y alone, and the y-coordinates of the intersections of E and F are roots of D.

Now let’s think about the ideal (E,F) = {PE+QF : P,Q∈R[x]}. Intersecting this with R gives an ideal of R. When R=k[y], R is a PID, so (E,F)∩k[y] is principal. It’s nonzero because D belongs to it. In other words, we can eliminate x from the equations E(x,y)=0 and F(x,y)=0 and get something non-trivial.

We might as well write D for a generator of (E,F)∩k[y]. I used to believe that res_x(y) was such a generator. Not true. We’ve seen an example already in Inside Episode 2 (with x and y switched): the two ellipses x²+y²=0 and 2x²+y²=0. Easy congruence calculations show that x² ≡ 0 mod (E,F), and as we saw way back in post 6, this amounts to showing that x² belongs to (E,F). In fact (E,F)∩k[x] is generated by x². But res_y(x) , as we saw, is x⁴.

Prev TOC Next