Logarithmic form: Difference between revisions

Content deleted Content added
BTotaro (talk | contribs)
Minor edits and reordering
BTotaro (talk | contribs)
m Link corrected
Line 44:
 
===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