Special framed Morse functions on surfaces (Q355251)

For a smooth closed orientable surface \(M\), let \(F_{p,q,r}(M)\) be the space of Morse functions on \(M\) having exactly \(p\) local minimum critical points, \(q\) saddle points, and \(r\) local maxima. Denote by \(\mathbb{F}^1_{p,q,r}(M)\) the space of framed Morse functions \((f,\alpha), f\in F_{p,q,r}(M)\), and assume that both spaces \(F_{p,q,r}(M)\) and \(\mathbb{F}^1_{p,q,r}(M)\) are endowed with the \(C^{\infty}\)-topology. Consider \(\mathbb{F}^0_{p,q,r}(M)\) the space of special framed Morse functions on \(M\). The main result of this interesting paper is contained in Theorem 1, and it shows that the inclusion \(\mathbb{F}^0_{p,q,r}(M)\hookrightarrow \mathbb{F}^1_{p,q,r}(M)\) is a homotopy equivalence and the corresponding mappings and homotopy can be chosen \(\mathcal{D}^{\pm}\)-equivalent and preserving the mapping \(\mathbb{F}^1_{p,q,r}(M)\rightarrow M^{p+q+r}/\Sigma_{p+q+r}, (f,\alpha)\mapsto C_f\). Theorem 2 presents an interesting application of the result in Theorem 1 to the study of homotopy type of the space of Morse functions on \(M\). Other author's papers directly connected to this topic are [Sb. Math. 190, No. 3, 349--405 (1999); translation from Mat. Sb. 190, No. 3, 29--88 (1999; Zbl 0941.57026)] and with \textit{D. A. Permyakov} [Sb. Math. 201, No. 4, 501--567 (2010); translation from Mat. Sb. 201, No. 4, 33--98 (2010; Zbl 1197.57027)], [Mosc. Univ. Math. Bull. 64,(4) 150--158 (2009); ibid. No.1, 3 (2012)], [Math. Notes 92, (2), 219--236 (2012)] and [Dokl. Math. 58, No.1, 67--70 (1998); translation from Dokl. Akad. Nauk, Ross. Akad. Nauk 361, No.3, 314--317 (1998; Zbl 0957.37053)].