English

A homotopy invariant of stable maps to oriented surfaces

Geometric Topology 2025-07-28 v3

Abstract

The singular set of a generic map f:MFf: M\to F of a manifold MM of dimension m2m\ge 2 to an oriented surface FF is a closed smooth curve Σ(f)\Sigma(f). We study the parity of the number of components of Σ(f)\Sigma(f). The image f(Σ)f(\Sigma) of the singular set inherits canonical local orientations via so-called chessboard functions. Such a local orientation gives rise to the cumulative winding number ω(f)12Z\omega(f)\in \frac{1}{2}\mathbb{Z} of Σ(f)\Sigma(f). When the dimension of the manifold MM is even we also define an invariant I(f)I(f) which is the residue class modulo 44 of the sum of the number of components of Σ(f)\Sigma(f), the number of cusps, and twice the number of self-intersection points of f(Σ)f(\Sigma). Using the cumulative winding number and the invariant I(f)I(f), we show that the parity of the number of connected components of Σ(f)\Sigma(f) does not change under homotopy of ff provided that one of the following conditions is satisfied: (i) the dimension of MM is even, (ii) the singular set of the homotopy is an orientable manifold, or (iii) the image of the singular set of the homotopy does not have triple self-intersection points.

Keywords

Cite

@article{arxiv.2208.07297,
  title  = {A homotopy invariant of stable maps to oriented surfaces},
  author = {Liam Kahmeyer and Rustam Sadykov},
  journal= {arXiv preprint arXiv:2208.07297},
  year   = {2025}
}

Comments

38 pages, 20 figures