Deformational symmetries of smooth functions on non-orientable surfaces

Given a compact surface $M$, consider the natural right action of the group of diffeomorphisms $\mathcal{D}(M)$ of $M$ on $\mathcal{C}^{\infty}(M,\mathbb{R})$ defined by the rule: $(f,h)\mapsto f\circ h$ for $f\in \mathcal{C}^{\infty}(M,\mathbb{R})$ and $h\in\mathcal{D}(M)$. Denote by $\mathcal{F}(M)$ the subset of $\mathcal{C}^{\infty}(M,\mathbb{R})$ consisting of functions $\func\colon M\to\mathbb{R}$ taking constant values on connected components of $\partial{M}$, having no critical points on $\partial{M}$, and such that at each of its critical points $z$ the function $f$ is $\mathcal{C}^{\infty}$ equivalent to some homogenenous polynomial without multiple factors. In particular, $\mathcal{F}(M)$ contains all Morse maps. Let also $\mathcal{O}(f) = \{ f\circ h \mid h\in\mathcal{D}(M) \}$ be the orbit of $f$. Previously, the algebraic structure of $\pi_1\mathcal{O}(f)$ was computed for all $f\in\mathcal{F}(M)$, where $M$ is any orientable compact surface distinct from $2$-sphere. In the present paper we compute the group $\pi_0\mathcal{S}(f,\partial\mathbb{M})$, where $\mathbb{M}$ is a Möbius band, and $\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 $f$ consisting of diffeomorphisms fixed on the boundary $\partial \mathbb{M}$. As a consequence we obtain an explicit algebraic description of $\pi_1\mathcal{O}(f)$ for all non-orientable surfaces distinct from Klein bottle and projective plane.

Authors

Publication Details

Journal
Topological Methods in Nonlinear Analysis
Published
2025-02-13
DOI
https://doi.org/10.12775/tmna.2024.022
Primary Topic
Advanced Mathematical Modeling in Engineering
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Deformational symmetries of smooth functions on non-orientable surfaces

Iryna Kuznietsova, Sergiy Maksymenko
Topological Methods in Nonlinear Analysis
Advanced Mathematical Modeling in Engineering
article

Deformational symmetries of smooth functions on non-orientable surfaces

Iryna Kuznietsova, Sergiy Maksymenko
article en

Abstract

Given a compact surface $M$, consider the natural right action of the group of diffeomorphisms $\mathcal{D}(M)$ of $M$ on $\mathcal{C}^{\infty}(M,\mathbb{R})$ defined by the rule: $(f,h)\mapsto f\circ h$ for $f\in \mathcal{C}^{\infty}(M,\mathbb{R})$ and $h\in\mathcal{D}(M)$. Denote by $\mathcal{F}(M)$ the subset of $\mathcal{C}^{\infty}(M,\mathbb{R})$ consisting of functions $\func\colon M\to\mathbb{R}$ taking constant values on connected components of $\partial{M}$, having no critical points on $\partial{M}$, and such that at each of its critical points $z$ the function $f$ is $\mathcal{C}^{\infty}$ equivalent to some homogenenous polynomial without multiple factors. In particular, $\mathcal{F}(M)$ contains all Morse maps. Let also $\mathcal{O}(f) = \{ f\circ h \mid h\in\mathcal{D}(M) \}$ be the orbit of $f$. Previously, the algebraic structure of $\pi_1\mathcal{O}(f)$ was computed for all $f\in\mathcal{F}(M)$, where $M$ is any orientable compact surface distinct from $2$-sphere. In the present paper we compute the group $\pi_0\mathcal{S}(f,\partial\mathbb{M})$, where $\mathbb{M}$ is a Möbius band, and $\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 $f$ consisting of diffeomorphisms fixed on the boundary $\partial \mathbb{M}$. As a consequence we obtain an explicit algebraic description of $\pi_1\mathcal{O}(f)$ for all non-orientable surfaces distinct from Klein bottle and projective plane.

Topological Methods in Nonlinear Analysis
Openalex Percentile: Top 96%
Advanced Mathematical Modeling in Engineering
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.