In algebraic geometry, given a morphism f: X → S of schemes, the cotangent sheaf on X is the sheaf of
Contents
- Construction through a diagonal morphism
- Relation to a tautological line bundle
- Cotangent stack
- References
that depends naturally on F. In other words, the cotangent sheaf is characterized by the universal property: there is the differential
In the case X and S are affine schemes, the above definition means that
There are two important exact sequences:
- If S →T is a morphism of schemes, then
f ∗ Ω S / T → Ω X / T → Ω X / S → 0. - If Z is a closed subscheme of X with ideal sheaf I, then
I / I 2 → Ω X / S ⊗ O Z → Ω Z / S → 0.
The cotangent sheaf is closely related to smoothness of a variety or scheme. For example, an algebraic variety is smooth of dimension n if and only if ΩX is a locally free sheaf of rank n.
Construction through a diagonal morphism
Let
and checks this sheaf of modules satisfies the required universal property of a cotangent sheaf (Hartshorne, Ch II. Remark 8.9.2). The construction shows in particular that the cotangent sheaf is quasi-coherent. It is coherent if S is Noetherian and f is of finite type.
The above definition means that the cotangent sheaf on X is the restriction to X of the conormal sheaf to the diagonal embedding of X over S.
Relation to a tautological line bundle
The cotangent sheaf on a projective space is related to the tautological line bundle O(-1) by the following exact sequence: writing
(See also Chern class#Complex projective space.)
Cotangent stack
For this notion, see § 1 of
A. Beilinson and V. Drinfeld, Quantization of Hitchin’s integrable system and Hecke eigensheaves [1]There, the cotangent stack on an algebraic stack X is defined as the relative Spec of the symmetric algebra of the tangent sheaf on X. (Note: in general, if E is a locally free sheaf of finite rank,
See also: Hitchin fibration (the cotangent stack of