We’re going to need to start out the day with a bit of algebra, because we’re going to talk about differential forms. Once we have forms, we’ll make a sheaf out of them, and then we’ll use this sheaf to construct other things.
We start out by needing the notion of a derivation. Given a ring , an -algebra (that is, a ring which is also an -module) and an -module , we define an -derivation to be a function such that for all , , and for all . (We say that an element is in if it is of the form for using the module structure.)
So really, what this is is just a function that acts like taking a derivative. The product rule is there, we think of as the set of constants, so they have derivative zero, it’s additive, etc. There is, in fact, a universal such derivation. Specifically, there’s an -module called and a derivation such that any other derivation is given by composing with a module homomorphism . Even better, we can describe it.
We take the collection of symbols for and take formal finite sums of the form where . These are the elements, but we do identify some of them. Specifically, we identify with , with and with zero for . We define the universal derivation to be which takes . We call this module the module of Kähler differentials
To get a bit of a sense of this, we’ll note that if and , so we’re just looking at affine space, then is where the are polynomials. For those who have done a bit of differential geometry, this should be looking familiar: it is an algebraic analogue of 1-forms.
Now, Kähler differentials have an extremely nice property: they commute with localization. That is, if is an -algebra and is multiplicatively closed we have . And by the way, I do apologize for the notation, using for an -algebra is standard, as far as I know, and in the localization post I used it for a multiplicatively closed set.
So now we must come up with a sheaf theoretic version of this, because varieties are only locally equivalent to rings. Let be a topological space and sheaves of rings, with a homomorphism of sheaves of rings. This makes into an -modules. We now define to be the presheaf taking to . The restriction maps are given by taking , which is then an -derivation, and so factors through , giving is the desired restriction maps. Now, once we’ve done all of this, we sheafifiy, and now we have a sheaf which we will call , the sheaf of relative differentials.
So now, we can specify to varieties. Let be a morphism of varieties. By definition we have a map . But we want the sheaf to be on . So recall that when we talked about morphisms of sheaves, we briefly mentioned the inverse image sheaf. Using this, we get a morphism , which makes into a -module. We define to be , and call it the relative cotangent sheaf.
As a special case, we define to be the cotangent sheaf of , and as an immediate consequence of the above definition, we can see that if is a morphism of affine varieties, then is the sheaf associated to , and this fact implies that is always a coherent sheaf.
So now, the cotangent sheaf gives us a new way to test for a point being nonsingular. If has dimension , and , then is nonsingular at if and only if is isomorphic to . This tells us that is nonsingular if and only if is a locally free sheaf of rank !
So this gives us a cotangent bundle! Now, we’re going to change notation slightly, and call this bundle (and the sheaf associated to it) . We can get the sheaf of -forms by looking at , where this is the exterior algebra construction. So in that case, we see that if has dimension , then is zero, so we only get of these sheaves. Aside from , there is another special one among these: . This one always turns out to be a line bundle, and we denote it by , because it is so important. In fact, we call it the canonical bundle, and it will be showing up in the future regularly.
Before we stop for the day, we’re going to use to define one more object that is very important. We define , the dual, to be the tangent sheaf . If is a vector bundle, so is , and it is called the tangent bundle. We’ve now brought over a lot of valuable objects from differential geometry, and they’ll be quite important in our further study of varieties.