##plugins.themes.bootstrap3.article.main##
Abstract
Let $M$ be a compact two-dimensional manifold and, $f \in C^{\infty}(M, R)$ be a Morse function, and $\Gamma$ be its Kronrod-Reeb graph.
Denote by $O(f)={f o h | h \in D(M)}$ the orbit of $f$ with respect to the natural right action of the group of diffeomorphisms $D(M)$ onC^{\infty}$, and by $S(f)={h\in D(M) | f o h = f }$ the coresponding stabilizer of this function.
It is easy to show that each $h\in S(f)$ induces an automorphism of the graph $\Gamma$.
Let $D_{id}(M)$ be the identity path component of $D(M)$, $S'(f) = S(f) \cap D_{id}(M)$ be the subgroup of $D_{id}(M)$ consisting of diffeomorphisms preserving $f$ and isotopic to identity map, and $G$ be the group of automorphisms of the Kronrod-Reeb graph induced by diffeomorphisms belonging to $S'(f)$. This group is one of key ingredients for calculating the homotopy type of the orbit $O(f)$.
In the previous article the authors described the structure of groups $G$ for Morse functions on all orientable surfacesdistinct from $2$-torus and $2$-sphere.
The present paper is devoted to the case $M = S^2$.
In this situation $\Gamma$ is always a tree, and therefore all elements of the group $G$ have a common fixed subtree $Fix(G)$, which may even consist of a unique vertex.
Our main result calculates the groups $G$ for all Morse functions $f: S^2 \to R$ whose fixed subtree $Fix(G)$ consists of more than one point.
##plugins.themes.bootstrap3.article.details##
Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons Attribution (CC-BY) 4.0 License that allows others to share the work with an acknowledgment of the work’s authorship and initial publication in this journal.
Provided they are the owners of the copyright to their work, authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal’s published version of the work (e.g., post it to an institutional repository, in a journal or publish it in a book), with an acknowledgment of its initial publication in this journal.
Authors are permitted and encouraged to post their work online (e.g., in institutional repositories, disciplinary repositories, or on their website) prior to and during the submission process.
References
2. E. A. Kudryavtseva. The topology of spaces of Morse functions on surfaces. Math. Notes, 92(1-2):219-236, 2012. Translation of Mat. Zametki \\bf92 (2012), no. 2, 241-261.,
3. E. A. Kudryavtseva. On the homotopy type of spaces of Morse functions on surfaces. Mat. Sb., 204(1):79-118, 2013.,
4. E. A. Kudryavtseva, D. A. Permyakov. Framed Morse functions on surfaces. Mat. Sb., 201(4):33-98, 2010.,
5. S. Maksymenko, B. Feshchenko. Orbits of smooth functions on 2-torus and their homotopy types. Matematychni Studii, 44(1):67-84, 2015.,
6. S. Maksymenko, B. Feshchenko. Smooth functions on 2-torus whose kronrod-reeb graph contains a cycle. Methods Funct. Anal. Topology, 21(1):22-40, 2015.,
7. S. Maksymenko, A. Kravchenko. Automorphisms of Kronrod-Reeb graphs of Morse functions on compact surfaces. arXiv:1808.08746, 2018.,
8. Sergiy Maksymenko. Homotopy types of stabilizers and orbits of Morse functions on surfaces. Ann. Global Anal. Geom., 29(3):241-285, 2006.,
9. Sergiy Maksymenko. Functions with isolated singularities on surfaces. Geometry and topology of functions on manifolds. Pr. Inst. Mat. Nats. Akad. Nauk Ukr. Mat. Zastos., 7(4):7-66, 2010.,
10. Sergiy Maksymenko. Homotopy types of right stabilizers and orbits of smooth functions functions on surfaces. Ukrainian Math. Journal, 64(9):1186-1203, 2012.,
11. Sergiy Maksymenko. Deformations of functions on surfaces by isotopic to the identity diffeomorphisms. 2013.,
12. Stephen Smale. Diffeomorphisms of the 2-sphere. Proc. Amer. Math. Soc., 10:621-626, 1959.