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. (more…)