Annihilating ideals for an algebraic local cohomology class (Q1012134)

The authors consider isolated hypersurface singularities in the context of algebraic analysis. Given a holomorphic function \(f: ({\mathbb C}^n,0)\to({\mathbb C},0)\), let \(W_f\) be the space of algebraic local cohomology classes annihilated by the Jacobi ideal \(J_f\); it is the dual vector space to the Jacobi algebra \({\mathcal O}/J_f\). Let \({\mathcal A}nn^{(k)}_{{\mathcal D}_0}(\omega)\) be the right \(\mathcal D_0\)-module, generated by the the set of linear differential operators of order at most \(k\) annihilating a generator of \(W_f\). Then \( {\mathcal D}_0/ {\mathcal A}nn^{(k)}_{{\mathcal D}_0}(\omega)\) is a holonomic system, supported at the origin. The multiplicity \(\mu^{(k)}\) of its characteristic cycle gives an invariant of the singularity, with \(\mu^{(0)}\) the Milnor number. The purpose of this paper is to give algorithms for computing the relevant objects. The first one concerns the computation of a basis of \(W_f\), in terms of relative Čech cohomology. This leads to a test for the membership problem for \(J_f\) using residues. The second algorithm computes the annihilators \({\mathcal A}nn^{(k)}_{{\mathcal D}_0}(\omega)\). The algorithms are illustrated with the singularity \(Z_{12}\).