{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nLet $X$ be a [[reduced complex space|831N2Q4GCB]] whose topology has a countable basis.\nLet $X_{\\mathrm{reg}}$ and $X_{\\mathrm{sing}}$ be its sets of [[regular and singular points|ZW5A88PCPK]].\nThen there are a [[complex manifold|JSGWAN2RJV]] $\\tilde{X}$ and a [[proper|15XEBGNGHC]] surjective holomorphic map $\\pi \\colon \\tilde{X} \\to X$ such that:\n\n1. $\\pi$ restricts to a biholomorphic map $\\pi^{-1}(X_{\\mathrm{reg}}) \\to X_{\\mathrm{reg}}$;\n2. $\\pi^{-1}(X_{\\mathrm{sing}})$ is [[nowhere dense|0VQYCCQVJ5]] in $\\tilde{X}$.\n\nIn particular $\\pi$ is a [[modification|SB3MY7XQM9]] of $X$, called a resolution of singularities.\n\n## Remarks\n\nHironaka proved [[resolution of singularities|MB52NDA6WN]] for algebraic varieties over fields of characteristic $0$; the method was then carried over to complex spaces.\nThe resolution is built from a sequence of [[blow-ups|C4KGYAFPN7]] along smooth centres contained in the singular locus, chosen by a local invariant that drops at each step.\nFor a non-compact space infinitely many blow-ups may be needed, but they form a locally finite family, and the canonical choice of centres lets local resolutions glue.\nThe map can also be chosen so that $\\pi^{-1}(X_{\\mathrm{sing}})$ is a hypersurface with normal crossings.\n\nExample: for a reduced curve, the [[normalization|BP0ZYHGD0S]] is a resolution; for the cusp $\\set{z_1^2 = z_2^3}$ it is $t \\mapsto (t^3, t^2)$ from $\\C$.\nFor the cone $\\set{z_1 z_2 = z_3^2}$ in $\\C^3$, one blow-up of the vertex gives a resolution whose exceptional set is a projective line.\n\n## Explanations\n\n### L1 human\n\nA singular complex space can be replaced by a smooth one that maps onto it and agrees with it away from the singular points.\nOver the singular points, the smooth space may have whole curves or surfaces instead of single points.\nSo questions about singular spaces can often be moved to manifolds, where calculus is available.\n\n### L2 human\n\nResolution is used to define invariants of singularities and to prove local estimates such as the Łojasiewicz inequality.\nIt also extends integration and Hodge theory to singular spaces, and reduces questions on plurisubharmonic functions and multiplier ideals to normal crossing situations.\nThe resolution is not unique: blowing up a point of $\\tilde{X}$ over $X_{\\mathrm{sing}}$ gives another one.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "SB3MY7XQM9"
    ],
    "kind": "statement",
    "msc": [
      "32S45",
      "14E15"
    ],
    "name": "Hironaka's resolution for complex spaces",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Resolution_of_singularities"
      }
    ],
    "tag": "GWJWP187QE",
    "uses": [
      "831N2Q4GCB",
      "SB3MY7XQM9",
      "JSGWAN2RJV",
      "ZW5A88PCPK",
      "15XEBGNGHC",
      "0VQYCCQVJ5",
      "MB52NDA6WN",
      "C4KGYAFPN7",
      "BP0ZYHGD0S"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/GWJWP187QE/",
  "links": [
    {
      "field": "about",
      "target": "SB3MY7XQM9"
    },
    {
      "field": "uses",
      "target": "831N2Q4GCB"
    },
    {
      "field": "uses",
      "target": "SB3MY7XQM9"
    },
    {
      "field": "uses",
      "target": "JSGWAN2RJV"
    },
    {
      "field": "uses",
      "target": "ZW5A88PCPK"
    },
    {
      "field": "uses",
      "target": "15XEBGNGHC"
    },
    {
      "field": "uses",
      "target": "0VQYCCQVJ5"
    },
    {
      "field": "uses",
      "target": "MB52NDA6WN"
    },
    {
      "field": "uses",
      "target": "C4KGYAFPN7"
    },
    {
      "field": "uses",
      "target": "BP0ZYHGD0S"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/GWJWP187QE.md",
  "msc": [
    "32S45",
    "14E15"
  ],
  "name": "Hironaka's resolution for complex spaces",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/GWJ/GWJWP187QE.md",
  "status": null,
  "tag": "GWJWP187QE",
  "uri": "m2://GWJWP187QE",
  "url": "https://tamnd.github.io/math2/wiki/hironakas-resolution-for-complex-spaces/",
  "writing": {
    "tag": "GWJWP187QE",
    "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
      }
    ]
  }
}