On the basis of twisted de Rham cohomology (Q1277027)

Let \(D \subset {\mathbb C}^n\) be the union of hypersurfaces \(D_j\), \(j = 1, \ldots, m,\) defined by polynomials \(P_j \in {\mathbb C}[u_1, \ldots, u_n].\) Let \(\omega = \sum_{j=1}^m \alpha_j dP_j/P_j,\) and let \(\nabla_\omega = d + \omega \wedge\) be a covariant derivative on the complement \(M = {\mathbb C}^n \setminus D.\) Then \(\nabla_\omega\) acts on the modules of logarithmic differential forms \(\Omega^p(\log D)\), \(p \geq 1,\) so that the twisted de Rham complex \((\Omega^\bullet(\log D), \nabla_\omega)\) is well defined. In the case when \(D_j\), \(j = 1, \ldots, m,\) are hyperplanes in general position there is an explicit description of a basis \(H^n(\Omega^\bullet(\log D), \nabla_\omega)\) in terms of logarithmic differential forms [\textit{M. Kita}, Nagoya Math. J. 135, 55-85 (1994; Zbl 0869.32015)]. The author generalizes this result to the case when \(D_j\), \(j = 1, \ldots, m-1,\) are hyperplanes and \(D_m\) is a hypersurface of degree \(q \geq 1\) which satisfy certain conditions similar to those in an article by \textit{M. Kita} and \textit{M. Noumi} [Jap. J. Math., New Ser. 9, 113-157 (1983; Zbl 0549.32003)]. In particular the author proves that \(\dim_{\mathbb C} H^n(\Omega^\bullet(\log D), \nabla_\omega) = \sum_{i=0}^n {m-1 \choose n-i}(q-1)^i.\)