English

Homotopy properties of spaces of smooth functions on 2-torus

Algebraic Topology 2014-01-13 v1

Abstract

Let f:T2Rf:T^2\to\mathbb{R} be a Morse function on a 2-torus, S(f)\mathcal{S}(f) and O(f)\mathcal{O}(f) be its stabilizer and orbit with respect to the right action of the group D(T2)\mathcal{D}(T^2) of diffeomorphisms of T2T^2, Did(T2)\mathcal{D}_{\mathrm{id}}(T^2) be the identity path component of D(T2)\mathcal{D}(T^2), and S(f)=S(f)Did(T2)\mathcal{S}'(f) = \mathcal{S}(f) \cap \mathcal{D}_{\mathrm{id}}(T^2). We give sufficient conditions under which π1Of(f)  π1D(T2)×π0S(f)  Z2×π0S(f). \pi_1\mathcal{O}_f(f) \ \cong \ \pi_1\mathcal{D}(T^2) \times \pi_0 \mathcal{S}'(f) \ \equiv \ \mathbb{Z}^2 \times \pi_0 \mathcal{S}'(f). In fact 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 smothly equivalent to a homogeneous polynomial R2R\mathbb{R}^2\to \mathbb{R} without multiple factors.

Keywords

Cite

@article{arxiv.1401.2296,
  title  = {Homotopy properties of spaces of smooth functions on 2-torus},
  author = {Sergiy Maksymenko and Bogdan Feshchenko},
  journal= {arXiv preprint arXiv:1401.2296},
  year   = {2014}
}

Comments

8 pages, 2 figures