Algebraische Derivationen und Differentiale/1/Einführung/Textabschnitt

Aus Wikiversity


Definition  

Es sei ein kommutativer Ring, eine kommutative -Algebra und ein -Modul. Dann heißt eine -lineare Abbildung

mit

für alle eine -Derivation (mit Werten in ).

Die dabei verwendete Regel nennt man Leibniz-Regel. Oft ist . Für den Polynomring sind beispielsweise die -ten (formalen) partiellen Ableitungen

-Derivationen von nach . Die Menge der Derivationen von nach ist in natürlicher Weise ein -Modul. Er wird mit bezeichnet.


Definition  

Es sei ein kommutativer Ring und eine kommutative -Algebra. Der von allen Symbolen , , erzeugte -Modul, modulo den Identifizierungen

und

heißt Modul der Kähler-Differentiale von über . Er wird mit

bezeichnet.

Bei dieser Konstruktion startet man also mit dem freien -Modul mit , als Basis und bildet den -Restklassenmodul zu demjenigen Untermodul, der von den Elementen

und

erzeugt wird. Die Abbildung

heißt die universelle Derivation. Man prüft sofort nach, dass es sich um eine -Derivation handelt.



Lemma  

Es sei ein kommutativer Ring und eine kommutative -Algebra. Dann besitzt der -Modul der Kähler-Differentiale die folgende universelle Eigenschaft.

Zu jedem -Modul und jeder -Derivation

gibt es eine eindeutig bestimmte -lineare Abbildung

mit .

Beweis  

Für jedes , , muss sein. Da die ein -Modul-Erzeugendensystem von bilden, kann es maximal nur einen solchen Homomorphismus geben.
Es sei der freie Modul zur Basis , . Die Zuordnung legt nach dem Festlegungssatz einen -Modulhomomorphismus

fest. Es ist , wobei der von den Elementen erzeugte Untermodul ist, die die Leibnizregel und die Linearität ausdrücken. Da eine Derivation ist, wird unter auf abgebildet. Daher gibt es nach dem Homomorphiesatz eine eindeutige -lineare Abbildung

mit



Diese Aussage kann man auch so ausdrücken, dass eine natürliche -Modulisomorphie

vorliegt. Insbesondere ist

wobei rechts der Dualmodul genommen wird.



Lemma  

Es sei ein kommutativer Ring, eine kommutative -Algebra und der Modul der Kähler-Differentiale. Dann gelten folgende Eigenschaften.

  1. Es ist für alle .
  2. Man kann

    als den Restklassenmodul des freien -Moduls zur Basis , , modulo dem Untermodul, der von den Leibnizrelationen und von , , erzeugt wird, beschreiben.

  3. Bei ist , , ein -Modulerzeugendensystem von .
  4. Sei . Für ein Polynom und das zugehörige Element gilt in die Beziehung

    wobei die -te partielle Derivation bezeichnet.

  5. Zu einem kommutativen Diagramm

    wobei die Pfeile Ringhomomorphismen repräsentieren, gibt es eine eindeutig bestimmte -lineare Abbildung

Beweis  

  1. Es sei . Wegen der -Linearität ist . Wegen der Produktregel ist

    so dass durch Subtraktion folgt.

  2. Wir zeigen, dass der in Frage stehende Untermodul mit dem Untermodul übereinstimmt, der von allen Leibnizrelationen und von den Linearitätsrelationen erzeugt wird. Nach Teil (1) ist die Inklusion klar. Für und gilt modulo die Gleichheit

    so dass also auch die Linearitätsrelationen zu gehören.

  3. Dies folgt aus der Linearität und der Leibnizregel.
  4. Beide Seiten sind -linear, so dass es genügt, die Aussage für Monome zu zeigen. Für Monome beweist man die Aussage durch Induktion über den Gesamtgrad des Monoms.
  5. Da über eine -Algebra ist, ist auch ein -Modul. Die Verknüpfung

    ist eine -Derivation, wie man unmittelbar nachrechnet. Aufgrund der universellen Eigenschaft von gibt es eine eindeutig bestimmte -lineare Abbildung

    mit .



Lemma  

Es sei ein kommutativer Ring und der Polynomring in Variablen über .

Dann ist der Modul der Kähler-Differentiale der freie -Modul zur Basis

Die universelle Derivation ist bezüglich dieser Basis durch

gegeben.

Beweis  

Es sei der von den Symbolen erzeugte freie -Modul. Die Abbildung

die das Basiselement auf das Differential schickt, ist nach Fakt  (3) surjektiv. Die -te partielle Ableitung

ist eine -Derivation, so dass es aufgrund der universellen Eigenschaft des Moduls der Differentialformen eine -lineare Abbildung

mit gibt. Dabei ist und für . Diese Abbildungen ergeben zusammen eine -lineare Abbildung

für die gilt. Daher ist auch injektiv.


Im Allgemeinen ist der Modul der Kähler-Differentiale nicht frei. Wenn ein Körper und der lokale Ring zu einem Punkt auf einer Varietät ist, so charakterisiert die Freiheit des Moduls sogar, dass der Punkt glatt ist, siehe Fakt und Fakt.



Lemma

Es sei ein kommutativer Ring, eine kommutative -Algebra und ein multiplikatives System.

Dann ist

Beweis

Siehe Aufgabe.



Lemma  

Es sei ein kommutativer Ring und es seien und kommutative -Algebren und

ein -Algebrahomomorphismus.

Dann ist die Sequenz

von -Moduln exakt.

Dabei geht auf und (in ) auf (in ).

Beweis  

Die Surjektivität rechts ist klar. Zur Exaktheit an der zweiten Stelle verwenden wir die Beschreibung aus Fakt  (2). Die beiden Moduln und besitzen das gleiche Erzeugendensystem und auch die Leibnizrelationen sind für beide gleich. Der Modul ergibt sich aus gerade dadurch, dass man den von den , , erzeugten -Untermodul zu macht. Dieser Untermodul ist genau das Bild der Abbildung links.