{
  "aliases": null,
  "backlinks": [
    {
      "field": "about",
      "target": "5FD8V6MQNX"
    },
    {
      "field": "about",
      "target": "5J0D97M548"
    },
    {
      "field": "about",
      "target": "MPNGD4V271"
    },
    {
      "field": "about",
      "target": "MREZVW7JTW"
    },
    {
      "field": "about",
      "target": "MSX3VKM9Z5"
    },
    {
      "field": "about",
      "target": "R7VKRV8AGQ"
    },
    {
      "field": "about",
      "target": "ZNCF16AENG"
    },
    {
      "field": "uses",
      "target": "5FD8V6MQNX"
    },
    {
      "field": "uses",
      "target": "5J0D97M548"
    },
    {
      "field": "uses",
      "target": "67RJ0S8F74"
    },
    {
      "field": "uses",
      "target": "BP0ZYHGD0S"
    },
    {
      "field": "uses",
      "target": "MPNGD4V271"
    },
    {
      "field": "uses",
      "target": "MREZVW7JTW"
    },
    {
      "field": "uses",
      "target": "MSX3VKM9Z5"
    },
    {
      "field": "uses",
      "target": "R7VKRV8AGQ"
    },
    {
      "field": "uses",
      "target": "ZNCF16AENG"
    },
    {
      "field": "defines",
      "target": "WKD2S2XA9C"
    }
  ],
  "body": "\n## Summary\n\nA coherent analytic sheaf on a [[complex analytic space|HXSZA44J5J]] is a [[sheaf of modules|S33B2H3MYD]] over the structure sheaf that is locally finitely generated.\nMoreover, the relations among finitely many local sections must again be locally finitely generated.\nCoherent sheaves are the right class of sheaves for complex analytic geometry.\nThey include the structure sheaf, ideal sheaves of analytic subsets and sheaves of sections of holomorphic vector bundles.\nKernels, cokernels and images of morphisms between coherent sheaves are coherent.\nThey are the analytic counterpart of [[coherent sheaves|56RXEJ8Z6S]] on schemes.\n\n## Explanations\n\n### L1 human\n\nA coherent sheaf attaches to each small region of a space a module of functions or sections.\nLocally everything is described by finitely many generators and finitely many relations.\nThe model is a system of linear equations with holomorphic coefficients: its solutions form a coherent sheaf.\nFor example, on $\\C^2$ the germs $(g_1, g_2)$ with $g_1 z_1 + g_2 z_2 = 0$ form a coherent sheaf, generated by the single relation $(z_2, -z_1)$.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "32C35"
    ],
    "name": "Coherent analytic sheaf",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Coherent_sheaf"
      }
    ],
    "tag": "DSJET02WPR"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/DSJET02WPR/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/DSJET02WPR.md",
  "msc": [
    "32C35"
  ],
  "name": "Coherent analytic sheaf",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/DSJ/DSJET02WPR.md",
  "status": null,
  "tag": "DSJET02WPR",
  "uri": "m2://DSJET02WPR",
  "url": "https://tamnd.github.io/math2/wiki/coherent-analytic-sheaf/",
  "writing": {
    "tag": "DSJET02WPR",
    "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
      }
    ]
  }
}