A homotopy invariant of image simple fold maps to oriented surfaces
Liam Kahmeyer and Rustam Sadykov
Journal of Singularities
volume 27 (2024), 193-219
Received: 22 March 2023. In revised form: 25 September 2024
Abstract:
The singular set of a generic map from a closed manifold of dimension at least 2 to the plane is a smooth closed curve. We study the parity of the number of components of the singular set under the assumption that the map is an image simple fold map, i.e., the map's restriction to its singular set is a smooth embedding.
The image of the singular set of a map to a plane inherits canonical local orientations via so-called chessboard functions. Such a local orientation gives rise to a cumulative winding number, which is an integer or a half integer. When the dimension of the source manifold is even, we also define an invariant I which is the residue class modulo 4 of the sum of twice the number of components of the singular set, the number of cusps, and twice the number of self-intersection points of the image of the singular set. Using the cumulative winding number and the invariant I, we show that the parity of the number of connected components of the singular set does not change under homotopy between image simple fold maps provided that one of the following conditions is satisfied: (i) the dimension of the source manifold is even, (ii) the image of the singular set of the homotopy does not have triple self-intersection points, or (iii) the singular set of the homotopy is an orientable manifold with boundary.
2020 Mathematical Subject Classification:
58K30; 58K65, 57R45
Author(s) information:
Liam Kahmeyer
Missouri Valley College
email: kahmeyerl@moval.edu
Rustam Sadykov
Kansas State University
email: sadykov@ksu.edu