English

Deformational symmetries of smooth functions on non-orientable surfaces

Geometric Topology 2025-01-23 v2 Algebraic Geometry Algebraic Topology Differential Geometry Dynamical Systems

Abstract

Given a compact surface MM, consider the natural right action of the group of diffeomorphisms D(M)\mathcal{D}(M) of MM on C(M,R)\mathcal{C}^{\infty}(M,\mathbb{R}) defined by the rule: (f,h)fh(f,h)\mapsto f\circ h for fC(M,R)f\in \mathcal{C}^{\infty}(M,\mathbb{R}) and hD(M)h\in\mathcal{D}(M). Denote by F(M)\mathcal{F}(M) the subset of C(M,R)\mathcal{C}^{\infty}(M,\mathbb{R}) consisting of function f:MRf:M\to\mathbb{R} taking constant values on connected components of M\partial{M}, having no critical points on M\partial{M}, and such that at each of its critical points zz the function ff is C\mathcal{C}^{\infty} equivalent to some homogenenous polynomial without multiple factors. In particular, F(M)\mathcal{F}(M) contains all Morse maps. Let also O(f)={fhhD(M)}\mathcal{O}(f) = \{ f\circ h \mid h\in\mathcal{D}(M) \} be the orbit of ff. Previously it was computed the algebraic structure of π1O(f)\pi_1\mathcal{O}(f) for all fF(M)f\in\mathcal{F}(M), where MM is any orientable compact surface distinct from 22-sphere. In the present paper we compute the group π0S(f,M)\pi_0\mathcal{S}(f,\partial\mathbb{M}), where M\mathbb{M} is a M\"obius band, and S(f,M)={hD(M)fh=f, hM=idM}\mathcal{S}(f,\partial\mathbb{M}) = \{ h\in\mathcal{D}(\mathbb{M}) \mid f\circ h = f, \ h|_{\partial \mathbb{M}} = \mathrm{id}_{\mathbb{M}}\} is the subgroup of the corresponding stabilizer of ff consisting of diffeomorphisms fixed on the boundary M\partial \mathbb{M}. As a consequence we obtain an explicit algebraic description of π1O(f)\pi_1\mathcal{O}(f) for all non-orientable surfaces distinct from Klein bottle and projective plane.

Keywords

Cite

@article{arxiv.2308.00577,
  title  = {Deformational symmetries of smooth functions on non-orientable surfaces},
  author = {Iryna Kuznietsova and Sergiy Maksymenko},
  journal= {arXiv preprint arXiv:2308.00577},
  year   = {2025}
}

Comments

32 pages, 9 figures, minor fixes, updated bibliography