REVIEW 1 major objections 4 minor 14 references
Smoothly slice knots with smoothly non-approximable topological slice discs
T0 review · 1 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read The paper constructs infinitely many distinct smoothly slice knots, each of which admits a topological slice disc that is smoothly non-approximable.
desk verdict Nice new construction and a clear question, but the central contradiction proof has a quantifier gap that invalidates the inclusion chain as written. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The machinery is the metaboliser of the Blanchfield form of the zero-framed surgery M_{K_m}, together with Heegaard Floer d-invariants of branched covers. A slice disc for K_m gives a homomorphism ι from H_1(M_{K_m}; Q[$t^{{±1}}$]) to the homology of the disc complement, and the kernel of ι is a metaboliser: a subspace equal to its own annihilator under the nonsingular Blanchfield pairing. The paper computes H_1(M_{K_m}; Q[$t^{{±1}}$]) ≅ Q ⊕ Q with basis α1, α2, and since α1 is killed by the topological slice disc D_m, the metaboliser condition forces ⟨α1⟩ = ker ι. This equality is transported to the r-fold cyclic branched covers Σ_r, where the lift x1 of α1 generates the kernel of the map H_1(Σ_r; Z) → H_1(V_r; Z) for some prime r. Smoothness of the imagined approximating disc would force the d-invariant d(Σ_r, s_{Σ_r} + k b_{x1}) to vanish for every integer k, while the quoted results of [CK21] and [Cha21] guarantee a nonzero value for some k, giving the contradiction.
What would settle it
Exhibit, for some m, a smooth slice disc for K_m inside every ε-neighbourhood of a topologically isotopic copy of D_m; alternatively, compute the correction terms d(Σ_r, s_{Σ_r} + k b_{x1}) for a fixed K_m and show that they all vanish, which would remove the nonvanishing step the proof relies on.
Extended reading notes
Core claim
For each odd integer m ≥ 1, let Wh be the positive-clasped zero-twisted Whitehead double of the right-handed trefoil, let U be the unknot, and define K_m = R_m(U, Wh), where R_m is the ribbon knot with 2m+1 band crossings and two distinguished unknotted curves α1, α2 in its complement. Because α1 and α2 link R_m trivially, the satellite operation does not change the Alexander polynomial: Δ_{K_m}(t) = Δ_{R_m}(t) = ((m+1)t − m)(mt − (m+1)), so the K_m are pairwise distinct. Each K_m is smoothly slice, by cutting the right band of its Seifert surface to obtain an unlink and capping off with smooth discs. The authors define a topological slice disc D_m by cutting the left band instead and capping the two strands with two parallel copies of a topological slice disc for Wh, which exists because Δ_Wh = 1. The central claim is that D_m is smoothly non-approximable: there is an ε > 0 such that every topological slice disc topologically isotopic to D_m rel. boundary has no smooth slice disc for K_m inside its ε-neighborhood. The proof assumes such a smooth disc exists, derives that the kernel of the induced map on H_1 with Q[$t^{{±1}}$] coefficients is exactly the subgroup generated by α1, then uses quoted results on Heegaard Floer d-invariants of the r-fold cyclic branched covers Σ_r to obtain a contradiction: vanishing for all spin^c structures would be forced by the smooth slice disc, but a nonzero d-invariant is guaranteed by the cited calculations.
Load-bearing premise
The argument depends on two technical results quoted from [CK21] and [Cha21] without proof: the metaboliser condition forces a branched-cover kernel to be generated by the lifted curve for some prime r, and the Heegaard Floer correction term of that cover is nonzero in some spin^c structure; if either of these cited results fails, the contradiction collapses.
Editorial extensions
If this is right
- The knots K_m are pairwise distinct and form an infinite family of smoothly slice knots whose topological slice discs cannot be smoothed while the boundary knot is fixed.
- Each K_m is topologically doubly slice and smoothly slice but not smoothly doubly slice, giving a new infinite family of that kind.
- The theorem answers the refined online question affirmatively, and the allowance of topological isotopy rel. boundary is essential, since the earlier capped-tower construction only yields a weaker statement without it.
- The result contrasts with the fact that every topological slice disc can be approximated by a smooth disc when the boundary curve is allowed to move: the obstruction lives in fixing the boundary knot.
Reading between the lines
- Replacing Wh by any knot with Alexander polynomial 1 and suitable nonvanishing d-invariants should produce further families of non-approximable discs, since the proof uses little else about Wh.
- Because the argument avoids a homology-ribbon assumption, it may apply to a broader class of topological slice discs than earlier doubly-slice-based constructions; testing whether every smoothly slice knot with a two-generator Alexander module admits such a disc is a natural next step.
- The proof gives no explicit value of ε; extracting quantitative bounds from the d-invariant calculations could show how the smoothness gap scales with m.
- The non-approximability is a property of the chosen disc, not of the knot, so detecting it will require invariants of slice discs rather than knots alone.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper constructs, for each odd integer m ≥ 1, a smoothly slice knot K_m in S^3 and a topological slice disc D_m for K_m. The main theorem asserts that D_m is smoothly non-approximable: there exists ε > 0 such that for every topological slice disc D' that is topologically isotopic to D_m rel. boundary, the ε-neighbourhood of D' contains no smooth slice disc for K_m. The proof builds K_m as a satellite of a knot R_m, distinguishes the knots by Alexander polynomials, and derives a contradiction from the existence of a hypothetical smooth slice disc by combining the Blanchfield form metaboliser structure with d-invariant results imported from Cha and Kim [CK21] and Cha [Cha21].
Significance. If correct, the theorem provides the first examples of smoothly slice knots with smoothly non-approximable topological slice discs, thereby answering a refined version of a MathOverflow question and complementing Venema's approximation theorems. The construction is explicit and the knots are distinguished by elementary Alexander polynomial computations. The algebraic core—the presentation of H_1 of the zero-framed surgery, the metaboliser dimension count, and the reduction to branched covers—is clearly and coherently presented. The decisive d-invariant contradiction is not derived in the paper but is cited from published results of Cha-Kim and Cha; this reliance is standard practice, though it makes the proof less self-contained. The paper is well written overall, but the central argument has a quantifier gap that must be fixed before the proof is valid.
major comments (1)
- [Proof, paragraph beginning 'For a contradiction'] The inclusion chain used to define the map ι is not justified as written. The contradiction hypothesis states that for every ε > 0 there exists a topological slice disc (call it D_m^ε) that is isotopic rel. boundary to the fixed D_m, and a smooth slice disc D'_m,ε contained in νε(D_m^ε). The proof then fixes a tubular neighbourhood N(D_m) of the original D_m, chooses ε with νε(D_m) ⊆ N(D_m), and writes the chain M_{K_m} → D^4∖N(D_m) → D^4∖νε(D_m) → D^4∖D'_m,ε. This chain requires D'_m,ε ⊆ νε(D_m), but the hypothesis only provides D'_m,ε ⊆ νε(D_m^ε), and nothing guarantees that D_m^ε lies in or near νε(D_m) after ε is chosen. Without the inclusion D'_m,ε ⊂ νε(D_m), the final map in the chain (and hence the map ι) is not defined, so the kernel computation and the subsequent d-invariant contradiction do not go through. The gap can be repaired by applying the argument to each D_m^ε instead of to the fixed D_m: because D_m^ε is isotopic to D_m, the curve α_1 still bounds in its exterior, and the chain M_{K_m} → D^4∖N(D_m^ε) → D^4∖νε(D_m^ε) → D^4∖D'_m,ε is legitimate. This yields a contradiction for every ε and proves the theorem. The manuscript should be revised to make this quantifier handling explicit.
minor comments (4)
- [Definition of smoothly non-approximable and proof] The same symbol D (or D_m) is used for the fixed disc and for the variable isotopic disc in the definition and in the contradiction hypothesis. This is confusing; for example, the sentence 'there exists a topological slice disc D_m ... isotopic rel. boundary to D_m' has two different meanings of D_m. Please use distinct notation, such as D_m^ε, for the variable disc.
- [d-invariant step] The proof relies on [CK21, Lemma 5.2], [Cha21, p.17 Assertion], [CK21, Theorem 5.4], and [Cha21, Lemma 4.1] for the decisive d-invariant computations, but these statements are not restated. Since the contradiction is entirely derived from these results, it would improve the paper to state the precise assertions being used.
- [Final remark] In the final remark, the assertion that for every ε > 0 the disc D is topologically isotopic to a disc that contains ∆ in its ε-neighbourhood, and hence D fails to be smoothly non-approximable, is stated without proof. A brief justification or reference would be helpful, since this claim is used to explain the role of the isotopy in the definition.
- [Alexander polynomial computation] The formula ∆_{R_m}(t) = ((m+1)t - m)(mt - (m+1)) is asserted without derivation. A short explanation from the Seifert matrix of R_m would aid the reader's verification.
Circularity Check
No circularity: the non-approximability theorem is derived from explicit knot constructions and external algebraic theorems, with no fitted input or self-referential reduction.
full rationale
The paper's derivation is self-contained with respect to the claimed non-approximability result. The knots Km are explicitly constructed from a satellite operator and the Whitehead double of the trefoil; distinctness follows from a direct Alexander polynomial calculation using Seifert's satellite formula, not from the conclusion. Smooth sliceness and the existence of the topological slice disc Dm are argued from elementary Morse/saddle moves and Freedman's disk theorem (Δ_Wh(t)=1), which are standard external tools. The contradiction argument derives the metaboliser condition ⟨α1⟩ = ker(ι) using Alexander duality, the Blanchfield form, and standard metaboliser facts, all computed from the displayed Seifert matrix; this is a genuine derivation rather than a restatement of the theorem. The d-invariant obstruction is imported from Cha-Kim [CK21] and Cha [Cha21]. Although [CK21] shares an author with the present paper, those cited results are external theorems whose assumptions—a metaboliser condition and a nonzero d-invariant for some spin^c structure on a branched cover—do not include the target non-approximability statement. They are applied, not re-derived, and the paper's remark explicitly explains why earlier work (Meier, CHH13) does not suffice, showing that the authors are not merely renaming a known result. There is no fitted parameter renamed as a prediction, no self-definitional reduction, and no ansatz smuggled in via citation. A possible quantifier-order concern about choosing ε after fixing Dm is a potential correctness gap in the inclusion chain, but it is not a circularity: the proof does not assume what it is trying to prove. Therefore the circularity score is 0.
Assumptions & free parameters
assumptions (6)
- domain assumption Freedman's disc theorem: every knot with Alexander polynomial 1 is topologically slice.
- domain assumption Locally flat topological discs in D4 admit open tubular neighbourhoods (FQ90, Theorem 9.3).
- standard math Alexander duality and the fact that the complement of a slice disc in D4 has H1 isomorphic to Z.
- domain assumption For a slice disc, the kernel of the map on H1 with Q[t±1] coefficients is a metaboliser for the Blanchfield form (COT03, Theorem 4.4; Hil12, Theorem 2.4).
- domain assumption The d-invariant of Ozsvath-Szabo and the branched cover vanishing theorem of Grigsby-Ruberman-Strle (GRS08, Theorem 1.1).
- domain assumption The algebraic and d-invariant lemmas of Cha-Kim (CK21, Lemma 5.2, Theorem 5.4) and Cha (Cha21, p. 17 Assertion, Lemma 4.1).
Cite this review
Pith. "Pith review of Smoothly slice knots with smoothly non-approximable topological slice discs." pith.science (2026). https://pith.science/paper/62AN5LCN
@misc{pith2026250603705,
author = {Pith},
title = {Pith review of: Smoothly slice knots with smoothly non-approximable topological slice discs},
year = {2026},
howpublished = {\url{https://pith.science/paper/62AN5LCN}},
note = {Machine review of arXiv:2506.03705}
}
read the original abstract
We construct infinitely many smoothly slice knots having topological slice discs that are non-approximable by smooth slice discs.
Figures
Reference graph
Works this paper leans on
-
[1]
Jae Choon Cha, Primary decomposition in the smooth concordance group of topologically slice knots, Forum Math. Sigma 9 (2021), Paper No. e57, 37. 4299596
work page 2021
-
[2]
Tim D. Cochran, Shelly Harvey, and Peter Horn, Filtering smooth concordance classes of topologically slice knots, Geom. Topol. 17 (2013), no. 4, 2103--2162. 3109864
work page 2013
-
[3]
Jae Choon Cha and Min Hoon Kim, The bipolar filtration of topologically slice knots, Adv. Math. 388 (2021), Paper No. 107868, 32. 4283760
work page 2021
-
[4]
Tim D. Cochran, Kent E. Orr, and Peter Teichner, Knot concordance, W hitney towers and L 2 -signatures , Ann. of Math. (2) 157 (2003), no. 2, 433--519. 1 973 052
work page 2003
-
[5]
Freedman and Frank Quinn, Topology of 4 -manifolds, Princeton Mathematical Series, vol
Michael H. Freedman and Frank Quinn, Topology of 4 -manifolds, Princeton Mathematical Series, vol. 39, Princeton University Press, Princeton, NJ, 1990. MR1201584 (94b:57021)
work page 1990
-
[6]
Michael H. Freedman, The disk theorem for four-dimensional manifolds, Proceedings of the I nternational C ongress of M athematicians, V ol.\ 1, 2 ( W arsaw, 1983) (Warsaw), PWN, 1984, pp. 647--663. MR804721 (86m:57016)
work page 1983
-
[7]
J. Elisenda Grigsby, Daniel Ruberman, and Sa s o Strle, Knot concordance and H eegaard F loer homology invariants in branched covers , Geom. Topol. 12 (2008), no. 4, 2249--2275. 2443966 (2010g:57036)
work page 2008
-
[8]
52, World Scientific Publishing Co
Jonathan Hillman, Algebraic invariants of links, second ed., Series on Knots and Everything, vol. 52, World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 2012. 2931688
work page 2012
Show all 14 references
-
[9]
(N.S.) 28 (2022), no
Taehee Kim and Charles Livingston, Knot reversal acts non-trivially on the concordance group of topologically slice knots, Selecta Math. (N.S.) 28 (2022), no. 2, Paper No. 38, 17. 4363837
2022
-
[10]
2, 315--351
Jeffrey Meier, Distinguishing topologically and smoothly doubly slice knots, Journal of Topology 8 (2015), no. 2, 315--351
2015
-
[11]
Peter Ozsv \'a th and Zolt \'a n Szab \'o , Absolutely graded F loer homologies and intersection forms for four-manifolds with boundary , Adv. Math. 173 (2003), no. 2, 179--261. 1957829 (2003m:57066)
2003
-
[12]
Herbert Seifert, On the homology invariants of knots, Quart. J. Math., Oxford Ser. (2) 1 (1950), 23--32. 11,735b
1950
-
[13]
Venema, Approximating disks in 4-space, Mich
Gerard A. Venema, Approximating disks in 4-space, Mich. Math. J. 25 (1978), 19--27
1978
-
[14]
Venema, Approximating topological surfaces in 4-manifolds, Transactions of the American Mathematical Society 265 (1981), no
Gerard A. Venema, Approximating topological surfaces in 4-manifolds, Transactions of the American Mathematical Society 265 (1981), no. 1, 35--45
1981
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.