Pith. sign in

REVIEW 5 major objections 5 minor 1 cited by

Normal forms of functions with degenerate singularities on surfaces equipped with semi-free circle actions

T0 review · 5 major / 5 minor · reviewed 2026-08-11 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This paper proves that every function in a broad class on four surfaces is a reparameterization of one of four standard functions, up to diffeomorphism.

desk verdict New normal form for F^0 on four surfaces; cylinder/torus/disk cases look right, but the sphere proof in §10.3 has a real annulus-vs-disk gap. read the letter →

arxiv 2412.18944 v1 pith:3FDWVHTV submitted 2024-12-25 math.GT

Bohdan Feshchenko This is my paper · ORCID
classification math.GT MSC 57R4557R7057S25
keywords circle-valuedfunctionscriticalcirclesnormalformssemi-freecircleactionsMorse-BottsurfacesH-fieldsdegeneratesingularities
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper aims to prove that an entire class of smooth functions with degenerate singularities on four surfaces can be reduced to a simple normal form. The class $F^\circ(M,P)$ consists of real- or circle-valued functions on a cylinder, torus, disk, or sphere whose only isolated singularities are Morse extrema and whose non-isolated singularities are critical circles locally of the form $\pm y^n$. The main theorem claims that every such $f$ decomposes as $f = \kappa \circ f_0 \circ h^{-1}$, where $f_0$ is one of four explicit prime functions, $h$ is a diffeomorphism, and $\kappa$ is a smooth map of the value interval with only finitely many non-flat critical points, none at the special values. If true, the whole class is described by a single one-dimensional reparameterization of four standard functions, so all remaining complexity sits in $\kappa$ and in the choice of $h$.

What carries the argument

The load-bearing tool is the H-field (Proposition 3.6): for every $f\in F^\circ$, one can find a vector field tangent to the level sets of $f$ whose only singularities are isolated, located at the isolated Morse extrema of $f$. After multiplying by a trajectory-constant factor, its flow has period one and therefore defines a smooth semi-free $S^1$-action on $M$. The proof of Theorem 1.8 uses the classification of free $S^1$-actions to conjugate this action to the standard rotation action, which yields the diffeomorphism $h$; $\kappa$ is then read off by evaluating $f$ on a curve transversal to the foliation. Two auxiliary devices complete the argument: a lemma that corrects a conjugating diffeomorphism on a cylinder by shifting along flow lines, and an approximation lemma that replaces $f$ near its extremum by a Morse function agreeing with $f$ on a neighborhood, so the disk and sphere cases reduce to the cylinder case.

What would settle it

Work out the sphere case of Proposition 3.6 explicitly: take $f\in F^\circ(S^2,\mathbb{R})$ with two isolated extrema and at least one critical circle, write the Hamiltonian field near a non-extremal critical circle where the flow direction reverses, and check whether the three-step correction of Section 7, which is proved only for the cylinder, can be carried out; a single such function for which no level-set-tangent vector field with isolated zeros exists would disprove the normal form.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.8: for any oriented surface $M$ among $S^1\times[0,1]$, $D^2$, $S^2$, and $T^2$, and any $f\in F^\circ(M,P)$, there is a diffeomorphism $h\colon M_0\to M$ from the model surface and a smooth $\kappa\colon f_0(M_0)\to P$ such that $f=\kappa\circ f_0\circ h^{-1}$. Here $f_0$ is the prime function: height on the cylinder, $x^2+y^2$ on the disk, the $z$-coordinate on the sphere, or the second circle factor on the torus. The reparameterization $\kappa$ creates any critical circles of $f$: critical points of $\kappa$ correspond to critical circles of $f$, and $\kappa$ must be non-flat at those points and have no critical points at $f_0(\Sigma_{f_0})$ or $f_0(\partial M)$. If $f$ has no critical circles, then $\kappa$ is a diffeomorphism and $f$ is smoothly equivalent to $f_0$. The factorization is not unique because it depends on the choice of $h$, but the existence of such a factorization is what the paper establishes.

Load-bearing premise

The proof assumes that every function in the class, including on the sphere, admits a normalized H-field: a vector field tangent to level sets with only isolated zeros whose flow is a periodic rotation; the sphere case is stated without proof, so the whole normal form stands on that unverified step.

Editorial extensions

If this is right

  • On each of the four surfaces, any function in the class can be pulled back to one of four explicit prime functions by a change of values in the target; classification reduces to classifying smooth maps $\kappa$ of an interval or circle.
  • All critical circles of $f$ appear exactly at critical values of $\kappa$, so the critical set of $f$ is always a linearly ordered (on cylinder, disk, sphere) or cyclically ordered (on torus) family of parallel circles.
  • Functions without critical circles are smoothly equivalent to the corresponding prime function, recovering the known Morse case as a corollary.
  • The semi-free $S^1$-action produced by the H-field lives on exactly the four surfaces with nonnegative Euler characteristic, matching the surfaces that can carry such actions; the identity component of the right stabilizer is $S^1$ precisely in this class.
  • The normal form gives an explicit analytic description of the class $F^\circ(M,P)$, complementing the earlier homotopy-type result for stabilizers.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the normal form holds, then two functions in the class with the same ordered list of extremal and non-extremal critical circles should differ only by a diffeomorphism and a reparameterization $\kappa$; this is a testable classification statement the author does not spell out.
  • The unproved sphere case of Proposition 3.6 is the natural place to look for a counterexample: a sphere function whose critical circles force the Hamiltonian flow to change orientation through a non-extremal circle would need an H-field not constructed by the paper's cylinder-style induction.
  • The same argument suggests a broader principle: degenerate singularities organized in circles carry no new topological information beyond the order and types of critical values, so normal forms of this kind may extend to other equivariant settings where a semifree circle action exists.
  • One could test the sharpness of the non-flatness condition on $\kappa$ by examining a function where the natural $\kappa$ would have a flat critical point; the theorem predicts such a function actually lies outside $F^\circ$, which is a computable check.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

5 major / 5 minor

Summary. The paper introduces a class F^0(M,P) of smooth functions on oriented surfaces whose critical set consists only of isolated Morse extrema and critical circles modeled on ±y^n, with locally constant boundary behavior. It states that such functions can exist only on a cylinder, torus, disk, or sphere, and proves a normal form theorem: every such f can be written as f = κ ∘ f0 ∘ h^{-1}, where f0 is one of four explicit 'prime' functions, h is a diffeomorphism, and κ is a smooth reparameterization with non-flat critical points away from the image of the critical set and boundary. The proof strategy is to construct an 'H-field' tangent to level sets with only isolated singularities, use its flow to produce a semi-free circle action, then conjugate that action to a standard one and read off κ from a transversal. The cylinder and torus cases are handled directly; the disk and sphere cases are approached through Morse approximation and gluing arguments.

Significance. The intended theorem is substantial: if correct, it gives a one-dimensional reduction of a whole class of functions with non-isolated singularities to four explicit trivial models, in the spirit of Whitney's normal form for even functions. The cylinder and torus proof is explicit, constructive, and free of fitted parameters, and the overall classification claim is falsifiable and likely useful for subsequent work on stabilizers and homotopy types. However, the sphere case and several auxiliary lemmas are not fully proved as written. The main geometric idea is plausible, but the manuscript currently does not establish the full theorem.

major comments (5)
  1. [§10.3, Step 2] The assertion that U1 = Q ∩ V1 is a disk is incorrect when f has critical circles. Since Q is an open f-foliated cylinder containing all critical circles and intersecting both W0 and W1, while V1 is a disk neighborhood of the extremum z1 containing no critical circles, their intersection is an annulus (a collar of the boundary of V1) rather than a disk. Corollary 10.2(1) is a statement about functions on disks and therefore cannot be applied to obtain the diffeomorphism h1 and the reparameterization α1. If f has no critical circles, the theorem is already covered by Lemma 9.2, but the proof as written does not separate that case, and for the critical-circle case this step is invalid.
  2. [§10.3, Step 3] Step 3 invokes Corollary 10.2(2) with the hypothesis that f = g on V0 ∩ U1, calling this set a connected f-foliated neighborhood of ∂U1. However, Lemma 9.9 only guarantees f = g on V0, and V0 ∩ U1 is empty whenever a critical circle separates z0 and z1, which is precisely the situation in which Step 2 is needed. Thus the extension of h1 and α1 by the identity on the complement is not justified. The proof of Theorem 1.8 for S2 therefore does not construct the required diffeomorphism h and reparameterization κ.
  3. [§7.4] Proposition 3.6 is stated for all surfaces in the class, but the proof for S2 is omitted with the sentence 'We left details to the reader.' This proposition is the basis for the H-field, and hence for the normalized flows and semi-free circle actions used in Section 5 and in the cylinder/torus part of the proof of Theorem 1.8. A load-bearing lemma of this kind cannot be discharged by a 'similar to the disk case' remark; the sphere case needs an explicit proof or a precise reduction to the disk case.
  4. [Lemma 9.5, first paragraph] The inference 'Since f = g on W, it follows that φ_a = ψ_a on W' is not justified. The normalized H-fields in equation (8) are not canonical: Proposition 3.6 produces one vector field among many, and normalizing the period to 1 does not fix the orientation on a leaf. To apply Lemma 5.2, the two actions must coincide on W, and the proof must explain how the H-fields for f and g are chosen compatibly on W, or why any two normalized H-fields agree up to a global rotation on each orbit. Without this, Lemma 9.5 is not proved, and it is used in Lemma 9.7 and Corollary 10.2(2).
  5. [Lemma 9.9] Lemma 9.9 is a load-bearing approximation statement for both the disk and sphere proofs, but its proof is only a sketch. The intermediate function g0 obtained by perturbing f near the critical circles is allowed to have saddles, and the cancellation step must show that all such saddles can be canceled while preserving f = g on V and without creating new critical points outside V. The references to [14] are not enough by themselves; a complete argument, or a precise citation covering this exact situation, is needed.
minor comments (5)
  1. [Abstract and Introduction] There are numerous typographical and OCR artifacts, for example 'smoo th', 'surf aces', and 'represe nts'; the paper needs a careful copyedit.
  2. [Theorem 1.8, condition (B)] Condition (B) refers to 'f0(∂M)', but f0 is defined on M0, not on M; this should be 'f0(∂M0)'.
  3. [Section 5, after equation (8)] The sentence 'The flow F of a normalized H-field F satisfies F(x,t)=x for each x∈M' should read F(x,1)=x, or equivalently F_{t+1}=F_t; otherwise the flow would be trivial.
  4. [Lemma 9.7] The statement introduces 'a smooth function g : Im(g) → R', but g is already the Morse function; the new reparameterization should be denoted by a different letter such as κ or α.
  5. [Corollary 10.2(2) and §10.3] Notation such as 'α̃ = α on M\W' and 'α̃1 = α1 on g(U1\V0)' mixes subsets of M with subsets of Im(g); the domains and codomains should be made consistent.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found: the normal form decomposition is produced directly from f via a chosen foliated diffeomorphism and the value function kappa of Eq. (15); all load-bearing lemmas are either proved in the paper or cited from independent sources.

full rationale

The main theorem is not an input to itself. In the cylinder/torus case, h is obtained by conjugating free S1-actions (Lemma 4.4, cited to Morita), and kappa is then defined by kappa(s) = f(h(1,s)) on a global transversal; equality f o h = kappa o f0 follows because h is foliated, so no fitted parameter is disguised as a conclusion. For the disk, the proof uses Lemma 9.7, whose proof uses Corollary 9.4 (derived from the already-proved cylinder case) and Lemma 9.5; Lemma 9.5 is proved via Lemma 5.2, which is proved in the paper. For the sphere, the proof invokes Corollary 10.2 and Lemma 9.2; Lemma 9.2 is credited to Matsumoto's standard Morse theory text, and Corollary 10.2 is a consequence of the disk case and Lemma 9.5. The only self-citations (Theorem 1.6 and Definition 1.2 from the author's earlier work) are motivational/definitional and are not needed in the proof of Theorem 1.8. Two non-circular gaps are noted for the record: Proposition 3.6's S2 case is left to the reader in Section 7.4, and Section 10.3's assertion that U1 = Q intersect V1 is a disk is not justified and may be false when critical circles separate the sphere; these are correctness risks, not circular reductions.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The central claim rests on standard smooth topology (symplectic forms, slice theorem, free S1-action classification) plus three domain results that are either cited or sketched: the classification of free actions on cylinder/torus, smooth equivalence of Morse no-saddle functions to prime functions, and the Morse approximation lemma. No free parameters are fitted and no new physical entities are postulated.

assumptions (5)
  • standard math Existence of symplectic structures and Hamiltonian vector fields on oriented surfaces (Section 3.1).
    Used to define X_f and start the H-field construction.
  • domain assumption Free smooth S1 actions on a cylinder or torus are all conjugated to the standard rotation action (Lemma 4.4, cited from [15]).
    Provides the diffeomorphism h in the normal form for cylinder and torus.
  • domain assumption Morse functions without saddles on D2, S2, S1×[0,1], T2 are smoothly equivalent to the prime functions (Lemma 9.2, cited as known with sketch, [14]).
    Used to reduce the Morse case to f0 in Steps 3 and 5 of the main theorem and in Corollary 9.4.
  • domain assumption Any smooth function can be perturbed to a Morse function agreeing on a prescribed neighborhood (Lemma 9.9, sketch, cf. [14]).
    Load-bearing for the disk and sphere cases of Theorem 1.8.
  • standard math Slice theorem for smooth compact Lie group actions (Section 5, cited from [4]).
    Used to show that the fixed point set of a semi-free action is finite and to classify surfaces admitting such actions.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Normal forms of functions with degenerate singularities on surfaces equipped with semi-free circle actions." pith.science (2026). https://pith.science/paper/3FDWVHTV

@misc{pith2026241218944,
  author       = {Pith},
  title        = {Pith review of: Normal forms of functions with degenerate singularities on surfaces equipped with semi-free circle actions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/3FDWVHTV}},
  note         = {Machine review of arXiv:2412.18944}
}
abstract

This article is devoted to the study of a certain class of smooth circle-valued functions on a cylinder $S^1\times [0,1]$, a torus $T^2$, a disk $D^2$ and a sphere $S^2$ which is a generalization of Morse-Bott functions without saddles. We established a "normal form" for functions from this class, namely, we proved that any such function $f$ can be presented in the form $f = \varkappa\circ f_0\circ h^{-1}$, where $f_0$ is the ``simplest'' Morse function on the given surface for some diffeomorphism $h$ and a smooth function $\varkappa$ satisfying some natural conditions.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Reconstruction of real algebraic functions into curves with prescribed Reeb graphs

    math.AG 2025-07 conditional novelty 4.0 of 10

    For any finite graph satisfying genericity conditions and any dimension at least 2, the paper constructs real algebraic maps to curves whose Reeb graph is isomorphic to the graph.

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages · cited by 1 Pith paper

  1. [14]

    An introduction to Morse theory , volume 208 of Translations of Mathematical Mono- graphs

    Yukio Matsumoto. An introduction to Morse theory , volume 208 of Translations of Mathematical Mono- graphs. American Mathematical Society, Providence, RI, 2002. Tra nslated from the 1997 Japanese original by Kiki Hudson and Masahico Saito, Iwanami Series in Modern M athematics. 13, 15

    work page 2002

  2. [1]

    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. 1

    work page 2022

  3. [2]

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

    Bohdan Feshchenko. Homotopy type of stabilizers of circ le-valued functions with non-isolated singularities on surfaces. arXiv:2305.08255, page 9, 2023. 2, 3

    work page Pith review arXiv 2023

  4. [3]

    O. A. Kadubovskiy. Topological equivalence of function s on oriented surfaces. Ukraïn. Mat. Zh. , 58(3):343– 351, 2006. 1

    work page 2006

  5. [4]

    J. L. Koszul. Sur certains groupes de transformations de Lie. In Géométrie différentielle. Colloques Inter- nationaux du Centre National de la Recherche Scientifique, St rasbourg, 1953, pages 137–141. CNRS, Paris,

    work page 1953

  6. [5]

    E. V. Kulinich. On topologically equivalent Morse funct ions on surfaces. Methods Funct. Anal. Topology , 4(1):59–64, 1998. 1

    work page 1998

  7. [6]

    S. I. Maksymenko. Symmetries of center singularities of plane vector fields. Nel ¯ ın ¯ ı˘in ¯ ı Koliv., 13(2):177–205,

    work page

  8. [7]

    Stabilizers and orbits of smooth fun ctions

    Sergey Maksymenko. Stabilizers and orbits of smooth fun ctions. Bull. Sci. Math. , 130(4):279–311, 2006. 2

    work page 2006

Show all 19 references
  1. [8]

    Smooth shifts along trajectories of flows

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

    2003

  2. [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. 2, 3, 5

    2006

  3. [10]

    Reparametrization of vector fields and their shift maps

    Sergiy Maksymenko. Reparametrization of vector fields and their shift maps. Pr. Inst. Mat. Nats. Akad. Nauk Ukr. Mat. Zastos. , 6(2):489–498, arXiv:math/0907.0354, 2009. 8

    2009 arXiv

  4. [11]

    Homotopy types of right stabilizer s and orbits of smooth functions functions on surfaces

    Sergiy Maksymenko. Homotopy types of right stabilizer s and orbits of smooth functions functions on surfaces. Ukrainian Math. Journal , 64(9):1186–1203, 2012. 2

    2012

  5. [12]

    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. 2

    2020

  6. [13]

    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. 1

    2016

  7. [15]

    Geometry of differential forms , volume 201 of Translations of Mathematical Monographs

    Shigeyuki Morita. Geometry of differential forms , volume 201 of Translations of Mathematical Monographs. American Mathematical Society, Providence, RI, 2001. Tran slated from the two-volume Japanese original (1997, 1998) by Teruko Nagase and Katsumi Nomizu, Iwanami Se ries in ...

    2001

  8. [16]

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

    2002

  9. [17]

    V. V. Sharko. Smooth and topological equivalence of fun ctions on surfaces. Ukraïn. Mat. Zh. , 55(5):687–700,

  10. [18]

    Loring W. Tu. Introductory lectures on equivariant cohomology , volume 204 of Annals of Mathematics Studies. Princeton University Press, Princeton, NJ, 2020. With app endices by Tu and Alberto Arabia. 7

    2020

  11. [19]

    Differentiable even functions

    Hassler Whitney. Differentiable even functions. Duke Math. J. , 10:159–160, 1943. 3 Department of algebra and topology, Institute of Mathemati cs of National Academy of Sci- ence of Ukraine, Tereshchenkivska, 3, Kyiv, 01601, Ukraine Email address : fb@imath.kiev.ua

    1943

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.