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

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.