{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nThere are eight model geometries, the simply connected homogeneous [[Riemannian manifolds|7CBT4SM83Y]]\n$$S^3, \\quad \\R^3, \\quad \\mathbb{H}^3, \\quad S^2 \\times \\R, \\quad \\mathbb{H}^2 \\times \\R, \\quad \\widetilde{SL}(2, \\R), \\quad \\mathrm{Nil}, \\quad \\mathrm{Sol},$$\neach with its maximal compatible group of isometries.\nA manifold has a *geometric structure* modelled on such a geometry $X$ if it is a quotient $X / \\Gamma$.\nHere $\\Gamma$ is a discrete group of isometries of $X$ acting freely.\n\nLet $M$ be a closed connected [[orientable|702SNFQG0W]] prime [[3-manifold|R20TB2KEQQ]].\nThen $M$ contains a finite collection of disjoint embedded [[incompressible|6N9GW98MR6]] tori with the following property.\nThe interior of each component of $M$ cut along these tori has a geometric structure of finite volume.\n\n## Remarks\n\nThurston stated the conjecture around 1982 and proved it for Haken manifolds.\nPerelman proved the general case in 2002 and 2003 with Hamilton's Ricci flow with surgery.\nExcept for some manifolds with Sol geometry, the tori can be taken to be those of the [[JSJ decomposition|TX4MSZ0SRP]], applied after the [[prime decomposition|FZH5T5340Q]].\nFor closed manifolds with finite fundamental group the conclusion is that $M = S^3 / \\Gamma$ for a finite group $\\Gamma$ acting freely by isometries, which contains the [[Poincaré conjecture|3R064KFF68]] as the case $\\Gamma = 1$.\nExamples: [[lens spaces|AZBTMF196E]] are spherical, the $3$-torus is Euclidean, and the complement of the figure-eight knot is hyperbolic.\n\n## Explanations\n\n### L1 human\n\nEvery closed orientable $3$-dimensional space can be cut along spheres and tori into pieces, each of which carries one of eight standard geometries.\nThe most common geometry, by far, is hyperbolic geometry.\nSo topology in dimension $3$ is controlled by geometry.\n\n### L2 human\n\nThe theorem reduces many questions about $3$-manifolds to questions about the eight geometries.\nClosed manifolds with six of the geometries are Seifert fiber spaces.\nClosed Sol manifolds are torus bundles over the circle up to a double cover.\nThe hyperbolic pieces are the rich remaining case.\nConsequences include the Poincaré conjecture, the classification of finite groups acting freely on $S^3$, and, with later work of Agol and Wise, the virtually Haken conjecture.\n",
  "commit": "547b6eddb8f2feb8d579f2d633d22a27b7e132fc",
  "front": {
    "about": [
      "R20TB2KEQQ"
    ],
    "kind": "statement",
    "msc": [
      "57K30",
      "57K32",
      "57M50"
    ],
    "name": "Geometrization conjecture",
    "role": "theorem",
    "same_as": {
      "wikidata": "Q1503309",
      "wikipedia": "Geometrization conjecture"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Geometrization_conjecture"
      }
    ],
    "tag": "B27HB43K86",
    "uses": [
      "R20TB2KEQQ",
      "702SNFQG0W",
      "FZH5T5340Q",
      "TX4MSZ0SRP",
      "6N9GW98MR6",
      "7CBT4SM83Y"
    ]
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/B27HB43K86/",
  "links": [
    {
      "field": "about",
      "target": "R20TB2KEQQ"
    },
    {
      "field": "uses",
      "target": "R20TB2KEQQ"
    },
    {
      "field": "uses",
      "target": "702SNFQG0W"
    },
    {
      "field": "uses",
      "target": "FZH5T5340Q"
    },
    {
      "field": "uses",
      "target": "TX4MSZ0SRP"
    },
    {
      "field": "uses",
      "target": "6N9GW98MR6"
    },
    {
      "field": "uses",
      "target": "7CBT4SM83Y"
    }
  ],
  "markdown": "https://math2.tamnd.com/node/B27HB43K86.md",
  "msc": [
    "57K30",
    "57K32",
    "57M50"
  ],
  "name": "Geometrization conjecture",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/B27/B27HB43K86.md",
  "status": null,
  "tag": "B27HB43K86",
  "uri": "m2://B27HB43K86",
  "url": "https://math2.tamnd.com/wiki/geometrization-conjecture/",
  "writing": {
    "tag": "B27HB43K86",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}