{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "ZNCF16AENG"
    }
  ],
  "body": "\n## Statement\n\nLet $X$ and $Y$ be [[complex analytic spaces|HXSZA44J5J]] and let $f \\colon X \\to Y$ be a holomorphic map that is [[proper|15XEBGNGHC]].\nLet $A \\subseteq X$ be an [[analytic subset|GB7M582M5Y]].\nThen $f(A)$ is an analytic subset of $Y$, and its [[dimension|AN0BYRKNRA]] is at most the dimension of $A$.\n\n## Remarks\n\nProperness is necessary.\nThe projection $f \\colon \\C^2 \\to \\C$, $(z_1, z_2) \\mapsto z_1$, maps the analytic set $A = \\set{z_1 z_2 = 1}$ onto $\\C \\setminus \\set{0}$, which is not closed and so not analytic; here $f$ restricted to $A$ is not proper.\n\nExample: the projection $\\mathbb{P}^m \\times Y \\to Y$ is proper because $\\mathbb{P}^m$ is compact, so the image of any analytic subset of $\\mathbb{P}^m \\times Y$ in $Y$ is analytic.\nThis is the analytic form of the main theorem of elimination theory.\n\nOne proof derives it from the coherence of direct images.\nGive $A$ its reduced structure.\nThen $f_* \\mathcal{O}_A$ is a coherent sheaf on $Y$ by Grauert's direct image theorem, and its support is $f(A)$.\nThe support of a coherent sheaf is analytic.\n\n## Explanations\n\n### L1 human\n\nIf a holomorphic map does not let points escape to infinity, then it sends sets defined by holomorphic equations to sets of the same kind.\nThe image cannot be larger in dimension than the set itself.\n\n### L2 human\n\nThe theorem is a basic tool for building analytic sets.\nFor example, the graph of a holomorphic map is analytic, and its image under a proper projection is analytic.\nRemmert proved it before the direct image theorem was known, and it was an early milestone of the global theory of complex spaces.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "about": [
      "15XEBGNGHC",
      "GB7M582M5Y"
    ],
    "kind": "statement",
    "msc": [
      "32H35",
      "32C25"
    ],
    "name": "Remmert's proper mapping theorem",
    "role": "theorem",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Proper_map"
      }
    ],
    "tag": "VA2JEWWB61",
    "uses": [
      "HXSZA44J5J",
      "15XEBGNGHC",
      "GB7M582M5Y",
      "AN0BYRKNRA"
    ]
  },
  "kind": "statement",
  "link": "https://tamnd.github.io/math2/node/VA2JEWWB61/",
  "links": [
    {
      "field": "about",
      "target": "15XEBGNGHC"
    },
    {
      "field": "about",
      "target": "GB7M582M5Y"
    },
    {
      "field": "uses",
      "target": "HXSZA44J5J"
    },
    {
      "field": "uses",
      "target": "15XEBGNGHC"
    },
    {
      "field": "uses",
      "target": "GB7M582M5Y"
    },
    {
      "field": "uses",
      "target": "AN0BYRKNRA"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/VA2JEWWB61.md",
  "msc": [
    "32H35",
    "32C25"
  ],
  "name": "Remmert's proper mapping theorem",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/VA2/VA2JEWWB61.md",
  "status": null,
  "tag": "VA2JEWWB61",
  "uri": "m2://VA2JEWWB61",
  "url": "https://tamnd.github.io/math2/wiki/remmerts-proper-mapping-theorem/",
  "writing": {
    "tag": "VA2JEWWB61",
    "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
      }
    ]
  }
}