Pith. sign in

REVIEW 2 major objections 2 minor

Equivariant singular instanton Floer theory with Chern–Simons filtration forces mixed signs in null-homologous unknotting sequences for many ribbon-concordant slice knots.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · grok-4.5

2026-07-15 03:29 UTC pith:T2YUB7DG

load-bearing objection Solid Floer-theoretic obstruction to same-sign unknotting for a ribbon-slice class; abstract-only so the filtration details are unaudited, but the claim shape is clean and worth a referee. the 2 major comments →

arxiv 2607.12768 v1 pith:T2YUB7DG submitted 2026-07-14 math.GT

Unknotting number, ribbon concordance, and singular instantons

Hayato Imori , JungHwan Park , Masaki Taniguchi This is my paper
classification math.GT MSC 57K1057R5857K18
keywords unknotting numberribbon concordancesingular instantonsequivariant Floer homologyChern-Simons filtrationnull-homologous twistsDehn surgery numberhomology spheres
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper shows that a large class of slice knots obtained by ribbon concordance cannot be unknotted by a sequence of null-homologous twists that all have the same sign: any such unknotting sequence must use both positive and negative twists. The obstruction is extracted from equivariant singular instanton Floer homology equipped with the Chern–Simons filtration, which is sensitive to the signs of the twists and to the ribbon operations. The same package yields a three-manifold version that rules out certain homology spheres as surgeries on a single knot and supplies evidence that the Dehn surgery number is monotone under ribbon homology cobordism. A sympathetic reader cares because unknotting number and surgery complexity are classical, hard-to-control invariants, and this supplies a Floer-theoretic sign obstruction that interacts cleanly with ribbon concordance.

Core claim

For a large class of slice knots obtained through ribbon concordance, any unknotting sequence of null-homologous twists must contain both signs; the same method obstructs certain homology 3-spheres from arising by surgery on a knot and gives evidence for monotonicity of the Dehn surgery number under ribbon homology cobordism.

What carries the argument

Equivariant singular instanton Floer theory with the Chern–Simons filtration: a filtered Floer homology package for knots and 3-manifolds that detects the sign of null-homologous twists and remains informative under ribbon concordance and ribbon homology cobordism.

Load-bearing premise

The Chern–Simons filtration on equivariant singular instanton Floer homology stays sensitive enough under ribbon concordances and null-homologous twists to produce a genuine obstruction to same-sign unknotting.

What would settle it

An explicit same-sign sequence of null-homologous twists that unknots one of the claimed ribbon-concordant slice knots, or a direct computation of the filtered equivariant singular instanton homology showing that the sign obstruction vanishes for that knot.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • Any unknotting sequence of null-homologous twists for the stated class of ribbon-concordant slice knots must employ both positive and negative twists.
  • Certain homology 3-spheres are ruled out as the result of surgery on a single knot.
  • The Dehn surgery number is expected to be monotone under ribbon homology cobordism, with supporting evidence from the same filtered Floer package.
  • Same-sign unknotting operations are obstructed for an infinite family of slice knots built by ribbon concordance.

Where Pith is reading between the lines

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

  • The same filtration may furnish lower bounds on the minimal number of sign changes needed to unknot, refining classical unknotting number.
  • The method suggests that filtered instanton data can be transported along other concordance operations that preserve ribbon-type singularities.
  • A parallel sign obstruction might apply to higher-genus surfaces or to band sums that realize ribbon concordances.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 2 minor

Summary. The manuscript claims that equivariant singular instanton Floer theory, equipped with the Chern–Simons filtration, yields an obstruction to same-sign unknotting sequences: for a large class of slice knots obtained via ribbon concordance, any unknotting sequence consisting of null-homologous twists must employ both positive and negative twists. The same method is asserted to give a 3-manifold analogue that obstructs certain homology 3-spheres from arising by surgery on a knot and supplies evidence that the Dehn surgery number is monotone under ribbon homology cobordism.

Significance. If the stated obstruction and its 3-manifold counterpart hold, the work would supply a new, filtration-sensitive Floer-theoretic constraint on unknotting number for an interesting class of ribbon-concordant slice knots, and would give concrete evidence toward monotonicity of surgery numbers under ribbon homology cobordism. The use of equivariant singular instantons with Chern–Simons filtration is a natural and potentially powerful tool for such sign-sensitive questions; a verified result of this shape would be of clear interest in low-dimensional topology.

major comments (2)
  1. Only the abstract is available for review. The central claim rests on the Chern–Simons filtration of equivariant singular instanton Floer homology being sufficiently functorial under ribbon concordance and under null-homologous twists, and on non-vanishing of the resulting obstruction for a large class of slice knots. These properties are load-bearing and cannot be audited from the abstract alone; without the body of the paper (definitions, exact statements of the class of knots, and the filtration arguments) it is impossible to certify correctness or to assess the scope of the “large class.”
  2. The abstract asserts a 3-manifold analogue obstructing certain homology spheres from surgery and providing evidence for monotonicity of the Dehn surgery number under ribbon homology cobordism. The precise statement of which spheres are obstructed, the relation to the knot-theoretic filtration, and the sense in which the evidence is obtained are not visible; these claims are likewise load-bearing for the paper’s second main contribution and require the full text.
minor comments (2)
  1. The abstract is clearly written and states the main claims cleanly, but the phrase “a large class of slice knots obtained through ribbon concordance” is left undefined; a precise characterization (even in the abstract) would help readers gauge the result’s reach.
  2. The term “null-homologous twists” is used without a one-line reminder of the homology condition; a brief parenthetical would improve accessibility for non-specialists.

Circularity Check

0 steps flagged

No significant circularity detectable from abstract-only review of a pure Floer-theoretic obstruction paper.

full rationale

Only the abstract is available. It presents a standard shape of mathematical obstruction: equivariant singular instanton Floer homology equipped with the Chern–Simons filtration is used to rule out same-sign null-homologous unknotting sequences for a large class of ribbon-concordant slice knots, with a parallel 3-manifold statement about Dehn surgery and ribbon homology cobordism. Nothing in the abstract indicates that the target obstruction is obtained by redefining the input, by fitting a parameter to related data and renaming the fit a prediction, by a load-bearing uniqueness theorem imported solely from the authors’ prior work, or by smuggling an ansatz via self-citation. The result is framed as an external Floer-theoretic detection, not as a quantity forced by construction. Self-citation risk is possible in any specialized Floer program but is not visible or load-bearing from the abstract alone. Per the hard rules for abstract-only pure-math cases that are self-contained against external benchmarks in form, the honest finding is score 0 with empty steps.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

Abstract-only pure-math paper. No free parameters or fitted constants appear. Background axioms are standard low-dimensional topology and the existence/functoriality of equivariant singular instanton Floer homology with Chern–Simons filtration. No new particles or physical entities; the 'invented' content is mathematical construction already in the Floer literature rather than ad-hoc entities invented here. Exhaustiveness is limited by abstract-only access.

axioms (3)
  • domain assumption Existence and basic functoriality of equivariant singular instanton Floer homology with Chern–Simons filtration for the relevant knots and cobordisms.
    The entire obstruction method is built on this theory; the abstract invokes it as the detection tool without restating its foundations.
  • domain assumption Ribbon concordance and null-homologous twists act on the Floer package in a way compatible with the claimed sign obstruction.
    Load-bearing for transferring the filtration obstruction across the ribbon-slice class and unknotting sequences.
  • standard math Standard definitions of slice knots, unknotting number via twists, homology 3-spheres, and Dehn surgery number.
    Classical 3- and 4-manifold topology background assumed throughout the abstract.

pith-pipeline@v1.1.0-grok45 · 5980 in / 2460 out tokens · 23698 ms · 2026-07-15T03:29:02.382736+00:00 · methodology

0 comments
read the original abstract

We use equivariant singular instanton Floer theory with the Chern--Simons filtration to obstruct same-sign unknotting operations. We show that, for a large class of slice knots obtained through ribbon concordance, any unknotting sequence of null-homologous twists must contain both signs. The same method gives a $3$--manifold analogue, obstructing certain homology $3$--spheres from surgery on a knot and providing evidence for the monotonicity of the Dehn surgery number under ribbon homology cobordism.

discussion (0)

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