Logarithmic bundles of hypersurface arrangements in \(\mathbb P^n\) (Q486344): Difference between revisions

A family \(D=\{D_1, \dots, D_l\}\) of hypersurfaces on the complex projective space \(\mathbb{P}^n\) is a \textit{hypersurface arrangement with normal crossings} if it is locally isomorphic to a union of hyperplanes of \(\mathbb{C}^n\). Considering the differentials of the logarithms of the local coordinates of \(D\) one can construct \(\Omega(\log(D))\) the \textit{sheaf of differential 1-forms with logarithmic poles on \(D\)}. The so-called Torelli problem for logarithmic bundles asks if isomorphic logarithmic bundles come from the same arrangement. The paper under review generalizes some known results from hyperplane arrangements to arrangements of hypersurfaces of the same degree. In particular (see Theorem 5.5) if \(l\) is big enough, a Torelli type theorem is proved: \(D\) is recovered in a natural way from \(\Omega(\log(D))\) (as its unstable smooth hypersurfaces). Examples of arrangements of one and two quadrics are studied.