Content deleted Content added
Line 14:
This implies that there is a complex of sheaves <math>( \Omega^{\bullet}_X(\log D), d) </math>, known as the ''holomorphic log complex'' corresponding to the divisor ''D''. This is a subcomplex of <math> j_*\Omega^{\bullet}_{X-D} </math>, where <math> j:X-D\rightarrow X </math> is the inclusion and <math> \Omega^{\bullet}_{X-D} </math> is the complex of sheaves of holomorphic forms on <math> X-D </math>.
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>
:<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_n}{z_n}\oplus\mathcal{O}_{X,p}dz_1\oplus\cdots\oplus\mathcal{O}_{X,p}dz_n</math>
and that
| |||