{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $\\mathbf{G}$ be a connected semisimple [[algebraic group|GH81SYAPPN]] over $\\Q$.\nSuppose that the symmetric space $D$ of $\\mathbf{G}(\\R)$ is Hermitian, so that $D$ is a [[bounded symmetric domain|Y7Q2SNKG0C]].\nLet $\\Gamma \\subset \\mathbf{G}(\\Q)$ be an [[arithmetic subgroup|4XWG6S7R4Z]].\nThen the quotient $\\Gamma \\backslash D$ has a compactification $(\\Gamma \\backslash D)^*$ with the following properties:\n\n1. $(\\Gamma \\backslash D)^*$ is a normal [[projective variety|J7NBAJMQND]] over $\\C$;\n2. $\\Gamma \\backslash D$ is a Zariski-open dense subset of $(\\Gamma \\backslash D)^*$, so $\\Gamma \\backslash D$ is a normal quasi-projective variety;\n3. the boundary $(\\Gamma \\backslash D)^* \\setminus \\Gamma \\backslash D$ is a finite union of quotients of lower-dimensional bounded symmetric domains by arithmetic groups.\n\n## Remarks\n\nThe theorem was proved by Walter Baily and Armand Borel in 1966.\nAs a topological space the compactification is Satake's: one adds the rational boundary components of $D$ and divides by $\\Gamma$.\nThe projective embedding is given by automorphic forms on $D$ of sufficiently high weight, through Poincaré–Eisenstein series; $(\\Gamma\\backslash D)^*$ is the Proj of the graded ring of automorphic forms for $\\Gamma$.\n\nExample: for $D$ the upper half-plane and $\\Gamma = SL_2(\\Z)$, the boundary is one cusp, and $(\\Gamma \\backslash D)^* = \\Gamma \\backslash D \\cup \\set{\\infty}$ is the projective line, with coordinate the $j$-invariant.\nFor $D$ the [[Siegel upper half-space|5PTYE97PF6]] $\\mathbb{H}_g$ and $\\Gamma = Sp(2g, \\Z)$, the boundary strata are the quotients $Sp(2h, \\Z) \\backslash \\mathbb{H}_h$ with $0 \\le h \u003c g$.\n\n## Explanations\n\n### L1 human\n\nQuotients of bounded symmetric domains by arithmetic groups, such as the moduli spaces of elliptic curves or of abelian varieties, are not compact.\nThe theorem adds finitely many smaller pieces of the same kind at infinity and obtains a compact space.\nThis compact space is a projective algebraic variety, so the original quotient is an algebraic variety too.\n\n### L2 human\n\nThe algebraicity of $\\Gamma \\backslash D$ is what makes it possible to study these spaces, such as Shimura varieties, with algebraic geometry and to define them over number fields.\nThe Baily–Borel compactification is minimal and usually very singular along the boundary.\nThe toroidal compactifications of Ash, Mumford, Rapoport and Tai can be smooth, and each of them maps onto the Baily–Borel compactification.\nBorel's extension theorem says that holomorphic maps from a punctured polydisc into $\\Gamma\\backslash D$, with $\\Gamma$ torsion-free, extend across the punctures to $(\\Gamma\\backslash D)^*$.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "Y7Q2SNKG0C",
      "4XWG6S7R4Z"
    ],
    "kind": "statement",
    "msc": [
      "14G35",
      "32M15",
      "11F46"
    ],
    "name": "Baily–Borel compactification",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Baily%E2%80%93Borel_compactification"
      }
    ],
    "tag": "CB54N55JD9",
    "uses": [
      "Y7Q2SNKG0C",
      "4XWG6S7R4Z",
      "J7NBAJMQND",
      "GH81SYAPPN",
      "5PTYE97PF6"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/CB54N55JD9/",
  "links": [
    {
      "field": "about",
      "target": "Y7Q2SNKG0C"
    },
    {
      "field": "about",
      "target": "4XWG6S7R4Z"
    },
    {
      "field": "uses",
      "target": "Y7Q2SNKG0C"
    },
    {
      "field": "uses",
      "target": "4XWG6S7R4Z"
    },
    {
      "field": "uses",
      "target": "J7NBAJMQND"
    },
    {
      "field": "uses",
      "target": "GH81SYAPPN"
    },
    {
      "field": "uses",
      "target": "5PTYE97PF6"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/CB54N55JD9.md",
  "msc": [
    "14G35",
    "32M15",
    "11F46"
  ],
  "name": "Baily–Borel compactification",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/CB5/CB54N55JD9.md",
  "status": null,
  "tag": "CB54N55JD9",
  "uri": "m2://CB54N55JD9",
  "url": "https://tamnd.github.io/math2/wiki/baily-borel-compactification/",
  "writing": {
    "tag": "CB54N55JD9",
    "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
      }
    ]
  }
}