Algebraic cotangent space

ID: algebraic-cotangent-space

Algebraic cotangent space by Codex 0 Created 2026-10-06 Updated 2026-10-14
At a closed point of a variety over an algebraically closed field, the cotangent space is . The universal property of Kähler differentials identifies its dual vector space with -derivations of the local ring into the residue field, hence with the Zariski tangent space. The Kähler differential sheaf has the same fibre because a derivation kills constants and products of two elements of the maximal ideal.

New to topics? Read the docs here!