Pith. sign in

REVIEW 2 major objections 5 minor 57 references

Simply slicing knots

T0 review · 2 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read This paper proves that, when the d-fold branched cover of the knot has trivial first homology, a knot is sliced by a simple disc in a simply-connected 4-manifold representing a given homology class if and only if two computable numerical…

desk verdict Even-d case of Theorem 1.1 hinges on an explicitly unproved relative Bredon theorem; odd-d case and stable results look solid. read the letter →

arxiv 2507.00431 v1 pith:63LML4AG submitted 2025-07-01 math.GT

Anthony Conway , Patrick Orson , Mark Pencovitch This is my paper · ORCID
classification math.GT MSC 57K1057R4057R65
keywords slicediscslocallyflatembeddings4-manifoldsLevine-TristramsignaturebranchedcoversArfinvariantstabilisingnumbersimply-connected
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

This paper asks when a knot in the boundary 3-sphere can be filled by a locally flat disc inside a given simply-connected 4-manifold, with the disc's complement having finite cyclic fundamental group. The main theorem answers this exactly, under one assumption: the d-fold branched cover of the knot has first homology zero, where d is the divisibility of the homology class the disc is meant to represent. Sympathetically read, the paper establishes that in this setting, the existence of such a 'simple' slice disc is equivalent to two numerical conditions built from the Arf invariant, the Levine-Tristram signature of the knot, and the signature and Euler data of the 4-manifold. The conditions are computable, so the result turns a geometric existence question into arithmetic.

What carries the argument

The central object is the pointed hermitian form $(H_2(\Sigma_d(D)), \lambda, z)$ over the group ring $\mathbb{Z}[\mathbb{Z}_d]$ associated to a disc $D$ in a stabilized manifold; $\lambda$ is the equivariant intersection form and $z$ is the class of the branch set in the $d$-fold branched cover. The argument runs through Lee-Wilczy\'nski's splitting theorem, which says that under freeness, signature, and evenness conditions this form splits off hyperbolic summands, allowing surgery to destabilize from $N \# k(S^2\times S^2)$ back to $N$. The evenness condition is supplied by the relative Bredon-Edmonds result (Appendix B), and the signature condition is recast by a Rohlin-Viro formula (Lemma 3.8) comparing $j$-signatures of the branched cover with the Levine-Tristram signature of $K$.

What would settle it

The claim would be refuted by a concrete pair (N,x,K) with H_1(Sigma_d(K))=0 satisfying the two numerical conditions of Theorem 1.1 for which K nevertheless admits no locally flat simple slice disc in N representing x. A more targeted check: find a 2-torsion class in $H^{2}$(Sigma_d(D)) for an even d where the relative Bredon equality of Proposition B.2 fails, since Proposition 6.5's evenness argument depends on it.

Watch

Extended reading notes

Core claim

Theorem 1.1 asserts that for a compact, oriented, simply-connected 4-manifold $N$ with boundary $S^3$, a nonzero class $x \in H_2(N,\partial N)$ of divisibility $d$, and a knot $K$ with $H_1(\Sigma_d(K)) = 0$, $K$ is sliced by a simple disc in $N$ representing $x$ if and only if (1) when $x$ is characteristic, $\mathrm{Arf}(K) + \mathrm{ks}(N) + \tfrac{1}{8}(\sigma(N) - x\cdot x) \equiv 0 \bmod 2$, and (2) $b_2(N) \geq \max_{0\leq j<d} |\sigma(N) - \frac{2j(d-j)}{d^2} x\cdot x + \sigma_K(e^{2\pi i j/d})|$. Here $\Sigma_d(K)$ is the $d$-fold branched cover of the knot, $\mathrm{ks}(N)$ and $\sigma(N)$ are the Kirby-Siebenmann invariant and signature of $N$, and $\sigma_K$ is the Levine-Tristram signature of $K$. The paper also proves a stable version (Theorem 1.10): without the homology condition the same Arf condition is necessary and sufficient for sliceness after connected sum with enough copies of $S^2\times S^2$, and when $d$ is a prime power the minimal number of stabilizations is given by half the excess of the signature maximum over $b_2(N)$.

Load-bearing premise

For even d the proof relies on an unproved relative version of Bredon's fixed-point theorem (Theorem B.1), stated in the appendix as 'left to the reader'; if that relative statement fails for the branched covers used here, the destabilization step and Theorem 1.1 for even d would not follow.

Editorial extensions

If this is right

  • When $d=1$ (primitive $x$), condition (2) is automatic and Theorem 1.1 says every knot is sliced by a simple disc in $N$ representing $x$ unless $x$ is characteristic, in which case sliceness is equivalent to $\mathrm{Arf}(K)+\mathrm{ks}(N)+\tfrac{1}{8}(\sigma(N)-x\cdot x) \equiv 0 \bmod 2$.
  • For $2$-divisible classes with $|\det(K)|=1$, sliceness in $(\mathbb{CP}^2)^\circ$ is equivalent to $\sigma(K)\in\{0,2\}$ and in $(\overline{\mathbb{CP}}^2)^\circ$ to $\sigma(K)\in\{-2,0\}$.
  • In punctured spin manifolds such as $K3^\circ$, every knot bounds a locally flat simple disc in every primitive class, in contrast with the smooth category.
  • When $d$ is a prime power and the stabilising numbers are finite, the simple $(x,N)$-stabilising number equals $\tfrac{1}{2}(\max_{0\leq j<d} |\sigma(N) - \frac{2j(d-j)}{d^2}x\cdot x + \sigma_K(e^{2\pi i j/d})| - b_2(N))$, and this equals the ordinary stabilising number.

Reading between the lines

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

  • One could try to remove the hypothesis $H_1(\Sigma_d(K))=0$: the paper itself notes (Remark 1.8) it is not necessary, and a sharper theorem would presumably replace it by a condition on the linking form of the branched cover.
  • The relative Bredon gap suggests a natural test: prove or disprove Theorem B.1; if it is false, the even-$d$ case of the main theorem would need a different evenness argument, possibly using equivariant transversality.
  • The signature inequality in condition (2) resembles Gilmer's inequality but with the knot signature entered with the opposite sign; the paper attributes this to a sign convention and notes it matters, e.g., for the left-handed trefoil. A reader might check the convention against Viro's branched-cover formula in a simple example.
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.

Referee Report

2 major / 5 minor

Summary. The paper studies when a knot K in the boundary S^3 of a compact, oriented, simply-connected 4-manifold N bounds a locally flat simple slice disc representing a given nonzero class x in H_2(N, ∂N) of divisibility d. Theorem 1.1 states that, under the hypothesis H_1(Σ_d(K)) = 0, such a disc exists exactly when two computable conditions hold: an Arf/Kirby-Siebenmann/signature congruence when x is characteristic, and an inequality comparing b_2(N) with the maximum over j of |σ(N) - (2j(d-j)/d^2)x·x + σ_K(e^{2πij/d})|. Theorem 1.10 characterizes stable representability, and Corollary 1.13 computes the stabilising number when d is a prime power. The proof follows the Lee-Wilczynski strategy: stable embedding via ambient surgery, an algebraic splitting theorem for pointed hermitian forms over Z[Z_d], and then verification of three conditions (freeness, splitting over Z, and evenness). The evenness condition for even d relies on a claimed relative version of a theorem of Bredon and Edmonds, stated in Appendix B.

Significance. If the proof is completed, the result is significant: it gives a parameter-free, computable characterization of when a knot bounds a simple topological slice disc in a prescribed relative homology class, extending the closed-manifold work of Lee and Wilczynski and providing new examples where topological and smooth sliceness diverge (Examples 1.15 and 1.17). The paper is carefully structured and contains several strong elements: the stable surgery argument is detailed, Proposition 3.9 gives a proof of the needed extension of Gilmer's inequality, and Remark 6.6 honestly records that a stronger assertion of Lee-Wilczynski could not be confirmed. However, the even-d case of the main theorem rests on an explicitly unproved relative Bredon theorem, so the central claim is not yet fully established as stated.

major comments (2)
  1. [Appendix B, Theorem B.1; §6, Proposition 6.5] The relative Bredon theorem is stated without proof: the text says the adjustment of Bredon's proof to the relative case is 'left to the reader.' This is load-bearing for even d. Proposition 6.5 invokes Lemma 6.4, whose proof uses Proposition B.2, which is derived from Theorem B.1. The absolute Bredon-Edmonds statement does not formally imply the relative statement, since one must check the pair (X,A), the fixed-point restriction to F∩A, and the evaluation of relative cup products; in the needed setting X=Σ_d(D), A=∂Σ_d(D), and F=eD. Without a proof of Theorem B.1, the congruence Q_Σ(y,Ty)=Q_Σ(y,z) mod 2 in Lemma 6.4 is unverified, and consequently the evenness condition and the destabilization step in Proposition 3.11 are not established for even d. Remark 6.6 confirms that the authors could not verify Lee-Wilczynski's stronger assertion, and the weaker statement used here is not independently justified. The odd-d case is unaffected, but Theorem 1.1 as stated covers all d; this gap must be repaired.
  2. [§4.2, Proposition 4.3] The projectivity of H_2(Σ_d(D)) is quoted from [LW90, p. 399], and Remark 4.4 concedes that the argument in [LW90] relies on several unreferenced facts from group cohomology. Since the freeness condition in Proposition 4.10 is one of the three hypotheses needed to apply the splitting argument in Proposition 3.11, the paper should either supply a complete proof of projectivity for the branched covers of discs used here or give a precise, verifiable reference for this relative/disc case. A closed-manifold statement with only a sketch in a remark is not fully satisfactory for a load-bearing step of the main theorem.
minor comments (5)
  1. [Throughout] There are several typos and spacing issues, such as 'simply-connected4-manifold' in Section 2 and 'continuously' missing spaces elsewhere; these should be corrected in the final version.
  2. [Theorem 1.1 statement] The bullet 'The knot K is sliced by a simple disc in N representing x' would read more naturally as 'K bounds a simple slice disc in N representing x'; the current phrasing is grammatically awkward.
  3. [§2.4, Claim 1] The proof of Claim 1 says the argument for finding u is 'identical to the argument in the closed case from [LW90, page 393]' but gives no details; since this claim is used in the ordinary case of the ambient surgery criteria, a few sentences reproducing the argument would improve readability.
  4. [Remark 4.7] The remark explains why the authors prefer their proof of stable freeness over the Lee-Wilczynski/Wilczynski argument; this is helpful, but the final sentence could be clarified to state precisely which exactness properties are being invoked.
  5. [Appendix B, Proposition B.2] The notation k_*(c) and [F] in the congruence should be explicitly identified: k is the inclusion of the fixed-point set and [F] is the fundamental class of the pair (F,∂F); a short sentence would avoid ambiguity.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity; the main criteria are expressed in standard invariants and the central derivation is independent. The even-d case rests on an explicitly unproved relative Bredon theorem, which is a completeness gap rather than a circularity.

full rationale

The derivation chain for Theorem 1.1 runs from Theorem 1.10 (stable slicing via ambient surgery, based on Freedman-Kirby and Lee-Wilczynski), Proposition 3.11 (destabilization via the Lee-Wilczynski splitting theorem), and the three verification propositions (4.10 freeness, 5.1 splitting, 6.5 evenness). None of these steps is defined in terms of the conclusion. The two numerical conditions in Theorem 1.1 involve the Arf invariant, Kirby-Siebenmann invariant, signature, b2, and Levine-Tristram signatures of K, all standard invariants with no fitted parameters; the disc is produced by surgery, not assumed. Self-citations (CPP25, CP23, CN20) occur only in background remarks (e.g., Remark 1.2) or as auxiliary references and are not load-bearing. The genuinely load-bearing external inputs are Freedman's sphere embedding theorem, Gilmer's inequality, and Lee-Wilczynski's splitting theorem; these are independent external results, not self-citations. The clearest weakness is not circularity: for even d, Proposition 6.5 uses Lemma 6.4, whose proof invokes Proposition B.2, which is derived from Theorem B.1, an explicitly unproved 'relative variant' of Bredon's theorem. The paper states the proof is left to the reader, and Remark 6.6 admits Lee-Wilczynski's stronger assertion could not be confirmed. That is a load-bearing gap for even d, but it is a missing proof, not a reduction of a prediction to its inputs. The odd-d case and the stable theorems are unaffected. Accordingly the circularity score is 1.

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

The central claim depends on a chain of cited results (Freedman-Quinn surgery, Lee-Wilczynski splitting, Gilmer's inequality, K-theory) and on one unproved new relative version of Bredon's theorem. No free parameters are fitted. No new entities are postulated.

assumptions (6)
  • domain assumption Freedman-Quinn topological surgery, including the disc and sphere embedding theorems for good groups; finite cyclic groups are good.
    Used in the proof of Proposition 3.11 to represent hyperbolic summands by framed embedded spheres and to realize isometries by homeomorphisms; standard background in topological 4-manifold theory.
  • domain assumption Lee-Wilczynski splitting theorem [LW97, Theorem 3.1] in the genus-zero case, restated as Theorem 3.5.
    The central algebraic mechanism that converts a stable hyperbolic splitting into a genuine splitting off in the group ring; the paper relies on its exact statement including the weak evenness condition.
  • ad hoc to paper Relative Bredon theorem adapted to manifolds with boundary (Theorem B.1), stated without proof.
    The paper states 'the lengthy, but ultimately formal, exercise... will not be included here, and is left to the reader'; this unproved relative variant is needed for the evenness condition for even d.
  • domain assumption Projectivity of H_2(Σ_d(S)) for closed simple spheres, quoted from [LW90, page 399].
    Used in Proposition 4.3 to show H_2(Σ_d(D)) is projective; Remark 4.4 gives indications but the original result is outside the paper.
  • domain assumption Gilmer's inequality [Gil81], extended to non-prime-power d for simple discs (Proposition 3.9, with proof sketch).
    The necessity of the signature inequality in Theorem 1.1 rests on this extension; the paper gives an outline but relies on a known result plus a 'little work' claim.
  • standard math K-theory facts about group rings of finite cyclic groups (Theorem 4.2: stably free Λ-modules are free; projective Λ-modules are stably free when their Λ_1 reduction is).
    Used to conclude freeness of H_2(Σ_d(D)); the paper proves the second statement with some details.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Simply slicing knots." pith.science (2026). https://pith.science/paper/63LML4AG

@misc{pith2026250700431,
  author       = {Pith},
  title        = {Pith review of: Simply slicing knots},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/63LML4AG}},
  note         = {Machine review of arXiv:2507.00431}
}
abstract

Given a simply-connected 4-manifold with boundary the 3-sphere, this paper establishes sufficient conditions for a knot in the boundary to be sliced by a locally flat disc in the 4-manifold, whose complement has finite cyclic fundamental group. In addition, necessary and sufficient conditions are described to ensure that such discs exist stably, that is after taking the connected sum of the 4-manifold with copies of $S^2 \times S^2$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

57 extracted references · 55 canonical work pages

  1. [1]

    Behrens, B

    S. Behrens, B. Kalm\'ar, M. H. Kim, M. Powell, and A. Ray, The disc embedding theorem, Oxford University Press, 2021

    work page 2021

  2. [2]

    Bredon, Introduction to compact transformation groups, Pure and Applied Mathematics, Vol

    G. Bredon, Introduction to compact transformation groups, Pure and Applied Mathematics, Vol. 46, Academic Press, New York-London, 1972. 0413144

    work page 1972

  3. [3]

    Bredon, Topology and geometry, Graduate Texts in Mathematics, vol

    G. Bredon, Topology and geometry, Graduate Texts in Mathematics, vol. 139, Springer-Verlag, New York, 1993. 1224675

    work page 1993

  4. [4]

    W. Browder, Surgery on simply-connected manifolds, Ergebnisse der Mathematik und ihrer Grenzgebiete [Results in Mathematics and Related Areas], Band 65, Springer-Verlag, New York-Heidelberg, 1972. 358813

    work page 1972

  5. [5]

    Brown, Cohomology of Groups , Graduate Texts in Mathematics , vol

    K. Brown, Cohomology of Groups , Graduate Texts in Mathematics , vol. 87, Springer New York , New York, NY , 1982

    work page 1982

  6. [6]

    Cimasoni and A

    D. Cimasoni and A. Conway, Coloured tangles and signatures, Math. Proc. Camb. Philos. Soc. 164 (2018), no. 3, 493--530 (English)

    work page 2018

  7. [7]

    Casson and C

    A. Casson and C. Gordon, On slice knots in dimension three, Algebraic and geometric topology ( P roc. S ympos. P ure M ath., S tanford U niv., S tanford, C alif., 1976), P art 2, Proc. Sympos. Pure Math., XXXII, Amer. Math. Soc., Providence, R.I., 1978, pp. 39--53. 520521

    work page 1976

  8. [8]

    Conway and M

    A. Conway and M. Nagel, Stably slice disks of links, J. Topol. 13 (2020), no. 3, 1261--1301. 4125756

    work page 2020

Show all 57 references
  1. [9]

    Conway, The L evine- T ristram signature: a survey , 2019--20 MATRIX annals, MATRIX Book Ser., vol

    A. Conway, The L evine- T ristram signature: a survey , 2019--20 MATRIX annals, MATRIX Book Ser., vol. 4, Springer, Cham, [2021] 2021, pp. 31--56. 4294761

    2019

  2. [10]

    Conway and M

    A. Conway and M. Powell, Embedded surfaces with infinite cyclic knot group, Geom. Topol. 27 (2023), no. 2, 739--821

    2023

  3. [11]

    Conway, L

    A. Conway, L. Piccirillo, and M. Powell, 4 -manifolds with boundary and fundamental group Z , Comment. Math. Helv. 100 (2025), no. 2, 323--420. 4888080

    2025

  4. [12]

    Edmonds, Aspects of group actions on four-manifolds, Topology Appl

    A. Edmonds, Aspects of group actions on four-manifolds, Topology Appl. 31 (1989), no. 2, 109--124. 994404

    1989

  5. [13]

    Freedman and R

    M. Freedman and R. Kirby, A geometric proof of R ochlin's theorem , Algebraic and geometric topology ( P roc. S ympos. P ure M ath., S tanford U niv., S tanford, C alif., 1976), P art 2, Proc. Sympos. Pure Math., vol. XXXII, Amer. Math. Soc., Providence, RI, 1978, pp. 85--97. 520525

    1976

  6. [14]

    Feller and L

    P. Feller and L. Lewark, Balanced algebraic unknotting, linking forms, and surfaces in three- and four-space, J. Differential Geom. 127 (2024), no. 1, 213--275. 4753502

    2024

  7. [15]

    Farb and D

    B. Farb and D. Margalit, A primer on mapping class groups, Princeton Mathematical Series, vol. 49, Princeton University Press, Princeton, NJ, 2012. 2850125

    2012

  8. [16]

    Friedl, M

    S. Friedl, M. Nagel, P. Orson, and M. Powell, A survey of the foundations of four-manifold theory in the topological category, Ar X iv 1910.07372 (2019)

    2019 arXiv

  9. [17]

    R. H. Fox, Free differential calculus. III . S ubgroups , Ann. of Math. (2) 64 (1956), 407--419. 95876

    1956

  10. [18]

    Freedman and F

    M. Freedman and F. Quinn, Topology of 4-manifolds, Princeton Mathematical Series, vol. 39, Princeton University Press, Princeton, NJ, 1990. 1201584

    1990

  11. [19]

    Freedman, The topology of four-dimensional manifolds, J

    M. Freedman, The topology of four-dimensional manifolds, J. Differential Geometry 17 (1982), no. 3, 357--453. 679066

    1982

  12. [20]

    Fukumoto and M

    Y. Fukumoto and M. Taniguchi, On the connected sums of the (2,1) -cable of the figure eight knot, Preprint, arXiv :2501.07910 [math. GT ] (2025), 2025

    2025 arXiv

  13. [21]

    Gonz\' a lez-Acu\ n a, Dehn's construction on knots, Bol

    F. Gonz\' a lez-Acu\ n a, Dehn's construction on knots, Bol. Soc. Mat. Mexicana (2) 15 (1970), 58--79. 356022

    1970

  14. [22]

    Gilmer, Configurations of surfaces in 4 -manifolds , Trans

    P. Gilmer, Configurations of surfaces in 4 -manifolds , Trans. Amer. Math. Soc. 264 (1981), no. 2, 353--380. 603768

    1981

  15. [23]

    Goeritz, Die B etti'schen Z ahlen D er Z yklischen U berlagerungsraume D er K notenaussenraume , Amer

    L. Goeritz, Die B etti'schen Z ahlen D er Z yklischen U berlagerungsraume D er K notenaussenraume , Amer. J. Math. 56 (1934), no. 1-4, 194--198. 1507011

    1934

  16. [24]

    Gompf and A

    R. Gompf and A. Stipsicz, 4 -manifolds and K irby calculus , Graduate Studies in Mathematics, vol. 20, American Mathematical Society, Providence, RI, 1999. 1707327

    1999

  17. [25]

    Heller, Indecomposable representations and the loop-space operation, Proc

    A. Heller, Indecomposable representations and the loop-space operation, Proc. Amer. Math. Soc. 12 (1961), 640--643. 126480

    1961

  18. [26]

    N. Iida, A. Mukherjee, and M. Taniguchi, An adjunction inequality for the B auer-- F uruta type invariants, with applications to sliceness and 4-manifold topology , Adv. Math. 466 (2025), Paper No. 110134. 4866433

    2025

  19. [27]

    Jacobinski, Genera and decompositions of lattices over orders, Acta Math

    H. Jacobinski, Genera and decompositions of lattices over orders, Acta Math. 121 (1968), 1--29. 251063

    1968

  20. [28]

    Johnson, Stably free cancellation for abelian group rings, Arch

    F. Johnson, Stably free cancellation for abelian group rings, Arch. Math. (Basel) 102 (2014), no. 1, 7--10. 3154152

    2014

  21. [29]

    Klug, A relative version of Rochlin 's theorem , Preprint, arXiv :2011.12418 [math

    M. Klug, A relative version of Rochlin 's theorem , Preprint, arXiv :2011.12418 [math. GT ] (2020), 2020

    2020 arXiv

  22. [30]

    Kjuchukova, A

    A. Kjuchukova, A. N. Miller, A. Ray, and S. Sakalli, Slicing knots in definite 4-manifolds, Trans. Amer. Math. Soc. 377 (2024), no. 8, 5905--5946. 4771240

    2024

  23. [31]

    Konno, J

    H. Konno, J. Miyazawa, and M. Taniguchi, Involutions, links, and F loer cohomologies , J. Topol. 17 (2024), no. 2, Paper No. e12340, 47. 4821360

    2024

  24. [32]

    Kasprowski, M

    D. Kasprowski, M. Powell, A. Ray, and P. Teichner, Embedding surfaces in 4-manifolds, Geom. Topol. 28 (2024), no. 5, 2399--2482. 4793644

    2024

  25. [33]

    W. B. R. Lickorish, An introduction to knot theory, Graduate Texts in Mathematics, vol. 175, Springer-Verlag, New York, 1997. 1472978

    1997

  26. [34]

    T. Y. Lam and M. K. Siu, K 0 and K 1 --an introduction to algebraic K -theory , Amer. Math. Monthly 82 (1975), 329--364. 399212

    1975

  27. [35]

    Lee and D

    R. Lee and D. Wilczy\' n ski, Locally flat 2 -spheres in simply connected 4 -manifolds , Comment. Math. Helv. 65 (1990), no. 3, 388--412. 1069816

    1990

  28. [36]

    Lee and D

    R. Lee and D. Wilczy\' n ski, Representing homology classes by locally flat 2 -spheres , K -Theory 7 (1993), no. 4, 333--367. 1246281

    1993

  29. [37]

    Lee and D

    R. Lee and D. Wilczy\' n ski, Representing homology classes by locally flat surfaces of minimum genus, Amer. J. Math. 119 (1997), no. 5, 1119--1137. 1473071

    1997

  30. [38]

    Milnor, Introduction to algebraic K -theory , Annals of Mathematics Studies, No

    J. Milnor, Introduction to algebraic K -theory , Annals of Mathematics Studies, No. 72, Princeton University Press, Princeton, NJ; University of Tokyo Press, Tokyo, 1971. 349811

    1971

  31. [39]

    Milnor, On the 3 -dimensional B rieskorn manifolds M(p,q,r) , Knots, groups, and 3 -manifolds ( P apers dedicated to the memory of R

    J. Milnor, On the 3 -dimensional B rieskorn manifolds M(p,q,r) , Knots, groups, and 3 -manifolds ( P apers dedicated to the memory of R . H . F ox), Ann. of Math. Stud., No. 84, Princeton Univ. Press, Princeton, NJ, 1975, pp. 175--225. 418127

    1975

  32. [40]

    Manolescu, M

    C. Manolescu, M. Marengon, and L. Piccirillo, Relative genus bounds in indefinite four-manifolds, Math. Ann. 390 (2024), no. 1, 1481--1506. 4800943

    2024

  33. [41]

    Marengon, A

    M. Marengon, A. N. Miller, A. Ray, and A. Stipsicz, A note on surfaces in CP ^2 and CP ^2 \# CP ^2 , Proc. Amer. Math. Soc. Ser. B 11 (2024), 187--199. 4762681

    2024

  34. [42]

    Manolescu, M

    C. Manolescu, M. Marengon, S. Sarkar, and M. Willis, A generalization of R asmussen's invariant, with applications to surfaces in some four-manifolds , Duke Math. J. 172 (2023), no. 2, 231--311. 4541332

    2023

  35. [43]

    Manolescu and L

    C. Manolescu and L. Piccirillo, From zero surgeries to candidates for exotic definite 4-manifolds, J. Lond. Math. Soc. (2) 108 (2023), no. 5, 2001--2036. 4668522

    2023

  36. [44]

    Ozsv\' a th and Z

    P. Ozsv\' a th and Z. Szab\' o , Knot F loer homology and the four-ball genus , Geom. Topol. 7 (2003), 615--639. 2026543

    2003

  37. [45]

    Qin, Slicing degree of knots, Preprint, arXiv :2404.15991 [math

    Q. Qin, Slicing degree of knots, Preprint, arXiv :2404.15991 [math. GT ] (2024), 2024

    2024 arXiv

  38. [46]

    Ren, Lee filtration structure of torus links, Geom

    Q. Ren, Lee filtration structure of torus links, Geom. Topol. 28 (2024), no. 8, 3935--3960. 4843752

    2024

  39. [47]

    V. A. Rohlin, Two-dimensional submanifolds of four-dimensional manifolds, Funkcional. Anal. i Prilo z en. 5 (1971), no. 1, 48--60. 298684

    1971

  40. [48]

    Rosenberg, Algebraic K -theory and its applications , Graduate Texts in Mathematics, vol

    J. Rosenberg, Algebraic K -theory and its applications , Graduate Texts in Mathematics, vol. 147, Springer-Verlag, New York, 1994. 1282290

    1994

  41. [49]

    Schneiderman, Stable concordance of knots in 3-manifolds, Algebr

    R. Schneiderman, Stable concordance of knots in 3-manifolds, Algebr. Geom. Topol. 10 (2010), no. 1, 373--432. 2602841

    2010

  42. [50]

    Sch\"utz, K not J ob , software (2025), Available at https://www.maths.dur.ac.uk/users/dirk.schuetz/ knotjob.html

    D. Sch\"utz, K not J ob , software (2025), Available at https://www.maths.dur.ac.uk/users/dirk.schuetz/ knotjob.html

    2025

  43. [51]

    Scorpan, The wild world of 4-manifolds, American Mathematical Society, Providence, RI, 2005

    A. Scorpan, The wild world of 4-manifolds, American Mathematical Society, Providence, RI, 2005. 2136212

    2005

  44. [52]

    Stong, Existence of _1 -negligible embeddings in 4 -manifolds

    R. Stong, Existence of _1 -negligible embeddings in 4 -manifolds. A correction to T heorem 10.5 of F reedmann and Q uinn , Proc. Amer. Math. Soc. 120 (1994), no. 4, 1309--1314. 1215031

    1994

  45. [53]

    Viro, Branched coverings of manifolds with boundary, and invariants of links

    O. Viro, Branched coverings of manifolds with boundary, and invariants of links. I , Izv. Akad. Nauk SSSR Ser. Mat. 37 (1973), 1241--1258. 0370605

    1973

  46. [54]

    C. T. C. Wall, Periodic projective resolutions, Proc. London Math. Soc. (3) 39 (1979), no. 3, 509--553. 550082

    1979

  47. [55]

    C. A. Weibel, The K -book , Graduate Studies in Mathematics, vol. 145, American Mathematical Society, Providence, RI, 2013, An introduction to algebraic K -theory. 3076731

    2013

  48. [56]

    Wilczy\' n ski, Periodic maps on simply connected four-manifolds, Topology 30 (1991), no

    D. Wilczy\' n ski, Periodic maps on simply connected four-manifolds, Topology 30 (1991), no. 1, 55--65. 1081933

    1991

  49. [57]

    Yasuhara, Connecting lemmas and representing homology classes of simply connected 4 -manifolds , Tokyo J

    A. Yasuhara, Connecting lemmas and representing homology classes of simply connected 4 -manifolds , Tokyo J. Math. 19 (1996), no. 1, 245--261. 1391941

    1996

Pith tools

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