English

Deformations of functions on surfaces by isotopic to the identity diffeomorphisms

Geometric Topology 2020-05-20 v7

Abstract

Let MM be a compact surface and PP be either R\mathbb{R} or S1S^1. For a smooth map f:MPf:M\to P and a closed subset VMV\subset M, denote by S(f,V)\mathcal{S}(f,V) the group of diffeomorphisms hh of MM preserving ff, i.e. satisfying the relation fh=ff\circ h = f, and fixed on VV. Let also S(f,V)\mathcal{S}'(f,V) be its subgroup consisting of diffeomorphisms isotopic relatively VV to the identity map idM\mathrm{id}_{M} via isotopies that are not necessarily ff-preserving. The groups π0S(f,V)\pi_0 \mathcal{S}(f,V) and π0S(f,V)\pi_0 \mathcal{S}'(f,V) can be regarded as analogues of mapping class group for ff-preserving diffeomorphisms. The paper describes precise algebraic structure of groups π0S(f,V)\pi_0 \mathcal{S}'(f,V) and some of their subgroups and quotients for a large class of smooth maps f:MPf:M\to P containing all Morse maps, where MM is orientable and distinct from 22-sphere and 22-torus. In particular, it is shown that for certain subsets VV "adapted" in some sense with ff, the groups π0S(f,V)\pi_0 \mathcal{S}'(f,V) are solvable and Bieberbach.

Keywords

Cite

@article{arxiv.1311.3347,
  title  = {Deformations of functions on surfaces by isotopic to the identity diffeomorphisms},
  author = {Sergiy Maksymenko},
  journal= {arXiv preprint arXiv:1311.3347},
  year   = {2020}
}

Comments

45 pages. Essentially rewrote the formulations and proofs. Now they are formulated in terms of "Bieberbach sequences"