{
  "aliases": null,
  "backlinks": [
    {
      "field": "uses",
      "target": "P84GBDM0QR"
    },
    {
      "field": "defines",
      "target": "QBK2MFPJZ7"
    },
    {
      "field": "specializes",
      "target": "SX8V8GR5ZG"
    }
  ],
  "body": "\n## Summary\n\nA double complex is a grid of objects $C_{p,q}$ with a horizontal and a vertical differential, each squaring to zero, that anticommute with each other.\nSumming along the diagonals $p + q = n$ gives the total complex, a single [[chain complex|WQ82C0M3QB]].\nDouble complexes arise from tensor products of complexes and from resolving complexes, and their total homology is computed by [[spectral sequences|GG8AYV847V]].\n\n## Explanations\n\n### L1 human\n\nA chain complex is a line of objects with maps going one way.\nA double complex is a whole grid of objects, with maps going left and maps going down, each family forming chain complexes.\nGoing left then down equals minus going down then left, and this sign lets one combine both into one map on the diagonals.\nFor example, the tensor product of two chain complexes is naturally a double complex.\nIts total complex computes things like the homology of a product of spaces.\n",
  "commit": "ff8a40749dc16545e3d2fc637f6b0196e81d0bfa",
  "front": {
    "kind": "concept",
    "msc": [
      "18G35"
    ],
    "name": "Double complex",
    "same_as": {
      "wikidata": "Q107490138",
      "wikipedia": "Double complex"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Double_complex"
      }
    ],
    "tag": "N80ABTQHEQ"
  },
  "kind": "concept",
  "link": "https://tamnd.github.io/math2/node/N80ABTQHEQ/",
  "links": null,
  "markdown": "https://tamnd.github.io/math2/node/N80ABTQHEQ.md",
  "msc": [
    "18G35"
  ],
  "name": "Double complex",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/N80/N80ABTQHEQ.md",
  "status": null,
  "tag": "N80ABTQHEQ",
  "uri": "m2://N80ABTQHEQ",
  "url": "https://tamnd.github.io/math2/wiki/double-complex/",
  "writing": {
    "tag": "N80ABTQHEQ",
    "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
      }
    ]
  }
}