Schema/Basisschema/Garbe der Kähler-Differentiale/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Garbe der Kähler-Differentiale

Es sei ein Schema über einem Basisschema . Dann versteht man unter der Garbe der Kähler-Differentiale denjenigen quasikohärenten -Modul auf zusammen mit einer Derivation über

derart, dass für jeden Punkt die Bedingung

erfüllt ist.