Stabilizers and orbits of smooth functions

From MaRDI portal
Publication:855491

DOI10.1016/J.BULSCI.2005.11.001zbMATH Open1109.37023arXivmath/0411612OpenAlexW1976753390MaRDI QIDQ855491FDOQ855491

Sergey Maksymenko

Publication date: 7 December 2006

Published in: Bulletin des Sciences Mathématiques (Search for Journal in Brave)

Abstract: Let f:RmoR be a smooth function such that f(0)=0. We give a condition on f when for arbitrary preserving orientation diffeomorphism phi:mathbbRomathbbR such that phi(0)=0 the function phicircf is right equivalent to f, i.e. there exists a diffeomorphism h:mathbbRmomathbbRm such that phicircf=fcirch at 0inmathbbRm. 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 critical points, simple singularities and many others. We also globalize this result as follows. Let M be a smooth compact manifold, f:Mo[0,1] a surjective smooth function, mathrmDiff(M) the group of diffeomorphisms of M, and mathrmDiff[0,1](mathbbR) the group of diffeomorphisms of mathbbR that have compact support and leave [0,1] invariant. There are two natural right and left-right actions of mathrmDiff(M) and mathrmDiff(M)imesmathrmDiff[0,1](mathbbR) on Cinfty(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. Under mild assumptions on f we get the following homotopy equivalences SM(f)approxSMR(f) and OMapproxOMR. Similar results are obtained for smooth mappings MoS1.


Full work available at URL: https://arxiv.org/abs/math/0411612




Recommendations




Cites Work


Cited In (5)





This page was built for publication: Stabilizers and orbits of smooth functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q855491)