Algebraic local cohomology classes attached to unimodal singularities (Q409057): Difference between revisions

Let \(X\) be an open neighborhood of the origin \(O\) in \(\mathbb C^n\) and \(f\) a holomorphic function on \(X\) with isolated singularity at \(O\). It is known that the set of algebraic local cohomology classes in \(\mathcal H_{[O]}^n(\Omega_X^n)\) annihilated by the Jacobian ideal of \(f\) is generated by a single element \(\omega\). Here \(\Omega_X^n\) denotes the sheaf on \(X\) of holomorphic differential \(n\)-forms. Furthermore the annihilator ideal \(\mathop{\mathcal{A}nn}_{\mathcal D_{X,O}} \omega\) of \(\omega\) in the stalk at \(O\) of the sheaf \(\mathcal D_X\) of holomorphic linear partial differential operators on \(X\) is generated by differential operators of order at most \(1\) if \(f\) is quasihomogeneous. In the present paper, the authors are interested in the case that \(f\) is not quasihomogeneous. They show that \(\mathop{\mathcal{A}nn}_{\mathcal D_{X,O}} \omega\) is generated by differential operators of order at most \(2\) if \(f\) has a non-quasihomogeneous unimodal singularity. Their proof is very constructive and effective. Indeed they give a generator system of \(\mathop{\mathcal{A}nn}_{\mathcal D_{X,O}} \omega\) in several cases.