Logarithmic form: Difference between revisions

Content deleted Content added
Kkord87 (talk | contribs)
Line 15:
 
Of special interest is the case where ''D'' has simple [[normal crossings]]. Then if <math> \{D_{\nu}\} </math> are the smooth, irreducible components of <math> D </math>, one has <math> D = \sum D_{\nu} </math> with the <math> D_{\nu} </math> meeting transversely. Locally <math> D </math> is the union of hyperplanes, with local defining equations of the form <math> z_1\cdots z_k = 0 </math> in some holomorphic coordinates. One can show that the stalk of <math> \Omega^1_X(\log D) </math> at ''p'' satisfies<ref name="foo">Chris A.M. Peters; Joseph H.M. Steenbrink (2007). Mixed Hodge Structures. Springer. ISBN 978-3-540-77015-6</ref>
:<math> \Omega_X^1(\log D)_p = \mathcal{O}_{X,p}\frac{dz_1}{z_1}\oplus\cdots\oplus\mathcal{O}_{X,p}\frac{dz_ndz_k}{z_nz_k}\oplus\mathcal{O}_{X,p}dz_1dz_{k+1}\oplus\cdots\oplus\mathcal{O}_{X,p}dz_n</math>
and that
:<math> \Omega_X^k(\log D)_p = \bigwedge^k_{j=1} \Omega_X^1(\log D)_p </math>.