The Milnor-Palamodov theorem for functions on isolated hypersurface singularities (Q2040962)

Let \(f:(\mathbb{C}^{n+1},0)\rightarrow (\mathbb{C},0)\) be an analytic function germ with an isolated critical point at the origin. The classical Milnor-Palamodov theorem states that the dimension of the local algebra \(\mathcal{O}_{n+1}/J_f\) (where \(J_f\) is the ideal generated by the partial derivatives of \(f\)), is equal to the Milnor number of \(f\) (the number of \(n\)-dimensional spheres in the bouquet decomposition of the Milnor fiber \(X_f\) of \(f\)). The author gives a simple proof of the following relative analog of this theorem: the Bruce-Roberts number of a function relative to an isolated hypersurface singularity is equal to its topological Milnor number (the rank of a certain relative (co)homology group) if and only if the hypersurface singularity is quasi-homogeneous. The proof relies on an interpretation of the Bruce-Roberts number in terms of differential forms and the Lê-Greuel formula.