pith. sign in

arxiv: 1907.06524 · v1 · pith:GJY2J3XCnew · submitted 2019-07-15 · 🧮 math.GT

0-Concordance of 2-knots

Nathan Sunukjian This is my paper

Pith reviewed 2026-05-24 21:10 UTC · model grok-4.3

classification 🧮 math.GT
keywords 2-knots0-concordanceRochlin invariantHeegaard-Floer homologyS^44-manifoldsknot theoryconcordance classes
0
0 comments X

The pith

There are infinitely many 0-concordance classes of 2-knots in S^4.

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

The paper establishes that 0-concordance on 2-knots in the 4-sphere yields infinitely many equivalence classes. This equivalence relates to the classification of smooth structures on 4-manifolds. The proof proceeds by showing that Rochlin's invariant and certain invariants from Heegaard-Floer homology are preserved by 0-concordance. These invariants take infinitely many distinct values on a family of 2-knots, forcing the number of classes to be infinite. A reader cares because this reveals greater diversity among 2-knots than a single class would suggest.

Core claim

In this paper we investigate the 0-concordance classes of 2-knots in S^4, an equivalence relation that is related to understanding smooth structures on 4-manifolds. Using Rochlin's invariant, and invariants arising from Heegaard-Floer homology, we will prove that there are infinitely many 0-concordance classes of 2-knots.

What carries the argument

Rochlin's invariant and invariants arising from Heegaard-Floer homology that are preserved under 0-concordance.

If this is right

  • The relation of 0-concordance partitions the set of 2-knots into infinitely many classes.
  • These invariants provide a means to distinguish 2-knots that are not 0-concordant.
  • Any complete classification of 2-knots up to 0-concordance must account for at least these invariant values.

Where Pith is reading between the lines

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

  • The result indicates that any complete set of invariants for 0-concordance must be at least as rich as these two.
  • Similar techniques might apply to higher-dimensional knots or other concordance relations.

Load-bearing premise

The Rochlin invariant and the Heegaard-Floer invariants remain unchanged under 0-concordance and take infinitely many distinct values on the family of 2-knots considered in the argument.

What would settle it

An explicit 0-concordance between two 2-knots that have different values of Rochlin's invariant or the Heegaard-Floer invariants, or a proof that these invariants take only finitely many values on all 2-knots.

Figures

Figures reproduced from arXiv: 1907.06524 by Nathan Sunukjian.

Figure 1
Figure 1. Figure 1: The n-twist spin of a knot. 2. Basics about 2-knots and 0-concordance. There are two families of 2-knots that are relatively easy to describe: ribbon knots, and twist spun knots. Our study of 2-knots will be based on invariants derived from Seifert hypersurfaces of 2-knots (i.e. 3-manifolds in S 4 that have the knot as their boundary), and for both twist spun knots and ribbon knots it is easy to describe n… view at source ↗
Figure 2
Figure 2. Figure 2: Seifert hypersurfaces of ribbon concordances. 2.2. Ribbon knots and ribbon concordance. Ribbon 2-knots are described as follows: begin with a collection of n unknotted S 2 ’s in S 4 , and add n − 1 tubes connecting them in such a way as to get a connected surface. We say that there is a ribbon concordance from K1 to K2 if we can add unknotted S 2 ’s to K1 followed by a series of tubes to arrive at K2. Alte… view at source ↗
read the original abstract

In this paper we investigate the 0-concordance classes of 2-knots in $S^4$, an equivalence relation that is related to understanding smooth structures on 4-manifolds. Using Rochlin's invariant, and invariants arising from Heegaard-Floer homology, we will prove that there are infinitely many 0-concordance classes of 2-knots.

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

2 major / 0 minor

Summary. The manuscript investigates 0-concordance classes of 2-knots in S^4 (an equivalence relation related to smooth structures on 4-manifolds) and claims to prove there are infinitely many such classes by applying Rochlin's invariant together with invariants arising from Heegaard-Floer homology.

Significance. If the central claim holds, the result would show that 0-concordance is a strictly finer relation than ordinary concordance on 2-knots, supplying new information about the smooth topology of 4-manifolds.

major comments (2)
  1. [Abstract] Abstract: the claim that Rochlin's invariant and Heegaard-Floer invariants are used to prove infinitude of 0-concordance classes cannot be assessed, because the derivation steps, any required lemmas establishing invariance under 0-concordance, and the explicit construction of the infinite family are not visible.
  2. The load-bearing step is whether Rochlin's invariant and the chosen Heegaard-Floer invariants remain unchanged under the paper's definition of 0-concordance (rather than ordinary concordance) while taking infinitely many distinct values on the family; any gap in transferring the standard invariance arguments to the 0-framed case would collapse the infinitude result.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their comments on our manuscript. We address the major points below, clarifying that the full text contains the requested details on invariance and the family construction.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the claim that Rochlin's invariant and Heegaard-Floer invariants are used to prove infinitude of 0-concordance classes cannot be assessed, because the derivation steps, any required lemmas establishing invariance under 0-concordance, and the explicit construction of the infinite family are not visible.

    Authors: The full manuscript (Sections 2--5) contains the derivation steps, the lemmas establishing invariance of Rochlin's invariant and the relevant Heegaard-Floer invariants under the paper's definition of 0-concordance, and the explicit construction of the infinite family of 2-knots together with the computations of the invariants on that family. These sections adapt the standard arguments to the 0-framed setting via explicit cobordism constructions. revision: no

  2. Referee: The load-bearing step is whether Rochlin's invariant and the chosen Heegaard-Floer invariants remain unchanged under the paper's definition of 0-concordance (rather than ordinary concordance) while taking infinitely many distinct values on the family; any gap in transferring the standard invariance arguments to the 0-framed case would collapse the infinitude result.

    Authors: The manuscript proves invariance under 0-concordance by verifying that the 0-framed cobordisms used in the definition preserve the conditions required for Rochlin's invariant and the Heegaard-Floer invariants (specifically, the relevant spin structures and the 4-dimensional cobordism data). The standard invariance proofs transfer directly because the 0-concordance relation is defined via cobordisms that maintain the necessary framing and homology conditions. The infinite family is constructed so that these invariants take infinitely many distinct values, as shown by explicit calculations in the paper. revision: no

Circularity Check

0 steps flagged

No circularity; derivation applies pre-existing invariants from the literature

full rationale

The paper claims to prove infinitely many 0-concordance classes of 2-knots by applying Rochlin's invariant and Heegaard-Floer invariants. These are standard, externally defined invariants whose invariance properties under concordance relations are established in prior literature independent of this work. No equations or steps in the provided abstract or description show the invariants being defined in terms of 0-concordance classes, no fitted parameters renamed as predictions, and no load-bearing self-citations that reduce the central claim to a tautology. The derivation chain is self-contained because it invokes external, falsifiable invariants rather than constructing the result from its own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on the standard properties of Rochlin's invariant and Heegaard-Floer homology being invariant under the 0-concordance relation and capable of taking infinitely many values.

axioms (2)
  • domain assumption Rochlin's invariant and Heegaard-Floer homology invariants are invariant under 0-concordance of 2-knots.
    Invoked when the abstract states these invariants are used to distinguish the classes.
  • domain assumption There exists an infinite family of 2-knots on which these invariants take infinitely many values.
    Required for the conclusion of infinitely many classes.

pith-pipeline@v0.9.0 · 5572 in / 1179 out tokens · 24703 ms · 2026-05-24T21:10:23.508806+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

24 extracted references · 24 canonical work pages

  1. [1]

    9 (2018), no

    Stefan Behrens and Marco Golla, Heegaard Floer correction terms, with a twist , Quantum Topol. 9 (2018), no. 1, 1–37

    work page 2018

  2. [2]

    London Math

    Tim Cochran, Ribbon knots in S4, J. London Math. Soc. (2) 28 (1983), no. 3, 563–576

    work page 1983

  3. [3]

    Scott Carter, Masahico Saito, and Shin Satoh, Ribbon concordance of surface-knots via quandle cocycle invariants , J

    J. Scott Carter, Masahico Saito, and Shin Satoh, Ribbon concordance of surface-knots via quandle cocycle invariants , J. Aust. Math. Soc. 80 (2006), no. 1, 131–147

    work page 2006

  4. [4]

    Gordon, On the reversibility of twist-spun knots , J

    Cameron McA. Gordon, On the reversibility of twist-spun knots , J. Knot Theory Ram- ifications 12 (2003), no. 7, 893–897, DOI 10.1142/S0218216503002822. MR2017959 (2004m:57011)

    work page doi:10.1142/s0218216503002822 2003

  5. [5]

    J. A. Hillman, Four-manifolds, geometries and knots , Geometry & Topology Monographs, vol. 5, Geometry & Topology Publications, Coventry, 2002

    work page 2002

  6. [6]

    159 (2012), no

    Stanislav Jabuka, Concordance invariants from higher order covers , Topology Appl. 159 (2012), no. 10-11, 2694–2710

    work page 2012

  7. [7]

    Kirby, The topology of 4-manifolds, Lecture Notes in Mathematics, vol

    Robion C. Kirby, The topology of 4-manifolds, Lecture Notes in Mathematics, vol. 1374, Springer-Verlag, Berlin, 1989

    work page 1989

  8. [8]

    Kervaire, Les nœuds de dimensions sup´ erieures, Bull

    Michel A. Kervaire, Les nœuds de dimensions sup´ erieures, Bull. Soc. Math. France 93 (1965), 225–271 (French)

    work page 1965

  9. [9]

    R. A. Litherland, Symmetries of twist-spun knots , Knot theory and manifolds (Vancouver, B.C., 1983), Lecture Notes in Math., vol. 1144, Springer, Berlin, 1985, pp. 97–107

    work page 1983

  10. [10]

    Paolo Lisca and Brendan Owens, Signatures, Heegaard Floer correction terms and quasi- alternating links, Proc. Amer. Math. Soc. 143 (2015), no. 2, 907–914

    work page 2015

  11. [11]

    Adam Levine and Daniel Ruberman, Generalized Heegaard Floer correction terms, Proceed- ings of Gkova Geometry-Topology Conference (2013), 76–96

    work page 2013

  12. [12]

    , Heegaard Floer invariants in codimension one , Transactions of the AMS

    work page

  13. [13]

    Paul Michael Melvin, Blowing up and down in 4-manifolds , ProQuest LLC, Ann Arbor, MI,

    work page

  14. [14]

    Thesis (Ph.D.)–University of California, Berkeley

    work page

  15. [15]

    Ciprian Manolescu and Brendan Owens, A concordance invariant from the Floer homology of double branched covers , Int. Math. Res. Not. IMRN 20 (2007), Art. ID rnm077, 21

    work page 2007

  16. [16]

    Nathan Sunukjian, Surfaces in 4-manifolds: concordance, isotopy, and surgery , Int. Math. Res. Not. IMRN (2014)

    work page 2014

  17. [17]

    Knot Theory Ramifications 13 (2004), no

    Eiji Ogasa, Ribbon-moves of 2-links preserve the µ-invariant of 2-links , J. Knot Theory Ramifications 13 (2004), no. 5, 669–687

    work page 2004

  18. [18]

    Peter Ozsv´ ath and Zolt´ an Szab´ o,Absolutely graded Floer homologies and intersection forms for four-manifolds with boundary , Adv. Math. 173 (2003), no. 2, 179–261

    work page 2003

  19. [19]

    Daniel Ruberman, Doubly slice knots and the Casson-Gordon invariants, Trans. Amer. Math. Soc. 279 (1983), no. 2, 569–588, DOI 10.2307/1999553. MR709569 (85e:57025)

    work page doi:10.2307/1999553 1983

  20. [20]

    Commun., vol

    Daniel Ruberman and Nikolai Saveliev, Casson-type invariants in dimension four , Geometry and topology of manifolds, Fields Inst. Commun., vol. 47, Amer. Math. Soc., Providence, RI, 2005, pp. 281–306

    work page 2005

  21. [21]

    An introduction to the Casson invariant

    Nikolai Saveliev, Lectures on the topology of 3-manifolds , Second revised edition, de Gruyter Textbook, Walter de Gruyter & Co., Berlin, 2012. An introduction to the Casson invariant

    work page 2012

  22. [22]

    D. W. Sumners, On the homology of finite cyclic coverings of higher-dimensional links , Proc. Amer. Math. Soc. 46 (1974), 143–149

    work page 1974

  23. [23]

    The 3-manifold bounded by the 2-knots, Osaka J

    Takaaki Yanagawa, On ribbon 2-knots. The 3-manifold bounded by the 2-knots, Osaka J. Math. 6 (1969), 447–464

    work page 1969

  24. [24]

    E. C. Zeeman, Twisting spun knots , Trans. Amer. Math. Soc. 115 (1965), 471–495. 0-CONCORDANCE OF 2-KNOTS. 9 Department of Mathematics and Statistics, Calvin University, Grand Rapids, MI 49546 E-mail address: nss9@calvin.edu

    work page 1965