{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "GWJWP187QE"
    }
  ],
  "body": "\n## Statement\n\nLet $X$ be a [[reduced complex space|831N2Q4GCB]] and let $N \\subseteq X$ be the set of points of $X$ that are not normal.\nThen $N$ is a [[nowhere dense|0VQYCCQVJ5]] [[analytic subset|GB7M582M5Y]] of $X$, and there are a [[normal complex space|PN55VEF0J7]] $\\tilde{X}$ and a holomorphic map $\\nu \\colon \\tilde{X} \\to X$ such that:\n\n1. $\\nu$ is finite, that is, closed with finite fibres, and surjective;\n2. $\\nu^{-1}(N)$ is nowhere dense in $\\tilde{X}$;\n3. $\\nu$ restricts to a biholomorphic map $\\tilde{X} \\setminus \\nu^{-1}(N) \\to X \\setminus N$.\n\nThe pair $(\\tilde{X}, \\nu)$ is unique up to a unique isomorphism over $X$; it is the [[normalization|M2FAMD9HZN]] of $X$.\n\n## Remarks\n\nThe key step, due to Oka, is that the sheaf $\\hat{\\mathcal{O}}_X$ of weakly holomorphic functions is a [[coherent analytic sheaf|DSJET02WPR]] of $\\mathcal{O}_X$-modules.\nA weakly holomorphic function is one that is holomorphic on the regular points and locally bounded.\nThen $\\tilde{X}$ is the analytic spectrum of the finite $\\mathcal{O}_X$-algebra $\\hat{\\mathcal{O}}_X$.\n\nExample: for the cusp $X = \\set{z_1^2 = z_2^3} \\subseteq \\C^2$, the map $\\nu \\colon \\C \\to X$, $t \\mapsto (t^3, t^2)$, is the normalization.\nIt is bijective and finite, $N = \\set{0}$, and off $t = 0$ its inverse $(z_1, z_2) \\mapsto z_1 / z_2$ is holomorphic.\nFor the cross $X = \\set{z_1 z_2 = 0}$, the normalization is the disjoint union of two copies of $\\C$, mapped onto the two axes; here $\\nu$ is not injective over $0$.\n\n## Explanations\n\n### L1 human\n\nA singular space can be improved by separating sheets that cross and by opening up pinches, without changing it elsewhere.\nThe theorem says that this can always be done for complex spaces, and in exactly one natural way.\nThe result is a normal space that maps onto the original one, with finite fibres.\n\n### L2 human\n\nNormalization reduces many questions about reduced spaces to normal spaces, where the Riemann extension theorem and local irreducibility are available.\nFor curves the normalization is smooth, so it is a resolution of singularities.\nIt is the analytic counterpart of the normalization of an integral scheme by integral closure of its rings.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "PN55VEF0J7",
      "M2FAMD9HZN"
    ],
    "kind": "statement",
    "msc": [
      "32C20",
      "32C35"
    ],
    "name": "Oka's normalization theorem",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Normal_scheme"
      }
    ],
    "tag": "BP0ZYHGD0S",
    "uses": [
      "831N2Q4GCB",
      "PN55VEF0J7",
      "M2FAMD9HZN",
      "DSJET02WPR",
      "0VQYCCQVJ5",
      "GB7M582M5Y"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/BP0ZYHGD0S/",
  "links": [
    {
      "field": "about",
      "target": "PN55VEF0J7"
    },
    {
      "field": "about",
      "target": "M2FAMD9HZN"
    },
    {
      "field": "uses",
      "target": "831N2Q4GCB"
    },
    {
      "field": "uses",
      "target": "PN55VEF0J7"
    },
    {
      "field": "uses",
      "target": "M2FAMD9HZN"
    },
    {
      "field": "uses",
      "target": "DSJET02WPR"
    },
    {
      "field": "uses",
      "target": "0VQYCCQVJ5"
    },
    {
      "field": "uses",
      "target": "GB7M582M5Y"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/BP0ZYHGD0S.md",
  "msc": [
    "32C20",
    "32C35"
  ],
  "name": "Oka's normalization theorem",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/BP0/BP0ZYHGD0S.md",
  "status": null,
  "tag": "BP0ZYHGD0S",
  "uri": "m2://BP0ZYHGD0S",
  "url": "https://tamnd.github.io/math2/wiki/okas-normalization-theorem/",
  "writing": {
    "tag": "BP0ZYHGD0S",
    "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
      }
    ]
  }
}