This article is cited in
11 papers
Mathematics
Special framed Morse functions on surfaces
E. A. Kudryavtseva Lomonosov Moscow State University, Faculty of Mechanics and Mathematics
Abstract:
Let
$M$ be a smooth closed orientable surface. Let
$F$ be the space of Morse functions on
$M$, and
$\mathbb{F}^1$ be the space of framed Morse functions, both endowed with the
$C^\infty$-topology. The space
$\mathbb{F}^0$ of special framed Morse functions is defined. We prove that the inclusion mapping
$\mathbb{F}^0\hookrightarrow\mathbb{F}^1$ is a homotopy equivalence. In the case when at least
$\chi(M)+1$ critical points of each function of
$F$ are labeled, the homotopy equivalences $\widetilde{\mathbb{K}}\sim\widetilde{\mathcal{M}}$ and $F\sim\mathbb{F}^0\sim\mathscr{D}^0\times\widetilde{\mathbb{K}}$ are proved, where
$\mathbb{K}$ is the complex of framed Morse functions, $\widetilde{\mathcal{M}}\approx\mathbb{F}^1/\mathscr{D}^0$ is the universal moduli space of framed Morse functions,
$\mathscr{D}^0$ is the group of self-diffeomorphisms of
$M$ homotopic to the identity.
Key words:
Morse function, framed Morse function, complex of framed Morse functions, $C^\infty$-topology, universal moduli space.
UDC:
515.164.174,
515.122.55 Received: 10.06.2011