{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "4AXC8NESM4"
    },
    {
      "field": "uses",
      "target": "6VF47Q35YA"
    },
    {
      "field": "uses",
      "target": "T3VN45KV0D"
    },
    {
      "field": "about",
      "target": "T3VN45KV0D"
    }
  ],
  "body": "\n## Summary\n\nA proper holomorphic map is a [[holomorphic map|3MQTWKBBBT]] between domains, or complex manifolds, that is also a [[proper map|15XEBGNGHC]]: preimages of compact sets are compact.\nFor bounded domains this means that the map sends points near the boundary of the source to points near the boundary of the target.\nProper holomorphic maps between domains of the same dimension are finite branched coverings, so they generalize [[biholomorphisms|FX92PP3HZR]].\nIn several variables they are rigid: by [[Alexander's theorem|T3VN45KV0D]], every proper holomorphic self-map of the ball in $\\C^n$ with $n \\ge 2$ is an automorphism.\n\n## Explanations\n\n### L1 human\n\nA proper map cannot hide the boundary: as a point runs to the edge of the source domain, its image runs to the edge of the target.\nThe map $z \\mapsto z^2$ on the unit disc is a typical example.\nIt wraps the disc twice onto itself, and points near the unit circle go to points near the unit circle.\nThe inclusion of a smaller disc into the unit disc is not proper, since points near the edge of the small disc land in the middle of the big one.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "32H35",
      "32H02"
    ],
    "name": "Proper holomorphic map",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Proper_map"
      }
    ],
    "specializes": [
      "15XEBGNGHC",
      "3MQTWKBBBT"
    ],
    "tag": "TM528Q96ZD"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/TM528Q96ZD/",
  "links": [
    {
      "field": "specializes",
      "target": "15XEBGNGHC"
    },
    {
      "field": "specializes",
      "target": "3MQTWKBBBT"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/TM528Q96ZD.md",
  "msc": [
    "32H35",
    "32H02"
  ],
  "name": "Proper holomorphic map",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/TM5/TM528Q96ZD.md",
  "status": null,
  "tag": "TM528Q96ZD",
  "uri": "m2://TM528Q96ZD",
  "url": "https://tamnd.github.io/math2/wiki/proper-holomorphic-map/",
  "writing": {
    "tag": "TM528Q96ZD",
    "kind": "concept",
    "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
      }
    ]
  }
}