Kähler differential

Template:Short description 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.

Definition

Let Template:Math and Template:Math be commutative rings and Template:Math be a ring homomorphism. An important example is for Template:Math a field and Template:Math a unital algebra over Template:Math (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

<math>\Omega_{S/R}</math>

of differentials in different, but equivalent ways.

Definition using derivations

An Template:Math-linear derivation on Template:Math is an Template:Math-module homomorphism <math>d : S \to M</math> to an Template:Math-module Template:Math satisfying the Leibniz rule <math>d(fg) = f\,dg + g\,df</math> (it automatically follows from this definition that the image of Template:Math is in the kernel of Template:Math <ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref>). The module of Kähler differentials is defined as the Template:Math-module <math>\Omega_{S/R}</math> for which there is a universal derivation <math>d : S \to \Omega_{S/R}</math>. As with other universal properties, this means that Template:Math is the best possible derivation in the sense that any other derivation may be obtained from it by composition with an Template:Math-module homomorphism. In other words, the composition with Template:Math provides, for every Template:Math Template:Math, an Template:Math-module isomorphism

<math>\operatorname{Hom}_S(\Omega_{S/R},M) \xrightarrow{\cong} \operatorname{Der}_R(S,M).</math>

One construction of Template:Math and Template:Math proceeds by constructing a free Template:Math-module with one formal generator Template:Math for each Template:Math in Template:Math, and imposing the relations

• Template:Math,
• Template:Math,
• Template:Math,

for all Template:Math in Template:Math and all Template:Math and Template:Math in Template:Math. The universal derivation sends Template:Math to Template:Math. The relations imply that the universal derivation is a homomorphism of Template:Math-modules.

Definition using the augmentation ideal

Another construction proceeds by letting Template:Math be the ideal in the tensor product <math>S \otimes_R S</math> defined as the kernel of the multiplication map

<math>\begin{cases} S \otimes_R S\to S \\ \sum s_i \otimes t_i \mapsto \sum s_i\cdot t_i \end{cases}</math>

Then the module of Kähler differentials of Template:Math can be equivalently defined by<ref name=H77>Template:Harvtxt</ref>

<math> \Omega_{S/R} = I/I^2,</math>

and the universal derivation is the homomorphism Template:Math defined by

<math>ds = 1 \otimes s - s \otimes 1.</math>

This construction is equivalent to the previous one because Template:Math is the kernel of the projection

<math>\begin{cases} S \otimes_R S\to S \otimes_R R \\ \sum s_i \otimes t_i \mapsto \sum s_i \cdot t_i \otimes 1 \end{cases}</math>

Thus we have:

<math>S \otimes_R S \equiv I \oplus S \otimes_R R.</math>

Then <math>S \otimes_R S / S \otimes_R R</math> may be identified with Template:Math by the map induced by the complementary projection

<math>\sum s_i \otimes t_i \mapsto \sum s_i \otimes t_i - \sum s_i\cdot t_i \otimes 1.</math>

This identifies Template:Math with the Template:Math-module generated by the formal generators Template:Math for Template:Math in Template:Math, subject to Template:Math being a homomorphism of Template:Math-modules which sends each element of Template:Math to zero. Taking the quotient by Template:Math precisely imposes the Leibniz rule.

Examples and basic facts

For any commutative ring Template:Math, the Kähler differentials of the polynomial ring <math>S=R[t_1, \dots, t_n]</math> are a free Template:Math-module of rank n generated by the differentials of the variables:

<math>\Omega^1_{R[t_1, \dots, t_n]/R} = \bigoplus_{i=1}^n R[t_1, \dots t_n] \, dt_i.</math>

Kähler differentials are compatible with extension of scalars, in the sense that for a second Template:Math-algebra Template:Math and <math>S' = S \otimes_R R'</math>, there is an isomorphism

<math>\Omega_{S/R} \otimes_S S' \cong \Omega_{ S'/R'}.</math>

As a particular case of this, Kähler differentials are compatible with localizations, meaning that if Template:Math is a multiplicative set in Template:Math, then there is an isomorphism

<math>W^{-1}\Omega_{S/R} \cong \Omega_{W^{-1}S/R}.</math>

Given two ring homomorphisms <math>R \to S \to T</math>, there is a short exact sequence of Template:Math-modules

<math>\Omega_{S/R} \otimes_S T \to \Omega_{T/R} \to \Omega_{T/S} \to 0.</math>

If <math>T=S/I</math> for some ideal Template:Math, the term <math>\Omega_{T/S}</math> vanishes and the sequence can be continued at the left as follows:

<math>I/I^2 \xrightarrow{[f] \mapsto df \otimes 1} \Omega_{S/R} \otimes_S T \to \Omega_{T/R} \to 0.</math>

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 Template:Math-algebras <math>T=R[t_1, \ldots, t_n]/(f_1, \ldots, f_m)</math>. Briefly, these are generated by the differentials of the variables and have relations coming from the differentials of the equations. For example, for a single polynomial in a single variable,

<math>\Omega_{(R[t]/(f)) / R} \cong (R[t]\,dt \otimes R[t]/(f)) / (df) \cong R[t]/(f, df/dt)\,dt.</math>

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, Template:Math represents the ideal defining the diagonal in the fiber product of Template:Math with itself over Template:Math. 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 <math>f : X \to Y</math> by setting <math>\mathcal{I}</math> to be the ideal of the diagonal in the fiber product <math>X \times_Y X</math>. The cotangent sheaf <math>\Omega_{X/Y} = \mathcal{I} / \mathcal{I}^2</math>, together with the derivation <math>d: \mathcal{O}_X \to \Omega_{X/Y}</math> defined analogously to before, is universal among <math>f^{-1}\mathcal{O}_Y</math>-linear derivations of <math>\mathcal{O}_X</math>-modules. If Template:Math is an open affine subscheme of Template:Math whose image in Template:Math is contained in an open affine subscheme Template:Math, then the cotangent sheaf restricts to a sheaf on Template:Math which is similarly universal. It is therefore the sheaf associated to the module of Kähler differentials for the rings underlying Template:Math and Template:Math.

Similar to the commutative algebra case, there exist exact sequences associated to morphisms of schemes. Given morphisms <math>f:X\to Y</math> and <math>g:Y\to Z</math> of schemes there is an exact sequence of sheaves on <math>X</math>

<math>f^*\Omega_{Y/Z} \to \Omega_{X/Z} \to \Omega_{X/Y} \to 0 </math>

Also, if <math>X \subset Y</math> is a closed subscheme given by the ideal sheaf <math>\mathcal{I}</math>, then <math> \Omega_{X/Y}=0 </math> and there is an exact sequence of sheaves on <math>X</math>

<math>\mathcal{I}/\mathcal{I}^2 \to \Omega_{Y/Z}|_X \to \Omega_{X/Z} \to 0</math>

Examples

Finite separable field extensions

If <math>K/k</math> is a finite field extension, then <math>\Omega^1_{K/k}=0</math> if and only if <math>K/k</math> is separable. Consequently, if <math>K/k</math> is a finite separable field extension and <math>\pi:Y \to \operatorname{Spec}(K)</math> is a smooth variety (or scheme), then the relative cotangent sequence

<math>\pi^*\Omega^1_{K/k} \to \Omega^1_{Y/k} \to \Omega^1_{Y/K} \to 0</math>

proves <math>\Omega^1_{Y/k} \cong \Omega^1_{Y/K}</math>.

Cotangent modules of a projective variety

Given a projective scheme <math>X\in \operatorname{Sch}/\mathbb{k}</math>, its cotangent sheaf can be computed from the sheafification of the cotangent module on the underlying graded algebra. For example, consider the complex curve

<math> \operatorname{Proj}\left(\frac{\Complex[x,y,z]}{(x^n + y^n - z^n)} \right)=\operatorname{Proj}(R) </math>

then we can compute the cotangent module as

<math>\Omega_{R/\Complex} = \frac{R\cdot dx \oplus R \cdot dy \oplus R \cdot dz}{nx^{n-1}dx + ny^{n-1}dy - nz^{n-1}dz}</math>

Then,

<math>\Omega_{X/\Complex} = \widetilde{\Omega_{R/\Complex}}</math>

Morphisms of schemes

Consider the morphism

<math>X = \operatorname{Spec}\left( \frac{\Complex[t,x,y]}{(xy-t)} \right)=\operatorname{Spec}(R) \to \operatorname{Spec}(\Complex[t]) = Y</math>

in <math>\operatorname{Sch}/\Complex</math>. Then, using the first sequence we see that

<math>\widetilde{R\cdot dt} \to \widetilde{\frac{R\cdot dt \oplus R \cdot dx \oplus R \cdot dy}{ydx + xdy - dt}} \to \Omega_{X/Y} \to 0 </math>

hence

<math>\Omega_{X/Y} = \widetilde{\frac{R \cdot dx \oplus R \cdot dy}{ydx + xdy}}</math>

Higher differential forms and algebraic de Rham cohomology

de Rham complex

As before, fix a map <math>X \to Y</math>. Differential forms of higher degree are defined as the exterior powers (over <math>\mathcal O_X</math>),

<math>\Omega^n_{X/Y} := \bigwedge^n \Omega_{X/Y}.</math>

The derivation <math>\mathcal O_X \to \Omega_{X/Y}</math> extends in a natural way to a sequence of maps

<math>0 \to \mathcal{O}_X \xrightarrow{d} \Omega^1_{X/Y} \xrightarrow{d} \Omega^2_{X/Y} \xrightarrow{d} \cdots</math>

satisfying <math>d \circ d=0.</math> This is a cochain complex known as the de Rham complex.

The de Rham complex enjoys an additional multiplicative structure, the wedge product

<math>\Omega^n_{X/Y} \otimes \Omega^m_{X/Y} \to \Omega^{n+m}_{X/Y}.</math>

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.<ref>Template:Citation</ref>

de Rham cohomology

The hypercohomology of the de Rham complex of sheaves is called the algebraic de Rham cohomology of Template:Math over Template:Math and is denoted by <math>H^n_\text{dR}(X / Y)</math> or just <math>H^n_\text{dR}(X)</math> if Template:Math is clear from the context. (In many situations, Template:Math is the spectrum of a field of characteristic zero.) Algebraic de Rham cohomology was introduced by Template:Harvtxt. It is closely related to crystalline cohomology.

As is familiar from coherent cohomology of other quasi-coherent sheaves, the computation of de Rham cohomology is simplified when Template:Math and Template:Math are affine schemes. In this case, because affine schemes have no higher cohomology, <math>H^n_\text{dR}(X / Y)</math> can be computed as the cohomology of the complex of abelian groups

<math>0 \to S \xrightarrow{d} \Omega^1_{S/R} \xrightarrow{d} \Omega^2_{S/R} \xrightarrow{d} \cdots</math>

which is, termwise, the global sections of the sheaves <math>\Omega^r_{X/Y}</math>.

To take a very particular example, suppose that <math>X=\operatorname{Spec}\Q \left [x,x^{-1} \right ]</math> is the multiplicative group over <math>\Q.</math> Because this is an affine scheme, hypercohomology reduces to ordinary cohomology. The algebraic de Rham complex is

<math>\Q[x, x^{-1}] \xrightarrow{d} \Q[x, x^{-1}]\,dx.</math>

The differential Template:Math obeys the usual rules of calculus, meaning <math>d(x^n) = nx^{n-1}\,dx.</math> The kernel and cokernel compute algebraic de Rham cohomology, so

<math>\begin{align}

H_\text{dR}^0(X) &= \Q \\ H_\text{dR}^1(X) &= \Q \cdot x^{-1} dx \end{align}</math>

and all other algebraic de Rham cohomology groups are zero. By way of comparison, the algebraic de Rham cohomology groups of <math>Y=\operatorname{Spec}\mathbb{F}_p \left [x,x^{-1} \right ]</math> are much larger, namely,

<math>\begin{align}

H_\text{dR}^0(Y) &= \bigoplus_{k \in \Z} \mathbb{F}_p \cdot x^{kp} \\ H_\text{dR}^1(Y) &= \bigoplus_{k \in \Z} \mathbb{F}_p \cdot x^{kp-1}\,dx \end{align}</math>

Since the Betti numbers of these cohomology groups are not what is expected, crystalline cohomology was developed to remedy this issue; it defines a Weil cohomology theory over finite fields.

Grothendieck's comparison theorem

If Template:Math is a smooth complex algebraic variety, there is a natural comparison map of complexes of sheaves

<math>\Omega^{\bullet}_{X/\Complex}(-) \to \Omega^{\bullet}_{X^\text{an}}((-)^\text{an})</math>

between the algebraic de Rham complex and the smooth de Rham complex defined in terms of (complex-valued) differential forms on <math>X^\text{an}</math>, the complex manifold associated to X. Here, <math display="inline">(-)^{\text{an}}</math> denotes the complex analytification functor. This map is far from being an isomorphism. Nonetheless, Template:Harvtxt showed that the comparison map induces an isomorphism

<math>H^\ast_\text{dR}(X/\Complex) \cong H^\ast_\text{dR}(X^\text{an})</math>

from algebraic to smooth de Rham cohomology (and thus to singular cohomology <math display="inline">H^*_{\text{sing}}(X^{\text{an}}; \C)</math> by de Rham's theorem). In particular, if X is a smooth affine algebraic variety embedded in <math display="inline">\C^n</math>, then the inclusion of the subcomplex of algebraic differential forms into that of all smooth forms on X is a quasi-isomorphism. For example, if

<math>X = \{ (w,z) \in \C^2: w z =1 \}</math>,

then as shown above, the computation of algebraic de Rham cohomology gives explicit generators <math display="inline">\{ 1, z^{-1} dz \}</math> for <math>H^0_{\text{dR}}(X/\C)</math> and <math>H^1_{\text{dR}}(X/ \C)</math>, respectively, while all other cohomology groups vanish. Since X is homotopy equivalent to a circle, this is as predicted by Grothendieck's theorem.

Counter-examples in the singular case can be found with non-Du Bois singularities such as the graded ring <math>k[x,y]/(y^2-x^3)</math> with <math>y</math> where <math>\deg(y)=3</math> and <math>\deg(x)=2</math>.<ref>Template:Citation</ref> Other counterexamples can be found in algebraic plane curves with isolated singularities whose Milnor and Tjurina numbers are non-equal.<ref>Template:Citation</ref>

A proof of Grothendieck's theorem using the concept of a mixed Weil cohomology theory was given by Template:Harvtxt.

Applications

Canonical divisor

If Template:Math is a smooth variety over a field Template:Math,Template:Clarify then <math>\Omega_{X/k}</math> is a vector bundle (i.e., a locally free <math>\mathcal O_X</math>-module) of rank equal to the dimension of Template:Math. This implies, in particular, that

<math>\omega_{X/k} := \bigwedge^{\dim X} \Omega_{X/k}</math>

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 Template:Math of dimension Template:Math over a field Template:Math is defined as the dimension

<math>g := \dim H^0(X, \Omega^d_{X/k}).</math>

For curves, this purely algebraic definition agrees with the topological definition (for <math>k=\Complex</math>) 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 Template:Math 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 Template:Math is, by definition, the dual of the cotangent sheaf <math>\Omega_{X/k}</math>. The Riemann–Roch theorem and its far-reaching generalization, the Grothendieck–Riemann–Roch theorem, contain as a crucial ingredient the Todd class of the tangent bundle.

Unramified and smooth morphisms

The sheaf of differentials is related to various algebro-geometric notions. A morphism <math>f: X \to Y</math> of schemes is unramified if and only if <math>\Omega_{X/Y}</math> is zero.<ref>Template:Citation; the map Template:Math is supposed to be locally of finite type for this statement.</ref> A special case of this assertion is that for a field Template:Math, <math>K := k[t]/f</math> is separable over Template:Math iff <math>\Omega_{K/k} = 0</math>, which can also be read off the above computation.

A morphism Template:Math of finite type is a smooth morphism if it is flat and if <math>\Omega_{X/Y}</math> is a locally free <math>\mathcal O_X</math>-module of appropriate rank. The computation of <math>\Omega_{R[t_1, \ldots, t_n]/R}</math> above shows that the projection from affine space <math>\mathbb A^n_R \to \operatorname{Spec}(R)</math> is smooth.

Periods

Periods are, broadly speaking, integrals of certain arithmetically defined differential forms.<ref>Template:Citation</ref> The simplest example of a period is <math>2 \pi i</math>, which arises as

<math>\int_{S^1} \frac {dz} z = 2 \pi i.</math>

Algebraic de Rham cohomology is used to construct periods as follows:<ref>Template:Citation</ref> For an algebraic variety Template:Math defined over <math>\Q,</math> the above-mentioned compatibility with base-change yields a natural isomorphism

<math>H^n_\text{dR}(X / \Q) \otimes_{\Q} \Complex = H^n_\text{dR}(X \otimes_{\Q} \Complex / \Complex).</math>

On the other hand, the right hand cohomology group is isomorphic to de Rham cohomology of the complex manifold <math>X^\text{an}</math> associated to Template:Math, denoted here <math>H^n_\text{dR}(X^\text{an}).</math> Yet another classical result, de Rham's theorem, asserts an isomorphism of the latter cohomology group with singular cohomology (or sheaf cohomology) with complex coefficients, <math>H^n(X^\text{an}, \Complex)</math>, which by the universal coefficient theorem is in its turn isomorphic to <math>H^n(X^\text{an}, \Q) \otimes_{\Q} \Complex.</math> Composing these isomorphisms yields two rational vector spaces which, after tensoring with <math>\Complex</math> become isomorphic. Choosing bases of these rational subspaces (also called lattices), the determinant of the base-change matrix is a complex number, well defined up to multiplication by a rational number. Such numbers are periods.

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 Template:Math is a finite extension with rings of integers Template:Math and Template:Math respectively then the different ideal Template:Math, which encodes the ramification data, is the annihilator of the Template:Math-module Template:Math:<ref name=N201>Template:Harvtxt</ref>

<math>\delta_{L/K} = \{ x \in R : x \,dy = 0 \text{ for all } y \in R \}.</math>

Related notions

Hochschild homology is a homology theory for associative rings that turns out to be closely related to Kähler differentials. This is because of the Hochschild-Kostant-Rosenberg theorem which states that the Hochschild homology <math>HH_\bullet(R)</math> of an algebra of a smooth variety is isomorphic to the de-Rham complex <math>\Omega^\bullet_{R/k}</math> for <math>k</math> a field of characteristic <math>0</math>. A derived enhancement of this theorem states that the Hochschild homology of a differential graded algebra is isomorphic to the derived de-Rham complex.

The de Rham–Witt complex is, in very rough terms, an enhancement of the de Rham complex for the ring of Witt vectors.

References

• Template:Citation

• Template:Citation (letter to Michael Atiyah, October 14, 1963)

• Template:Citation

• Template:Citation
• Template:Citation
• Template:Hartshorne AG
• Template:Citation
• Template:Neukirch ANT
• Template:Citation
• Template:Citation

External links

• Notes on p-adic algebraic de-Rham cohomology - gives many computations over characteristic 0 as motivation
• A thread devoted to the relation on algebraic and analytic differential forms
• Differentials (Stacks project)