Knotted surfaces with simply-connected complements

Audrick Pyronneau

REVIEW 3 major objections 5 minor 34 references

Knotted surfaces with simply-connected complements

T0 review · 3 major / 5 minor · reviewed 2026-08-01 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read In a simply-connected 4-manifold with boundary S^3, two homologous orientable surfaces with the same boundary knot and simply-connected complements are topologically ambiently isotopic relative to the boundary.

desk verdict New relative uniqueness theorem for knotted surfaces with π1=1 complements; proof is sound in outline but needs two clarifications (KS equality and the deferred Λ-adjustment). read the letter →

arxiv 2607.15165 v1 pith:IEQN76HH submitted 2026-07-16 math.GT

Audrick Pyronneau This is my paper · ORCID

classification math.GT MSC 57K4057K1057N3557N70

keywords knottedsurfaces4-manifoldssimply-connectedcomplementambientisotopyrelativehomologysurfaceexteriorsRokhlinquadraticformKirby-Siebenmanninvariant

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper proves that, in a compact simply-connected 4-manifold with boundary $S^3$, an orientable surface with boundary a fixed knot and with simply-connected complement is determined up to topological ambient isotopy rel. boundary by its relative homology class, once its genus is fixed. In other words, any two such homologous surfaces are the same up to a boundary-fixing ambient homeomorphism that can be connected to the identity. This extends a known uniqueness result for closed surfaces in closed simply-connected 4-manifolds to the case of surfaces with boundary, and it reduces the classification of these knotted surfaces to an algebraic question about primitive classes in $H_2(X, \partial X)$. The same theorem yields bijections between isotopy classes and primitive homology classes: for genus at least 1, every primitive class occurs, while for disks a further congruence involving the Arf invariant is required when the class is characteristic.

What carries the argument

The load-bearing object is the surface exterior $X_F = X \setminus \nu F$ — the 4-manifold obtained by deleting an open tubular neighborhood of F — together with its intersection form. The key structural fact is that, when $\pi_1(X_F)=1$, this intersection form splits as $Q_X$ restricted to the classes orthogonal to $[F]$ plus a $2g$-dimensional zero summand; that splitting makes it possible to build an isometry of the two exteriors' homology out of a boundary homeomorphism. The isometry is then fed into a realization criterion for simply-connected 4-manifolds with boundary, which produces a homeomorphism of the exteriors provided a spin-structure obstruction vanishes. The spin case is handled by quadratic refineme

What would settle it

Take two homologous surfaces $F_1, F_2 \subset X$ with boundary K and $\pi_1(X \setminus F_i)=1$ and compute the Kirby–Siebenmann invariants of their exteriors $X\setminus \nu F_1$ and $X\setminus \nu F_2$; if these invariants differ, no ambient isotopy rel. boundary can exist, because an isotopy would give a homeomorphism of the exteriors and preserve the invariant. Such a computation is feasible using the decomposition of $\partial X_F$ into the knot exterior and the $S^1$-bundle over F together with standard formulas for the invariant.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.1: let K be a knot in $S^3$, and let F1 and F2 be locally flat, orientable genus-g surfaces in a compact simply-connected 4-manifold X with $\partial X = S^3$, both with boundary K and both with $\pi_1(X \setminus F_i)=1$. If F1 and F2 are homologous, they are topologically ambiently isotopic rel. boundary. The proof compares the surface exteriors $X\setminus \nu F_1$ and $X\setminus \nu F_2$: it builds an isometry of their second-homology intersection forms compatible with a boundary homeomorphism, applies a realization theorem for simply-connected 4-manifolds with boundary to get a homeomorphism of the exteriors, then glues back the normal bundles and shows the resulting homeomorphism of X is isotopic to the identit

Load-bearing premise

The proof assumes that the two surface exteriors $X\setminus \nu F_1$ and $X\setminus \nu F_2$ have equal Kirby–Siebenmann invariants (a homeomorphism obstruction for topological 4-manifolds); the paper does not state or verify this equality, and if the invariants differ, the realization theorem cannot produce the exterior homeomorphism on which the whole argument rests.

Editorial extensions

If this is right

For genus g ≥ 1, isotopy classes of surfaces in X with boundary K, genus g, and simply-connected complement are in bijection with primitive classes in H_2(X, ∂X).
For disks (g=0), the bijection holds with an extra congruence — Arf(K) + KS(X) + (σ(X) − x·x)/8 ≡ 0 mod 2 — when the primitive class x is characteristic.
A surface with simply-connected complement is topologically flexible: every orientation-preserving self-homeomorphism of the surface fixing its boundary extends to an ambient homeomorphism of the pair (X,F), with the Rokhlin-form preservation condition in the characteristic case.
No geometric invariant beyond the relative homology class, the genus, and the boundary knot can distinguish two such surfaces: the isotopy classification is purely algebraic.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Editorial inference: if the equality of Kirby–Siebenmann invariants of the two exteriors is automatically forced by the other hypotheses, the proof is complete as written; computing KS(X\νF) in terms of X, K, and [F] would settle that and is a natural next step.
Editorial inference: the result hints that the unknotting phenomenon for surfaces in 4-manifolds extends to the relative setting, so one might expect a relative unknotting statement for orientable surfaces with boundary in arbitrary simply-connected 4-manifolds, not only those with S^3 boundary.
Editorial inference: the flexibility theorem suggests a recipe for producing homeomorphisms of 4-manifolds with boundary that realize prescribed surface mapping classes, and then checking which of those ambient homeomorphisms are isotopic to the identity would study the mapping class group of the 4-manifold itself.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Colleague,

This paper proves the natural relative version of Boyer's uniqueness theorem: for a fixed knot K in S^3, two homologous genus-g surfaces in a simply-connected 4-manifold X with boundary S^3 and simply-connected complements are topologically ambiently isotopic rel. boundary. That's the missing uniqueness half of the classification program for surfaces with π1=1 complements, and the g=0 corollary (a sliceness criterion involving Arf(K) + KS(X) + (σ−x·x)/8) is a sensible bonus.

What's genuinely good: the algebraic-topology package is careful. Proposition 2.8 correctly splits the exterior intersection form, and Section 3's spin-union theorem, with the exterior Rokhlin form and its comparison to the Kirby-Taylor form, is a solid adaptation of the COP tricks. The proof follows the expected route: bundle isomorphism H → compatible pair (f,Λ) → Boyer's realization theorem → Orson-Powell to isotope the glued homeomorphism to the identity.

The two soft spots are real but small.

First, Boyer's theorem is quoted with the hypothesis 'equal Kirby-Siebenmann invariants', and the proof never checks that for X_F1 and X_F2. In context this is likely automatic — any simply-connected 4-manifold with nonempty boundary has trivial relative ks, because its double is a closed simply-connected 4-manifold with intersection form Q⊕−Q, signature zero, hence smoothable by Freedman, and the smooth structure restricts to each half. But the author should say that. As written it looks like a missing condition, and the stress-test note is right to flag it.

Second, Proposition 4.1 defers the final adjustment of Λ to Boyer's pp. 338–339. That's a standard modification, but the paper stops short of giving the argument or even a precise statement of what's being adapted. A referee will want that filled in.

Neither issue undermines the central claim. The theorem is new, the strategy is coherent, and the gaps are addressable. This deserves a serious referee, and I'd expect it to come back in good shape after revision. If I were working on slice surfaces, I'd cite it.

Send it to review.

Referee Report

3 major / 5 minor

Summary. The paper studies compact, oriented, locally flat genus-g surfaces F in a simply connected 4-manifold X with boundary S^3, with boundary equal to a fixed knot K and with simply connected complement. The main theorem (Theorem 1.1) asserts that any two such surfaces that are homologous are topologically ambiently isotopic rel. boundary. The proof constructs a boundary homeomorphism from a bundle isomorphism over the surfaces, constructs an isometry between exterior homology groups, applies Boyer's realization theorem, and then uses a result of Orson and Powell to isotope the resulting homeomorphism of X to the identity. The paper also derives classification corollaries and statements about surface flexibility.

Significance. If correct, the main theorem is a natural and strong relative analogue of Boyer's uniqueness theorem for closed surfaces with simply connected complements: the relative homology class would completely determine the ambient isotopy class rel. boundary. The paper contains careful computations of exterior homology and intersection forms and a substantial adaptation of Boyer's spin-structure arguments to surfaces with boundary. It also builds on external results of Boyer, Orson-Powell, Conway-Orson-Pencovitch, and others, and the algebraic-topological sections are largely self-contained. However, the proof as written has load-bearing gaps in the application of Boyer's theorem, so the central claim is not yet fully supported.

major comments (3)

[Section 4.1, Theorem 1.1 proof; quoted [Boy86, Thm 0.7/Prop 0.8]] Boyer's theorem, as quoted in the manuscript, requires M0 and M1 to have equal Kirby-Siebenmann invariants. In both branches of the proof of Theorem 1.1, Boyer's theorem is applied to X_F1 and X_F2, but the equality ks(X_F1)=ks(X_F2) is never stated or proved. Homology, simple connectivity, and even spin-ness of the union X_F1 union_f -X_F2 do not force this equality: closed spin 4-manifolds can have nonzero KS invariant. A relative additivity or independence argument is needed. Without this equality, the existence of the exterior homeomorphism F, and hence the ambient isotopy conclusion, is unsupported.
[Section 4.2, Proposition 4.1, last paragraph] The construction of a compatible isometry is completed by deferring to the proof of Proposition 1.6 from [Boy86, pp. 338-339] for a systematic way to modify the isometry so that the induced boundary maps agree with f_* on H_1. This is not a quotation of a theorem but an appeal to an internal proof step, and no details are given for the adaptation to the boundary case. Since the existence of a compatible pair (f, Lambda) is one of the two inputs to Boyer's theorem, this gap is load-bearing. The author should either prove this modification as a lemma or cite a theorem whose hypotheses are explicitly verified.
[Section 4.2, Lemma 4.6] The proof asserts that for arbitrary psi, (f, Lambda') is a compatible pair and then chooses a class beta to control the obstruction theta. Compatibility must be checked on the induced maps on H_1 and H_2 of the boundary; the paragraph verifies only part of diagram 4.2. Moreover, the existence of beta with the stated Poincare-dual and vanishing pairing properties is asserted without proof. These are nontrivial steps in the non-spin case and should be supplied.

minor comments (5)

[Section 2.2, Proposition 2.8] The notation '0^{oplus 2g}' for the vanishing summand is nonstandard and potentially confusing. Please define it explicitly or use a clearer notation.
[Section 3, Theorem 3.2] The theorem uses a spin structure on X_F2 before specifying how it is chosen. Since X_F2 is simply connected, the spin structure is unique when it exists; please state this explicitly.
[Section 4.1, proof of Theorem 1.1, final paragraph] The notation switches between H and H' in the two branches; write consistently, e.g. define H after the cases have been treated.
[Section 4.2, Proposition 4.2, proof] There is a typo in 'Hence Q_X, x-hat F_*(x) is in E(alpha)'. More importantly, verify explicitly that hat F restricts to the identity on the boundary before invoking [OP25, Corollary C].
[Section 1, definition of topological flexibility] The phrase 'every element of the mapping class group' should specify the boundary-relative mapping class group used in Theorem 4.3.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the proof reduces to external realization theorems (Boyer 1986/1993, OP25) and uses cited spin-structure lemmas as tools, not as the target uniqueness statement.

full rationale

The central claim of Theorem 1.1 is not built into its inputs. The proof constructs a bundle isomorphism H and an isometry Λ on the surface exteriors, then invokes [Boy86, Theorem 0.7 / Proposition 0.8] to realize the compatible pair (f, Λ) by a homeomorphism F: X_F1 → X_F2, and finally uses [OP25, Corollary C] to isotope the glued homeomorphism to the identity. These are external results whose hypotheses (simply-connected 4-manifolds with connected boundary, equal Kirby–Siebenmann invariants, and the spin criterion for the union) are independent of the conclusion being proved. Proposition 4.1 and Lemma 4.6 construct and modify Λ along the lines of [Boy86] and [Boy93]; again these are external benchmarks. The spin-structure computations in Section 3 cite [COP25b, Proposition 6.10], [KT90], and [FK78] as technical tools, not as the uniqueness theorem. Corollary 1.1 is an existence-plus-uniqueness statement obtained by combining Theorem 1.1 with the independent existence results [COP25a, Corollary 1.3] and [KPRT24, Corollary 1.7], so it is not a renaming of the theorem. The one flagged issue, the unverified equality of Kirby–Siebenmann invariants of X_F1 and X_F2 before applying Boyer's theorem, is an omitted verification / correctness risk rather than a circular step: it may be automatic from additivity of the Kirby–Siebenmann invariant and the triviality of the normal bundle (Lemma 2.1), but the paper does not say so. In any case, this does not make the conclusion equal to an input by construction. No fitted parameter is relabelled as a prediction, no self-citation chain forces the result, and there is no ansatz smuggled in via citation. Therefore the circularity score is 0.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The proof rests on Boyer's classification of simply-connected 4-manifolds with boundary and on Orson-Powell's mapping-class result, plus an unstated equality of Kirby-Siebenmann invariants for the two surface exteriors. No free parameters or invented entities appear.

assumptions (5)

domain assumption Boyer's realization theorem (Boy86, Thm 0.7 / Prop 0.8): compatible pairs between simply-connected 4-manifolds with connected boundary and equal Kirby-Siebenmann invariants are realized by homeomorphisms under spin conditions.
Used in Section 4 to construct the homeomorphism F:XF1→XF2 from an isometry Λ and boundary homeomorphism f.
domain assumption OP25 Corollary C: a homeomorphism of a simply-connected 4-manifold with boundary S^3 fixing the boundary and acting trivially on H2 is isotopic to the identity rel. boundary.
Used in Proposition 4.2 to conclude the assembled homeomorphism is isotopic to the identity.
domain assumption The normal bundle of a surface with nonempty boundary is trivial, so any surface homeomorphism rel. boundary lifts to a bundle isomorphism.
Used to build H in Proposition 3.16 and the proof of Theorem 1.1.
ad hoc to paper XF1 and XF2 have equal Kirby-Siebenmann invariants.
Required by Boyer's theorem; the paper neither states nor proves it.
domain assumption Homologous surfaces with the same boundary have the same relative Euler number.
Implicitly used to apply Prop 3.16; follows from Lemma 2.3 and H2(X)≅H2(X,∂X) but never stated.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Knotted surfaces with simply-connected complements." pith.science (2026). https://pith.science/paper/IEQN76HH

@misc{pith2026260715165,
  author       = {Pith},
  title        = {Pith review of: Knotted surfaces with simply-connected complements},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/IEQN76HH}},
  note         = {Machine review of arXiv:2607.15165}
}

read the original abstract

We study locally flat, compact, oriented, genus g, surfaces with boundary a fixed knot K, properly embedded in simply-connected 4-manifolds with boundary the 3-sphere, and whose complements have trivial fundamental group. We show that if two such surfaces are homologous then they are topologically ambiently isotopic rel. boundary.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

34 extracted references · 2 canonical work pages

[1]

1999 , isbn =

4-Manifolds and Kirby Calculus , author =. 1999 , isbn =

1999
[2]

1993 , publisher =

Goossens, Michel and Mittelbach, Frank and Samarin, Alexander , title =. 1993 , publisher =

1993
[3]

Realization of simply-connected 4-manifolds with a given boundary , volume =

Boyer, Steven , journal =. Realization of simply-connected 4-manifolds with a given boundary , volume =. 1993 , url =

1993
[4]

Transactions of the American Mathematical Society , volume =

Simply-connected 4-manifolds with a given boundary , author =. Transactions of the American Mathematical Society , volume =
[5]

Journal of Differential Geometry , volume =

Mapping class groups of simply connected 4-manifolds with boundary , author =. Journal of Differential Geometry , volume =. 2025 , doi =. 2207.05986 , archivePrefix =

arXiv 2025
[6]

2025 , publisher =

Friedl, Stefan and Nagel, Matthias and Orson, Patrick and Powell, Mark , title =. 2025 , publisher =

2025
[7]

Journal of the European Mathematical Society , year =

Unknotting nonorientable surfaces , author =. Journal of the European Mathematical Society , year =. doi:10.4171/JEMS/1638 , eprint =

doi:10.4171/jems/1638
[8]

Journal of Differential Geometry , volume =

Isotopy of 4-manifolds , author =. Journal of Differential Geometry , volume =. 1986 , publisher =

1986

Show all 34 references

[9]

2014 , publisher =

Topology of 4-Manifolds , author =. 2014 , publisher =

2014
[10]

Journal of Differential Geometry , volume =

The topology of four-dimensional manifolds , author =. Journal of Differential Geometry , volume =. 1982 , doi =

1982
[11]

Geometry & Topology , volume =

Embedded surfaces with infinite cyclic knot group , author =. Geometry & Topology , volume =. 2023 , month = may, issn =. doi:10.2140/gt.2023.27.739 , url =

2023 doi
[12]

2021 , month =

Behrens, Stefan and Kalm\'ar, Boldizs\'ar and Kim, Min Hoon and Powell, Mark and Ray, Arunima , title =. 2021 , month =. doi:10.1093/oso/9780198841319.001.0001 , url =

2021
[13]

, year =

Klug, Michael R. , year =. A relative version of. 2011.12418 , archivePrefix =

2011 arXiv
[14]

and Kirby, Robion C

Freedman, Michael H. and Kirby, Robion C. , title =. Proceedings of Symposia in Pure Mathematics , volume =. 1978 , pages =

1978
[15]

and Taylor, Laurence R

Kirby, Robion C. and Taylor, Laurence R. , title =. Geometry of Low-Dimensional Manifolds, 2 (. 1990 , publisher =

1990
[16]

Rokhlin, V. A. , title =. Doklady Akademii Nauk SSSR , volume =. 1952 , pages =

1952
[17]

Rokhlin, V. A. , title =. Functional Analysis and Its Applications , volume =. 1972 , pages =

1972
[18]

2025 , eprint =

Simply slicing knots , author =. 2025 , eprint =

2025
[19]

and Quinn, Frank , title =

Freedman, Michael H. and Quinn, Frank , title =. 1990 , address =

1990
[20]

2012 , isbn =

A Primer on Mapping Class Groups , author =. 2012 , isbn =

2012
[21]

, title =

Whitehead, George W. , title =. 1978 , isbn =

1978
[22]

1972 , pages =

Browder, William , title =. 1972 , pages =

1972
[23]

Algebraic & Geometric Topology , volume =

Hirose, Susumu , title =. Algebraic & Geometric Topology , volume =. 2002 , pages =. doi:10.2140/agt.2002.2.281 , mrnumber =

2002 doi
[24]

, title =

Lee, Ronnie and Wilczy\'nski, Dariusz M. , title =. American Journal of Mathematics , volume =. 1997 , publisher =

1997
[25]

2021 , eprint =

Exotically knotted disks and complex curves , author =. 2021 , eprint =

2021
[26]

4-manifolds with boundary and fundamental group

Conway, Anthony and Piccirillo, Lisa and Powell, Mark , journal =. 4-manifolds with boundary and fundamental group. 2025 , doi =. 2205.12774 , archivePrefix =

2025 arXiv
[27]

Ends of maps

Quinn, Frank , journal =. Ends of maps. 1982 , publisher =

1982
[28]

Geometry & Topology , volume =

Kasprowski, Daniel and Powell, Mark and Ray, Arunima and Teichner, Peter , title =. Geometry & Topology , volume =. 2024 , doi =. 2201.03961 , archivePrefix =

2024 arXiv
[29]

, title =

Freedman, Michael H. , title =. Proceedings of the International Congress of Mathematicians , editor =. 1984 , mrnumber =

1984
[30]

2025 , eprint =

Surfaces in 4-manifolds and extendible mapping classes , author =. 2025 , eprint =

2025
[31]

Advances in Mathematics , volume =

Conway, Anthony and Powell, Mark , title =. Advances in Mathematics , volume =. 2021 , pages =. doi:10.1016/j.aim.2021.107960 , eprint =

2021
[32]

and Wilczy

Lee, R. and Wilczy. Locally Flat 2-Spheres in Simply Connected 4-Manifolds , journal =
[33]

and Wilczy

Lee, R. and Wilczy. Representing Homology Classes by Locally Flat 2-Spheres , journal =
[34]

Flexible Surfaces in

Lehman, Joshua , year =. Flexible Surfaces in. 2602.14753 , archivePrefix =

Pith tools

Reviewed August 1, 2026 · model on record in the stance chip above.

[1] [1]

1999 , isbn =

4-Manifolds and Kirby Calculus , author =. 1999 , isbn =

1999

[2] [2]

1993 , publisher =

Goossens, Michel and Mittelbach, Frank and Samarin, Alexander , title =. 1993 , publisher =

1993

[3] [3]

Realization of simply-connected 4-manifolds with a given boundary , volume =

Boyer, Steven , journal =. Realization of simply-connected 4-manifolds with a given boundary , volume =. 1993 , url =

1993

[4] [4]

Transactions of the American Mathematical Society , volume =

Simply-connected 4-manifolds with a given boundary , author =. Transactions of the American Mathematical Society , volume =

[5] [5]

Journal of Differential Geometry , volume =

Mapping class groups of simply connected 4-manifolds with boundary , author =. Journal of Differential Geometry , volume =. 2025 , doi =. 2207.05986 , archivePrefix =

arXiv 2025

[6] [6]

2025 , publisher =

Friedl, Stefan and Nagel, Matthias and Orson, Patrick and Powell, Mark , title =. 2025 , publisher =

2025

[7] [7]

Journal of the European Mathematical Society , year =

Unknotting nonorientable surfaces , author =. Journal of the European Mathematical Society , year =. doi:10.4171/JEMS/1638 , eprint =

doi:10.4171/jems/1638

[8] [8]

Journal of Differential Geometry , volume =

Isotopy of 4-manifolds , author =. Journal of Differential Geometry , volume =. 1986 , publisher =

1986