{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "V0SGQ7E092"
    }
  ],
  "body": "\n## Summary\n\nLet $G/H$ be a [[homogeneous space|85TWR6E75P]] of a [[Lie group|7JBRGCVJRB]] $G$.\nA Clifford–Klein form is a quotient $\\Gamma \\backslash G / H$ by a [[discrete subgroup|5M7D1BSHVZ]] $\\Gamma$ that acts [[properly discontinuously|J5X5ED0B2Y]].\nWhen $\\Gamma$ is torsion-free, the quotient is a manifold that looks locally like $G/H$.\nCompact [[space forms|1VM1AQT956]] such as flat tori and closed hyperbolic manifolds are the classical examples.\nA central question is which homogeneous spaces admit compact Clifford–Klein forms.\n\n## Explanations\n\n### L1 human\n\nStart with a very symmetric space, such as the plane or the hyperbolic plane.\nPick a discrete group of its symmetries that moves points far enough apart, and glue each point to all its images.\nThe glued space keeps the local geometry of the original space but can be compact.\nFor example, gluing the plane $\\R^2$ along the translations by vectors of $\\Z^2$ gives a flat torus.\nSuch glued spaces are called Clifford–Klein forms of the original space.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "57S30",
      "22E40",
      "22F30"
    ],
    "name": "Clifford–Klein form",
    "same_as": {
      "wikidata": "Q5133088",
      "wikipedia": "Clifford–Klein form"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Clifford–Klein_form"
      }
    ],
    "tag": "R73WRFDXRY"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/R73WRFDXRY/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/R73WRFDXRY.md",
  "msc": [
    "57S30",
    "22E40",
    "22F30"
  ],
  "name": "Clifford–Klein form",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/R73/R73WRFDXRY.md",
  "status": null,
  "tag": "R73WRFDXRY",
  "uri": "m2://R73WRFDXRY",
  "url": "https://tamnd.github.io/math2/wiki/clifford-klein-form/",
  "writing": {
    "tag": "R73WRFDXRY",
    "kind": "concept",
    "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
      }
    ]
  }
}