{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "D1MYE6WVZ9"
    },
    {
      "field": "uses",
      "target": "JZAGFFAXKK"
    }
  ],
  "body": "\n## Summary\n\nLet $X$ be a Noetherian scheme.\nIts derived category of coherent sheaves $D^b(X)$ is the bounded [[derived category|5ST7NVJFSM]] of the abelian category of [[coherent sheaves|56RXEJ8Z6S]] on $X$.\nIt is a [[triangulated category|T2V7GJJ2EN]].\nFor $X$ smooth and projective over a field, the derived functors of pushforward, pullback, tensor product and Hom act on these categories.\nIt is the natural home of Serre and Grothendieck duality and of Fourier–Mukai transforms.\nTwo varieties with equivalent derived categories share many invariants, so $D^b(X)$ is studied as an invariant of $X$ in its own right.\n\n## Explanations\n\n### L1 human\n\nMany constructions with sheaves, such as cohomology, do not produce a single sheaf but a whole complex of sheaves.\nThe derived category keeps these complexes and treats two complexes as the same when a map between them is an isomorphism on cohomology.\nFor a point, an object is just a list of finite-dimensional vector spaces, one in each degree.\nFor the projective line, every object is a direct sum of shifts of the line bundles $\\mathcal{O}(n)$ and of shifts of torsion sheaves.\nSome varieties that are not isomorphic have equivalent derived categories: by a theorem of Mukai, an abelian variety and its dual always do, and they need not be isomorphic.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "14F08",
      "18G80"
    ],
    "name": "Derived category of coherent sheaves",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Derived_category"
      }
    ],
    "specializes": [
      "5ST7NVJFSM"
    ],
    "tag": "2VP2D51KB8"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/2VP2D51KB8/",
  "links": [
    {
      "field": "specializes",
      "target": "5ST7NVJFSM"
    }
  ],
  "markdown": "https://tamnd.github.io/math2/node/2VP2D51KB8.md",
  "msc": [
    "14F08",
    "18G80"
  ],
  "name": "Derived category of coherent sheaves",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/2VP/2VP2D51KB8.md",
  "status": null,
  "tag": "2VP2D51KB8",
  "uri": "m2://2VP2D51KB8",
  "url": "https://tamnd.github.io/math2/wiki/derived-category-of-coherent-sheaves/",
  "writing": {
    "tag": "2VP2D51KB8",
    "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
      }
    ]
  }
}