{
  "aliases": null,
  "backlinks": [
    {
      "field": "defines",
      "target": "HEVF97NZ14"
    },
    {
      "field": "uses",
      "target": "ZV7VGE2SQ2"
    }
  ],
  "body": "\n## Summary\n\nFor a left exact functor $F$, an object $X$ is $F$-acyclic if all the higher right [[derived functors|NPMC3K6J2F]] $R^n F(X)$ with $n \\ge 1$ vanish.\nInjective objects are acyclic for every such $F$, but many more objects are acyclic for a given $F$.\nDerived functors can be computed with resolutions by $F$-acyclic objects, which are often much easier to find than injective resolutions.\n\n## Explanations\n\n### L1 human\n\nAn acyclic object is one on which a functor behaves as if it were exact.\nTo compute derived functors one needs a resolution by objects of this kind, and injective objects are the universal choice.\nBut they are large and hard to handle, so one uses objects adapted to the given functor.\nFor sheaf cohomology, flasque sheaves, whose sections over open sets always extend, are acyclic for the global sections functor.\nFor the tensor product, flat modules are acyclic, and this is why Tor can be computed with flat resolutions.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "18G10"
    ],
    "name": "Acyclic object",
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Acyclic_object"
      }
    ],
    "tag": "F2CMPBHQ02"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/F2CMPBHQ02/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/F2CMPBHQ02.md",
  "msc": [
    "18G10"
  ],
  "name": "Acyclic object",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/F2C/F2CMPBHQ02.md",
  "status": null,
  "tag": "F2CMPBHQ02",
  "uri": "m2://F2CMPBHQ02",
  "url": "https://tamnd.github.io/math2/wiki/acyclic-object/",
  "writing": {
    "tag": "F2CMPBHQ02",
    "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
      }
    ]
  }
}