Let M be a connected compact orientable surface and let P be either the real line ℝ or a circle S1. The group D(M) of diffeomorphisms on M acts in the space of smooth mappings C∞(M,P) by the rule (f, h) ⟼ f ° h, where h ∈ D(M) and f ∈ C∞(M,P). For f ∈ C∞(M,P), let O(f) denote the orbit of f relative to the specified action. By ℳ(M,P) we denote the set of isomorphism classes for the fundamental groups 𝜋1O(f) of orbits of all Morse mappings f : M → P. S. Maksymenko and B. Feshchenko studied the sets of isomorphism classes ℬ and 𝒯 of groups generated by direct products and certain wreath products. They proved the inclusions ℳ(M,P) ∁ B valid under the condition that M differs from the 2-sphere S2 and 2-torus T2 and ℳ(T2,ℝ) ∁ T . We show that these inclusions are equalities and describe some subclasses of M(M,P) under certain restrictions imposed on the behavior of functions on the boundary 𝜕M. We also prove that, for any group G ∈ ℬ (G ∈ T ), the center Z(G) and the quotient group with respect to the commutator subgroup G/[G,G] are free Abelian groups of the same rank, which can be easily found by using the geometric properties of a Morse mapping f such that 𝜋1O(f) ≃ G. In particular, this rank is the first Betti number of the orbit O(f) of the mapping f.
Similar content being viewed by others
References
B. G. Feshchenko, “Deformation of smooth functions on 2-torus whose Kronrod–Reeb graphs are trees,” in: Proc. of the Institute of Mathematics, Ukrainian National Academy of Sciences, 12, Kyiv (2015), pp. 204–219.
S. I. Maksimenko, “Homotopic types of right stabilizers and orbits of smooth functions on surfaces,” Ukr. Mat. Zh., 64, No. 9, 1186–1203 (2012); English translation: Ukr. Math. J., 64, No. 9, 1350–1369 (2013).
S. I. Maksymenko and B. G. Feshchenko, “Smooth functions on 2-torus whose Kronrod–Reeb graph contains a cycle,” Meth. Funct. Anal. Top., 21, No. 1, 22–40 (2015).
S. Maksymenko, “Deformations of functions on surfaces by isotopic to the identity diffeomorphisms,” Top. Appl., 282, Article 107312 (2020).
S. I. Maksymenko, “Homotopy types of stabilizers and orbits of Morse functions on surfaces,” Ann. Global Anal. Geom., 29, No. 3, 241–285 (2006).
B. Feshchenko, “Actions of finite groups and smooth functions on surfaces,” Meth. Funct. Anal. Top., 22, No. 3, 210–219 (2016).
E. A. Kudryavtseva, “Special framed Morse functions on surfaces,” Vestn. Mosk. Univ., Ser. I, Mat. Mekh., No. 4, 14–20 (2012).
E. A. Kudryavtseva, “The topology of spaces of Morse functions on surfaces,” Math. Notes, 92, No. 1-2, 219–236 (2012).
E. A. Kudryavtseva, “On the homotopy type of spaces of Morse functions on surfaces,” Sb. Math., 204, No. 1, 75–113 (2013).
E. A. Kudryavtseva, “Topology of spaces of functions with prescribed singularities on the surfaces,” Dokl. Akad. Nauk, 93, No. 3, 264–266 (2016).
B. Feshchenko, “Deformations of smooth functions on 2-torus,” Proc. Int. Geom. Cent., 12, No. 3, 30–50 (2019).
S. I. Maksymenko and B. G. Feshchenko, “Orbits of smooth functions on 2-torus and their homotopy types,” Mat. Stud., 44, No. 1, 67–84 (2015).
A. Hatcher, Algebraic Topology, Cambridge Univ. Press, Cambridge (2002).
S. I. Maksymenko and B. G. Feshchenko, “Homotopic properties of spaces of smooth functions on a 2-torus,” Ukr. Mat. Zh., 66, No. 9, 1205–1212 (2014); English translation: Ukr. Math. J., 66, No. 9, 1346–1353 (2015).
J. D. P. Meldrum, Wreath Products of Groups and Semigroups, Longman, Harlow (1995).
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 73, No. 2, pp. 179–200, February, 2021. Ukrainian DOI: 10.37863/umzh.v73i2.2383.
Rights and permissions
About this article
Cite this article
Kuznietsova, I.V., Soroka, Y.Y. First Betti Numbers of the Orbits of Morse Functions on Surfaces. Ukr Math J 73, 203–229 (2021). https://doi.org/10.1007/s11253-021-01918-x
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11253-021-01918-x