arxiv: 2604.26249 · v1 · submitted 2026-04-29 · 🧮 math.GT

Recognition: unknown

On submersions with definite folds of manifolds with boundary into Euclidean spaces

Koki Iwakura

Pith reviewed 2026-05-07 12:49 UTC · model grok-4.3

classification 🧮 math.GT

keywords definite fold mapssubmersionsmanifolds with boundaryround fold mapsimage simple fold mapsdiffeomorphism typesEuler characteristicsfold singularities

0 comments

The pith

Submersions with definite folds from manifolds with boundary to Euclidean spaces restrict the diffeomorphism types of the sources.

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

The paper investigates manifolds with boundary that admit submersions with definite folds into Euclidean spaces, where the maps are submersions on the interior but have definite fold singularities on the boundary. For targets that are the real line, the existence of such maps yields concrete restrictions on the diffeomorphism types of the source manifolds by invoking earlier results on fold maps. For higher-dimensional Euclidean targets, the analysis specializes to cases where the boundary maps are round fold maps or image simple fold maps, yielding further information on diffeomorphism types and Euler characteristics. The same techniques are applied to determine when definite fold maps admit non-singular extensions.

Core claim

Submersions with definite folds are maps from manifolds with boundary to Euclidean space that remain submersions on the interior while the restriction to the boundary is a definite fold map. When the target is the real line, the existence of such a map forces the source manifold to belong only to certain diffeomorphism classes. For higher-dimensional targets, restricting the boundary behavior to round fold maps or image simple fold maps further constrains the possible diffeomorphism types and admissible values of the Euler characteristic. These constraints are also used to decide the existence of non-singular extensions of definite fold maps.

What carries the argument

The submersion with definite folds, a map that is a submersion away from the boundary where the boundary restriction is a definite fold map, together with its variants using round fold maps or image simple fold maps on the boundary.

Load-bearing premise

The source manifolds admit submersions with definite folds whose restrictions to the boundary are definite fold maps, round fold maps, or image simple fold maps.

What would settle it

A manifold with boundary that admits a submersion with definite folds to the real line yet belongs to a diffeomorphism class forbidden by the cited results of Hajduk or Borodzik--Némethi--Ranicki would show the claimed restrictions do not hold.

Figures

Figures reproduced from arXiv: 2604.26249 by Koki Iwakura.

**Figure 1.** Figure 1: The parts to construct the submersion with definite folds F : N → R. F (j) i : N (j) i → R for j = 1, 2, 3, F (0) : N(0) → R, and F (4) : N(4) → R as view at source ↗

**Figure 2.** Figure 2: A submersions with definite folds F : Σ0,b → R. On the other hand, by restricting the topological types of the regular fibers of F, namely the inverse images of regular values of F, we may see how submersions with definite folds affect the topology of N. Before presenting the results, we introduce notation. Assume that R has the natural orientation and choose the local coordinate of R in Proposition 2.4 so… view at source ↗

**Figure 3.** Figure 3: The plumbing graph associated with the map F. Remark 3.10. In Theorem 3.9, we assume that F −1 (0) has only D1 -components. On the other hand, removing this assumption in Theorem 3.9, then N is obtained by attaching 3-dimensional 2-handles to the manifolds. 3.2.2. For image simple fold maps. We consider submersions with definite folds whose restrictions to the boundary are image simple fold maps. In this c… view at source ↗

read the original abstract

Submersions with definite folds are submersions on manifolds with boundary whose restrictions to the boundary are definite fold maps. In this paper, we study the properties from the viewpoint of differential topology of manifolds with boundary admitting such maps into Euclidean spaces. When the target is $\mathbb{R}$, we obtain restrictions on the diffeomorphism types of the source manifolds by using previous results of Hajduk and Borodzik--N\'emethi--Ranicki. For Euclidean spaces with general dimensions, we consider submersions with definite folds whose restrictions to the boundary are round fold maps or image simple fold maps, both defined by imposing conditions on the singular point set. Then, we study the diffeomorphism types and Euler characteristics of the manifolds admitting such maps. These results are also applied to the study of non-singular extensions of definite fold maps.

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.

Desk Editor's Note private letter to a colleague

The paper extends existing fold-map restrictions to manifolds with boundary by adding round and image-simple conditions on the boundary singular set, yielding diffeomorphism-type limits for target R and Euler-characteristic statements in higher dimensions.

read the letter

The main takeaway is that if a manifold with boundary admits a submersion with definite folds into R, then its diffeomorphism type is restricted by the theorems of Hajduk and Borodzik-Némethi-Ranicki. For maps into higher-dimensional Euclidean space the paper imposes round fold or image-simple fold conditions on the boundary and derives corresponding statements about Euler characteristics, plus some remarks on non-singular extensions of the maps themselves.

Referee Report

0 major / 2 minor

Summary. The manuscript examines submersions with definite folds from manifolds with boundary to Euclidean spaces. For the case where the target is the real line, it derives restrictions on the diffeomorphism types of the source manifolds by invoking prior results from Hajduk and Borodzik--Némethi--Ranicki. For targets of higher dimension, it introduces submersions with definite folds whose boundary restrictions are round fold maps or image simple fold maps, and investigates the resulting diffeomorphism types and Euler characteristics of such manifolds. The results are further applied to the study of non-singular extensions of definite fold maps.

Significance. If the claims are substantiated, the paper provides valuable restrictions on the topology of manifolds admitting these specific types of maps, extending classical results on fold maps to the setting with boundary. The direct application of established theorems for the one-dimensional target case is a clear strength, as is the consideration of Euler characteristics and applications to extensions, which may have implications for classification problems in geometric topology.

minor comments (2)

[Abstract] The abstract introduces 'image simple fold maps' and 'round fold maps' without a self-contained definition or forward reference to their precise conditions on the singular set; adding a one-sentence characterization would aid readability.
In the discussion of Euler characteristics for higher-dimensional targets, it is unclear whether the computed values are invariants of the diffeomorphism type or depend on the choice of the submersion; a clarifying sentence or example would strengthen the claim.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive evaluation of our manuscript and for recommending minor revision. The referee's summary accurately captures the scope and contributions of the work, including the restrictions on diffeomorphism types for target R via prior results of Hajduk and Borodzik--Némethi--Ranicki, as well as the analysis for higher-dimensional targets under round or image-simple boundary conditions and the applications to non-singular extensions.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper derives restrictions on diffeomorphism types of source manifolds (when target is R) by direct application of external theorems from Hajduk and Borodzik--Némethi--Ranicki once the manifold admits a submersion with definite folds whose boundary restriction satisfies the cited conditions. Boundary restrictions (definite fold, round fold, or image-simple fold) are chosen precisely to invoke those prior results. For higher-dimensional targets the analysis of diffeomorphism types and Euler characteristics proceeds from the explicit definitions of the singular sets without any fitted parameters renamed as predictions, self-definitional steps, or load-bearing self-citations. The derivation chain remains independent of its own outputs and relies on externally verifiable prior theorems.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests entirely on standard axioms and definitions of differential topology and singularity theory; no numerical parameters are fitted and no new entities are postulated.

axioms (1)

standard math Standard axioms of smooth manifolds with boundary, submersions, and fold singularities from differential topology.
Invoked throughout the abstract when defining submersions with definite folds and their boundary restrictions.

pith-pipeline@v0.9.0 · 5434 in / 1253 out tokens · 65941 ms · 2026-05-07T12:49:17.097509+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

26 extracted references · 3 canonical work pages · 1 internal anchor

[1]

J. W. Alexander,On the Subdivision of3-Space by a Polyhedron, Proc. Nat. Acad. Sci. U.S.A.10 (1924), 6–8

1924
[2]

Borodzik, A

M. Borodzik, A. N´ emethi, A. Ranicki,Morse theory for manifolds with boundary, Algebr. Geom. Topol.16(2016), 971–1023

2016
[3]

Braess,Morse-Theorie f¨ ur berandete Mannigfaltigkeiten, Math

D. Braess,Morse-Theorie f¨ ur berandete Mannigfaltigkeiten, Math. Ann.208(1974), 133–148

1974
[4]

L. E. J. Brouwer, ¨Uber Abbildung von Mannigfaltigkeiten, Math. Ann.71(1912), 97–115

1912
[5]

Brown,A proof of the generalized Schoenflies theorem, Bull

M. Brown,A proof of the generalized Schoenflies theorem, Bull. Amer. Math. Soc.66(1960), 74–76

1960
[6]

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

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

1977
[7]

Golubitsky, V

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

1973
[8]

Hajduk,Minimalm-functions, Fund

B. Hajduk,Minimalm-functions, Fund. Math.111(1981), 179–200

1981
[9]

A. E. Hatcher,A proof of the Smale conjecture,Diff(S 3)≃O(4), Ann. of Math. (2)3(1983), 553–607

1983
[10]

Hempel,Some3-manifold groups with the same finite quotients, arXiv:1409.3509v2, preprint

J. Hempel,Some3-manifold groups with the same finite quotients, arXiv:1409.3509v2, preprint

work page arXiv
[11]

Iwakura,Non-singular extensions of circle-valued Morse functions, Adv

K. Iwakura,Non-singular extensions of circle-valued Morse functions, Adv. Stud. Pure Math.89 (2025), 325–339

2025
[12]

Iwakura,Non-singular extensions of horizontal stable fold maps from surfaces to the plane, Topol- ogy Appl.378(2026), Paper No

K. Iwakura,Non-singular extensions of horizontal stable fold maps from surfaces to the plane, Topol- ogy Appl.378(2026), Paper No. 109685, 17

2026
[13]

Topology of boundary special generic maps into Euclidean spaces

K. Iwakura,Topology of boundary special generic maps into Euclidean spaces, arXiv:2508.01629v4, preprint

work page internal anchor Pith review Pith/arXiv arXiv
[14]

Jankowski, R

A. Jankowski, R. Rubinsztein,Functions with non-degenerate critical points on manifolds with bound- ary, Comment. Math. Prace Mat.16(1972), 99–112

1972
[15]

Kahmeyer, R

L. Kahmeyer, R. Sadykov,A homotopy invariant of image simple fold maps to oriented surfaces, J. Singul.27(2024), 193–219

2024
[16]

M. A. Kervaire, J. W. Milnor,Groups of homotopy spheres. I, Ann. of Math. (2)77(1963), 504–537

1963
[17]

Kitazawa,Fold maps with singular value sets of concentric spheres, Hokkaido Math

N. Kitazawa,Fold maps with singular value sets of concentric spheres, Hokkaido Math. J.43(2014), 327–359

2014
[18]

Milnor,Lectures on theh-cobordism theorem, Princeton Univ

J. Milnor,Lectures on theh-cobordism theorem, Princeton Univ. Press, Princeton, NJ (1965)

1965
[19]

W. D. Neumann,A calculus for plumbing applied to the topology of complex surface singularities and degenerating complex curves, Trans. Amer. Math. Soc.268(1981), 299–344

1981
[20]

W. D. Neumann,Graph 3-manifolds, splice diagrams, singularities, Singularity theory, World Sci. Publ., Hackensack, NJ (2007), 787–817

2007
[21]

Sakuma,On special generic maps of simply connected2n-manifolds intoR 3, Topology Appl.50 (1993), 249–261

K. Sakuma,On special generic maps of simply connected2n-manifolds intoR 3, Topology Appl.50 (1993), 249–261

1993
[22]

Saeki, R

O. Saeki, R. Sadykov,On the number of components of folds of image simple fold maps, arXiv:2509.03878v2, preprint

work page arXiv
[23]

Saeki, T

O. Saeki, T. Yamamoto,Singular fibers of stable maps of3-manifolds with boundary into surfaces and their applications, Algebr. Geom. Topol.16(2016), 1379–1402

2016
[24]

Seigneur,Extensions de fonctions d’un voisinage de la sph` ere ` a la boule, C

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
[25]

Shibata,On non-singular stable maps of3-manifolds with boundary into the plane, Hiroshima J

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

2000
[26]

Yamamoto,Elimination ofB 2 singularities I, Res

T. Yamamoto,Elimination ofB 2 singularities I, Res. Math. Sci.11(2024), Paper No. 51, 17. Joint Graduate School of Mathematics for Innovation, Kyushu University, Motooka 744, Nishiku, Fukuoka 819-0395, Japan. Email address:iwakura.koki0105@gmail.com 12

2024