Pith. sign in

REVIEW 1 major objections 10 references

Non-singular extensions of horizontal stable fold maps from surfaces to the plane

T0 review · 1 major / 0 minor · reviewed 2026-05-23 · grok-4.3

Challenge this review Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The existence of a non-singular extension for a horizontal stable fold map is equivalent to the existence of a pairing map.

desk verdict The paper reduces the extension problem for horizontal stable fold maps to existence of a pairing map and computes Euler characteristics plus fundamental groups for the 3-manifolds. read the letter →

arxiv 2410.22693 v3 submitted 2024-10-30 math.GT

Koki Iwakura This is my paper · ORCID
classification math.GT
keywords foldmapsstablenon-singularextensionspairing3-manifoldsEulercharacteristicfundamentalgroupsurface
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 examines when a horizontal stable fold map from a closed surface to the plane can be extended to a submersion on a compact 3-manifold. It introduces a combinatorial object called a pairing map and shows that such an extension exists if and only if a pairing map exists for the given fold map. The work also calculates the Euler characteristics and fundamental groups of the 3-manifolds that arise as the domains of these extensions. A sympathetic reader would care because this provides a concrete combinatorial criterion for a topological extension problem in low-dimensional geometry.

What carries the argument

The pairing map, a combinatorial object that encodes the conditions for extending the fold map to a submersion on a 3-manifold.

What would settle it

A specific horizontal stable fold map from a surface to the plane for which no pairing map exists, yet a non-singular extension is found, or vice versa.

Watch

Extended reading notes

Core claim

By defining a combinatorial object called a pairing map, the existence of a non-singular extension of a horizontal stable fold map is equivalent to the existence of a pairing map. The paper further computes the Euler characteristics and the fundamental groups of the compact 3-dimensional manifolds serving as source manifolds for these extensions.

Load-bearing premise

The given map must be a horizontal stable fold map from a closed surface to the plane, and any extension must be a submersion on a compact 3-manifold.

Editorial extensions

If this is right

  • The existence of a non-singular extension can be checked combinatorially via the pairing map.
  • Compact 3-manifolds with given boundary restrictions from fold maps have computable Euler characteristics.
  • The fundamental groups of these 3-manifolds can be determined from the pairing map.
  • Non-singular extensions exist precisely when the pairing map condition is satisfied.

Reading between the lines

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

  • If the pairing map condition holds, one could construct explicit extensions for specific surfaces like the torus or sphere.
  • Similar combinatorial criteria might apply to other types of stable maps beyond horizontal folds.
  • These computations of Euler characteristics could help classify the possible 3-manifolds arising in such extensions.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

1 major / 0 minor

Summary. The manuscript studies the non-singular extension problem for horizontal stable fold maps from closed surfaces to the plane. It defines a combinatorial object called a pairing map and claims to prove that the existence of a non-singular extension (a submersion from a compact 3-manifold to the plane whose boundary restriction is the given map) is equivalent to the existence of a pairing map. It further computes the Euler characteristics and fundamental groups of the source 3-manifolds for such extensions.

Significance. If the claimed equivalence is rigorously established, the combinatorial criterion via pairing maps would provide a practical tool for determining when non-singular extensions exist, potentially aiding further work on fold maps and 3-manifold topology. The explicit computations of Euler characteristics and fundamental groups supply concrete invariants that could support applications or example constructions. The paper introduces an invented combinatorial entity (the pairing map) to address the extension problem.

major comments (1)
  1. Abstract: the claim that the existence of a non-singular extension is equivalent to the existence of a pairing map is presented as a theorem proved by definition of the object, but the abstract supplies no definitions, no construction of the pairing map, and no verification steps, rendering the central claim unverifiable from the provided text.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their comments. We address the single major comment below.

read point-by-point responses

  1. Referee: Abstract: the claim that the existence of a non-singular extension is equivalent to the existence of a pairing map is presented as a theorem proved by definition of the object, but the abstract supplies no definitions, no construction of the pairing map, and no verification steps, rendering the central claim unverifiable from the provided text.

    Authors: The abstract is a concise summary of the paper's main results and strategy, as is conventional. It states that a pairing map is defined and that this definition is used to establish the equivalence; the actual definitions, explicit construction of the pairing map, and the full proof of the equivalence (via the correspondence between pairing maps and non-singular extensions) appear in Sections 3 and 4 of the manuscript, together with the Euler characteristic and fundamental group computations. The claim is not that the result follows from the definition alone, but that the defined object provides the combinatorial criterion whose existence is equivalent to the geometric extension problem. revision: no

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; equivalence is a genuine characterization via new combinatorial object

full rationale

The paper defines a new combinatorial object (pairing map) and proves an equivalence between existence of a non-singular extension and existence of such a map. This is a standard non-circular characterization in geometric topology: the definition of the pairing map is independent of the extension (no self-definitional reduction), the equivalence is established as a theorem rather than by construction or tautology, and no self-citations, fitted parameters, or ansatzes are invoked as load-bearing steps. The setup (horizontal stable fold map on closed surface) is the standard input to the extension problem, not a hidden assumption that forces the result. The additional computations of Euler characteristics and fundamental groups are independent of the equivalence claim.

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

The central claim rests on the new definition of pairing map (invented entity) and standard facts from differential topology about stable maps and submersions. No free parameters or ad-hoc axioms are visible in the abstract.

assumptions (1)
  • domain assumption Stable fold maps and horizontal condition are well-defined in the sense of prior singularity theory literature.
    Invoked implicitly when stating the problem for horizontal stable fold maps.
invented entities (1)
  • pairing map
    purpose: Combinatorial object whose existence is equivalent to the non-singular extension.
    Defined in the paper to characterize the extension problem.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Non-singular extensions of horizontal stable fold maps from surfaces to the plane." pith.science (2026). https://pith.science/paper/2410.22693

@misc{pith2026241022693,
  author       = {Pith},
  title        = {Pith review of: Non-singular extensions of horizontal stable fold maps from surfaces to the plane},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/2410.22693}},
  note         = {Machine review of arXiv:2410.22693}
}
abstract

In this paper, we study the non-singular extension problem of horizontal stable fold maps. This problem asks what conditions ensure the existence of a submersion whose restriction to the boundary coincides with a given map, called a non-singular extension. By defining a combinatorial object called a pairing map, we prove that the existence of a non-singular extension is equivalent to the existence of a pairing map. Furthermore, to facilitate the application of the main theorem, we compute the Euler characteristics and the fundamental groups of compact $3$-dimensional manifolds that serve as the source manifolds of non-singular extensions.

Figures

Figures reproduced from arXiv: 2410.22693 by the authors.

Figure 1
Figure 1. The figure on the left (resp. right) hand side represents F around a singular point p ∈ SI(F) (resp. p ∈ SII(F)). Definition 2.3 (Non-singular extension). Let M be a closed orientable surface and g : M × [0, 1) → R 2 be a submersion such that g|M×{0} is a stable map. We assume that there exist a compact orientable 3-dimensional manifold N with no closed components, and a submersion F : N → R 2 that makes the followi… view at source ↗
Figure 2
Figure 2. We depicts the regions R1, R2, R3, and R4 in Rf around the vertex d of f(S(f)). The arcs a1 and a2 pass through d. Lemma 2.12. For any two adjacent and distinct elements R and R′ of Rf , either γf (R) ⊂ γf (R ′ ) or γf (R ′ ) ⊂ γf (R) holds. In particular, if γf (R′ ) ⊂ γf (R), then we have ♯(γf (R) \ γf (R′ )) = 2, where one element is contained in V + f and the other is contained in V − f . Here, ♯ denotes the car… view at source ↗
Figure 3
Figure 3. The submersion g1 and the signed graph Gf1 . 7 [PITH_FULL_IMAGE:figures/full_fig_p007_3.png] view at source ↗
Figures from the paper (7 more)
Figure 4
Figure 4. Figure 4: The pairing map δ1 from Rf1 to Mf1 . + + − − 2 g [PITH_FULL_IMAGE:figures/full_fig_p008_4.png]
Figure 5
Figure 5. Figure 5: The submersion g2 and the signed graph Gf2 . + + − − + + − − + + − − [PITH_FULL_IMAGE:figures/full_fig_p008_5.png]
Figure 6
Figure 6. Figure 6: The pairing map δ2 from Rf2 to Mf2 . 8 [PITH_FULL_IMAGE:figures/full_fig_p008_6.png]
Figure 7
Figure 7. Figure 7: The part PI and PII. The part PI has five regions, denoted by η1, η2, θ1, θ2, and ι, while PII has seven regions, denoted by κ1, κ2, λ1,1, λ1,2, λ2, µ1, µ2, ν1, and ν2. Additionally, they have lines Q1 and Q2, respectively. where each disk Di contains exactly one verte…
Figure 8
Figure 8. Figure 8: The map FNTi |PI and FNTi |PII . regions η1, η2, and ι are each mapped to distinct edges of the rectangle R ∩ Ti . Thus, we obtain a map Fi of NTi into R 2 . Assume that δ satisfies the first equation in (3–2) of Definition 2.13 along the edge e of f(S(f)). That is, fo…
Figure 9
Figure 9. Figure 9: The part PD. It has the six regions denoted by ξ1, ξ2,1, ξ2,2, ξ3,1, ξ3,2, and ξ4, and the lines represented by S3 and S4. We next define a set NAi and a map FAi : NAi → R 2 for Ai containing a circle component of f(S(f)). They are similarly defined as the case for Ti …
Figure 10
Figure 10. Figure 10: The map FDi |PD . regions R1, R2, R3, R4 ∈ Rf around d such that δ satisfies the equation δ(R1) = (δ(R3) \ {(v1, w2)}) ⊔ {(v1, w3),(v2, w2)}, δ(R2) = (δ(R4) \ {(v3, w2)}) ⊔ {(v3, w3),(v2, w2)}, δ(R1) = (δ(R2) \ {(v3, w3)}) ⊔ {(v3, w1),(v1, w3)}, δ(R3) = (δ(R4) \ {(v3,…

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

10 extracted references · 10 canonical work pages

  1. [1]

    S.\ A.\ Barannikov, The framed Morse complex and its invariants , Adv.\ Soviet Math.\ 21 (1994), 93--115

    work page 1994

  2. [2]

    S.\ Blank and F.\ Laudenbach, Extension \`a une vari\' e t\' e de dimension 2 d'un germe de fonction donne le long du bord , C.\ R.\ Math.\ Acad.\ Sci.\ Paris 270 (1970), 1663--1665

    work page 1970

  3. [3]

    C.\ Curley, Non-singular extensions of Morse functions , Topology (1) 16 (1977), 89--97

    work page 1977

  4. [4]

    C.\ Ehresmann, Les connexions infinit\'esimales dans un espace fibr\'e diff\'erentiable , Colloque de topologie (espaces fibr\'es), B ruxelles, 1950

    work page 1950

  5. [5]

    Texts in Math., Vol

    M.\ Golubitsky, V.\ Guillemin, Stable mappings and their singularities , grad. Texts in Math., Vol. 14. (1973) Springer, New York-Heidelberg

    work page 1973

  6. [6]

    D.\ Hacon, C.\ Mendes de Jesus, M.\ C.\ Romero Fuster, Topological invariants of stable maps from a surface to the plane from a global viewpoint , Real and complex singularities, Lecture Notes in Pure and Appl. Math. 232 (2003), 227--235, Dekker, New York

    work page 2003

  7. [7]

    K.\ Iwakura, Non-singular extensions of circle-Morse functions , Preprint (2023), arXiv:2311.07309

    work page Pith review arXiv 2023

  8. [8]

    C.\ Laroche, Extending a Morse function to a non-orientable 3 -manifold , Preprint (2017), arXiv:1709.03328v1

    work page Pith review arXiv 2017

Show all 10 references
  1. [9]

    V.\ Seigneur, Extensions de fonctions d'un voisinage de la sph\`ere \`a la boule , C.\ R.\ Math.\ Acad.\ Sci.\ Paris (7) 356 (2018), 712--716

    2018

  2. [10]

    N.\ Shibata, On non-singular stable maps of 3 -manifolds with boundary into the plane , Hiroshima J.\ Math.\ 30 (2000), 415--435

    2000

Pith tools

Reviewed May 23, 2026 · model on record in the stance chip above.