I’ve been fiddling around on here for a few weeks trying to figure out what my next major set of posts should be about. I’ve finally settled. It turns out that algebraic geometry requires knowledge of a ridiculously large amount of commutative algebra. Now I usually try to avoid repeat posting when I know that I’m doing it, but I don’t think I’m going to stick to that rule for this set of posts. For probably at least the next month I’m just going to try to vastly improve my commutative algebra knowledge.
The first topic will be the Hilbert polynomial. The motivation here is that we are looking for some invariants of projective algebraic sets.
Suppose is a graded ring. Then a graded R-module, M, is a module with an abelian group decomposition
such that
.
Let be a finitely generated graded
-module (graded by degree of the polynomial). Then we define the Hilbert function of
to be
. The function takes as input something from
and outputs the dimension of that graded part.
Here is where the Hilbert polynomial enters in. It turns out that actually agrees with a polynomial of degree less than or equal to
for large
. We will denote this polynomial
.
Let’s prove a general fact first. Suppose is defined for all natural numbers. Then if
agrees with a polynomial (with rational coefficients) of degree less than or equal to
for all
, then
agrees with a polynomial (with rational coefficients) of degree less than or equal to
for all
.
Suppose is a polynomial that satisfies the hypothesis of the preceding statement, i.e.
for
.
Set for
and
for
.
Now just note that for all integers. So we are done since then
is a polynomial with rational coefficients of degree less than or equal to
.
As you may have guessed, this little fact was to set up an induction for the actual theorem. Let’s induct on the number of variables . The base case just puts us in the case where our graded module is over a field and hence is a finite-dimensional vector space. Thus dimensions all have to be zero at some grading, so
for large
and we are done.
Suppose the theorem holds in variables. Now let
be the kernel of the multiplication map by
. This is a submodule of
, and we get an exact sequence
. Where the
means the grading is shifted by
.
The exactness tells us something about the dimensions. So look at the part of the grading:
. In terms of the Hilbert function, this says precisely that
.
Since and
are f.g. graded modules over
we can apply the inductive hypothesis to the right side. But since the right side is a polynomial for large
, so is the left side. Now the fact we proved before this gives us the full result.
There is much to say about Hilbert polynomials, so I’ll probably keep posting about them for awhile.