{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "5J0D97M548"
    }
  ],
  "body": "\n## Statement\n\nLet $A_0$ be an [[irreducible analytic germ|7VPJWF0AZ7]] at $0 \\in \\C^n$.\nThen there are an integer $d$ with $0 \\le d \\le n$ and linear coordinates $z = (z', z'')$ on $\\C^n$ with $z' \\in \\C^d$ and $z'' \\in \\C^{n-d}$.\nThere are also open polydiscs $U' \\subseteq \\C^d$ and $U'' \\subseteq \\C^{n-d}$ centred at $0$.\nWith $U = U' \\times U''$ and $\\pi(z', z'') = z'$, the following properties hold.\n\n1. There is a representative $A$ of $A_0$ that is an [[analytic subset|VMDTGTMN9P]] of $U$, and $\\pi \\colon A \\to U'$ is a surjective [[proper map|15XEBGNGHC]] with finite fibres.\n2. There are an analytic subset $\\Delta \\subsetneq U'$ and an integer $k \\ge 1$ such that $\\pi \\colon A \\setminus \\pi^{-1}(\\Delta) \\to U' \\setminus \\Delta$ is a $k$-sheeted [[covering map|3XZRRE165N]].\n3. The set $A \\setminus \\pi^{-1}(\\Delta)$ is a connected complex [[submanifold|VKFW27WXEZ]] of $U$ of dimension $d$, and it is dense in $A$.\n\n## Remarks\n\nThe integer $d$ is the dimension of the germ $A_0$, and the coordinates can be taken generic: a dense open set of linear coordinate systems works.\nThe proof uses the ideal $\\mathfrak{p}$ of $A_0$, which is prime, and Noether normalization in the analytic setting.\nAfter a generic change of coordinates, the Weierstrass preparation theorem makes $\\mathcal{O}_{n,0}/\\mathfrak{p}$ a finite extension of $\\mathcal{O}_{d,0}$, the germs in $z'$ alone.\nHere $d$ is the largest number of variables for which $\\mathcal{O}_{d,0} \\to \\mathcal{O}_{n,0}/\\mathfrak{p}$ is injective.\nA primitive element of the fraction field extension and its discriminant give the set $\\Delta$ and the number $k$ of sheets.\nExample: for the cusp $A = \\set{z_1^2 = z_2^3}$ in $\\C^2$, take $z' = z_2$ and $\\pi(z_1, z_2) = z_2$.\nOver $z_2 \\ne 0$ the fibre consists of the two square roots of $z_2^3$, so $\\Delta = \\set{0}$ and $k = 2$; the set $A \\setminus \\set{0}$ is the image of the punctured disc under $t \\mapsto (t^3, t^2)$, hence connected.\nIrreducibility is needed for the connectedness in part 3.\nFor $A = \\set{z_1 z_2 = 0}$ and any linear projection to a line with finite fibres on $A$, the complement of $\\pi^{-1}(\\Delta)$ has a component in each axis.\n\n## Explanations\n\n### L1 human\n\nThe theorem describes what an irreducible analytic set looks like near a point.\nAfter a good choice of coordinates, it is a finite branched cover of a ball in $\\C^d$.\nOver most points of the ball there are exactly $k$ points of the set, and these sheets come together only over a thin set.\nSo locally an analytic set is a many-valued graph over a $d$-dimensional ball.\n\n### L2 human\n\nThe local parametrization is the basic structure theorem of local analytic geometry.\nIt gives the dimension of an analytic set and shows that the regular points are dense.\nIt also yields the Rückert Nullstellensatz, and it is the analytic counterpart of Noether normalization for affine varieties.\nThe number $k$ of sheets for generic coordinates is the multiplicity of the germ at $0$.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "7VPJWF0AZ7"
    ],
    "kind": "statement",
    "msc": [
      "32B10",
      "32B05"
    ],
    "name": "Local parametrization theorem",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Complex_analytic_variety"
      }
    ],
    "tag": "K18PKZY5RS",
    "uses": [
      "7VPJWF0AZ7",
      "VMDTGTMN9P",
      "15XEBGNGHC",
      "3XZRRE165N",
      "VKFW27WXEZ"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/K18PKZY5RS/",
  "links": [
    {
      "field": "about",
      "target": "7VPJWF0AZ7"
    },
    {
      "field": "uses",
      "target": "7VPJWF0AZ7"
    },
    {
      "field": "uses",
      "target": "VMDTGTMN9P"
    },
    {
      "field": "uses",
      "target": "15XEBGNGHC"
    },
    {
      "field": "uses",
      "target": "3XZRRE165N"
    },
    {
      "field": "uses",
      "target": "VKFW27WXEZ"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/K18PKZY5RS.md",
  "msc": [
    "32B10",
    "32B05"
  ],
  "name": "Local parametrization theorem",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/K18/K18PKZY5RS.md",
  "status": null,
  "tag": "K18PKZY5RS",
  "uri": "m2://K18PKZY5RS",
  "url": "https://tamnd.github.io/math2/wiki/local-parametrization-theorem/",
  "writing": {
    "tag": "K18PKZY5RS",
    "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
      }
    ]
  }
}