Deformations of smooth functions on 2-torus

Abstract

Let $f$ be a Morse function on a smooth compact surface $M$ and $\mathcal{S}'(f)$ be the group of $f$-preserving diffeomorphisms of $M$ which are isotopic to the identity map. Let also $G(f)$ be a group of automorphisms of the Kronrod-Reeb graph of $f$ induced by elements from $\mathcal{S}'(f)$, and $\Delta'$ be the subgroup of $\mathcal{S}'(f)$ consisting of diffeomorphisms which trivially act on the graph of $f$ and are isotopic to the identity map. The group $\pi_0\mathcal{S}'(f)$ can be viewed as an analogue of a mapping class group for $f$-preserved diffeomorphisms of $M$. The groups $\pi_0\Delta'(f)$ and $G(f)$ encode ``combinatorially trivial'' and ``combinatorially nontrivial'' counterparts of $\pi_0\mathcal{S}'(f)$ respectively. In the paper we compute groups $\pi_0\mathcal{S}'(f)$, $G(f)$, and $\pi_0\Delta'(f)$ for Morse functions on $2$-torus $T^2$.

Keywords

• surface, isotopy, morse function, wreath product