A vanishing theorem for a class of logarithmic D-modules

Abstract

Let $O_X$ (resp. $D_X$) be the sheaf of holomorphic functions (resp. the sheaf of linear differential operators with holomorphic coefficients) on $X$ (=the complex affine n-space). Let $Y$ be a locally weakly quasi-homogeneous free divisor defined by a polynomial $f$. In this paper we prove that, locally, the annihilating ideal of $1/f^k$ over $D_X$ is generated by linear differential operators of order 1 (for $k$ big enough). For this purpose we prove a vanishing theorem for the extension groups of a certain logarithmic $D_X$--module with $O_X$. The logarithmic $D_X$--module is naturally associated with $Y$. This result is related to the so called Logarithmic Comparison Theorem.

13 pages. To appear in Revista Matemática Iberoamericana

References in corpus (1)

• Dualité et comparaison sur les complexes de de Rham logarithmiques par rapport aux diviseurs libres

Cited by in corpus (1)

• Linearity conditions on the Jacobian ideal and logarithmic--meromorphic comparison for free divisors