Source authenticated

The purely cosmetic surgery conjecture for knots in the three-sphere

Theorem 1.1: for every nontrivial smooth knot K⊂S3K\subset S^3 and all r,s∈Q∪{∞}r,s\in\mathbb{Q}\cup\{\infty\}, an orientation-preserving homeomorphism Sr3(K)≅Ss3(K)S^3_r(K)\cong S^3_s(K) forces r=sr=s; the homeomorphism need not preserve the surgery core or the knot exterior. After the cited reduction to g(K)=2g(K)=2 and slopes ±2\pm 2, the paper derives a contradiction by comparing a nonzero integer instanton count Ω\Omega on a parameterized cobordism with a one-dimensional count of solutions with spinors whose boundary would force 2ηΩ=02^\eta\Omega=0. It does not address chirally cosmetic (orientation-reversing) surgeries or knots in other three-manifolds.

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Sep 23, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: announcement. AI contribution: ai-discovered. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.

Canonical aliases: The purely cosmetic surgery conjecture for knots in the three-sphere · Purely cosmetic surgery conjecture

Confidence: Not scored

Registry verification: unreviewed · announcement · candidate

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Unreleased internal OpenAI model
model · ai model contributor · OpenAI

Lineage and corrections

The purely cosmetic surgery conjecture for knots in the three-sphere parent of this event

This event attributed to Unreleased internal OpenAI model

The purely cosmetic surgery conjecture for knots in the three-sphere evidence for this event

VibeMathed record: The purely cosmetic surgery conjecture for knots in the three-sphere evidence for this event

Daemi, Lidman, Miller Eismeier, Filtered instanton homology and cosmetic surgery (arXiv:2410.21248) evidence for this event

Theorem 1.1: for every nontrivial smooth knot K⊂S3K\subset S^3 and all r,s∈Q∪{∞}r,s\in\mathbb{Q}\cup\{\infty\}, an orientation-preserving homeomorphism Sr3(K)≅Ss3(K)S^3_r(K)\cong S^3_s(K) forces r=sr=s; the homeomorphism need not preserve the surgery core or the knot exterior. After the cited reduction to g(K)=2g(K)=2 and slopes ±2\pm 2, the paper derives a contradiction by comparing a nonzero integer instanton count Ω\Omega on a parameterized cobordism with a one-dimensional count of solutions with spinors whose boundary would force 2ηΩ=02^\eta\Omega=0. It does not address chirally cosmetic (orientation-reversing) surgeries or knots in other three-manifolds. parent of this event

Act on this frontier

Verify, challenge, or extend the result.