English

Automorphisms of Kronrod-Reeb graphs of Morse functions on 2-sphere

Geometric Topology 2019-12-16 v1

Abstract

Let MM be a compact two-dimensional manifold and, fC(M,R)f \in C^{\infty}(M,\mathbb{R}) be a Morse function, and Γf\Gamma_f be its Kronrod-Reeb graph. Denote by Of={fhhD}\mathcal{O}_{f}=\{f \circ h \mid h \in \mathcal{D}\} the orbit of ff with respect to the natural right action of the group of diffeomorphisms D\mathcal{D} on C(M,R)C^{\infty}(M,\mathbb{R}), and by S(f)={hDfh=f}\mathcal{S}(f)=\{h\in\mathcal{D} \mid f \circ h = f\} the corresponding stabilizer of this function. It is easy to show that each hS(f)h\in\mathcal{S}(f) induces a homeomorphism of Γf\Gamma_f. Let also Did(M)\mathcal{D}_{\mathrm{id}}(M) be the identity path component of D(M)\mathcal{D}(M), S(f)=S(f)Did(M)\mathcal{S}'(f)= \mathcal{S}(f) \cap \mathcal{D}_{\mathrm{id}}(M) be group of diffeomorphisms of MM preserving ff and isotopic to identity map, and GfG_f be the group of homeomorphisms of the graph Γf\Gamma_f induced by diffeomorphisms belonging to S(f)\mathcal{S}'(f). This group is one of the key ingredients for calculating the homotopy type of the orbit Of\mathcal{O}_{f}. Recently the authors described the structure of groups GfG_f for Morse functions on all orientable surfaces distinct from 22-torus T2T^2 and 22-sphere S2S^2. The present paper is devoted to the case M=S2M=S^{2}. In this situation Γf\Gamma_f is always a tree, and therefore all elements of the group GfG_f have a common fixed subtree Fix(Gf)\mathrm{Fix}(G_f), which may even consist of a unique vertex. Our main result calculates the groups GfG_f for all Morse functions f:S2Rf:S^{2}\to\mathbb{R} whose fixed subtree Fix(Gf)\mathrm{Fix}(G_f) consists of more than one point.

Keywords

Cite

@article{arxiv.1903.09721,
  title  = {Automorphisms of Kronrod-Reeb graphs of Morse functions on 2-sphere},
  author = {Anna Kravchenko and Sergiy Maksymenko},
  journal= {arXiv preprint arXiv:1903.09721},
  year   = {2019}
}

Comments

5 pages