Kähler-Differential

Der Begriff des Kähler-Differentials (nach E. Kähler) ist eine algebraische Abstraktion der Leibnizregel aus dem mathematischen Teilgebiet der Differentialrechnung.

Dieser Artikel beschäftigt sich mit kommutativer Algebra. Insbesondere sind alle betrachteten Ringe kommutativ und haben ein Einselement. Für weitere Details siehe Kommutative Algebra.

Definition

Es sei A ein Ring und B eine A-Algebra.

Für einen B-Modul M ist eine A-lineare Derivation von B mit Werten in A definiert als eine A-lineare Abbildung $D\colon B\to M$, für die die Leibnizregel gilt, d.h.

D(b₁b₂) = b₁D(b₂) + b₂D(b₁).

Die Menge aller solcher Derivationen bildet einen B-Modul, der mit

Der_A(B,M)

bezeichnet wird.

Weiter sei

$I:=\ker(B\otimes_AB\to B)$

der Kern der Multiplikation, der über den linken Faktor als B-Modul aufgefasst werde. Der Modul der Kähler-Differentiale oder der relativen Differentiale ist dann

Ω_{B / A}: = I / I².

Die universelle Derivation ist die Abbildung

$\mathrm d\colon B\to\Omega_{B/A},\quad b\mapsto\mathrm db:=b\otimes 1-1\otimes b.$

Sie ist eine A-lineare Derivation.

Universelle Eigenschaft

Es gilt:

$\mathrm{Hom}_B(\Omega_{B/A},M)\to\mathrm{Der}_A(B,M),\quad f\mapsto f\circ \mathrm d,$

ist ein Isomorphismus. Man kann das auch so formulieren: Der Funktor Der_A(B, − ) wird durch das Paar (Ω_{B / A},d) dargestellt. Insbesondere ist Ω_{B / A} durch diese Eigenschaft im Wesentlichen eindeutig bestimmt.

Die exakten Sequenzen

• Ist A ein Ring, B eine A-Algebra, C eine B-Algebra und M ein C-Modul, so ist die folgende Sequenz exakt:

$0\longrightarrow\mathrm{Der}_B(C,M)\longrightarrow\mathrm{Der}_A(C,M)\longrightarrow\mathrm{Der}_A(B,M).$

Infolgedessen ist die entsprechende Sequenz der relativen Differentiale exakt:

$\Omega_{B/A}\otimes_BC\longrightarrow\Omega_{C/A}\longrightarrow\Omega_{C/B}\longrightarrow0.$

• Ist speziell C = B / I für ein Ideal I in B, so ist Der_B(C,M) = 0, aber man kann noch einen weiteren Term in der exakten Sequenz angeben:

$0\longrightarrow\mathrm{Der}_A(B/I,M) \longrightarrow\mathrm{Der}_A(B,M)\longrightarrow\mathrm{Hom}_{B/I}(I/I^2,M)$

Infolgedessen ist die folgende Sequenz der Moduln der Kähler-Differentiale exakt:

$I/I^2\longrightarrow \Omega_{B/A}\otimes_BB/I\longrightarrow\Omega_{(B/I)/A}\longrightarrow0.$

Differentiale und Körpererweiterungen

Es sei L / K eine Körpererweiterung.

• Hat K Charakteristik 0, so ist dim _LΩ_{L / K} gleich dem Transzendenzgrad von L / K.
• Hat K Charakteristik p > 0, und ist L / K endlich erzeugt, so gilt Ω_{L / K} = 0 genau dann, wenn L / K algebraisch und separabel ist. Ist beispielsweise $L=K(\sqrt[p]a)$ eine nichttriviale inseparable Erweiterung, so ist Ω_{L / K} ein eindimensionaler L-Vektorraum.

Beispiele

• Ist $B=A[X_1,\ldots,X_n]$, so ist Ω_{B / A} ein freier B-Modul mit Erzeugern $\mathrm dX_1,\ldots,\mathrm dX_n$.