Ok, so now I want to talk about how Kahler differentials say something about regularity. Let {A} be a local ring with maximal ideal {\mathfrak{m}} and residue field {k}. Suppose moreover that {A} is a {k}-algebra, i.e. that there is a section {k \rightarrow A}. 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

\displaystyle \mathfrak{m} / \mathfrak{m}^2 \rightarrow k \otimes_A \ \Omega_{A/k} \rightarrow 0

because {\Omega_{k/k}=0}, clearly. I claim now that in this case, the first map is injective (hence an isomorphism). Indeed, these are vector spaces over {k}, so it will be enough to prove the map {\hom( \Omega_{A/k}, k) \rightarrow \hom(\mathfrak{m}/\mathfrak{m}^2, k)} is surjective. But given any map {f: \mathfrak{m}/\mathfrak{m}^2 \rightarrow k}, we can define a {k}-derivation {D: A \rightarrow k} as follows: if {x \in A}, write {x = a+b, a \in k, b \in \mathfrak{m}}. Then {D(x) := f(b)}. One immediately checks that {D} is a {k}-derivation, which proves that

\displaystyle \mathfrak{m} / \mathfrak{m}^2 \simeq k \otimes_A \Omega_{A/k}.

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 {\dim_k(\mathfrak{m}/\mathfrak{m}^2)} is what tells us whether the ring {A} 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, {\Omega_{A/k}} 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 {A = O_x}, the local ring of germs of smooth functions on a manifold: we find {\Omega_{O_x/\mathbb{R}} \otimes \mathbb{R} \simeq m_x/m_x^2 \simeq T_x^*(M)}, the cotangent space. (more…)