Sheaf of logarithmic differential forms
(Redirected from Logarithmic Kähler differential)
In algebraic geometry, the sheaf of logarithmic differential p-forms on a smooth projective variety X along a smooth divisor is defined and fits into the exact sequence of locally free sheaves:
where are the inclusions of irreducible divisors (and the pushforwards along them are extension by zero), and is called the residue map when p is 1.
For example,[1] if x is a closed point on and not on , then
form a basis of at x, where are local coordinates around x such that are local parameters for .
See also
Notes
- ^ Deligne 2008, Part II, Lemma 3.2.1.
References
- Aise Johan de Jong, Algebraic de Rham cohomology.
- Deligne, Pierre (2008). Equations Differentielles a Points Singuliers Reguliers (in French). Springer. p. 163. ISBN 978-3-540-05190-9. OCLC 466097729.