Property P conjecture for knots

GPTKB entity

Statements (15)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:field gptkb:topology
knot theory
https://www.w3.org/2000/01/rdf-schema#label Property P conjecture for knots
gptkbp:implies If a nontrivial knot in S^3 has a nontrivial Dehn surgery yielding a simply connected 3-manifold, then the knot is trivial.
gptkbp:provenBy gptkb:Peter_Kronheimer
gptkb:Tomasz_Mrowka
gptkbp:relatedTo gptkb:Dehn_surgery
gptkb:Poincaré_conjecture
3-manifolds
gptkbp:sentence Every nontrivial knot in the 3-sphere has Property P.
gptkbp:status proven
gptkbp:yearProved 2004
gptkbp:bfsParent gptkb:Kronheimer–Mrowka_theorem
gptkbp:bfsLayer 6