Sheaf of logarithmic differential forms

In algebraic geometry, the sheaf of logarithmic differential p-forms $\Omega _{X}^{p}(\log D)$ on a smooth projective variety X along a smooth divisor $D=\sum D_{j}$ is defined and fits into the exact sequence of locally free sheaves:

0\to \Omega _{X}^{p}\to \Omega _{X}^{p}(\log D){\overset {\beta }\to }\oplus _{j}{i_{j}}_{*}\Omega _{{D_{j}}}^{{p-1}}\to 0,\,p\geq 1

where $i_{j}:D_{j}\to X$ 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 $D_{j},1\leq j\leq k$ and not on $D_{j},j>k$ , then

{du_{1} \over u_{1}},\dots ,{du_{k} \over u_{k}},\,du_{k},\dots ,du_{n}

form a basis of $\Omega _{X}^{1}(\log D)$ at x, where $u_{j}$ are local coordinates around x such that $u_{j},1\leq j\leq k$ are local parameters for $D_{j},1\leq j\leq k$ .

References

↑ Deligne, Part II, Lemma 3.2.1.

de Jong, Algebraic de Rham cohomology.
P. Deligne, Equations Différentielles à Points Singuliers Réguliers. Lecture Notes in Math. 163.

This article is issued from Wikipedia - version of the 6/20/2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.

Sheaf of logarithmic differential forms

See also

References