pith. sign in

arxiv: 2009.13461 · v7 · submitted 2020-09-28 · 🧮 math.GT

Embedded surfaces with infinite cyclic knot group

Anthony Conway , Mark Powell This is my paper

Pith reviewed 2026-05-24 13:40 UTC · model grok-4.3

classification 🧮 math.GT
keywords embedded surfaces4-manifoldslocally flatinfinite cyclic fundamental groupambient homeomorphismambient isotopyequivariant intersection formsknot groups
0
0 comments X

The pith

Algebraic topological criteria determine when locally flat surfaces of genus g in 4-manifolds with infinite cyclic exteriors are ambiently homeomorphic or isotopic.

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

The paper provides algebraic topological criteria that tell when two such surfaces are related by an ambient homeomorphism, and stronger criteria for when they are ambiently isotopic. A sympathetic reader would care because these criteria reduce a geometric classification problem to computable algebraic invariants. The work also establishes a homeomorphism result for certain 4-manifolds sharing infinite cyclic fundamental group, homeomorphic boundaries, and equivalent equivariant intersection forms.

Core claim

We give algebraic topological criteria for two such surfaces, with the same genus g, to be related by an ambient homeomorphism, and further criteria that imply they are ambiently isotopic. Along the way, we prove that certain pairs of topological 4-manifolds with infinite cyclic fundamental group, homeomorphic boundaries, and equivalent equivariant intersection forms, are homeomorphic.

What carries the argument

Algebraic topological criteria based on invariants including equivariant intersection forms that classify the surfaces up to ambient homeomorphism or isotopy.

If this is right

  • Surfaces with the same genus and matching algebraic data are ambiently homeomorphic.
  • Stronger matching of data implies the surfaces are ambiently isotopic.
  • Certain 4-manifolds with infinite cyclic fundamental group and homeomorphic boundaries are homeomorphic when their equivariant intersection forms are equivalent.

Where Pith is reading between the lines

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

  • These criteria may allow explicit classification of knotted surfaces in the 4-sphere by computing their algebraic invariants.
  • The 4-manifold homeomorphism result could simplify the study of topological 4-manifolds with cyclic fundamental groups.
  • Testing the criteria on known examples of knotted surfaces would provide concrete instances of the classification.

Load-bearing premise

The surfaces must be locally flat and their exteriors must have infinite cyclic fundamental group.

What would settle it

Two surfaces with matching algebraic topological data but which cannot be related by an ambient homeomorphism would show the criteria are insufficient.

Figures

Figures reproduced from arXiv: 2009.13461 by Anthony Conway, Mark Powell.

Figure 1
Figure 1. Figure 1: Two handle diagrams for the exterior of a standardly embedded genus g surface F ⊆ D4 with boundary the unknot in S 3 . Thus it remains to compute the Λ–intersection form of the exterior D4 F of a properly embed￾ded unknotted surface F ⊆ D4 . A handle diagram with a single one handle and 2g two handles for D4 F appears in the left hand side of [PITH_FULL_IMAGE:figures/full_fig_p037_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: A handle diagram for the infinite cyclic cover of D4 F , where F ⊆ D4 is an unknotted punctured surface. We recall the concept of a 1-handle stabilisation for a surface in a 4-manifold. The following definition was motivated by [JZ18]. Let Σ ⊆ V be a locally flat (connected) surface embedded in a 4-manifold V . Let B be an embedding of D4 into V such that ∂B intersects Σ transversely in a 2-component unlin… view at source ↗
Figure 3
Figure 3. Figure 3: Representing yi ∈ H2(D4 Σ ; Λ) by an immersed surface Ti in D4 Σ obtained by surgering the torus gi × S 1 , using a surface Si representing the relative homology class xi . The top left picture shows a neighbourhood of a portion of gi , intersected with a carefully chosen 3-dimensional subspace that contains the intersections of Σ and Si with this neighbourhood. Bottom, a 4-dimensional picture of Ti , cons… view at source ↗
Figure 4
Figure 4. Figure 4: A schematic diagram indicating the relation of g(S 1 × I × I) ⊆ ∂N × I to ∂Σ0, ∂Σ1, and the annulus A ⊆ S 3 that joins them. By an isotopy, arrange further that Σ0 and Σ1 intersect transversely in their interiors [FQ90, Theorem 9.5], and since Σ is compact we may also assume there are finitely many intersection points. Cap off each ∂Σi with a Seifert surface, and by a small isotopy of the capped-off Σ1, ar… view at source ↗
Figure 5
Figure 5. Figure 5: Stabilising Σ0 to Σ 0 0 by adding a 1-handle in a neighbourhood of an arc γ in Σ1. Proof. The strategy to construct Y is as follows: define a suitable map ∂NΣ0,Σ1 → S 1 , extend it to a map NΣ0,Σ1 → S 1 while controlling the restriction to ∂NΣ0,Σ1 , and then take Y to be the inverse image of a transverse regular point in S 1 . The first step is to construct a map α: NΣ0,Σ1 → S 1 . Recall that NΣi := N \ νΣ… view at source ↗
read the original abstract

We study locally flat, compact, oriented surfaces in $4$-manifolds whose exteriors have infinite cyclic fundamental group. We give algebraic topological criteria for two such surfaces, with the same genus $g$, to be related by an ambient homeomorphism, and further criteria that imply they are ambiently isotopic. Along the way, we prove that certain pairs of topological $4$-manifolds with infinite cyclic fundamental group, homeomorphic boundaries, and equivalent equivariant intersection forms, are homeomorphic.

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.

Referee Report

0 major / 0 minor

Summary. The manuscript studies locally flat compact oriented surfaces in 4-manifolds whose exteriors have infinite cyclic fundamental group. It supplies algebraic topological criteria (via equivariant intersection forms) for two such surfaces of the same genus g to be related by an ambient homeomorphism, and further criteria implying they are ambiently isotopic. It also proves that certain pairs of topological 4-manifolds with infinite cyclic fundamental group, homeomorphic boundaries, and equivalent equivariant intersection forms are homeomorphic.

Significance. If the derivations hold, the work supplies concrete algebraic invariants for distinguishing or identifying embeddings of surfaces whose exteriors have knot group ℤ, together with a homeomorphism classification result for the associated 4-manifolds. This strengthens the toolkit for topological classification problems in dimension 4 under restricted fundamental-group hypotheses and provides falsifiable algebraic tests.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending acceptance. The report contains no major comments requiring a point-by-point response.

Circularity Check

0 steps flagged

No circularity in algebraic classification criteria

full rationale

The paper establishes algebraic criteria (equivariant intersection forms, infinite cyclic fundamental group) for homeomorphism and isotopy of locally flat surfaces in 4-manifolds, plus a homeomorphism result for associated 4-manifolds with matching boundaries and forms. These are standard topological invariants and classification statements with no reduction of outputs to fitted parameters, self-definitions, or load-bearing self-citations that collapse the derivation to its inputs by construction. The argument structure is self-contained against external topological benchmarks and does not invoke ansatzes or renamings that create circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Abstract-only review; ledger populated from stated assumptions in the abstract. Standard algebraic topology background (fundamental groups, intersection forms) is presupposed.

axioms (2)
  • domain assumption Locally flat embeddings of compact oriented surfaces exist in 4-manifolds
    Stated in first sentence of abstract
  • domain assumption Exteriors have infinite cyclic fundamental group
    Central restriction stated in abstract

pith-pipeline@v0.9.0 · 5590 in / 1195 out tokens · 18416 ms · 2026-05-24T13:40:08.510418+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

47 extracted references · 47 canonical work pages

  1. [1]

    Unitary algebraic K -theory

    Hyman Bass. Unitary algebraic K -theory. In Algebraic K -theory, III : H ermitian K -theory and geometric applications ( P roc. C onf., B attelle M emorial I nst., S eattle, W ash., 1972) , pages 57--265. Lecture Notes in Math., Vol. 343, 1973

    work page 1972

  2. [2]

    On the algebraic unknotting number

    Maciej Borodzik and Stefan Friedl. On the algebraic unknotting number. Trans. London Math. Soc. , 1(1):57--84, 2014

    work page 2014

  3. [3]

    The unknotting number and classical invariants, I

    Maciej Borodzik and Stefan Friedl. The unknotting number and classical invariants, I . Algebr. Geom. Topol. , 15(1):85--135, 2015

    work page 2015

  4. [4]

    Simply-connected 4 -manifolds with a given boundary

    Steven Boyer. Simply-connected 4 -manifolds with a given boundary. Trans. Amer. Math. Soc. , 298(1):331--357, 1986

    work page 1986

  5. [5]

    Classifying 1 -handles attached to knotted surfaces

    Jeffrey Boyle. Classifying 1 -handles attached to knotted surfaces. Trans. Amer. Math. Soc. , 306(2):475--487, 1988

    work page 1988

  6. [6]

    Glen E. Bredon. Topology and geometry , volume 139 of Graduate Texts in Mathematics . Springer-Verlag, New York, 1993

    work page 1993

  7. [7]

    R. \. I nan c Baykur and Nathan Sunukjian. Knotted surfaces in 4-manifolds and stabilizations. J. Topol. , 9(1):215--231, 2016

    work page 2016

  8. [8]

    The B lanchfield pairing of colored links

    Anthony Conway, Stefan Friedl, and Enrico Toffoli. The B lanchfield pairing of colored links. Indiana Univ. Math. J. , 67(6):2151--2180, 2018

    work page 2018

  9. [9]

    Surgery theory: Foundations (11-2020 notes)

    Diarmuid Crowley, Wolfgang Lueck, and Tibor Macko. Surgery theory: Foundations (11-2020 notes). http://thales.doa.fmph.uniba.sk/macko/sb-www-19-11-2020.pdf

    work page 2020

  10. [10]

    Cochran, Kent E

    Tim D. Cochran, Kent E. Orr, and Peter Teichner. Structure in the classical knot concordance group. Comment. Math. Helv. , 79(1):105--123, 2004

    work page 2004

  11. [11]

    Characterisation of homotopy ribbon discs

    Anthony Conway and Mark Powell. Characterisation of homotopy ribbon discs. ArXiv 1902.05321 , 2019

    work page arXiv 1902

  12. [12]

    On the classification of highly connected manifolds in dimensions 7 and 15

    Diarmuid Crowley. On the classification of highly connected manifolds in dimensions 7 and 15. 2002. I ndiana U niversity

    work page 2002

  13. [13]

    Stably diffeomorphic manifolds and l_ 2q+1 ( Z[ ])

    Diarmuid Crowley and Joerg Sixt. Stably diffeomorphic manifolds and l_ 2q+1 ( Z[ ]) . Forum Math. , 23(3):483--538, 2011

    work page 2011

  14. [14]

    Twisted B lanchfield pairings and decompositions of 3-manifolds

    Stefan Friedl, Constance Leidy, Matthias Nagel, and Mark Powell. Twisted B lanchfield pairings and decompositions of 3-manifolds. Homology Homotopy Appl. , 19(2):275--287, 2017

    work page 2017

  15. [15]

    A primer on mapping class groups , volume 49 of Princeton Mathematical Series

    Benson Farb and Dan Margalit. A primer on mapping class groups , volume 49 of Princeton Mathematical Series . Princeton University Press, Princeton, NJ, 2012

    work page 2012

  16. [16]

    A survey of the foundations of four-manifold theory in the topological category

    Stefan Friedl, Matthias Nagel, Patrick Orson, and Mark Powell. A survey of the foundations of four-manifold theory in the topological category. Ar X iv 1910.07372 , 2019

    work page arXiv 1910

  17. [17]

    A calculation of B lanchfield pairings of 3-manifolds and knots

    Stefan Friedl and Mark Powell. A calculation of B lanchfield pairings of 3-manifolds and knots. Moscow Math. J. , 17:59--77, 2017

    work page 2017

  18. [18]

    Freedman and Frank Quinn

    Michael H. Freedman and Frank Quinn. Topology of 4-manifolds , volume 39 of Princeton Mathematical Series . Princeton University Press, Princeton, NJ, 1990

    work page 1990

  19. [19]

    Ronald Fintushel and Ronald J. Stern. Surfaces in 4 -manifolds. Math. Res. Lett. , 4(6):907--914, 1997

    work page 1997

  20. [20]

    Gompf and Andr\' a s I

    Robert E. Gompf and Andr\' a s I. Stipsicz. 4 -manifolds and K irby calculus , volume 20 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 1999

    work page 1999

  21. [21]

    Hillman and Akio Kawauchi

    Jonathan A. Hillman and Akio Kawauchi. Unknotting orientable surfaces in the 4 -sphere. J. Knot Theory Ramifications , 4(2):213--224, 1995

    work page 1995

  22. [22]

    Topological 4-manifolds with geometrically two-dimensional fundamental groups

    Ian Hambleton, Matthias Kreck, and Peter Teichner. Topological 4-manifolds with geometrically two-dimensional fundamental groups. J. Topol. Anal. , 1(2):123--151, 2009

    work page 2009

  23. [23]

    A non-extended H ermitian form over Z[ Z]

    Ian Hambleton and Peter Teichner. A non-extended H ermitian form over Z[ Z] . Manuscripta Math. , 93(4):435--442, 1997

    work page 1997

  24. [24]

    Embeddings of bounded manifolds

    John Hudson. Embeddings of bounded manifolds. Proc. Cambridge Philos. Soc. , 72:11--20, 1972

    work page 1972

  25. [25]

    Transverse invariants and exotic surfaces in the 4-ball

    Andr\' a s Juh\' a sz, Maggie Miller, and Ian Zemke. Transverse invariants and exotic surfaces in the 4-ball. Ar X iv 2001.07191 , 2020

    work page arXiv 2001

  26. [26]

    Stabilization distance bounds from link F loer homology

    Andr\' a s Juh\' a z and Ian Zemke. Stabilization distance bounds from link F loer homology. Ar X iv:1810.09158 , 2018

    work page arXiv 2018

  27. [27]

    Splitting a 4 -manifold with infinite cyclic fundamental group

    Akio Kawauchi. Splitting a 4 -manifold with infinite cyclic fundamental group. Osaka J. Math. , 31(3):489--495, 1994

    work page 1994

  28. [28]

    Splitting a 4-manifold with infinite cyclic fundamental group, revised

    Akio Kawauchi. Splitting a 4-manifold with infinite cyclic fundamental group, revised. J. Knot Theory Ramifications , 22(14):1350081, 9, 2013

    work page 2013

  29. [29]

    Cancellation for 4-manifolds with virtually abelian fundamental group

    Qayum Khan. Cancellation for 4-manifolds with virtually abelian fundamental group. Topology Appl. , 220:14--30, 2017

    work page 2017

  30. [30]

    Modifying surfaces in 4-manifolds by twist spinning

    Hee Jung Kim. Modifying surfaces in 4-manifolds by twist spinning. Geom. Topol. , 10:27--56, 2006

    work page 2006

  31. [31]

    In Rob Kirby, editor, Geometric topology ( A thens, GA , 1993) , volume 2 of AMS/IP Stud

    Problems in low-dimensional topology. In Rob Kirby, editor, Geometric topology ( A thens, GA , 1993) , volume 2 of AMS/IP Stud. Adv. Math. , pages 35--473. Amer. Math. Soc., Providence, RI, 1997

    work page 1993

  32. [32]

    Quadratic and H ermitian forms over rings , volume 294 of Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]

    Max-Albert Knus. Quadratic and H ermitian forms over rings , volume 294 of Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] . Springer-Verlag, Berlin, 1991. With a foreword by I. Bertuccioni

    work page 1991

  33. [34]

    Smooth surfaces with non-simply-connected complements

    Hee Jung Kim and Daniel Ruberman. Smooth surfaces with non-simply-connected complements. Algebr. Geom. Topol. , 8(4):2263--2287, 2008

    work page 2008

  34. [35]

    Topological triviality of smoothly knotted surfaces in 4-manifolds

    Hee Jung Kim and Daniel Ruberman. Topological triviality of smoothly knotted surfaces in 4-manifolds. Trans. Amer. Math. Soc. , 360(11):5869--5881, 2008

    work page 2008

  35. [36]

    Isotopy classes of diffeomorphisms of (k-1) -connected almost-parallelizable 2k -manifolds

    Matthias Kreck. Isotopy classes of diffeomorphisms of (k-1) -connected almost-parallelizable 2k -manifolds. In Algebraic topology, A arhus 1978 ( P roc. S ympos., U niv. A arhus, A arhus, 1978) , volume 763 of Lecture Notes in Math. , pages 643--663. Springer, Berlin, 1979

    work page 1978

  36. [37]

    Surgery and duality

    Matthias Kreck. Surgery and duality. Ann. of Math. (2) , 149(3):707--754, 1999

    work page 1999

  37. [38]

    T. Y. Lam. Serre's problem on projective modules . Springer Monographs in Mathematics. Springer-Verlag, Berlin, 2006

    work page 2006

  38. [39]

    Knot modules

    Jerome Levine. Knot modules. I . Trans. Amer. Math. Soc. , 229:1--50, 1977

    work page 1977

  39. [40]

    Surfaces bounding the unlink

    Charles Livingston. Surfaces bounding the unlink. Michigan Math. J. , 29(3):289--298, 1982

    work page 1982

  40. [41]

    Thomas E. Mark. Knotted surfaces in 4-manifolds. Forum Math. , 25(3):597 637, 2013

    work page 2013

  41. [42]

    Absolute stable rank and W itt cancellation for noncommutative rings

    Bruce Magurn, Wilberd van der Kallen, and Leonid Vaserstein. Absolute stable rank and W itt cancellation for noncommutative rings. Invent. Math. , 91(3):525--542, 1988

    work page 1988

  42. [43]

    Surfaces in D ^4 with the same boundary and fundamental group

    Takahiro Oba. Surfaces in D ^4 with the same boundary and fundamental group. ArXiv 2006.06127 , 2017

    work page arXiv 2006

  43. [44]

    Pseudo-isotopies et isotopies en dimension quatre dans la cat\' e gorie topologique

    Bernard Perron. Pseudo-isotopies et isotopies en dimension quatre dans la cat\' e gorie topologique. Topology , 25(4):381--397, 1986

    work page 1986

  44. [45]

    Isotopy of 4 -manifolds

    Frank Quinn. Isotopy of 4 -manifolds. J. Differential Geom. , 24(3):343--372, 1986

    work page 1986

  45. [46]

    Exact sequences in the algebraic theory of surgery , volume 26 of Mathematical Notes

    Andrew Ranicki. Exact sequences in the algebraic theory of surgery , volume 26 of Mathematical Notes . Princeton University Press, Princeton, N.J.; University of Tokyo Press, Tokyo, 1981

    work page 1981

  46. [47]

    Sunukjian

    Nathan S. Sunukjian. Surfaces in 4-manifolds: concordance, isotopy, and surgery. Int. Math. Res. Not. IMRN , (17):7950--7978, 2015

    work page 2015

  47. [48]

    Self-homeomorphisms of 4-manifolds with fundamental group z

    Richard Stong and Zhenghan Wang. Self-homeomorphisms of 4-manifolds with fundamental group z . Topology Appl. , 106(1):49--56, 2000

    work page 2000