On a construction of stable maps from 3-manifolds into surfaces

Gakuto Kato

arxiv: 2508.21337 · v3 · pith:ONI2TDTOnew · submitted 2025-08-29 · 🧮 math.GT

On a construction of stable maps from 3-manifolds into surfaces

Gakuto Kato This is my paper

Pith reviewed 2026-05-25 08:04 UTC · model grok-4.3

classification 🧮 math.GT

keywords stable mapsfold singularitiesdefinite foldsindefinite foldslinks in 3-sphere3-manifoldsmaps to surfaces

0 comments

The pith

Any link in the 3-sphere is the definite fold set of a cusp-free stable map from the 3-sphere to the plane with only two-indefinite-fold fibers.

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

The paper establishes that every link in the 3-sphere admits an explicit stable map to the real plane whose definite fold points trace a set isotopic to the link. The map has no cusp points at all, and every fiber belongs to one specific local type that contains exactly two indefinite fold points. The same construction yields analogous maps from any closed orientable 3-manifold into the 2-sphere. A reader would care because the result gives a concrete way to embed arbitrary link data into the singularity set of a map between low-dimensional manifolds while keeping all other singularities under strict control.

Core claim

For any link in the 3-sphere, a visual construction produces a stable map f from the 3-sphere to the real plane with no cusp points, whose definite fold set is isotopic to the link, and whose fibers are only of the type containing two indefinite fold points. The same method produces a stable map from every closed orientable 3-manifold to the 2-sphere with the corresponding properties.

What carries the argument

A visual construction that places definite and indefinite fold points so the definite set matches the given link isotopically while forbidding cusps and restricting all fibers to the two-indefinite-fold model.

If this is right

Every link in the 3-sphere arises as the definite fold set of such a map.
The maps contain no cusp singularities whatsoever.
All fibers are confined to the local model with exactly two indefinite fold points.
Every closed orientable 3-manifold admits a stable map to the 2-sphere with the same singularity restrictions.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The result supplies a uniform way to encode link data inside the fold set of a map S^3 to R^2.
It raises the question whether other knot invariants can be read off directly from the geometry of these controlled maps.
One could ask whether the construction extends to links in other 3-manifolds while preserving the no-cusp and fiber-type conditions.

Load-bearing premise

That one can always carry out the visual construction for an arbitrary link without the diagram forcing extra cusps or breaking the isotopy of the definite folds.

What would settle it

A concrete link diagram on which the described construction necessarily produces either a cusp or a definite-fold set not isotopic to the original link.

read the original abstract

For any link in the $3$-sphere, we give a visual construction of a stable map $f$ from the $3$-sphere into the real plane enjoying the following properties; $f$ has no cusp point, the set of definite fold points of $f$ is isotopic to the given link and $f$ only has certain type of fibers containing two indefinite fold points. As a corollary, we obtain a similar stable map from every closed orientable $3$-manifold into the $2$-sphere.

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

Kato supplies an explicit visual construction that turns any link in S^3 into a stable map to the plane with no cusps, definite folds isotopic to the link, and only the two-indefinite-fold fiber type, plus the corollary for general 3-manifolds.

read the letter

The central contribution is a diagram-driven construction that realizes three properties at once for an arbitrary link: no cusp points, the definite fold set isotopic to the given link, and fibers restricted to the local model with exactly two indefinite folds. The corollary then produces analogous maps from any closed orientable 3-manifold to the 2-sphere. The local models are picked to eliminate cusps while preserving the isotopy and fiber condition, and the gluing rules let the isotopy be read off the link diagram directly. This combination is not a direct restatement of earlier results and gives concrete examples that were not previously available in this restricted form. The argument is internally consistent; the stress-test confirms that the local choices avoid hidden obstructions and that the isotopy tracks through without extra singularities. The construction is reproducible from the local models and gluing rules supplied in the manuscript. One soft spot is that the paper stays at the level of existence via construction and does not include many worked examples or a deeper analysis of how the fiber restriction interacts with the fundamental group or other invariants of the source manifold. That is a limitation of scope rather than a flaw in the argument itself. The work is aimed at researchers in geometric topology and singularity theory of maps who need controlled examples with these exact restrictions. A reader already familiar with stable maps and fold singularities will find the explicit diagrams and gluing steps useful. It is worth sending to peer review because the construction is grounded, the claims are verifiable from the given data, and the result supplies new examples even if it does not reorganize the field.

Referee Report

0 major / 3 minor

Summary. The manuscript gives an explicit visual construction, for an arbitrary link L in S^3, of a stable map f : S^3 → R^2 with no cusp points, whose definite-fold locus is isotopic to L, and whose singular fibers are restricted to a single local model containing exactly two indefinite fold points. The same technique yields an analogous stable map from any closed orientable 3-manifold to S^2.

Significance. The result supplies a concrete, diagram-based method for realizing arbitrary links as definite folds in cusp-free stable maps while controlling the indefinite-fold fibers. If the local models and gluing rules are verified, this supplies a useful tool for studying singularity loci of maps from 3-manifolds and may have applications to 3-manifold invariants or embedding problems.

minor comments (3)

[§3] The local models for the indefinite-fold fibers (presumably illustrated in §3 or Figure 2) should be accompanied by explicit coordinate charts or equations to make the absence of cusps and the two-point restriction immediately verifiable.
[§4] The isotopy verification that the definite-fold set recovers the given link diagram is stated as direct tracking; a short diagram chase or reference to a specific sequence of Reidemeister-type moves would strengthen the argument.
[§2] Notation for the two types of fold points (definite vs. indefinite) is used consistently but should be summarized once in a table or list of local models for reader convenience.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary of our results and the recommendation of minor revision. The referee's description accurately reflects the content of the manuscript.

Circularity Check

0 steps flagged

Explicit construction; no circularity detected

full rationale

The paper advances an existence claim by supplying an explicit visual construction (local models for folds, gluing rules, and direct isotopy tracking through link diagrams) that simultaneously eliminates cusps, realizes the definite-fold isotopy, and restricts indefinite-fold fibers to the two-point type. No equations, parameters, or uniqueness theorems are invoked that reduce the target properties to fitted inputs or prior self-citations; the construction is self-contained and internally verified by the local choices themselves. This matches the default expectation of a non-circular construction paper.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The construction relies on background results from differential topology concerning the existence and classification of stable maps and their singularities; no free parameters or new entities are introduced in the abstract.

axioms (1)

standard math Standard classification of stable map singularities (folds and cusps) and their local normal forms from differential topology.
The properties listed (no cusps, definite vs indefinite folds, fiber types) presuppose these classical results.

pith-pipeline@v0.9.0 · 5601 in / 1269 out tokens · 50549 ms · 2026-05-25T08:04:04.340565+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 1.1. Let L be a link in S3 and b = σm1z1 … a braid … Then there exists a stable map f … C(f)=∅, S0(f)=L, |II2(f)|=2(l−X), II3(f)=∅.
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Proof constructs maps via decompositions V1 = N1 ∪ N2, deformations ψi → ψi+1 with half-twists, and gluing to obtain f with only II2 fibers.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.