Alright, so I’m still taking this really round about way to the Nullstellensatz, but someday I’ll get there.
For those of you that know about sheaves, some of the things I’ve been talking about should be looking vaguely familiar. We haven’t fully gotten there yet, but that is what today is about.
I won’t explicitly define what a general sheaf is, but of course there is always wikipedia or a textbook if you really want to know.
Let’s think back to what we had before. We define what we called the coordinate ring on the algebraic set . So now we do the natural thing, we look at the field of fractions of which we will denote . You should say, “Wait a minute!” at this point, since we might have some “zero denominators.” So let’s hold off on actually defining this until we’ve built the way to work around the problem.
So as a set, is something of the form , where . So it is a fraction of polynomials, or a rational function. The problem is that it is not defined at zeros of . Luckily, zeros of polynomials are all we’ve been studying and talking about for awhile.
Call regular at a point if there is a representation such that . In fact for any we can define a set corresponding to where it can be in the denominator, i.e. . Note that this is just the principal open set we defined earlier for the Zariski topology, but now it seems to have vital use.
Let’s now define the local ring of V at P to be . Clearly this is a subring of . The not as obvious fact is that it is actually local. If you want to check, the unique maximal ideal is the set of elements of the form f/g where and . So now some things are shaping up, since we have an object defined for sets and have a ring of functions at a point.
What would really be exciting is if this construction which seemed ad hoc by taking everything in the field of fractions and throwing out things that don’t work, actually turned out to be a nice localization of the ring. Define the ideal . So this is technically what we were calling before. (The line meaning that we aren’t in anymore, we’re in . So this is is a maximal ideal and hence prime, so we can localize at it.
Exactly what we were hoping for actually does happen, i.e. . In words, the localization of the coordinate ring at .
Now for any open set we define . And for convenience . So not only is a ring, it is a k-algebra. This set of rings with the restrictions we defined last time form the structure sheaf , and the local ring is the stalk of the sheaf at P with the elements as the germ of functions at P.
So I’ll leave you with a nice way to rephrase some older posts: we should now think of , and .
Severely edited: Sorry, some weird bug took out every backslash of this post rendering it incomprehensible. I’m really glad I decided to glance at it randomly.