English

Smooth functions on 2-torus whose Kronrod-Reeb graph contains a cycle

Geometric Topology 2014-11-26 v1

Abstract

Let f:MRf:M\to \mathbb{R} be a Morse function on a connected compact surface MM, and S(f)\mathcal{S}(f) and O(f)\mathcal{O}(f) be respectively the stabilizer and the orbit of ff with respect to the right action of the group of diffeomorphisms D(M)\mathcal{D}(M). In a series of papers the first author described the homotopy types of connected components of S(f)\mathcal{S}(f) and O(f)\mathcal{O}(f) for the cases when MM is either a 22-disk or a cylinder or χ(M)<0\chi(M)<0. Moreover, in two recent papers the authors considered special classes of smooth functions on 22-torus T2T^2 and shown that the computations of π1O(f)\pi_1\mathcal{O}(f) for those functions reduces to the cases of 22-disk and cylinder. In the present paper we consider another class of Morse functions f:T2Rf:T^2\to\mathbb{R} whose KR-graphs have exactly one cycle and prove that for every such function there exists a subsurface QT2Q\subset T^2, diffeomorphic with a cylinder, such that π1O(f)\pi_1\mathcal{O}(f) is expressed via the fundamental group π1O(fQ)\pi_1\mathcal{O}(f|_{Q}) of the restriction of ff to QQ. This result holds for a larger class of smooth functions f:T2Rf:T^2\to \mathbb{R} having the following property: for every critical point zz of ff the germ of ff at zz is smoothly equivalent to a homogeneous polynomial R2R\mathbb{R}^2\to \mathbb{R} without multiple factors.

Keywords

Cite

@article{arxiv.1411.6863,
  title  = {Smooth functions on 2-torus whose Kronrod-Reeb graph contains a cycle},
  author = {Sergiy Maksymenko and Bohdan Feshchenko},
  journal= {arXiv preprint arXiv:1411.6863},
  year   = {2014}
}

Comments

17pages, 8 figures

R2 v1 2026-06-22T07:11:34.480Z