arxiv: 2605.04795 · v1 · submitted 2026-05-06 · 🧮 math.GT

Recognition: unknown

Cobordism-equivalence for codimension-one submanifolds

Clayton McDonald, Daniel Zach, Jos\'e Pedro Quintanilha, Stefan Friedl, Tobias Hirsch

Pith reviewed 2026-05-08 16:47 UTC · model grok-4.3

classification 🧮 math.GT

keywords hypersurfacesembedded cobordismshomology classesSeifert surfacestube attachmentsembedded surgeriescodimension-one submanifolds

0 comments

The pith

Two hypersurfaces in a manifold are related by a sequence of embedded cobordisms if and only if they represent the same homology class.

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

The paper proves that two hypersurfaces in any manifold can be joined through a sequence of embedded cobordisms exactly when they lie in the same homology class. This equivalence matters because it converts a geometric connectivity question into a standard algebraic check via homology groups. Handle decompositions are then applied to rewrite each cobordism as a chain of embedded surgeries that keep the hypersurfaces embedded at every stage. Specializing the result to Seifert surfaces for a fixed link yields a direct description of how any two such surfaces differ only by adding and removing tubes.

Core claim

We show that two hypersurfaces in a manifold are related by a sequence of embedded cobordisms if and only if they represent the same homology class. By applying handle decompositions we turn these cobordisms into a sequence of embedded surgeries. Specializing to Seifert surfaces we obtain a conceptual proof that two Seifert surfaces of a fixed link are related by tube attachments and tube removals.

What carries the argument

Sequence of embedded cobordisms between hypersurfaces, converted via handle decompositions into embedded surgeries while preserving embeddedness.

If this is right

Any two homologous hypersurfaces can be transformed into each other by a sequence of embedded surgeries.
Seifert surfaces bounding the same link differ from one another only by sequences of tube attachments and removals.
The embedded-cobordism relation on codimension-one submanifolds coincides exactly with ordinary homology equivalence.
Handle decompositions can be used without losing embeddedness of the hypersurfaces.

Where Pith is reading between the lines

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

The result supplies a homology-based classification of hypersurfaces up to embedded cobordism.
The minimal number of surgeries required to connect two homologous hypersurfaces becomes a well-defined invariant worth computing.
Analogous equivalences might be sought for submanifolds of higher codimension, where homology alone is known to be insufficient.
In knot theory the description gives a concrete move set for changing Seifert surfaces without leaving the class of surfaces bounding the same link.

Load-bearing premise

Handle decompositions can always be chosen so that the conversion from cobordisms to surgeries keeps every intermediate hypersurface embedded.

What would settle it

Two homologous hypersurfaces in a concrete manifold, such as the 3-sphere, that cannot be joined by any sequence of embedded cobordisms would disprove the claim.

Figures

Figures reproduced from arXiv: 2605.04795 by Clayton McDonald, Daniel Zach, Jos\'e Pedro Quintanilha, Stefan Friedl, Tobias Hirsch.

**Figure 1.** Figure 1: Left: Two collections A, B of three points on a circle, all with the same orientation. Their complement has 6 components, no combination of which forms an embedded cobordism from A to B. Right: The same idea realized knot-theoretically. We see a cross-section of three parallel copies of a knot K protruding from the drawing layer with two surfaces A, B. Each surface is formed by three parallel copies of a S… view at source ↗

**Figure 2.** Figure 2: The sequence of orientations when applying this procedure to a doubled line. view at source ↗

**Figure 3.** Figure 3: The graph corresponding to the example from view at source ↗

**Figure 4.** Figure 4: (center) gives a visual idea of the construction. Σ0 inherits a canonical orientation from A and B. We then push Σ0 in the positive direction of its normal bundle, as in view at source ↗

read the original abstract

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 cleanly equates embedded cobordism of hypersurfaces with homology and reduces Seifert surfaces to tube moves.

read the letter

The main thing to know is that this paper proves an equivalence: two hypersurfaces in a manifold are connected by a sequence of embedded cobordisms if and only if they represent the same class in homology. They then specialize this to Seifert surfaces, showing that any two such surfaces for a fixed link can be related by adding and removing tubes. What the paper does well is keep the argument direct and geometric. The easy direction follows right from the definition of cobordism, since the cobordism itself gives a chain that bounds the difference in homology. For the other direction, they use the fact that homology equivalence implies an abstract cobordism exists, and then decompose that cobordism using handles. Each handle attachment is realized as an embedded surgery on the hypersurface inside the ambient manifold. The authors provide the embedding arguments needed to make sure no extra intersections occur and the homology class stays the same. The Seifert surface application comes by fixing the boundary link and seeing that the 1-handles correspond exactly to tube operations. This gives a conceptual proof without needing to invoke more complicated tools like Seifert forms or other invariants. It is a nice reduction that makes the result feel immediate once the general case is in place. The soft spots are limited. The key step is ensuring that handle decompositions can be chosen so that the surgeries remain embedded. This is standard in differential topology but can require some care in low dimensions to avoid knotting or linking issues. The paper seems to address this with specific lemmas, so it is probably okay, but it is the part that would benefit most from referee scrutiny. There is no circularity, as the constructions are built from basic definitions. This work is for researchers in geometric topology and knot theory. A reader who needs to understand when two hypersurfaces or Seifert surfaces are equivalent up to cobordism will get direct value from the if-and-only-if statement and the tube description. It is not a broad result that changes the field, but it is a useful clarification. The paper deserves a serious referee. The claim is precise, the proof strategy is clear, and the specialization to Seifert surfaces is a concrete payoff. I recommend sending it to peer review rather than desk rejecting it.

Referee Report

0 major / 3 minor

Summary. The manuscript proves that two hypersurfaces (codimension-one submanifolds) in a manifold are related by a sequence of embedded cobordisms if and only if they represent the same homology class. The forward direction follows from the definition of embedded cobordism. The converse is obtained by producing an abstract cobordism from the homology relation and then applying handle decompositions to realize it as a finite sequence of embedded surgeries, with embedding lemmas ensuring no extraneous intersections arise. Specializing to Seifert surfaces of a fixed link yields a proof that they are related by tube attachments and removals.

Significance. If the central claim holds, the result supplies a geometric characterization of homology classes for hypersurfaces via embedded operations, with a clean application to the equivalence of Seifert surfaces under tube moves. The argument relies on standard tools of differential topology (handle decompositions and embedding lemmas) rather than ad-hoc constructions, and the stress-test concern regarding preservation of embeddedness during handle attachments does not appear to introduce gaps on the basis of the supplied lemmas. This could streamline arguments in geometric topology and knot theory.

minor comments (3)

The abstract and introduction should explicitly state the category (smooth, PL, or topological) and any dimension restrictions on the ambient manifold, as handle decompositions and embedding results can be sensitive to these choices.
In the specialization to Seifert surfaces, clarify whether the link is assumed to lie in S^3 or a general 3-manifold, and note any adjustments needed for the tube-attachment argument in the presence of boundary.
Notation for the sequence of embedded surgeries could be made more uniform; for instance, consistently denoting the ambient manifold and the hypersurfaces across the handle-attachment steps would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and the recommendation for minor revision. The report accurately summarizes the main result and its application to Seifert surfaces. No major comments are provided in the report, so we have no specific points requiring point-by-point response. We will address any minor editorial or expository suggestions in the revised version.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The central theorem equates embedded-cobordism equivalence of hypersurfaces with equality of homology classes. The forward implication follows immediately from the definition of cobordism (which supplies a homology chain). The converse proceeds by constructing an abstract cobordism from the given homology relation, then applying standard handle decompositions together with embedding lemmas to realize the cobordism as a sequence of embedded surgeries. These steps rely on classical differential-topology constructions rather than any self-definition, fitted-parameter renaming, or load-bearing self-citation. The specialization to Seifert surfaces is obtained simply by restricting to the fixed-boundary case. The argument is self-contained against external topological benchmarks and exhibits no reduction of the claimed result to its own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result relies on classical results from differential topology and handlebody theory without introducing new free parameters or postulated entities.

axioms (1)

standard math Smooth manifolds admit handle decompositions that can be used to realize cobordisms as sequences of surgeries while keeping hypersurfaces embedded.
Invoked to convert cobordisms into embedded surgeries as stated in the abstract.

pith-pipeline@v0.9.0 · 5362 in / 1219 out tokens · 71068 ms · 2026-05-08T16:47:03.810618+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

16 extracted references · 11 canonical work pages

[1]

The complex of hypersurfaces in a homology class , JOURNAL =

Herrmann, Gerrit and Quintanilha, Jos\'. The complex of hypersurfaces in a homology class , JOURNAL =. 2025 , NUMBER =. doi:10.1307/mmj/20226223 , URL =

work page doi:10.1307/mmj/20226223 2025
[2]

Gordon, C. McA. and Litherland, R. A. , TITLE =. Invent. Math. , FJOURNAL =. 1978 , NUMBER =. doi:10.1007/BF01609479 , URL =

work page doi:10.1007/bf01609479 1978
[3]

, TITLE =

Cromwell, Peter R. , TITLE =. 2004 , PAGES =. doi:10.1017/CBO9780511809767 , URL =

work page doi:10.1017/cbo9780511809767 2004
[4]

, TITLE =

Kauffman, Louis H. , TITLE =. 1987 , PAGES =

1987
[5]

2008 , PAGES =

Murasugi, Kunio , TITLE =. 2008 , PAGES =

2008
[6]

Differential and low-dimensional topology , SERIES =

Juh\'. Differential and low-dimensional topology , SERIES =. 2023 , PAGES =

2023
[7]

Lickorish, W. B. Raymond , TITLE =. 1997 , PAGES =. doi:10.1007/978-1-4612-0691-0 , URL =

work page doi:10.1007/978-1-4612-0691-0 1997
[8]

1997 , PAGES =

Kaiser, Uwe , TITLE =. 1997 , PAGES =. doi:10.1007/BFb0092686 , URL =

work page doi:10.1007/bfb0092686 1997
[9]

1996 , PAGES =

Kawauchi, Akio , TITLE =. 1996 , PAGES =

1996
[10]

Murasugi, Kunio , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1965 , PAGES =. doi:10.2307/1994215 , URL =

work page doi:10.2307/1994215 1965
[11]

, TITLE =

Levine, J. , TITLE =. Comment. Math. Helv. , FJOURNAL =. 1970 , PAGES =. doi:10.1007/BF02567325 , URL =

work page doi:10.1007/bf02567325 1970
[12]

1980 , PAGES =

Serre, Jean-Pierre , TITLE =. 1980 , PAGES =

1980
[13]

Order , FJOURNAL =

Pretzel, Oliver , TITLE =. Order , FJOURNAL =. 1986 , NUMBER =. doi:10.1007/BF00390104 , URL =

work page doi:10.1007/bf00390104 1986
[14]

Wall, C. T. C. , TITLE =. 2016 , PAGES =. doi:10.1017/CBO9781316597835 , URL =

work page doi:10.1017/cbo9781316597835 2016
[15]

, TITLE =

Bar-Natan, Dror and Fulman, Jason and Kauffman, Louis H. , TITLE =. J. Knot Theory Ramifications , FJOURNAL =. 1998 , NUMBER =. doi:10.1142/S0218216598000450 , URL =

work page doi:10.1142/s0218216598000450 1998
[16]

Holomorphic discs and sutured manifolds , JOURNAL =

Juh\'. Holomorphic discs and sutured manifolds , JOURNAL =. 2006 , PAGES =. doi:10.2140/agt.2006.6.1429 , URL =

work page doi:10.2140/agt.2006.6.1429 2006