pith. sign in

arxiv: 2305.08255 · v3 · submitted 2023-05-14 · 🧮 math.GT

Homotopy type of stabilizers of smooth functions with non-isolated singularities on surfaces

Bohdan Feshchenko This is my paper

Pith reviewed 2026-05-24 08:07 UTC · model grok-4.3

classification 🧮 math.GT
keywords homotopy typestabilizersdiffeomorphism groupssmooth functionsoriented surfacesMorse-Bott functionsnon-isolated singularities
0
0 comments X

The pith

The homotopy type of the identity component of the stabilizer is completely described for a class of smooth functions generalizing Morse-Bott functions on oriented surfaces.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper studies groups of diffeomorphisms of oriented surfaces that preserve a fixed smooth function. It enlarges the setting from Morse-Bott functions to a broader class that still controls non-isolated singularities. The central result gives an explicit description of the homotopy type of the connected component containing the identity map inside each such stabilizer. A reader would care because the homotopy type encodes the topological structure of the symmetries that leave the function unchanged, which bears on classification questions for functions and their level sets on surfaces.

Core claim

For smooth functions on oriented surfaces that belong to a stated generalization of the Morse-Bott class, the connected component of the identity in the stabilizer diffeomorphism group has its homotopy type completely described.

What carries the argument

The connected component of the identity inside the stabilizer of the function, whose homotopy type is determined from the critical sets of the function.

If this is right

  • Homotopy groups of these stabilizer components become explicitly computable from the description.
  • The result extends the known homotopy-type statements that already exist for ordinary Morse and Morse-Bott functions.
  • The description applies only when the surface is oriented and the function lies inside the stated class.
  • The homotopy type is determined by the geometry of the function's critical sets and the topology of the surface.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same style of description could be attempted for non-orientable surfaces if a suitable enlargement of the function class is found.
  • The techniques might adapt to functions with controlled singularities on higher-dimensional manifolds.
  • Knowledge of these stabilizer homotopy types supplies input for studying the homotopy type of the full space of such functions.

Load-bearing premise

The functions under study must belong to the given generalization of the Morse-Bott class and the underlying surface must be oriented.

What would settle it

Exhibit a function belonging to the generalized class on an oriented surface whose stabilizer identity component has a homotopy type different from the one supplied by the description.

read the original abstract

The paper is devoted to the study of homotopy properties of stabilizers of smooth functions on oriented surfaces, i.e., groups of diffeomorphisms of surfaces preserving a given function. For some class of smooth functions which is a generalization of the class of Morse-Bott functions on oriented surfaces, the homotopy type of the connected component of the identity map of the stabilizer is completely described.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 1 minor

Summary. The paper studies homotopy properties of stabilizers of smooth functions on oriented surfaces (groups of diffeomorphisms preserving a given function). It claims that for a certain class of smooth functions generalizing the Morse-Bott class, the homotopy type of the connected component of the identity in the stabilizer is completely described.

Significance. If the claimed complete description holds, the result would extend known homotopy classifications from Morse-Bott functions to a broader class with non-isolated singularities, providing concrete information on stabilizers that could inform computations in the homotopy theory of diffeomorphism groups of surfaces.

minor comments (1)
  1. The provided manuscript text consists only of the abstract; no sections, theorems, proofs, or explicit descriptions of the function class or the homotopy type are available for verification.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their report on our manuscript. The referee's summary accurately reflects the paper's focus on generalizing homotopy descriptions of stabilizers from Morse-Bott functions to a broader class with non-isolated singularities on oriented surfaces. No specific major comments were listed in the report, so we have no point-by-point responses to provide at this stage. We believe the proofs in the manuscript fully support the claimed complete description of the homotopy type.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper claims a complete description of the homotopy type of the identity component of the stabilizer for a delimited generalization of Morse-Bott functions on oriented surfaces. The abstract and reader's summary indicate reliance on classification of critical sets, local models, and reduction to known diffeomorphism-group results, all of which are standard external background in differential topology. No equations, self-definitional loops, fitted inputs presented as predictions, or load-bearing self-citations are exhibited in the available text; the claim is explicitly scoped to the stated function class and does not reduce to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on standard background from differential topology and homotopy theory; no free parameters, invented entities, or ad-hoc axioms are visible from the abstract.

axioms (1)
  • standard math Standard facts about diffeomorphism groups of surfaces and their homotopy properties
    The stabilizer is defined using the group of diffeomorphisms, which presupposes the usual manifold and group structures from differential topology.

pith-pipeline@v0.9.0 · 5573 in / 1222 out tokens · 47076 ms · 2026-05-24T08:07:16.128612+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

20 extracted references · 20 canonical work pages

  1. [1]

    Hurtubise

    Augustin Banyaga and David E. Hurtubise. A proof of the Mo rse-Bott lemma. Expo. Math., 22(4):365– 373, 2004. 3, 4

    work page 2004

  2. [2]

    E. B. Batista, J. C. F. Costa, and I. S. Meza-Sarmiento. To pological classification of circle-valued simple Morse-Bott functions on closed orientable surfaces. J. Singul. , 25:78–89, 2022. 2, 3

    work page 2022

  3. [3]

    P. T. Church and J. G. Timourian. Differentiable open maps of (p + 1)-manifold to p-manifold. Pacific Journal of Mathematics , 48(1):35 – 45, 1973. 3

    work page 1973

  4. [4]

    Morse-Bott functions with two critical v alues on a surface

    Irina Gelbukh. Morse-Bott functions with two critical v alues on a surface. Czechoslovak Math. J. , 71(146)(3):865–880, 2021. 2, 3

    work page 2021

  5. [5]

    E. A. Kudryavtseva. The topology of spaces of Morse funct ions on surfaces. Math. Notes , 92(1-2):219– 236, 2012. Translation of Mat. Zametki 92 (2012), no. 2, 241–261. 1

    work page 2012

  6. [6]

    E. A. Kudryavtseva. On the homotopy type of spaces of Mors e functions on surfaces. Mat. Sb. , 204(1):79–118, 2013. 1

    work page 2013

  7. [7]

    Fiber of persistent homo logy on Morse functions

    Jacob Leygonie and David Beers. Fiber of persistent homo logy on Morse functions. J. Appl. Comput. Topol., 7(1):89–102, 2023. 1

    work page 2023

  8. [8]

    Smooth shifts along trajectories of flows

    Sergiy Maksymenko. Smooth shifts along trajectories of flows. Topology Appl., 130(2):183–204, 2003. 5

    work page 2003

  9. [9]

    Homotopy types of stabilizers and or bits of Morse functions on surfaces

    Sergiy Maksymenko. Homotopy types of stabilizers and or bits of Morse functions on surfaces. Ann. Global Anal. Geom. , 29(3):241–285, 2006. 1, 2, 6

    work page 2006

  10. [10]

    ∞-jets of diffeomorphisms preserving orbits of vector fields

    Sergiy Maksymenko. ∞-jets of diffeomorphisms preserving orbits of vector fields. Cent. Eur. J. Math. , 7(2):272–298, 2009. 5

    work page 2009

  11. [11]

    Kernel of a map of a shift along the or bits of continuous flows

    Sergiy Maksymenko. Kernel of a map of a shift along the or bits of continuous flows. Ukrainian Math. Journal, 62(5):651–659, 2010. 5

    work page 2010

  12. [12]

    Local inverses of shift maps along o rbits of flows

    Sergiy Maksymenko. Local inverses of shift maps along o rbits of flows. Osaka Journal of Mathematics , 48(2):415–455, 2011. 2, 5

    work page 2011

  13. [13]

    Deformations of functions on surfa ces

    Sergiy Maksymenko. Deformations of functions on surfa ces. Proceedings of Institute of Mathematics of NAS of Ukraine , 17(2):150–199, 2020. 1

    work page 2020

  14. [14]

    Homotopy types of diffeomorphisms g roups of simplest morse-bott foliations on lens spaces, 2

    Sergiy Maksymenko. Homotopy types of diffeomorphisms g roups of simplest morse-bott foliations on lens spaces, 2. arXiv:2301.12447, page 36, 2023. 2

    work page arXiv 2023

  15. [15]

    Homotopy types of diffeomorphisms groups of simplest morse-bott foliations on lens spaces

    Sergiy Maksymenko and Oleksandra Khokhliuk. Homotopy types of diffeomorphisms groups of simplest morse-bott foliations on lens spaces. arXiv:2210.11043, page 35, 2022. 2

    work page arXiv 2022

  16. [16]

    Martínez-Alfaro, I

    J. Martínez-Alfaro, I. S. Meza-Sarmiento, and R. Olive ira. Topological classification of simple Morse Bott functions on surfaces. In Real and complex singularities , volume 675 of Contemp. Math. , pages 165–179. Amer. Math. Soc., Providence, RI, 2016. 2

    work page 2016

  17. [17]

    An invitation to Morse theory

    Liviu Nicolaescu. An invitation to Morse theory . Universitext. Springer, New York, second edition,

    work page

  18. [18]

    Prishlyak

    A.O. Prishlyak. Topological equivalence of smooth fun ctions with isolated critical points on a closed surface. Topology and its Applications , 119(3):257–267, 2002. 3

    work page 2002

  19. [19]

    Codimension one foliatio ns with Bott-Morse singularities

    Bruno Scárdua and José Seade. Codimension one foliatio ns with Bott-Morse singularities. I. J. Differ- ential Geom. , 83(1):189–212, 2009. 2

    work page 2009

  20. [20]

    Codimension 1 foliations with Bott-Morse singularities II

    Bruno Scárdua and José Seade. Codimension 1 foliations with Bott-Morse singularities II. J. Topol., 4(2):343–382, 2011. 2 Topology labora tor y, Depar tment of algebra and topology, I nstitute of Ma thema tics of Na tional Academy of Science of Ukraine, Tereshchenkivsk a, 3, Kyiv, 01601, Ukraine Email address : fb@imath.kiev.ua

    work page 2011