{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $K \\subset S^3$ be a tame [[knot|QYEAZTYGPT]] that is not the unknot.\nLet $r = p/q \\in \\mathbb{Q}$ be a slope other than $\\infty = 1/0$, and let $S^3_r(K)$ be the result of [[Dehn surgery|ZA405B0Z1S]] on $K$ with slope $r$.\nThen $S^3_r(K)$ is not simply connected.\n\n## Remarks\n\nThe homology of $S^3_{p/q}(K)$ is $\\Z / p$, or $\\Z$ when $p = 0$, so it is nontrivial unless $p = \\pm 1$.\nThe content of the theorem is therefore about the slopes $r = \\pm 1/q$.\nKronheimer and Mrowka proved it in 2004 using instanton Floer homology and work on taut foliations and contact structures.\nWith the Poincaré conjecture, proved by Perelman, it also follows from the Gordon–Luecke result that a nontrivial surgery on a nontrivial knot never gives $S^3$.\nThe hypothesis that $K$ is knotted is needed: $1/q$ surgery on the unknot gives $S^3$.\nExample: $+1$ surgery on the right-handed trefoil gives the [[Poincaré homology sphere|NHERCK7C43]], up to orientation, which has the same homology as $S^3$ but a fundamental group of order $120$.\n\n## Explanations\n\n### L1 human\n\nDehn surgery cuts out a thickened knot from space and glues it back in a twisted way, making a new three-dimensional space.\nFor the unknot, some twists give back the $3$-sphere.\nThe theorem says that for a genuine knot, every twisted regluing gives a space with a loop that cannot be shrunk.\nSo surgery on a real knot always leaves a trace in the fundamental group.\n\n### L2 human\n\nBy the [[Lickorish–Wallace theorem|1YP4RF1QXV]] every closed orientable $3$-manifold arises by surgery on a link, so it is natural to ask what surgery on a single knot can produce.\nProperty P says that, apart from the slope $\\infty$ which gives back $S^3$, it never produces a fake or real $3$-sphere.\nIt implies the key step of the [[Gordon–Luecke theorem|EBASBW5TYS]], that nontrivial surgery on a nontrivial knot never gives $S^3$.\nConversely, that step together with the Poincaré conjecture implies Property P.\nThe proof by Kronheimer and Mrowka shows that the fundamental group of $S^3_{\\pm 1/q}(K)$ has a nontrivial representation into $SU(2)$.\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "about": [
      "QYEAZTYGPT",
      "ZA405B0Z1S"
    ],
    "kind": "statement",
    "msc": [
      "57K10",
      "57K30"
    ],
    "name": "Property P conjecture",
    "role": "theorem",
    "same_as": {
      "wikidata": "Q7250222",
      "wikipedia": "Property P conjecture"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Property_P_conjecture"
      }
    ],
    "tag": "Q630X0VHAE",
    "uses": [
      "QYEAZTYGPT",
      "ZA405B0Z1S"
    ]
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/Q630X0VHAE/",
  "links": [
    {
      "field": "about",
      "target": "QYEAZTYGPT"
    },
    {
      "field": "about",
      "target": "ZA405B0Z1S"
    },
    {
      "field": "uses",
      "target": "QYEAZTYGPT"
    },
    {
      "field": "uses",
      "target": "ZA405B0Z1S"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/Q630X0VHAE.md",
  "msc": [
    "57K10",
    "57K30"
  ],
  "name": "Property P conjecture",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/Q63/Q630X0VHAE.md",
  "status": null,
  "tag": "Q630X0VHAE",
  "uri": "m2://Q630X0VHAE",
  "url": "https://math2.tamnd.com/wiki/property-p-conjecture/",
  "writing": {
    "tag": "Q630X0VHAE",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "an inventory row",
        "note": "the row of the inventory that the node accounts for",
        "have": 0,
        "want": 1
      },
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}