Sheaf of Kähler differentials over a field
ID: sheaf-of-kahler-differentials-over-a-field
For a variety over , the Module of Kähler differentials on each affine chart gives a quasi-coherent sheaf. Compatibility with localization glues these into . A finite presentation of an algebra gives a finite presentation of a module for its differentials, so this is a coherent sheaf on a variety.
New to topics? Read the docs here!