Stabilizers and orbits of smooth functions

DOI10.1016/J.BULSCI.2005.11.001MaRDI QIDQ855491zbMATH OpenOpenAlexFDO

Authors Sergey Maksymenko

Publication date 7 December 2006

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

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

zbMATH Keywords

group actionsorbitsright-left actionssingularitiesstabilizers

Mathematics Subject Classification ID

Smooth dynamical systems: general theory (37C99) Singularities of differentiable mappings in differential topology (57R45) Critical points and critical submanifolds in differential topology (57R70) Algebraic and analytic properties of mappings on manifolds (58K20) Global theory of singularities (58K30)

Abstract: Let $f:R^{m}oR$ 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:mathbb{R}^{m}omathbb{R}^m$ such that $phicircf=fcirch$ at $0inmathbb{R}^m$. 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 $mathrm{Diff}^{[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)imesmathrm{Diff}^{[0,1]}(mathbbR)$ on $C^{infty}(M,R)$. Let $S_M(f)$, $S_{MR}(f)$, $O_M(f)$, and $O_{MR}(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 $S_M(f)approx{S}_{MR}(f)$ and $O_{M}approx{O}_{MR}$. Similar results are obtained for smooth mappings $Mo{S}^1$.

Review text

The author gives a condition on a smooth function \(f:{\mathbb R}^m\to {\mathbb R},\) \(f(0)=0\), when for an arbitrary orientation preserving diffeomorphism \(\phi :{\mathbb R}\to {\mathbb R}\) with \(\phi (0)=0\), the function \(\phi \circ f\) is right equivalent to \(f.\) The requirement is that \(f\) belongs to its Jacobi ideal. This result is also globalized. If \(M\) is a smooth compact manifold and \(f:M\to [0,1]\) a surjective smooth function, then one can consider the two natural right and left-right actions on \(C^{\infty}(M,{\mathbb R})\) of the group of diffeomorphisms of \(M\) and the simple product of this group with the group of diffeomorphisms of \({\mathbb R}\) that have compact support and leave \([0,1]\) invariant. The author proves that if \(f\) satisfies the above-mentioned condition at each critical point and has additional mild properties, then the corresponding stabilizers of \(f\) and the corrsponding orbits are homotopy equivalent. A similar result is obtained for smooth mappings \(f:M\to S^1.\)

Recommendations

• Homotopic types of right stabilizers and orbits of smooth functions on surfaces
• Homotopy types of stabilizers and orbits of Morse functions on surfaces
• Homotopic properties of the spaces of smooth functions on a 2-torus
• Functions with homogeneous singularities on compact surfaces
• Smooth and Topological Equivalence of Functions on Surfaces

Cites work

• scientific article; zbMATH DE number 3810519 (Why is no real title available?)
• scientific article; zbMATH DE number 3468047 (Why is no real title available?)
• Smooth shifts along trajectories of flows

Cited in

(7)

• -jets of diffeomorphisms preserving orbits of vector fields
• Deformations of functions on surfaces by isotopic to the identity diffeomorphisms
• Homotopic types of right stabilizers and orbits of smooth functions on surfaces
• Symmetries of degenerate center singularities of plane vector fields
• Homotopy types of diffeomorphism groups of polar Morse-Bott foliations on lens spaces. I
• Local inverses of shift maps along orbits of flows
• Distinguishing graph of a function with three critical points on a closed 3-manifold

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)