Last time we talked about Groebner bases and Buchberger’s algorithm, so today we’ll do an application of them. In fact, a few, because the Elimination Theorem and the Extension Theorem are extremely useful results, and we’ll talk a bit about their geometric consequences. But first, the algebra:
Take an ideal in . We call the th elimination ideal the ideal in . Note that if , we just get . Now, here’s the theorem: if is a Groebner basis for with respect to lexicographic order with , then for all , we have is a Groebner basis for the th elimination ideal.
Note that this is NOT the Elimination Theory mentioned in Hartshorne, as theorem 5.7A in chapter 1. I want to say that Hartshorne’s Elmination Theory has more to do with resultants directly (now, resultants do tie in to this Elimination theory, but we’re not there just yet.)
So, perhaps an example would be good. Look at the ideal . Now I go behind the curtain, plug things into Macaulay2, and wait for a Groebner basis to pop out, and it’s . So this tells us that is generated by all but the first, and that is generated by the last polynomial in the basis. So this just lets us eliminate variables and find polynomials in fewer to work with. Here, we get a polynomial just in which we can use to work out all the possible ‘s that can appear. It happens that the variety defined by this ideal is zero dimension, ie, just a finite collection of points. Seeing the polynomial in just , we immediately know that there are only finitely many values of that appear, so it is contained in the union of a finite number of parallel hyperplanes.
So once we have a collection of ‘s, we want to work out what the possible ‘s are. Well, what we as humans do is we try to plug the values of into the equations that are just and . So then we get finitely many possible ‘s, which sticks us in the situation where we have finitely many lines that the variety is contained in. Then, we check each pair of with the first equation, and find that there are only finitely many (in fact 5) points.
So elimination was great at helping us solve this system, but the plugging things back in step required a human hand. Plus, to get the five points, we did quite a lot of work plugging things in and solving polynomials, and even low degree polynomials can be a pain to work with…after all, when was the last time you willingly broke out Cardano’s formula?
To help us now, we state the Extension Theorem. Let be an ideal in , and let be the first elimination ideal. Then for each write in the form lower order terms in and the are nonzero. Then, if there exists in , and not in , then there exists such that .
Ok, so to translate that: suppose we have a partial solution to a system of equations. If we can write the system as polynomials in one of the variables we haven’t solved for yet such that the coefficients are polynomials in the ones we have solved for and such that the lead coefficient don’t vanish there, then we can find a full solution. Also, we note that we can use this on other elimination ideals by just looking for extensions one variable at a time. In our problem above, we solve for in and want to find the such that is a partial solution. Well, we then use Extension on to get solution to , and then use Extension again to get to .
So now for some geometry. We’ll start with elimination. As you may have guessed from the statement, it’s all about projections. Let be an affine variety, and choose coordinates so that a projection map to is projection onto the last coordinates. Then the first elimination ideal of is the ideal of the closure of .
Now for my favorite application of the elimination theorem. Let be a ring homomorphism. Then we define the ideal of the
map to be in . Take an ordering that puts all the in front of any of the . Then , the th elimination ideal is the kernel of .
Now, this is huge. What it really gives is the closure of the image of a morphism . So this lets us write down all sorts of rational varieties. Any time we’re given something parametrically, we can use this to get equations for it. By projectivizing these ideas, we can work out the images of maps between projective spaces and products of projective spaces. In particular, these methods let us work out the equations for subvarieties of the Segre and Veronese embeddings, among others.