Boundary Special Generic Maps

• Boundary special generic maps are defined as smooth submersions on compact manifolds with non-empty boundaries, where all singularities are boundary definite fold points.
• The theory uses a Reeb space decomposition into disk bundles, linking local fold behaviors to global topology and imposing constraints on cohomology and π₁.
• Key classification and extension results, including analogues of Reeb’s sphere theorem and characterizations of 3-manifolds, demonstrate practical implications in differential topology.

Searching arXiv for recent and foundational papers on boundary special generic maps and closely related special generic map theory. Search query: "boundary special generic maps arXiv" Boundary special generic maps are smooth maps from compact connected manifolds with non-empty boundary into Euclidean spaces that are globally submersions, while all singular behavior is concentrated in the restriction to the boundary and is of definite fold type. In the formulation studied in “Topology of boundary special generic maps into Euclidean spaces” (Iwakura, 3 Aug 2025), a boundary special generic map $F:N^n\to \mathbb{R}^m$ with $n>m$ is defined on a compact connected $n$-manifold $N$ with non-empty boundary, satisfies that $F$ is a submersion on all of $N$, and has the property that every singular point of $F|_{\partial N}$ is a boundary definite fold point. This places boundary special generic maps as a boundary analogue of classical special generic maps of closed manifolds, while preserving a sharp global-topological structure through the associated Reeb space (Iwakura, 3 Aug 2025).

1. Definition and local model

The foundational notion is the boundary definite fold point. Let $N$ be an $n$-dimensional smooth manifold with boundary, $L$ an open $n>m$0-dimensional manifold, $n>m$1, and $n>m$2 a smooth map. A point $n>m$3 is a boundary definite fold point if there are local coordinates $n>m$4 near $n>m$5, with $n>m$6 and $n>m$7, and local coordinates $n>m$8 near $n>m$9, such that

$n$0

Under the side condition

$n$1

the map $n$2 itself is nonsingular at $n$3, since $n$4 is surjective, but the restriction to the boundary becomes

$n$5

which is a standard definite fold singularity of index $n$6 (Iwakura, 3 Aug 2025).

A boundary special generic map is then a smooth map $n$7, where $n$8 is compact connected with non-empty boundary and $n$9, such that $N$0 is a submersion on all of $N$1 and every singular point of $N$2 is a boundary definite fold point (Iwakura, 3 Aug 2025). When $N$3, such a map is called a boundary special generic function (Iwakura, 3 Aug 2025).

This distinguishes boundary special generic maps from classical special generic maps in two ways. First, the source has boundary. Second, the map on the whole source is nonsingular; only the restriction to the boundary carries fold singularities (Iwakura, 3 Aug 2025). A plausible implication is that the theory separates interior regularity from boundary-controlled singular geometry more sharply than the classical closed-manifold theory.

2. Local geometry and comparison with classical special generic maps

At an interior point of a boundary special generic map $N$4, the map is locally a projection

$N$5

up to diffeomorphism, since $N$6 is a submersion everywhere on $N$7 (Iwakura, 3 Aug 2025). At a boundary point that is not singular for $N$8, the restriction to the boundary remains a submersion. The only singularities occur on $N$9, where the above boundary definite fold normal form applies (Iwakura, 3 Aug 2025).

Near such a point, the local fiber picture has two layers. In the interior, fixing a nearby regular value $F$0, the fiber is diffeomorphic to a disk $F$1, obtained by solving

$F$2

On the boundary, the restricted map exhibits the usual definite fold transition: the boundary level set is empty on one side of the fold value and a sphere or union on the other (Iwakura, 3 Aug 2025). The key distinction from interior fold singularities is that the total map $F$3 never drops rank; only the boundary restriction does (Iwakura, 3 Aug 2025).

This makes boundary special generic maps a boundary analogue of the Reeb–Saeki–Sakuma picture for special generic maps of closed manifolds. For classical special generic maps $F$4 on closed manifolds, the singular set consists of definite folds and the associated quotient space $F$5 is a compact $F$6-manifold with boundary, with the singular set mapping diffeomorphically to $F$7 (Kitazawa, 2021, Kitazawa, 2018). In boundary special generic maps, by contrast, the source already has boundary and the singularities are present only after restricting to it (Iwakura, 3 Aug 2025). This suggests that boundary special generic maps transpose the boundary role from the Reeb space of a closed-source map to the source manifold itself.

3. Reeb spaces and bundle decomposition

A central structural invariant is the Reeb space. For a smooth map $F$8, the Reeb space $F$9 is the quotient by connected components of fibers: $N$0 where $N$1 if $N$2 and $N$3 lie in the same connected component of the fiber $N$4 (Iwakura, 3 Aug 2025). The quotient map is denoted $N$5, and $N$6 factors as

$N$7

For a boundary special generic map $N$8 with $N$9, the Reeb space has a particularly rigid form. It is an $F|_{\partial N}$0-dimensional manifold with boundary, the Reeb map $F|_{\partial N}$1 is an immersion, and the restriction

$F|_{\partial N}$2

is a diffeomorphism (Iwakura, 3 Aug 2025). Thus the singular set of the boundary map is identified smoothly with the boundary of the Reeb space.

Choosing a collar

$F|_{\partial N}$3

and setting

$F|_{\partial N}$4

one obtains a decomposition of $F|_{\partial N}$5 into disk bundles. Specifically,

$F|_{\partial N}$6

is a $F|_{\partial N}$7-bundle with structure group $F|_{\partial N}$8, while

$F|_{\partial N}$9

is a $N$0-bundle with structure group $N$1, where $N$2 is projection (Iwakura, 3 Aug 2025). Consequently,

$N$3

a union of disk bundles glued along their common boundary (Iwakura, 3 Aug 2025).

This decomposition parallels the Reeb-space bundle description for classical special generic maps on closed manifolds, where one has a sphere bundle over the interior of $N$4 and a disk bundle over a collar of $N$5 (Kitazawa, 2021, Kitazawa, 2018). In the boundary setting, the corresponding structures are disk bundles on both pieces, reflecting the fact that the total map is a submersion and the folding occurs only on the boundary restriction (Iwakura, 3 Aug 2025).

4. Topological restrictions and classification results

The Reeb-space decomposition leads to strong global constraints. For a boundary special generic map $N$6, one has

$N$7

for every $N$8, and therefore

$N$9

Likewise,

$n$0

These are established using Mayer–Vietoris, Leray–Hirsch, and Van Kampen on the disk-bundle decomposition (Iwakura, 3 Aug 2025). Thus the topology of $n$1 is controlled, in low degrees, by the $n$2-dimensional manifold $n$3.

Two classification results are explicit. First, for maps into $n$4, there is a boundary analogue of Reeb’s sphere theorem: a compact connected $n$5-manifold with non-empty boundary admits a boundary special generic function if and only if it is diffeomorphic to $n$6 (Iwakura, 3 Aug 2025). The proof uses that the Reeb space is a compact connected 1-manifold with boundary, hence an interval, and then analyzes the induced decomposition of the source into two $n$7’s glued along a $n$8; the smooth classification invokes Hatcher’s result $n$9, Cerf’s work, and Milnor’s $L$0-cobordism results in the relevant dimensions (Iwakura, 3 Aug 2025).

Second, for compact connected $L$1-manifolds with boundary, there is a complete characterization of those admitting a boundary special generic map into $L$2. Such a manifold $L$3 admits such a map if and only if there exist integers $L$4 such that

$L$5

where

$L$6

and $L$7 denotes boundary-connected sum (Iwakura, 3 Aug 2025). In other words, the admissible manifolds are precisely 3-dimensional handlebodies, possibly non-orientable, built from trivial and twisted $L$8-bundles over $L$9 (Iwakura, 3 Aug 2025).

The proof analyzes the Reeb space $n>m$00, which in this case is a compact connected orientable surface with boundary immersed in $n>m$01, decomposes it into a 0-handle and 1-handles, and tracks how the corresponding preimages are attached. Since

$n>m$02

there are exactly two attachment types, yielding either $n>m$03 or $n>m$04 (Iwakura, 3 Aug 2025).

5. Extensions, lifts, and related frameworks

Boundary special generic maps are closely tied to extension problems for classical special generic maps. If $n>m$05 is a closed connected manifold and $n>m$06 is a map, an extension is a map $n>m$07 where $n>m$08 is compact with $n>m$09 and $n>m$10 (Iwakura, 3 Aug 2025). For special generic functions $n>m$11, the paper proves that there exists a boundary special generic function $n>m$12 extending $n>m$13 if and only if $n>m$14 (Iwakura, 3 Aug 2025). Moreover, for $n>m$15, such an extension exists if and only if $n>m$16 admits an embedding lift

$n>m$17

with $n>m$18 an embedding and $n>m$19 (Iwakura, 3 Aug 2025).

For fold maps $n>m$20 from a closed connected surface, the existence of a boundary special generic extension to a $n>m$21-manifold imposes boundary-type restrictions: $n>m$22 for some $n>m$23 (Iwakura, 3 Aug 2025). A sufficient condition is known in the orientable case: if $n>m$24 has an embedding lift $n>m$25 and

$n>m$26

then $n>m$27 admits a boundary special generic extension $n>m$28 (Iwakura, 3 Aug 2025).

Related work places boundary special generic maps in a broader landscape. The Reeb-space structure of ordinary special generic maps already uses compact manifolds with boundary $n>m$29, with $n>m$30 a sphere bundle over the interior and a disk bundle over a collar of the boundary (Kitazawa, 2021, Kitazawa, 2018). The “pseudo special generic maps” of (Kitazawa, 2018) abstract precisely this quotient map $n>m$31, with $n>m$32 a compact manifold with nonempty boundary, sphere fibers over the interior, and an index-$n>m$33 fold model over a collar of $n>m$34. Likewise, “simply generalized special generic maps” replace sphere fibers by products of spheres while keeping the Reeb space a compact manifold with boundary (Kitazawa, 2022). These frameworks do not define boundary special generic maps in the sense of (Iwakura, 3 Aug 2025), but they show that boundary-controlled singular models and manifold-with-boundary Reeb spaces are already central in generalized special generic theory.

6. Examples, obstructions, and broader significance

The fundamental examples are explicit. The height function

$n>m$35

on $n>m$36 is a boundary special generic function: the map is a submersion on $n>m$37, and the restriction to $n>m$38 is a Morse function with exactly two critical points, both definite (Iwakura, 3 Aug 2025). In dimension three, the maps

$n>m$39

and

$n>m$40

give boundary special generic maps on the trivial and twisted solid tori, respectively (Iwakura, 3 Aug 2025).

Conversely, several obstructions follow immediately from the Reeb-space theory. If $n>m$41 admits a boundary special generic map into $n>m$42, then $n>m$43 for all $n>m$44, so any manifold with nontrivial cohomology above degree $n>m$45 is excluded (Iwakura, 3 Aug 2025). Since $n>m$46, only groups realizable as fundamental groups of $n>m$47-manifolds with boundary can occur (Iwakura, 3 Aug 2025). In the 3-dimensional extension problem for fold maps of surfaces into the plane, not every map on an admissible boundary surface is extendable: the paper gives an explicit fold map $n>m$48 with no boundary special generic extension (Iwakura, 3 Aug 2025).

The broader significance is twofold. First, boundary special generic maps provide a clean boundary analogue of the well-developed theory of special generic maps on closed manifolds (Iwakura, 3 Aug 2025). Second, they show that controlled singularities on the boundary alone can determine strong global topology of the source. This is parallel to the role of the Reeb space in classical special generic map theory, where the quotient space is itself a compact manifold with boundary and largely governs the topology of the domain (Kitazawa, 2021, Kitazawa, 2018). A plausible implication is that boundary special generic maps supply a natural setting for studying nonsingular extensions, lift problems, and low-dimensional handlebody structures within singularity theory and differential topology.

In this sense, boundary special generic maps sit at the intersection of global singularity theory, differential topology of manifolds with boundary, and low-dimensional topology. The current theory shows that disks and handlebodies occupy, for manifolds with boundary, the role that spheres and sphere bundles occupy in the classical special generic theory of closed manifolds (Iwakura, 3 Aug 2025).