Today, we’ll link the computational thread back to the thread involving Hilbert schemes, by working out how to compute the Hilbert function (and thus polynomial) for any ideal in the ring . The trick involves Groebner bases and flat families, and really ties a lot of threads together so that we can move on to something else (because my attention span is short and there are a lot of cool things to talk about.)
So, given a homogeneous ideal , we want to determine the Hilbert function of , where .
Our first order of business is to take a Groebner basis for , say . The monomial ordering doesn’t matter here. Now, has the structure of a graded vector space, because we can take any polynomial in and take the remainder upon dividing by the Groebner basis, and this gives a well defined map that preserved grading, so long as the ideal is homogeneous. In fact, we get that this space has as a basis the set . Now, this set also gives us a basis for as a graded vector space, and with the same grading. So the two spaces are isomorphic as graded vector spaces, and so have the same Hilbert function. This says that we only have to worry about ideals generated by monomials. The bigger abstract reason why it is true is that there is a flat family over which has as the fiber over 1 and as the fiber over zero, and Hilbert polynomials are constant along flat families. Never lose sight of the fact that what we care about is the polynomial, even though we’re going to successfully compute the function.
Now, we know that gives a tight relationship between the three Hilbert functions. More specifically, if we look at , with the first homomorphism of degree , we get that . So what we want to do, for a monomial ideal , is look at the sequence . Now, there’s an unfamiliar bit of notation in there, . What this is is the ideal . Roughly this kills an in anything possible. So , for instance. And just means the ideal plus the additional generator .
Pick any variable you want, and look at this sequence. It tells us that . So now we’ll work out an algorithm to compute the Hilbert function, using this equation. Choose a variable which divides some monomial generator of . Then is a quotient of a polynomial ring in fewer variables than we started with and has monomial generator of smaller degree in . So this process finishes in finitely many steps, because there are finitely many generators, and so there is a finite maximal degree in each variable and a finite number of variables to kill off. More precisely, after finitely many steps, we have the sum of Hilbert functions of polynomial rings and rings of the form for some . For the polynomial rings, the Hilbert functions are just given by binomial coefficients, and the other option is a Hilbert function which is 1 for finitely many places, and then disappears later.
So this actually directly proves that the Hilbert function is eventually a polynomial, all we have to do is go out far enough that all the ‘s die, and we’re left with a sum of binomial coefficients, and those are polynomials.
Now, that was rather wordy, so let’s do an example. Let’s take the ideal in and compute its Hilbert function. Then we’ll do . (Try to guess in advance which will be easier.)
So the Hilbert function is , , and for . The Hilbert Polynomial, then, is the constant polynomial . That is, it’s just two points on the projective line, the point and the point .
For the second ideal, we choose to compute the initial ideal using lexicographic order with . Then the initial ideal is , and only having one variable to deal with over and over again saves some work.
So now, given any polynomial ideal, we have an algorithm for working out the Hilbert function, and thus the Hilbert polynomial. Before stopping, just a quick aside on the geometric meaning of the ideal quotient. If you have an ideal and any polynomial , then will turn out to be the closure of . Now, this is unexciting if is a prime ideal, but if is reducible, this is a way to let you kill off components that are being difficult. These ideal quotients also let you do a lot of local work without using local rings, but we’ll not get into that right now. Next time we’ll be moving on, I’m not sure to what yet, though…