Conceptually, in dual language of algebras, a symmetry of a commutative algebra is an automorphism , i.e., . The ‘infinitesimal’ symmetries are the derivations , with . The module of Kähler differentials parametrizes derivations, in the sense that every derivation corresponds uniquely to a morphism of -modules .
Kähler differentials are traditionally conceived in terms of an algebraic construction of a certain module on a given ordinary ring . On spaces modeled (in the sense described at space) on the site CRing, such as varieties, schemes, algebraic spaces, Deligne-Mumford stacks, this produces the correct notion of differential form in this context. This is the case discussed in the section
The definition, concrete as it is, applies of course also to function rings on spaces not modeled on , such as rings of smooth functions on a smooth manifold. One might expect that the module of Kähler differentials of , regarded as an ordinary ring, does reproduce the familiar notion of smooth differential forms on a manifold. But it does not. This is discussed in the section
This shows that the concrete algebraic construction of Kähler differential forms over plain rings, traditionally thought of as their very definition, does in fact not correctly capture their nature. There is another definition – obtained from the nPOV – which does capture the situation correctly:
In fact, already the definition of module has to be freed from it concrete realization in the context of ordinary rings, to exhibit its true nature. What this is has been established long ago in
and in Jon Beck’s thesis, and is discussed in more detail in the entries module and Beck module : Beck and Quillen noticed that the category of modules over an ordinary commutative ring is canonically equivalent to the category of abelian group objects in the overcategory of all rings, over the given ring :
Under this equivalence an -module is sent to the square-0-extension ring that is canonically equipped with a ring homomorphism and with a unital and associative and commutative product operation
that makes it first an object in the overcategory and in there an abelian group object, hence an object in .
Conversely, every module arises this way, up to isomorphism. So this gives an equivalent way of defining modules over rings.
And this is the right definition. Notably, this definition does not assume anything about the ring . It does not even assume that is a ring at all! It could be anything.
Concretely: for any category of test objects – so that we may think of objects in the opposite category as function rings on the test objects – we may define the category of module s over an object by the above equation:
Notice that this is now a definition. And that could be anything, and the definition still makes sense.
The category of all modules over all possible objects is then nothing but the codomain fibration
where is the interval category and fiberwise (over ) we form abelian group objects.
This turns out to be the correct category theoretic definition of module (as discussed there). In fact, this is is the special case of the higher categorical definition that works for any (∞,1)-category. In that case the construction of abelian group objects in the overcategory is generalized (straightforwardly! and in fact even more elegantly) to the notion of tangent (∞,1)-category.
The assignment of modules of Kähler differentials is the assignment universal with respect to derivations, which means that
is the left adjoint to the above projection :
this means that every derivation (being a section in of the module which is the overcategory element ) is identified conversely with a morphism in the category of abelian group objects in the overcategory :
Notice that in all of the above now, is still a completely arbitrary category.
The assignment of modules of Kähler differentials or cotangent complexes is the left adjoint
of the tangent (∞,1)-category projection .
Its value on an object is the module of Kähler differentials on .
We spell out very concretely definitions of Kähler differentials for special concrete choices of base category as special cases of the above general story. We start with the familiar cases and then work our way up to more general or richer cases.
In terms of the above discussion, we now take to be the opposite category of the category of ordinary (commutative unital) ring. In fact without changing anything of the discusson we may assume that the ring in question is equipped with a ring homomorphism from a ring or field . This makes a -algebra, and we shall often speak of algebras in the following, where we could just as well speak of rings.
Suppose is a commutative algebra over a field . We may define Kähler differentials either by an explicit construction or by a universal property. In fact there are two explicit constructions.
The simplest construction, maybe, is as follows. The module of Kähler differentials over is generated by symbols for all , subject to these relations:
when is a ‘constant’, that is, an element of regarded as an element of .
In particular there are only finite sums in the module of Kähler differentials.
Another more sophisticated construction of is given below. But turning to the universal property, note that we can define derivations from to any -module : they are -linear maps satisfying the product rule:
Then may be defined as the universal -module equipped with a derivation. In other words, there is a derivation
and if is any derivation from to some -module , then there is a unique -module morphism
such that the following diagram commutes:
We say that factors through .
In other words, . In a diagram: for every -derivation there is a unique morphism (of -modules) making the following diagram commute:
This framework also gives another construction of the module of Kähler differentials, instead of the generators and relations definition given above.
Then and there is a canonical induced map given by .
Furthermore, if is in characteristic zero, one may introduce Kähler -forms , which are elements of the -th exterior power . The module of Kähler differentials readily generalizes as a sheaf of Kähler differentials for a separated morphism of (commutative) schemes, namely it is the pullback along the embedding of the ideal sheaf of the diagonal subscheme .
Compare the role of universal differential envelope and Amitsur complex for analogous constructions in the noncommutative case. The appropriate extension of the module of relative Kähler differentials to the derived setting is the cotangent complex of Grothendieck–Illusie.
The module of Kähler differentials on is isomorphism to the first Hochschild homology of
Under mild conditions the anaous statement is true for higher Kähler differentials and higher Hochschild homology: this is the Hochschild-Kostant-Rosenberg theorem.
We have seen that we define Kähler differentials for any commutative algebra .
The following special case deserves special attention:
The algebra of smooth functions on some smooth space (a smooth manifold or a generalized smooth space) is in particular a commutative algebra. So one might think that its Kähler differentials form the ordinary differential forms on – in analogy to the case when consists of the algebraic functions on an affine algebraic variety in which case Kähler differentials are often taken as a definition of 1-forms.
However, when consists of smooth functions on a manifold, the ring theoretic Kähler differentials do not agree with the ordinary smooth 1-forms on this manifold! (Unless is, for instance, the point, of course). However, there is a canonical map from the Kähler differentials to the ordinary 1-forms.
But there is a solution to this, and an explanation for why something goes wrong:
Smooth spaces such as manifolds are not modeled on the category CRing, as varieties are. Instead, they are modeled on the category of smooth loci, which is the opposite of the category of C-infinity rings.
In particular, the algebra of smooth functions on a manifold carries naturally the structure of such a -ring. This does have “underlying” it the ordinary commuttative ring of functions that forget the -ring structure, but forgetting this structure is precisely what makes the definition of Kähler differentials fail to reproduce that of ordinary smooth 1-forms.
If we do regard as a C-infinity ring, the its Kähler differentials do agree with ordinary 1-forms on .
We discuss how Kähler differential forms relate to the ordinary notion of differential forms.
However, we have
as Kähler differentials. Intuitively, the reason is that cannot pass through the infinite sum
However, the only proof we know that is quite tricky: in fact it uses the Axiom of Choice!
It would be desirable to either find a proof that avoids the Axiom of Choice, or show that axioms beyond ZF are necessary for this result.
To avoid this annoying property of Kähler differentials we can proceed as follows. Given a commutative algebra , let be the -bimodule of derivations.
Define to be the dual of :
in other words, the set of -module maps , made into an -module in the usual way. There is a derivation
Now, suppose where is any smooth manifold. Then elements of can be identified with ordinary smooth 1-forms on :
And in this case, one can show that any derivation factors through when is free, and in particular if .
We can expand on this remark as follows. Quite generally, for any commutative algebra over a field , we have
by the universal property of Kähler differentials, which identifies derivations with -module morphisms .
Using the definition
(of ordinary smooth 1-forms in the case that ) we have that these are the linear bidual of the Kähler differentials:
There is always a homomorphism from a module to its double dual, so we have a morphism
In the case when this map is onto but typically not one-to-one, as witnessed by the fact that in the ordinary 1-forms but not in the Kähler differentials . However, one can show that when is a free -module, any derivation not only factors through (as guaranteed by the universal property of Kähler differentials), but also .
Eric: Does this universal property mean that there is some diagram in some category for which the Kähler differentials can be thought of as a (co)limit?
John Baez: Yeah, take the category all modules equipped with a derivation , and take the diagram which consists of every object in this category and every morphism, and take the colimit of that, and you’ll get .
But this is just a cutesy way to say that is the initial object of this category.
And this, in turn, is just a cutesy way to say that there is a derivation
such that if is also a derivation, then there exists a unique -module morphism
such that the following diagram commutes:
All this is general abstract nonsense, nothing special to this example! Any universal property involving maps out of an object says that object is initial in some category — and that, in turn, is equivalent to saying that object is the colimit of the enormous diagram consisting of all objects of the same kind! There’s a lot less here than meets the eye.
Eric: Thank you! That actually makes a little sense to me. As trivial as it may seem, the fact that I was even able to ask this question represents tremendous progress :)
Herman Stel: Dear Eric and Prof. Baez. There is a mistake in the explanation by John Baez here. The two latter properties (both being that the derivation is initial) are correct. The first one is not, though. If were the colimit of the huge diagram then for every derivation there would be a morphism from that derivation to the universal derivation, which is not true. Instead, note that an initial object is the vertex of a colimit of the empty diagram in any category (use that is true if is empty).
If we take a smooth function ring , regard it as a -ring and then determine its module of Kähler differentials with respect to the category , we do recover the ordinary notion of smooth differential forms.
For the moment, this case is described in detail in the entry on Fermat theory.
An ordinary (commutative) ring is precisely a comutative monoid in the category of abelian groups. The case of Kähler differentials over ordinary rings discussed above may therefore be thought of as the case where the category of test objects is taken to be
This has an evident generalization: we may replace here with any category and consider
In practice is usually required to be an abelian category, but our definitions so far are general enough not to be concerned about this:
and define the assignment of Kähler differentials
to be the left adjoint of this functor.
If in the above setup we choose the category of abelian simplicial groups, then is the category of simplicial rings. The category , regarded as a higher category, is the site used in higher geometry in place of
For a proof that every derivation of comes from a smooth vector field on the real line, and an extensive discussion of Kähler differentials versus ordinary 1-forms, see:
See also the discussion at the -Café:
Blog discussion of Week 287. (Summary)
The module of Kähler differentials, MIT OpenCourseWare: 18.726 Algebraic Geometry, Spring 2009.
introducing a setting in which Kahler differentials live quite naturally (but not yet in as much generality as possibly one might hope), see
This paper establishes a relation between the recently introduced notion of differential category and the more classic theory of Kähler differentials in commutative algebra. A codifferential category is an additive symmetric monoidal category with a monad, which is furthermore an algebra modality. An algebra modality for a monad T is a natural assignment of an associative algebra structure to each object of the form T(M). In a (co)differential category, one should imagine the morphisms in the base category as being linear maps and the morphisms in the (co)Kleisli category as being infinitely differentiable. Finally, a differential category comes equipped with a differential combinator satisfying typical differentiation axioms, expressed coalgebraically.
The traditional notion of Kähler differentials defines the notion of a module of A-differential forms with respect to A, where A is a commutative k-algebra. This module is equipped with a universal A-derivation. With this in mind, a Kähler category is an additive monoidal category with an algebra modality and an object of differential forms associated to every object. This object of differential forms satisfies a universal property with respect to derivations. Surprisingly, we are able to show that, under some natural conditions, codifferential categories are Kähler.