{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "8V30QMXTYT"
    },
    {
      "field": "uses",
      "target": "GWJWP187QE"
    }
  ],
  "body": "\n## Statement\n\nLet $k$ be a field of characteristic $0$ and let $X$ be an integral [[algebraic variety|HV6YBS0YDH]] over $k$.\nThen there is a nonsingular variety $\\tilde{X}$ over $k$ with a [[proper|9537RKBZPP]] [[birational|KA5890R9YM]] morphism $\\pi \\colon \\tilde{X} \\to X$.\nMoreover $\\pi$ can be chosen to be an isomorphism over the set of nonsingular points of $X$.\n\n## Remarks\n\nThis is Hironaka's theorem.\nThe morphism $\\pi$ can be chosen as a composition of [[blow-ups|C4KGYAFPN7]] along nonsingular centres that lie over the [[singular points|D86X15A8WS]] of $X$.\nThe proof is an induction on dimension: one restricts to a hypersurface of maximal contact and uses an invariant of the singularity that drops after each blow-up.\nFor curves, in any characteristic, the [[normalization|M2FAMD9HZN]] is a resolution.\nExample: the cusp $y^2 = x^3$ is resolved by $\\mathbb{A}^1 \\to X$, $t \\mapsto (t^2, t^3)$, which is bijective and an isomorphism away from $t = 0$.\nIn characteristic $p \u003e 0$ the statement is known in dimension at most $3$, and it is open in general.\n\n## Explanations\n\n### L1 human\n\nA singular variety has points where it is not smooth, such as a cusp or a place where it crosses itself.\nThe theorem says that one can always replace it by a smooth variety that differs from it only over the bad points.\nThe smooth variety maps onto the old one and keeps all its good points unchanged.\n\n### L2 human\n\nResolution lets one prove results for smooth varieties and then transfer them to singular ones.\nIt is used to define invariants of singularities, such as rational singularities, and to compactify smooth varieties by a divisor with simple normal crossings.\nResolution by blow-ups is also a basic step of the minimal model program, which starts from a smooth model of a birational class.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "D86X15A8WS"
    ],
    "kind": "statement",
    "msc": [
      "14E15",
      "14B05",
      "32S45"
    ],
    "name": "Resolution of singularities",
    "role": "theorem",
    "same_as": {
      "wikidata": "Q10942247",
      "wikipedia": "Resolution of singularities"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Resolution_of_singularities"
      }
    ],
    "tag": "MB52NDA6WN",
    "uses": [
      "HV6YBS0YDH",
      "D86X15A8WS",
      "9537RKBZPP",
      "KA5890R9YM",
      "C4KGYAFPN7",
      "M2FAMD9HZN"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/MB52NDA6WN/",
  "links": [
    {
      "field": "about",
      "target": "D86X15A8WS"
    },
    {
      "field": "uses",
      "target": "HV6YBS0YDH"
    },
    {
      "field": "uses",
      "target": "D86X15A8WS"
    },
    {
      "field": "uses",
      "target": "9537RKBZPP"
    },
    {
      "field": "uses",
      "target": "KA5890R9YM"
    },
    {
      "field": "uses",
      "target": "C4KGYAFPN7"
    },
    {
      "field": "uses",
      "target": "M2FAMD9HZN"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/MB52NDA6WN.md",
  "msc": [
    "14E15",
    "14B05",
    "32S45"
  ],
  "name": "Resolution of singularities",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/MB5/MB52NDA6WN.md",
  "status": null,
  "tag": "MB52NDA6WN",
  "uri": "m2://MB52NDA6WN",
  "url": "https://tamnd.github.io/math2/wiki/resolution-of-singularities/",
  "writing": {
    "tag": "MB52NDA6WN",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}