Pith. sign in

REVIEW 1 major objections 5 minor 1 cited by

A note on the topological slice genus of satellite knots

T0 review · 1 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read For any satellite knot $P(K)$, the $\mathbb{Z}$-slice genus is at most the sum of those of $P(U)$ and $K$.

desk verdict A new and likely correct inequality for the Z-slice genus of satellite knots, proved by an elementary Seifert matrix argument; the geometric conclusion leans on a cited deep equality, so referee it. read the letter →

arxiv 1908.03760 v1 pith:VS4KQGUP submitted 2019-08-10 math.GT

Peter Feller , Allison N. Miller , Juanita Pinzon-Caicedo This is my paper · ORCID
classification math.GT MSC 57K10
keywords topologicalslicegenusZ-slicesatelliteknotsalgebraicSeifertmatricescablewindingnumbersignatureinvariants
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 targets a conjecture: in the topological category, the slice genus of a satellite knot $P(K)$ should be no larger than the sum of the slice genera of the pattern on the unknot and of the companion knot, with the pattern's winding number playing no role. The paper proves this inequality for the $\mathbb{Z}$-slice genus, a topological slice-genus variant that requires the complement of the bounding surface to have fundamental group $\mathbb{Z}$. If the conjecture is true, then winding a knot many times around a satellite pattern does not inflate the topological genus needed to bound it inside the 4-ball, in sharp contrast to the smooth category. The paper also shows that the standard signature lower bounds cannot be used to disprove the conjecture.

What carries the argument

The load-bearing device is the algebraic genus $g_{alg}$ of a link, defined as the minimum value of $(m-2n-r+1)/2$ over Seifert surfaces whose $m \times m$ Seifert matrix contains a $2n \times 2n$ submatrix $B$ with $\det(tB-B^T)=t^n$; such a $B$ is called Alexander trivial. For a satellite, the paper constructs a Seifert surface whose Seifert matrix is the block sum $V_1 \oplus |w|V_2$, where $V_1$ realizes $g_{alg}(P(U))$ and $V_2$ realizes $g_{alg}(K)$. The core computation shows that the $|w|$-fold block matrix built from $V_2$ contains an Alexander-trivial submatrix of the required size, with the determinant check supplied by the classical satellite formula for Alexander polynomials. Because $g_{\mathbb{Z}} = g_{alg}$ for knots, the algebraic inequality becomes the geometric theorem. An alternative route via the linking form on the Alexander module is also noted.

What would settle it

Take a nontrivial winding-number-one pattern $P$ and a knot $K$ with nontrivial Alexander polynomial, and compute $g_{\mathbb{Z}}(P(K))$ and $g_{\mathbb{Z}}(P(U)\# K)$ from their Seifert matrices; the theorem predicts equality, so any discrepancy would refute Theorem 1.2.

Watch

Extended reading notes

Core claim

The paper's central result is Theorem 1.2: for every pattern $P$ and knot $K$, $g_{\mathbb{Z}}(P(K)) \le g_{\mathbb{Z}}(P(U)) + g_{\mathbb{Z}}(K)$, where $g_{\mathbb{Z}}$ is the slice genus in the topological category with the added requirement that the complement of the bounding surface have fundamental group $\mathbb{Z}$. The proof is stronger in the extreme winding cases: for winding number $0$, $g_{\mathbb{Z}}(P(K)) = g_{\mathbb{Z}}(P(U))$, and for winding number $\pm 1$, $g_{\mathbb{Z}}(P(K)) = g_{\mathbb{Z}}(P(U)\# K)$. Since $g_4^{top} \le g_{\mathbb{Z}}$, this gives unconditional upper bounds on the topological 4-genus of satellites. Examples include: the $(n,1)$-cable of the trefoil has topological 4-genus exactly $1$ for every $n>0$ while its smooth 4-genus is $n$; if the pattern has trivial Alexander polynomial on the unknot, then $g_4^{top}(P(K)) \le g_3(K)$; and iterated 2-cabling of positive torus knots yields knots where the ratio of topological to smooth genus is at most $2/3$ along an infinite sequence.

Load-bearing premise

The proof relies on the cited deep theorem that the algebraic genus equals the $\mathbb{Z}$-slice genus for knots; without that equality the argument would only bound the algebraic genus, not the geometric genus.

Editorial extensions

If this is right

  • The $(n,1)$-cable of any knot of 3-genus 1 (for example the trefoil or figure-eight) has topological 4-genus at most 1; for the trefoil it is exactly 1 for every $n>0$, while its smooth 4-genus is $n$.
  • If the pattern has trivial Alexander polynomial on the unknot, then $g_4^{top}(P(K)) \le g_3(K)$ for every companion $K$.
  • The topological 4-genus of $P(T_{2,2n+1})$ grows like that of the torus knot itself: the ratio tends to 1 for patterns of nonzero winding number and to 0 for winding number 0, in contrast to the smooth ratio $|w|$.
  • Iterated 2-cabling of positive torus knots produces positive braid knots with $\lim_{n\to\infty} g_4^{top}(K_n)/g_3(K_n) \le 2/3$, while the smooth genus ratio is 1.
  • The Tristram-Levine and Casson-Gordon signature lower bounds always hold at the level $g = g_4^{top}(P(U)) + g_4^{top}(K)$, so those invariants cannot disprove the conjectured inequality.

Reading between the lines

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

  • The equality cases for $w=0$ and $w=\pm1$ suggest a route to the open question of whether $P(K)$ is topologically concordant to $P(U)\# K$ when $w=1$: a concordance lifting the $\mathbb{Z}$-slice genus equality would transfer all concordance invariants.
  • If the equality $g_{\mathbb{Z}} = g_{alg}$ were extended to links, the same Seifert-matrix argument would prove the inequality for multi-component satellites, a case the paper explicitly leaves open.
  • The ratio bound for iterated positive braid cables gives an infinite family of knots whose topological genus is provably at most $2/3$ of the smooth genus; sharper lower bounds from any new invariant would test how close the bound is to sharp.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

1 major / 5 minor

Summary. This paper studies the topological slice genus of satellite knots. The main result (Theorem 1.2) states that for any pattern P (a knot in a solid torus) and any knot K, the Z-slice genus satisfies g_Z(P(K)) ≤ g_Z(P(U)) + g_Z(K). The proof proceeds by proving a purely algebraic inequality for the algebraic genus galg (Proposition 2.4) via explicit Seifert matrix manipulations, and then invoking the equality g_Z = galg for knots, cited as [FL19, Corollary 1.5]. The authors derive several applications: bounds on the topological 4-genus of (n,1)-cables of genus-one knots, a limit statement for torus knots showing that the topological 4-genus grows at most like the companion's 4-genus, and examples of positive braid knots where the topological 4-genus is strictly smaller than the smooth 4-genus. Section 3 proves that Tristram-Levine signatures and Gilmer's Casson-Gordon signatures cannot be used to disprove the conjecture that g_top_4(P(K)) ≤ g_top_4(P(U)) + g_top_4(K).

Significance. If the result holds, it provides strong evidence for the surprising Conjecture 1.1, which asserts that the winding number of a pattern does not contribute to the topological 4-genus of satellites. This stands in contrast with the smooth category, where cables of genus-one knots can have arbitrarily large smooth 4-genus. The algebraic proof of Proposition 2.4 is self-contained and elegant, and the applications to positive braid knots and iterated cables are new. The Casson-Gordon analysis (Theorem 3.1) is thorough and clarifies which known lower bounds cannot refute the conjecture. The paper also benefits from mentioning two independent proofs of Theorem 1.2, by McCoy and via Blanchfield pairings, which increases confidence in the result.

major comments (1)
  1. [Section 2, Proof of Theorem 1.2] The proof of Theorem 1.2 relies entirely on the equality g_Z = galg for knots, cited as [FL19, Corollary 1.5]. This is a deep theorem (dependent on the Disc Embedding Theorem) and is a self-citation of one of the authors. The paper's geometric consequences (Corollaries 1.3–1.6, Proposition 4.4, Example 4.6) all depend on Theorem 1.2. The authors should explicitly state that Theorem 1.2 is conditional on [FL19, Corollary 1.5] and, if [FL19] is still a preprint, indicate its status. The paper's own warning that the equality g_Z = galg is unknown for multi-component patterns (end of Section 2) underscores that this is the load-bearing point.
minor comments (5)
  1. [Section 3, Proof of Theorem 3.1, Case 1] In the verification of property (I), the text states that A_1 has an even presentation of rank 2(n−1)g_K, but the cited property (PI) gives rank 2(n−1)g_P. The subsequent addition of a trivial group of rank 2(n−1)(g−g_K) suggests the authors intended g_P and g−g_P. Please correct this typo, as the current wording implies an incorrect rank computation.
  2. [Section 4, Proof of Proposition 4.4] The choice of s_n should justify that e^{is_n} is regular for Δ_{P(K_n)}; the current sentence says it 'follows' from the choice of s_n, but a reader may need the observation that the interval for s_n w contains no roots of Δ_{K_n}.
  3. [Abstract and Introduction] The term '3-genus 1 knot' should be defined or replaced by 'Seifert genus 1' to avoid confusion with other notions of genus. Also, in Example 1.3 the notation C_{n,1}(U) might confuse readers; consider adding a sentence identifying P(U) for this pattern as the unknot.
  4. [Section 2, Lemma 2.5 and Figure 4] The caption and the surrounding text refer to 'disks' but the figure shows annuli after stabilization. Clarify the relationship between the disks and the annulus.
  5. [Global] The phrase 'algebraic winding number' is redundant; 'winding number' would suffice. This is a stylistic point only.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the algebraic inequality is proved directly from Seifert matrices, and the cited g_Z = g_alg equality is independent supporting work.

full rationale

The central algebraic result (Proposition 2.4) is derived directly: Lemma 2.5 builds a Seifert surface for P(U) realizing galg(P(U)), and the proof of Proposition 2.4 forms the satellite Seifert matrix as V1 ⊕ |w|V2, then exhibits an Alexander-trivial submatrix of the required size by an explicit congruence and determinant computation. This is a genuine matrix-theoretic reduction, not a renaming or a fitted parameter. Theorem 1.2 is then obtained by substituting the equality gZ = galg for knots, cited as [FL19, Corollary 1.5]. Although [FL19] shares an author with the present paper, it is an independent theorem with its own proof and does not assume Theorem 1.2; per the review rules this is real evidence and not circular. The paper also flags the limitation that for multi-component patterns only gZ ≤ galg is known, so the geometric theorem is confined to connected patterns—this is a scope limitation, not a circular step. The signature-based sections use standard external satellite formulas (Litherland, Gilmer, Hom) and do not define the target quantity in terms of the conjecture. No self-definitional, fitted-input, imported-uniqueness, or ansatz-by-citation pattern was found.

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

No free parameters or invented entities. The proof relies on prior results, chiefly Feller-Lewark's equality g_Z = g_alg for knots, Litherland's satellite formulas, Gilmer's Casson-Gordon bounds, and Freedman's characterization of trivial Alexander polynomial.

assumptions (7)
  • domain assumption g_Z = g_alg for all knots (Feller-Lewark, [FL19, Corollary 1.5]).
    Used in Proof of Theorem 1.2 to convert Proposition 2.4 into the Z-slice genus statement. Deep result depending on the Disc Embedding Theorem; the paper does not reprove it.
  • domain assumption Stabilization of a Seifert surface preserves the property of realizing the algebraic genus ([FL18, Lemma 14]).
    Used in Lemma 2.5 to modify a genus-realizing surface for P(U) so it meets the unknot η only positively, w times.
  • standard math Litherland's formulas for Alexander polynomial and Tristram-Levine signatures of satellites ([Lit79], [Lit84]).
    Used in Proposition 2.4's determinant computation and in Sections 3-4 for signature bounds.
  • standard math Gilmer's Casson-Gordon slice genus obstruction as reformulated in [Mil19] (Theorem 3.3).
    Used in Theorem 3.1 to show the Gilmer bounds hold for the satellite with g = g^top_4(P(U)) + g^top_4(K).
  • standard math Litherland's formula for Casson-Gordon signatures of satellite knots (Theorem 3.4 in the paper).
    Used in the proof of Theorem 3.1 to decompose Casson-Gordon signatures of P(K) into those of P(U) and K.
  • standard math Freedman's theorem that g_Z(K)=0 if and only if the Alexander polynomial Δ_K(t)=1 ([Fre82]).
    Used in Corollary 1.5 and in remarks about Alexander polynomial bounds.
  • standard math Hom's theorem on the Heegaard Floer tau invariant of cable knots ([Hom14]).
    Used in Section 4 to establish smooth-category contrast results for cables.

how reviews work

0 comments
Cite this review

Pith. "Pith review of A note on the topological slice genus of satellite knots." pith.science (2026). https://pith.science/paper/VS4KQGUP

@misc{pith2026190803760,
  author       = {Pith},
  title        = {Pith review of: A note on the topological slice genus of satellite knots},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/VS4KQGUP}},
  note         = {Machine review of arXiv:1908.03760}
}
abstract

This paper presents evidence supporting the surprising conjecture that in the topological category the slice genus of a satellite knot $P(K)$ is bounded above by the sum of the slice genera of $K$ and $P(U)$. Our main result establishes this conjecture for a variant of the topological slice genus, the $\mathbb{Z}$-slice genus. As an application, we show that the $(n,1)$-cable of any 3-genus 1 knot (e.g. the figure 8 or trefoil knot) has topological slice genus at most 1. Further, we show that the lower bounds on the slice genus coming from the Tristram-Levine and Casson-Gordon signatures cannot be used to disprove the conjecture. Notably, the conjectured upper bound does not involve the algebraic winding number of the pattern $P$. This stands in stark contrast with the smooth category, where for example there are many genus 1 knots whose $(n,1)$-cables have arbitrarily large smooth 4-genera.

Figures

Figures reproduced from arXiv: 1908.03760 by the authors.

Figure 1
Figure 1. A pattern P = C4,1 with |w| = 4 (left), a knot K (center), and the satellite P(K) (right). The box on the right indicates three negative full twists. Unsurprisingly, the 4-dimensional situation is more complicated. We remind the reader that the topolog￾ical 4-genus of K, denoted g top 4 (K), is the minimal genus of any locally flatly embedded orientable surface in B4 with boundary K, and the smooth 4-genus g sm 4 (K… view at source ↗
Figure 2
Figure 2. The pattern PJ , which depends on the choice of an auxiliary knot J and has algebraic winding number equal to 0. Example 1.7. Let PJ be the pattern shown in [PITH_FULL_IMAGE:figures/full_fig_p003_2.png] view at source ↗
Figure 3
Figure 3. A Seifert surface for a pattern P (left) and a Seifert surface for a knot K (center) combine to give a Seifert surface for P(K) (right). Lemma 2.5. Let P t η be a pattern with winding number w ≥ 0, and let l denote a chosen 0-framed longitude in the boundary of V = S 3 \ N(η). There exists a Seifert surface G ⊂ S 3 \ N(η) for the link P t wl such that G∪wl wD2 is a Seifert surface for P(U) that realizes galg(P(U)). … view at source ↗
Figures from the paper (2 more)
Figure 4
Figure 4. Figure 4: The unknotted component η and some disks in F ∩ N(η) (left) and the annulus obtained after stabilizing (right). F using a tube surrounding the arc a to find a new Seifert surface that has two fewer intersections with η. Iterate this procedure of choosing two disks and …
Figure 5
Figure 5. Figure 5: A Seifert surface for M(41) with separating curve γ isotopic to D(41) [PITH_FULL_IMAGE:figures/full_fig_p009_5.png]

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Gaps between consecutive untwisting numbers

    math.GT 2019-08 conditional novelty 7.0 of 10

    For every p at least 2 there exist knots with arbitrarily large gaps between tu_{p-1} and tu_p, and torus knots with unbounded gaps between tu_1 and tu_2.

Reference graph

Works this paper leans on

30 extracted references · 26 canonical work pages · cited by 1 Pith paper

  1. [1]

    On the topological 4-genus of torus knots

    S. Baader, P. Feller, L. Lewark, and L. Liechti. On the topological 4-genus of torus knots. Trans. Amer. Math. Soc. , 370(4):2639--2656, 2018. ArXiv:1509.07634 [math.GT]

    work page Pith review arXiv 2018

  2. [2]

    A. J. Casson and C. McA. Gordon. On slice knots in dimension three. In 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, pages 39--53. Amer. Math. Soc., Providence, R.I., 1978

    work page 1976

  3. [3]

    A. J. Casson and C. McA. Gordon. Cobordism of classical knots. In \`A la recherche de la topologie perdue , volume 62 of Progr. Math. , pages 181--199. Birkh\" a user Boston, Boston, MA, 1986. With an appendix by P. M. Gilmer

    work page 1986

  4. [4]

    The geometry of the knot concordance space

    Tim Cochran and Shelly Harvey. The geometry of the knot concordance space. Algebr. Geom. Topol. , 18(5):2509--2540, 2018

    work page 2018

  5. [5]

    Miller, and Mark Powell

    Jae Choon Cha, Allison N. Miller, and Mark Powell. Two-solvable and two-bipolar knots with large four-genera, 2019

    work page 2019

  6. [6]

    The degree of the Alexander polynomial is an upper bound for the topological slice genus

    Peter Feller. The degree of the A lexander polynomial is an upper bound for the topological slice genus. Geometry and Topology , 20:1763--1771, 2016. ArXiv:1504.01064 [math.GT]

    work page Pith review arXiv 2016

  7. [7]

    On classical upper bounds for slice genera

    Peter Feller and Lukas Lewark. On classical upper bounds for slice genera. Selecta Math. (N.S.) , 24(5):4885--4916, 2018. ArXiv:1611.02679 [math.GT]

    work page Pith review arXiv 2018

  8. [8]

    Balanced algebraic unknotting, linking forms, and surfaces in three- and four-space

    Peter Feller and Lukas Lewark. Balanced algebraic unknotting, linking forms, and surfaces in three- and four-space. ArXiv e-prints , 2019. ArXiv:1905.08305 [math.GT]

    arXiv 2019

Show all 30 references
  1. [9]

    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. Mosc. Math. J. , 17(1):59--77, 2017

    2017

  2. [10]

    Freedman

    Michael H. Freedman. The topology of four-dimensional manifolds. J. Differential Geom. , 17(3):357--453, 1982

    1982

  3. [11]

    Patrick M. Gilmer. On the slice genus of knots. Invent. Math. , 66(2):191--197, 1982

    1982

  4. [12]

    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

    1999

  5. [13]

    Bordered H eegaard F loer homology and the tau-invariant of cable knots

    Jennifer Hom. Bordered H eegaard F loer homology and the tau-invariant of cable knots. J. Topol. , 7(2):287--326, 2014

    2014

  6. [14]

    C. Kearton. Cobordism of knots and B lanchfield duality. J. London Math. Soc. (2) , 10(4):406--408, 1975

    1975

  7. [15]

    A S eifert-matrix interpretation of C appell and S haneson's approach to link cobordisms

    Ki Hyoung Ko. A S eifert-matrix interpretation of C appell and S haneson's approach to link cobordisms. Math. Proc. Cambridge Philos. Soc. , 106(3):531--545, 1989

    1989

  8. [16]

    J. Levine. Knot cobordism groups in codimension two. Comment. Math. Helv. , 44:229--244, 1969

    1969

  9. [17]

    Nonsurjective satellite operators and piecewise-linear concordance

    Adam Simon Levine. Nonsurjective satellite operators and piecewise-linear concordance. Forum Math. Sigma , 4:e34, 47, 2016

    2016

  10. [18]

    W. B. Raymond Lickorish. An introduction to knot theory , volume 175 of Graduate Texts in Mathematics . Springer-Verlag, New York, 1997

    1997

  11. [19]

    R. A. Litherland. Signatures of iterated torus knots. In Topology of low-dimensional manifolds ( P roc. S econd S ussex C onf., C helwood G ate, 1977) , volume 722 of Lecture Notes in Math. , pages 71--84. Springer, Berlin, 1979

    1977

  12. [20]

    R. A. Litherland. Cobordism of satellite knots. In Four-manifold theory ( D urham, N . H ., 1982) , volume 35 of Contemp. Math. , pages 327--362. Amer. Math. Soc., Providence, RI, 1984

    1982

  13. [21]

    Knot 4-genus and the rank of classes in W( Q(t))

    Charles Livingston. Knot 4-genus and the rank of classes in W( Q(t)) . Pacific J. Math. , 252(1):113--126, 2011

    2011

  14. [22]

    Abelian invariants of satellite knots

    Charles Livingston and Paul Melvin. Abelian invariants of satellite knots. In Geometry and topology ( C ollege P ark, M d., 1983/84) , volume 1167 of Lecture Notes in Math. , pages 217--227. Springer, Berlin, 1985

    1983

  15. [23]

    Null homologous twisting and the algebraic genus

    Duncan McCoy. Null homologous twisting and the algebraic genus. In preparation , 2019

    2019

  16. [24]

    Allison N. Miller. Winding number m and -m patterns acting on concordance. Proc. Amer. Math. Soc. , 147(6):2723--2731, 2019

    2019

  17. [25]

    Some topologically locally-flat surfaces in the complex projective plane

    Lee Rudolph. Some topologically locally-flat surfaces in the complex projective plane. Comment. Math. Helv. , 59(4):592--599, 1984

    1984

  18. [26]

    Quasipositivity as an obstruction to sliceness

    Lee Rudolph. Quasipositivity as an obstruction to sliceness. Bull. Amer. Math. Soc. (N.S.) , 29(1):51--59, 1993

    1993

  19. [27]

    Quasipositive plumbing (constructions of quasipositive knots and links

    Lee Rudolph. Quasipositive plumbing (constructions of quasipositive knots and links. V ). Proc. Amer. Math. Soc. , 126(1):257--267, 1998

    1998

  20. [28]

    Knoten und V ollringe

    Horst Schubert. Knoten und V ollringe. Acta Math. , 90:131--286, 1953

    1953

  21. [29]

    Laurence R. Taylor. On the genera of knots. In Topology of low-dimensional manifolds ( P roc. S econd S ussex C onf., C helwood G ate, 1977) , volume 722 of Lecture Notes in Math. , pages 144--154. Springer, Berlin, 1979

    1977

  22. [30]

    Tristram

    Andrew G. Tristram. Some cobordism invariants for links. Proc. Cambridge Philos. Soc. , 66:251--264, 1969

    1969

Pith tools

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