In mathematics, Kähler differentials provide an adaptation of differential forms to arbitrary commutative rings or schemes. The notion was introduced by Erich Kähler in the 1930s. It was adopted as standard in commutative algebra and algebraic geometry somewhat later, once the need was felt to adapt methods from calculus and geometry over the complex numbers to contexts where such methods are not available.
Contents
- Definition
- Definition using derivations
- Definition using the augmentation ideal
- Examples and basic facts
- Khler differentials for schemes
- de Rham complex
- de Rham cohomology
- Grothendiecks comparison theorem
- Canonical divisor
- Classification of algebraic curves
- Tangent bundle and RiemannRoch theorem
- Unramified and smooth morphisms
- Periods
- Algebraic number theory
- Related notions
- References
Definition
Let R and S be commutative rings and φ : R → S be a ring homomorphism. An important example is for R a field and S a unital algebra over R (such as the coordinate ring of an affine variety). Kähler differentials formalize the observation that the derivatives of polynomials are again polynomial. In this sense, differentiation is a notion which can be expressed in purely algebraic terms. This observation can be turned into a definition of the module
of differentials in different, but equivalent ways.
Definition using derivations
An R-linear derivation on S is an R-module homomorphism
One construction of ΩS/R and d proceeds by constructing a free R-module with one formal generator ds for each s in S, and imposing the relations
for all r in R and all s and t in S. The universal derivation sends s to ds. The relations imply that the universal derivation is a homomorphism of R-modules.
Definition using the augmentation ideal
Another construction proceeds by letting I be the ideal in the tensor product
To see that this construction is equivalent to the previous one, note that I is the kernel of the projection
Then
Examples and basic facts
For any commutative ring R, the Kähler differentials of the polynomial ring
Kähler differentials are compatible with extension of scalars, in the sense that for a second R-algebra R′ and for
As a particular case of this, Kähler differentials are compatible with localizations, meaning that if W is a multiplicative set in S, then there is an isomorphism
Given two ring homomorphisms
If
A generalization of these two short exact sequences is provided by the cotangent complex.
The latter sequence and the above computation for the polynomial ring allows the computation of the Kähler differentials of finitely generated R-algebras
Kähler differentials for schemes
Because Kähler differentials are compatible with localization, they may be constructed on a general scheme by performing either of the two definitions above on affine open subschemes and gluing. However, the second definition has a geometric interpretation that globalizes immediately. In this interpretation, I represents the ideal defining the diagonal in the fiber product of Spec(S) with itself over Spec(S) → Spec(R). This construction therefore has a more geometric flavor, in the sense that the notion of first infinitesimal neighbourhood of the diagonal is thereby captured, via functions vanishing modulo functions vanishing at least to second order (see cotangent space for related notions). Moreover, it extends to a general morphism of schemes
de Rham complex
As before, fix a map
The derivation
satisfying
The de Rham complex enjoys an additional multiplicative structure, the wedge product
This turns the de Rham complex into a commutative differential graded algebra. It also has a coalgebra structure inherited from the one on the exterior algebra.
de Rham cohomology
The hypercohomology of the de Rham complex of sheaves is called the algebraic de Rham cohomology of X over Y and is denoted by
or just
As is familiar from coherent cohomology of other quasi-coherent sheaves, the computation of de Rham cohomology is simplified when X = Spec S and Y = Spec R are affine schemes. In this case, because affine schemes have no higher cohomology,
which is, termwise, the global sections of the sheaves
To take a very particular example, suppose that X = Spec Q[x, x−1] is the multiplicative group over Q. Because this is an affine scheme, hypercohomology reduces to ordinary cohomology. The algebraic de Rham complex is
The differential d obeys the usual rules of calculus, meaning
Grothendieck's comparison theorem
If X is smooth over
between the Kähler (i.e., algebraic) differential forms on X and the smooth (i.e.,
between algebraic and smooth de Rham cohomology is an isomorphism, as was first shown by Grothendieck (1966). A proof using the concept of a Weil cohomology was given by Cisinski & Déglise (2013).
Canonical divisor
If X is a smooth variety over a field k, then
is a line bundle or, equivalently, a divisor. It is referred to as the canonical divisor. The canonical divisor is, as it turns out, a dualizing complex and therefore appears in various important theorems in algebraic geometry such as Serre duality or Verdier duality.
Classification of algebraic curves
The geometric genus of a smooth algebraic variety X of dimension d over a field k is defined as the dimension
For curves, this purely algebraic definition agrees with the topological definition (for k = C) as the "number of handles" of the Riemann surface associated to X. There is a rather sharp trichotomy of geometric and arithmetic properties depending on the genus of a curve, for g being 0 (rational curves), 1 (elliptic curves), and greater than 1 (hyperbolic Riemann surfaces, including hyperelliptic curves), respectively.
Tangent bundle and Riemann–Roch theorem
The tangent bundle of a smooth variety X is, by definition, the dual of the cotangent sheaf
Unramified and smooth morphisms
The sheaf of differentials is related to various algebro-geometric notions. A morphism
A morphism f of finite type is a smooth morphism if it is flat and if
Periods
Periods are, broadly speaking, integrals of certain, arithmetically defined differential forms. The simplest example of a period is
Algebraic de Rham cohomology is used to construct periods as follows: For an algebraic variety X defined over Q, the above-mentioned compatibility with base-change yields a natural isomorphism
On the other hand, the right hand cohomology group is isomorphic to de Rham cohomology of the complex manifold
Algebraic number theory
In algebraic number theory, Kähler differentials may be used to study the ramification in an extension of algebraic number fields. If L / K is a finite extension with rings of integers O and o respectively then the different ideal δL / K, which encodes the ramification data, is the annihilator of the O-module ΩO/o:
Related notions
Hochschild homology is a homology theory for associative rings which turns out to be closely related to Kähler differentials. The de Rham–Witt complex is, in very rough terms, an enhancement of the de Rham complex for the ring of Witt vectors.