Editing Logarithmic form (section)

===Example of the residue===
Over the complex numbers, the residue of a differential form with log poles along a divisor <math>D_j</math> can be viewed as the result of [[integral|integration]] over loops in <math>X</math> around <math>D_j</math>. In this context, the residue may be called the [[Poincaré residue]].

For an explicit example,<ref>Griffiths & Harris (1994), section 2.1.</ref> consider an elliptic curve ''D'' in the complex [[projective plane]] <math>\mathbf{P}^2=\{ [x,y,z]\}</math>, defined in affine coordinates <math>z=1</math> by the equation <math>g(x,y) = y^2 - f(x) = 0,</math> where <math>f(x) = x(x-1)(x-\lambda)</math> and <math>\lambda\neq 0,1</math> is a complex number. Then ''D'' is a smooth [[hypersurface]] of degree 3 in <math>\mathbf{P}^2</math> and, in particular, a divisor with simple normal crossings. There is a meromorphic 2-form on <math>\mathbf{P}^2</math> given in affine coordinates by
:<math>\omega =\frac{dx\wedge dy}{g(x,y)},</math>
which has log poles along ''D''. Because the [[canonical bundle]] <math>K_{\mathbf{P}^2}=\Omega^2_{\mathbf{P}^2}</math> is isomorphic to the line bundle <math>\mathcal{O}(-3)</math>, the divisor of poles of <math>\omega</math> must have degree 3. So the divisor of poles of <math>\omega</math> consists only of ''D'' (in particular, <math>\omega</math> does not have a pole along the line <math>z=0</math> at infinity). The residue of ω along ''D'' is given by the holomorphic 1-form
:<math> \text{Res}_D(\omega) = \left. \frac{dy}{\partial g/\partial x} \right |_D =\left. -\frac{dx}{\partial g/\partial y} \right |_D = \left. -\frac{1}{2}\frac{dx}{y} \right |_D. </math>
It follows that <math>dx/y|_D </math> extends to a holomorphic one-form on the projective curve ''D'' in <math>\mathbf{P}^2</math>, an elliptic curve.

The residue map <math>H^0(\mathbf{P}^2,\Omega^2_{\mathbf{P}^2}(\log D))\to H^0(D,\Omega^1_D)</math> considered here is part of a linear map <math>H^2(\mathbf{P}^2-D,\mathbf{C})\to H^1(D,\mathbf{C})</math>, which may be called the "Gysin map". This is part of the [[Gysin sequence]] associated to any smooth divisor ''D'' in a complex manifold ''X'':
:<math>\cdots \to H^{j-2}(D)\to H^j(X)\to H^j(X-D)\to H^{j-1}(D)\to\cdots.</math>