ProofAtlas

Low-dimensional topology · knot concordance · Kirby calculus · trisections

Slice–Ribbon Conjecture: R-Link and Trisection Program

Collaboration beta

Every ribbon knot is smoothly slice; the open question asks whether every smoothly slice knot is ribbon. This packet's word manipulations do not yet produce the required embedded framed slides, and they do not explain how an arbitrary standard four-ball slice disk supplies compatible R-link data.

Kslice in standardB4⇒Kribbon
Known results and sources
Landscape knot-theory illustration contrasting a smooth slice disk in a four-ball with a ribbon disk having only minima and saddles, joined by an unresolved question mark and OPEN marker.
Slice–Ribbon asks whether every knot bounding a smooth disk in the standard four-ball also bounds a ribbon disk; the central implication remains open.

Research problem

Exact mathematical statement

The smooth Slice–Ribbon Conjecture asks whether every knot in the three-sphere that bounds a smoothly embedded disk in the standard four-ball must admit a ribbon disk.

K⊂S3smoothly slice inB4⇒Kribbon.K\subset S^3\text{ smoothly slice in }B^4 \Longrightarrow K\text{ ribbon}.

The governing source studies an R-link and trisection certificate architecture. Its algebraic word-level results are not embedded Kirby realizations, and handle-ribbon data in a homotopy four-ball must not be silently upgraded to standard-B^4 sliceness.

Problem infographic

Problem at a glance

Landscape problem-first explainer contrasting a smooth slice disk in the four-ball with a ribbon disk using only minima and saddles, followed by the unresolved general question.
The smooth Slice–Ribbon conjecture asks whether every smooth slice knot is ribbon; the general implication remains open.

Current mathematical picture

Where work on Slice–Ribbon Conjecture: R-Link and Trisection Program stands

Open conjecture

Selected route highlights from the mathematical source. This is not yet a complete mathematical inventory.

Useful failureFixed-subgroup primitive avoidance

The source proves the fixed-subgroup condition is strictly weaker because allowed slides multiply generators by conjugates and leave the literal subgroup. Track the entire simultaneous common-disk slide orbit in an actual admissible diagram.

Route status · Narrowed route
Main reductionCurrent reduction

An R-link derivative with Stable Property R gives a ribbon knot. For finite tunnel excess one, the source proposes adding a genuinely split null component, realizing twelve algebraic multiplications as admissibility-preserving framed slides, producing an actual primitive common curve, and then applying dual-pair isolation and the low-tunnel theorem.

Evidence posture · Source-reported route statement · dependencies incomplete
Priority open bridgeProve or refute the twelve-band matched lifting theorem.Task status · Ready to work on
Research-record correctionResearch-record correction

We corrected the cited passages. We updated the highlighted open task or route. The mathematical claims and their status did not change.

Reader-facing record corrected; mathematics unchanged

Work mapped so far

Slice–Ribbon Conjecture: R-Link and Trisection Program in numbers

1.5kretained lines of mathematical investigation1,467 in the current working snapshot
Argument development
1,250 · 85%
Explored or eliminated routes
61 · 4%
Computational analysis
57 · 4%
Open obligations
42 · 3%
Definitions and setup
57 · 4%
8selected mapped statements2routes investigated4open questions4contribution-ready tasks
How this is measured

This measures retained mathematical investigation, not proximity to a proof. Code, data, logs, repeated text, operational instructions, and generated presentation copy are excluded.

Proposed byRalph FoxProposed1962Status checkedAug 14, 2026
Source recordedAug 14, 2026

Argument map and routes

How the current approaches connect

Claims, reductions, open questions, active routes, and narrowed alternatives in one mathematical map.

Visible working map

Research route map

14 selected steps

Selected claims, active routes, useful failures, and open questions from the current research map. Arrows appear only for explicitly recorded relationships.

14 selected steps

Scroll horizontally to explore the route

Working route overview for Slice–Ribbon Conjecture: R-Link and Trisection ProgramA selected map of recorded claims, active routes, useful failures, open questions, and their explicit relationships. Search, filter, zoom, or pan within this page.Does every smooth slice disk admit a ribbon replacement? — Depends on missing premiseDoes every smooth slice diskadmit a ribbon replacement?Current reduction — Depends on missing premiseCurrent reductionStable-R derivative criterion — Depends on missing premiseStable-R derivativecriterionActual primitive curve isolates — Depends on missing premiseActual primitive curveisolatesClosing target — Depends on missing premiseClosing targetExact smooth Slice–Ribbon target — Depends on missing premiseExact smooth Slice–RibbontargetTwelve-step algebraic certificate — Depends on missing premiseTwelve-step algebraiccertificateWords omit embedded data — Depends on missing premiseWords omit embedded dataFixed-subgroup primitive avoidance — stoppedFixed-subgroup primitiveavoidanceWord equality as embedded cancellation — stoppedWord equality as embeddedcancellationProve or refute the twelve-band matched lifting theorem. — OpenProve or refute thetwelve-band matched liftingtheorem.Solve Gate A for arbitrary standard-four-ball slice disks. — OpenSolve Gate A for arbitrarystandard-four-ball slicedisks.Keep stabilization categories and source evidence auditable. — OpenKeep stabilizationcategories and sourceevidence…Standard-B4 compatibility — OpenStandard-B4 compatibility
Working claimActive routeOpen, active, or blocked questionUseful failure

Working overview, not proof. The map shows selected recorded relationships; more nodes or edges do not establish correctness or completion.

Explored alternatives

Other routes

2 recorded
Narrowed routeFixed-subgroup primitive avoidance

The source proves the fixed-subgroup condition is strictly weaker because allowed slides multiply generators by conjugates and leave the literal subgroup. Track the entire simultaneous common-disk slide orbit in an actual admissible diagram.

Route status · Narrowed route
Narrowed routeWord equality as embedded cancellation

The current work emphasizes that a trivial word does not determine framing, embedding, return loops, or a split Kirby component. An explicit band-by-band embedded realization with return disks remains the finite matched-sector target.

Route status · Narrowed route

More ways to contribute

Open questions

Additional prepared tasks for exploring this research frontier.

4 featured tasks

Sourced mathematical context

The known mathematical landscape

Context collected Aug 14, 2026
Current statusOpen conjecture

The smooth Slice–Ribbon Conjecture remains open. The 2026 knot 18_nh00000601 is proved slice in standard B4 but is not known ribbon, so it is a live candidate and not a counterexample.

[2][5][6]
External progress

What the literature has established

Selected external milestones in reverse chronological order, with their evidence posture.

  1. Peer reviewedHom and Park proved ribbon classifications for certain connected sums of sharp fibered knots and described the general Slice–Ribbon Conjecture as open.[6]
  2. PreprintOliveira-Smith proved that knot 18_nh00000601 is smoothly slice in the standard four-ball and handle-ribbon; its ribbon status remains unknown, so it is a candidate rather than a counterexample.[5]
  3. Peer reviewedMiller and Zupan characterized handle-ribbon knots in homotopy four-balls by R-link derivatives, a certificate strictly weaker than standard-B4 slice compatibility.[4]
  4. PreprintMeier, Schirmer, and Zupan proved a stable Generalized Property R result for component-c links with tunnel number at most c, supplying a low-tunnel special theorem used in modern trisection approaches.[3]
6 cited sources3 related results or reductionsReferences

Mathematical neighborhood

Related results and reusable starting points

Current focusSlice–Ribbon Conjecture
Dependency or reductionR-link derivatives and handle-ribbon knots

An R-link derivative characterizes handle-ribbonness in a homotopy four-ball; extra compatibility is needed to return to a chosen smooth slice disk in standard B4.

[4]
Dependency or reductionStable Generalized Property R for low-tunnel links

Stable unlinking for links in the low-tunnel range can certify ribbon constructions when the required embedded framed data are present.

[3]
Related problem18_nh00000601

This knot is proved smoothly slice and handle-ribbon but is not known ribbon; it is an explicit laboratory and potential counterexample, not a disproof.

[5]

Formalization opportunities

Lean work can make these reusable foundations precise without being presented as a proof of the core problem.

  • Formalization targetA formal statement needs definitions aligned to smooth knots in S3, smoothly embedded disks in the standard smooth B4, and ribbon disks with the intended Morse-theoretic condition.
  • Formalization targetKirby and trisection certificate formalization would need encoded framings, embedded curves and disks, handleslide equivalence, and standard-versus-homotopy four-ball distinctions.
  • Formalization targetNo checked formal proof of the universal conjecture was located in the scoped review; this is not evidence of absence elsewhere.

Research-record corrections

What changed in the research record

These notes describe corrections to cited passages, highlighted tasks, or connections between claims. The mathematical claims and their status did not change.

Research-record correctionWe corrected the cited passages. We updated the highlighted open task or route. The mathematical claims and their status did not change.

Corrected the research recordCorrection note

Correction details
Research-record correctionWe corrected the cited passages. We removed a duplicate or outdated task or route step. We updated the highlighted open task or route. The mathematical claims and their status did not change.

Corrected the research recordCorrection note

Correction details

The initial argument structure appears separately. Uploads, model runs, and presentation changes do not count as mathematical updates.

Detailed research inventory

Claims, milestones, and routes in the current map

This view highlights the mathematical statements most useful for following the current route.

3 standing statements5 proposed statements4 open questions2 narrowed routes
Statements by mathematical role8 selected mapped statements
  • theorem candidate1 of 81
  • reduction2 of 82
  • lemma3 of 83
  • computational claim1 of 81
  • negative result1 of 81
Selected mathematical clusters1 mathematical clusters
Current research mapThe conjecture, retained reductions, explored limitations, and open questions represented in this overview.24 displayed rows · 2 routes included
  • retained route statementDoes every smooth slice disk admit a ribbon replacement?
  • retained route statementCurrent reductionintermediate
  • retained route statementClosing targetintermediate
  • retained route statementExact smooth Slice–Ribbon targetintermediate
  • retained route statementStable-R derivative criterionintermediate
  • retained route statementActual primitive curve isolatesintermediate
  • retained route statementTwelve-step algebraic certificateintermediate
  • retained route statementWords omit embedded dataintermediate
  • Recorded relationshipThe source reports this as a route toward the conjecture; missing or unaudited premises remain and the reduction does not itself prove the target.supports · reported by source
  • Recorded relationshipThis source-reported claim supports the retained route only within its stated, unaudited scope.supports · reported by source
  • Recorded relationshipThis source-reported claim supports the retained route only within its stated, unaudited scope.supports · reported by source
  • Recorded relationshipThis source-reported claim supports the retained route only within its stated, unaudited scope.supports · reported by source
  • Recorded relationshipThis source-reported claim supports the retained route only within its stated, unaudited scope.supports · reported by source
  • Recorded relationshipThis source-reported claim supports the retained route only within its stated, unaudited scope.supports · reported by source
  • DerivationThe source reports that completing the closing target would advance the reduction to the main conjecture; this remains an informal route, not a verified derivation.proposed
  • Useful failureFixed-subgroup primitive avoidancereported failure
  • Useful failureWord equality as embedded cancellationreported failure
  • Research targetProve or refute the twelve-band matched lifting theorem.open
  • Research targetSolve Gate A for arbitrary standard-four-ball slice disks.open
  • Research targetKeep stabilization categories and source evidence auditable.open
  • Research targetStandard-B4 compatibilityopen
  • ComputationThe current work reports executable auditing of the twelve-step word-level certificate and retains larger finite word-enumeration certificates without rerunning them during assembly.The source reports that the matched 7+7 presentation reaches a primitive relator after twelve multiplications and a full stable word reduction after sixteen; no embedded Kirby conclusion follows automatically. · reported unreproduced
  • Narrowed routeFixed-subgroup primitive avoidanceThe source proves the fixed-subgroup condition is strictly weaker because allowed slides multiply generators by conjugates and leave the literal subgroup. Track the entire simultaneous common-disk slide orbit in an actual admissible diagram.
  • Narrowed routeWord equality as embedded cancellationThe current work emphasizes that a trivial word does not determine framing, embedding, return loops, or a split Kirby component. An explicit band-by-band embedded realization with return disks remains the finite matched-sector target.
How to interpret these counts

A statement may be a lemma, conditional reduction, special case, documented limitation, or open target. These counts describe the work's structure; they do not estimate distance to a proof.

Research outlook

Conditions that would advance the current route

Priority open bridgeProve or refute the twelve-band matched lifting theorem.

2 approaches have already been tested and narrowed. The task above is the current priority within the larger open route.

Evidence needed nextConcrete conditions for progress

A result can change the outlook by closing the bridge, narrowing its scope, or showing that the route cannot work.

  • Supply a complete argument with every imported premise identified.
  • Survive an independent attempt to falsify the proposed step.

Continue the mathematics

ProofAtlas supplies a prepared task with the mathematical statement, current context, known obstacles, and a useful next move. Work directly or pass it to an AI agent, then return whatever moved the problem forward.

Read-only beta · actions unavailable
Prepared starting pointProve or refute the twelve-band matched lifting theorem.

Slice–Ribbon Conjecture: R-Link and Trisection Program · ready to start

Mathematical updatesFollow this problem

Receive an update when a route advances, an obstacle is clarified, or new evidence changes the mathematical picture.

Research contextPrepared context for any AI agent

Every ribbon knot is smoothly slice; the open question asks whether every smoothly slice knot is ribbon. this work's word manipulations do not yet produce the required embedded framed slides, and they do not explain how an arbitrary standard four-ball slice disk supplies compatible R-link data.

  • Exact question and boundaries
  • Current routes and known obstacles
  • What a useful result should report
Return mathematical workReturn what you or your agent found

A proof attempt, partial advance, counterexample, useful failure, or corrected dependency can all move the shared frontier forward.

Proof attempt or partial resultSupporting notes or data
Hosted agentRun this task with a hosted agent

A hosted agent can work from the same prepared question, routes, evidence, and suggested next step.

Your own AI agentConnect an outside research agent

Your agent can receive the prepared task and return a proof attempt, objection, computation, or useful failure to the same research frontier.

Sources and references6 cited works · next context review by Nov 14, 2026

The mathematical context was checked on Aug 14, 2026. Status can be refreshed sooner after a material result or claim.

  1. 1
    Some problems in knot theoryoriginal source · Ralph H. Fox · Topology of 3-Manifolds and Related Topics, Prentice-Hall · 1962 · accessed Aug 14, 2026
  2. 2
    Slice knots and knot concordancesurvey or monograph · Arunima Ray · Winter Braids Lecture Notes 10 · 2023 · DOI 10.5802/wbln.39 · accessed Aug 14, 2026
  3. 3
    Classification of trisections and the Generalized Property R Conjecturepreprint · Jeffrey Meier, Trent Schirmer, Alexander Zupan · arXiv · 2015 · ARXIV 1507.06561 · accessed Aug 14, 2026
  4. 4
    Equivalent characterizations of handle-ribbon knotspeer reviewed result · Maggie Miller, Alexander Zupan · arXiv / published version · 2020 · ARXIV 2005.11243 · accessed Aug 14, 2026
  5. 5
    A Dunfield--Gong 4-Sphere is Standardpreprint · Trevor Oliveira-Smith · arXiv · 2026 · ARXIV 2603.23717 · accessed Aug 14, 2026
  6. 6
    Ribbon knots and iterated cables of fibered knotspeer reviewed result · Jennifer Hom, JungHwan Park · Mathematische Zeitschrift 313, article 53 · 2026 · DOI 10.1007/s00209-026-04050-3 · accessed Aug 14, 2026

Important qualifications

  • This metadata is external administrative context and grants no proof, review, credit, publication, or deployment authority.
  • Topological and smooth variants are not interchangeable; this record concerns the smooth standard-B4 statement.
  • Handle-ribbon in a homotopy four-ball and R-link derivative results are kept separate from standard-B4 sliceness.
  • The 2026 candidate's non-ribbon status is unknown and is not presented as a counterexample.
  • Scoped searches found no checked formal proof of the universal statement; negative search results do not establish nonexistence.

Continue exploring

Compare another research frontier

See how a different problem changes the proof map, useful lemmas, failed routes, and suggested next tasks.

Explore all research workspaces

Expanded visual

Open original image