Homotopy types of stabilizers and orbits of Morse functions on surfaces

dc.creatorMaksymenko, Sergey
dc.date2003-10-06
dc.date2006-08-14
dc.date.accessioned2026-07-07T06:35:45Z
dc.date.available2026-07-07T06:35:45Z
dc.descriptionLet $M$ be a smooth compact surface, orientable or not, with boundary or without it, $P$ either the real line $R^1$ or the circle $S^1$, and $Diff(M)$ the group of diffeomorphisms of $M$ acting on $C^{\infty}(M,P)$ by the rule $h\cdot f\mapsto f \circ h^{-1}$, where $h\in Diff(M)$ and $f \in C^{\infty}(M,P)$. Let $f:M \to P$ be a Morse function and $O(f)$ be the orbit of $f$ under this action. We prove that $π_k O(f)=π_k M$ for $k\geq 3$, and $π_2 O(f)=0$ except for few cases. In particular, $O(f)$ is aspherical, provided so is $M$. Moreover, $π_1 O(f)$ is an extension of a finitely generated free abelian group with a (finite) subgroup of the group of automorphisms of the Reeb graph of $f$. We also give a complete proof of the fact that the orbit $O(f)$ is tame Frechet submanifold of $C^{\infty}(M,P)$ of finite codimension, and that the projection $Diff(M) \to O(f)$ is a principal locally trivial $S(f)$-fibration.
dc.description49 pages, 8 figures. This version includes the proof of the fact that the orbits of a finite codimension of tame action of tame Lie group on tame Frechet manifold is a tame Frechet manifold itself
dc.identifierhttps://arxiv.org/abs/math/0310067
dc.identifierhttp://arxiv.org/abs/math/0310067
dc.identifierAnnals of Global Analysis and Geometry 29 (2006) 241-285
dc.identifierdoi:10.1007/s10455-005-9012-6
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/99885
dc.subjectGeometric Topology
dc.subjectFunctional Analysis
dc.subject46M18, 46E15, 57S25, 57M50, 37E35
dc.titleHomotopy types of stabilizers and orbits of Morse functions on surfaces
dc.typetext

Files

Collections