Ok, so now I want to talk about how Kahler differentials say something about regularity. Let be a local ring with maximal ideal and residue field . Suppose moreover that is a -algebra, i.e. that there is a section . For instance, a localization of a polynomial ring over an algebraically closed field at a maximal ideal counts, by the Nullstellensatz.
Anyway, we have an exact sequence
because , clearly. I claim now that in this case, the first map is injective (hence an isomorphism). Indeed, these are vector spaces over , so it will be enough to prove the map is surjective. But given any map , we can define a -derivation as follows: if , write . Then . One immediately checks that is a -derivation, which proves that
There is a more general criterion of when the first map in the “second exact sequence” (which I really should call the conormal sequence, so will do that) is a split injection. See the book by Eisenbud.
So, why do we care about this? Well, determining is what tells us whether the ring is a regular local ring. As for why we care about regular local rings—the geometric interpretation of that is nonsingularity. Regular local rings are also UFDs, so as a result, when you have a nonsingular variety, it turns out that Weil divisors (this is the older notion of subvarieties of codimension 1) turn out to be equivalent to the fancier, more modern, and sheafier Cartier divisors.
But, right now doesn’t appear very friendly. We will have to do somewhat more to see what is going on.
First, let’s take a look at what happens when , the local ring of germs of smooth functions on a manifold: we find , the cotangent space.
Localization and Kahler differentials
Kahler differentials behave about as well as one could expect with respect to localization:
Proposition 1 Let be an -algebra, a multiplicative subset. Then
I will show that both sides represent the same functor.
So, given a -module , I claim that any -derivation extends uniquely to a derivation . This will imply that we have functorial isomorphisms for -modules :
and we can use Yonda’s lemma.
Given , we extend it to via . We will check that it is well-defined, whence linearity will follow (in view of the product rule). Suppose that in . We will show that in . Note that on , elements of act by automorphisms. The first condition means that there is some with in . Therefore,
We will now show that if is annihilated by , then . For this,
whence . As a result it follows that maps everything equivalent to into . Also, the map is linear on the abelian group of pairs with the usual addition , so therefore, factors through as a derivation of .
This proves the proposition.
So, how does this help in our case? We want to compute the rank of , where is the quotient field of . This will turn out to be the dimension of in certain special cases, as we will see soon. And this will yield the connection with regularity; we will compare the ranks of with .