Syzygies of Jacobian ideals and weighted homogeneous singularities (Q898288)

Let \(f\) define a complex projective hypersurface with isolated singularities and let \(M(f)\) be its Milnor algebra. Denote by \(AR(f)\) the graded module of all relations between the partial derivatives of \(f\), and by \(KR(f)\) the module of Koszul relations. The main result of the paper is a characterisation of the fact that all singularities of the hypersurface \(\{f=0\}\) are weighted homogeneous. This is the case if and only if the projection of \(AR(f)_m\) upon its first factor, considered as element in the ring defined by the saturation of the Jacobian ideal, has as kernel precisely \(KR(f)_m\), for all \(m\). Here the coordinates have to be chosen such that the coordinate hyperplane \(\{x_0=0\}\) is transversal to the hyperplane. Several corollaries are derived. As byproduct, the authors show that one can easily modify a basis for \(AR(f)_m\), computed with a computer algebra system, into one consisting of a basis for \(KR(f)_m\), extended by some elements, which give a basis for the quotient module, of essential relations.