pith. sign in

arxiv: 2410.22693 · v3 · submitted 2024-10-30 · 🧮 math.GT

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

Koki Iwakura This is my paper

Pith reviewed 2026-05-23 19:08 UTC · model grok-4.3

classification 🧮 math.GT
keywords fold mapsstable mapsnon-singular extensionspairing maps3-manifoldsEuler characteristicfundamental groupsurface maps
0
0 comments X

The pith

The existence of a non-singular extension for a horizontal stable fold map is equivalent to the existence of a pairing map.

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

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.

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.

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.

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.

Where Pith is reading between the lines

These are 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.

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.

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.

Figures

Figures reproduced from arXiv: 2410.22693 by Koki Iwakura.

Figure 1
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 t… view at source ↗
Figure 2
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, ♯ denot… view at source ↗
Figure 3
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 ↗
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] view at source ↗
Figure 5
Figure 5. Figure 5: The submersion g2 and the signed graph Gf2 . + + − − + + − − + + − − [PITH_FULL_IMAGE:figures/full_fig_p008_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: The pairing map δ2 from Rf2 to Mf2 . 8 [PITH_FULL_IMAGE:figures/full_fig_p008_6.png] view at source ↗
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 vertex of f(S(f)); each rectangle Ti contains an arc that is a component of f(S(f)) ∩ [PITH_FULL_IMAGE:figures/full_fig_p010_7.png] view at source ↗
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, for two regions R, R′ ∈ Rf adjacent along e, we have δ(R) = (δ(R ′ ) \ {(v, w)}) ⊔ {(v ′ , w),(v, w′ )}. In this case, we define NTi = [PITH_… view at source ↗
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 . In the construction, we use the parts P ′ I , P ′ II, and P˜′ II instead of the parts PI , PII, and P ′ II, respectively. These parts are … view at source ↗
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, w2)}) ⊔ {(v3, w1),(v1, w2)}. In this case, we define NDi = [PITH_FULL_IMAGE:figures/full_fig_p013_10.png] view at source ↗
read the original 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.

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

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

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.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 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.

axioms (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 no independent evidence
    purpose: Combinatorial object whose existence is equivalent to the non-singular extension.
    Defined in the paper to characterize the extension problem.

pith-pipeline@v0.9.0 · 5616 in / 1202 out tokens · 25269 ms · 2026-05-23T19:08:29.230025+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

10 extracted references · 10 canonical work pages · 2 internal anchors

  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 internal anchor Pith review Pith/arXiv arXiv 2023

  8. [8]

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

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  9. [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

    work page 2018

  10. [10]

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

    work page 2000