Kähler-Differential

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

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[Bearbeiten]

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, das heißt

D(b_1b_2)=b_1D(b_2)+b_2D(b_1).

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

\mathrm{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

\Omega_{B/A}:=I/I^2.

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[Bearbeiten]

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 \mathrm{Der}_A(B,{-}) wird durch das Paar (\Omega_{B/A},\mathrm d) dargestellt. Insbesondere ist \Omega_{B/A} durch diese Eigenschaft im Wesentlichen eindeutig bestimmt.

Die exakten Sequenzen[Bearbeiten]

  • 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 \mathrm{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[Bearbeiten]

Es sei L/K eine Körpererweiterung.

  • Hat K Charakteristik 0, so ist \dim_L\Omega_{L/K} gleich dem Transzendenzgrad von L/K.
  • Hat K Charakteristik p>0, und ist L/K endlich erzeugt, so gilt \Omega_{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 \Omega_{L/K} ein eindimensionaler L-Vektorraum.

Beispiele[Bearbeiten]

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