Homotopic properties of the spaces of smooth functions on a 2-torus (Q317567)

For a smooth closed oriented surface, let \(C^{\infty}(M,\mathbb{R})\) and \(\mathcal{D}(M)\) denote the space of all smooth functions on \(M\) and the group of diffeomorphisms on \(M\), respectively. Let \(\mathcal{F}(M,\mathbb{R})\subset C^{\infty}(M,\mathbb{R})\) denote the subset of all smooth functions on \(M\) such that, for any critical point \(z\) of \(f\), its germ at \(z\) is smoothly equivalent to a homogenous polynomial \(\mathbb{R}^2\to \mathbb{R}\) without multiple factors. For \(f\in \mathcal{F}(M,\mathbb{R})\), let \(\Gamma (f)\) denote the Kronrod-Reeb graph of \(f\), and let \(\mathcal{S}(f)\) and \(\mathcal{O}(f)\) be the stabilizer and the orbit of a function \(f\) defined by \[ \mathcal{S}(f)=\{h\in \mathcal{D}(M):f\circ h=f\},\quad\mathcal{O}(f)=\{f\circ h:h\in \mathcal{D}(M)\}. \] Let \(\mathcal{D}_{id}(M)\) denote the identity path component of \(\mathcal{D}(M)\) and set \(\mathcal{S}^{\prime}(f)=\mathcal{S}(f)\cap \mathcal{D}_{id}\). Now consider the fundamental group \(\pi_1(\mathcal{O}(f))\) for the case \(M=T^2\) (the \(2\)-torus). Then it is known that there is a short exact sequence \[ 1 \to \pi_1(\mathcal{D}_{id}(T^2))\to \pi_1(\mathcal{O}(f)_f)\to \pi_0(\mathcal{S}^{\prime}(f))\to 1\tag{1} \] for \(f\in \mathcal{F}(T^2,\mathbb{R})\), where \(\mathcal{O}(f)_f\) denotes a component of the linear connectedness of \(f\) in the orbit \(\mathcal{O}(f)\). In this paper, the authors investigate when the sequence (1) is split exact and they obtain the sufficient condition described by using the information of the graph \(\Gamma (f)\).