Stabilizers and orbits of smooth functions

Let be a smooth function such that f(0)=0. We give a condition J(id) on f when for arbitrary preserving orientation diffeomorphism such that ?(0)=0 the function ?○f is right equivalent to f, i.e. there exists a diffeomorphism such that ?○f=f○h at 0∈Rm. The requirement is that f belongs to its Jacobi ideal. This property is rather general: it is invariant with respect to the stable equivalence of singularities, and holds for non-degenerated, simple, and many other singularities.We also globalize this result as follows. Let M be a smooth compact manifold, a surjective smooth function, DM the group of diffeomorphisms of M, and the group of diffeomorphisms of R that have compact support and leave 0,1] invariant. There are two natural right and left-right actions of DM and on C^∞(M,R). Let SM(f), SMR(f), OM(f), and OMR(f) be the corresponding stabilizers and orbits of f with respect to these actions. We prove that if f satisfies J(id) at each critical point and has additional mild properties, then the following homotopy equivalences hold: SM(f)≈SMR(f) and OM(f)≈OMR(f). Similar results are obtained for smooth mappings M→S¹.