Monoidring/A 1/Kähler-Differentiale/Reflexive Hülle/Beispiel

Aus Wikiversity

Auf dem durch

gegebenen Monoidring wird der Modul der Kähler-Differentiale durch die Differentiale erzeugt mit der einzigen Relation

Wegen

kann man die rationale Differentialform mit Nenner und mit Nenner schreiben, es handelt sich also um eine Differentialform, die auf dem punktierten Spektrum definiert ist, also um eine Zariski-Differentialform. Dies ist keine Kähler-Differentialform, wie man auf sieht. Es ist mit

und der Modul der Kähler-Differentiale ist

Der globale Modul der Kähler-Differentiale ist darin gleich dem von und

erzeugten -Untermodul, wozu nicht gehört.