{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nA simplicial complex Δ is Cohen–Macaulay over **k** if and only if for all simplices *σ* ∈ Δ, all reduced simplicial homology groups of the link of *σ* in Δ with coefficients in **k** are zero, except the top dimensional one:\n\n$$\\tilde{H}_{i}(\\operatorname{link}_\\Delta(\\sigma); k)=0\\quad \\text{for all} \\quad i\u003c\\dim \\operatorname{link}_\\Delta(\\sigma).$$\n\nA result due to Munkres then shows that the Cohen–Macaulayness of Δ over **k** is a [[topological property|02SMVGC690]]: it depends only on the [[homeomorphism|0QT00PB5G2]] class of the simplicial complex Δ. Namely, let |Δ| be the geometric realization of Δ. Then the vanishing of the simplicial homology groups in Reisner's criterion is equivalent to the following statement about the reduced and relative singular homology groups of |Δ|:\n\n$$\\text{For all } p\\in|\\Delta|\\text{ and for all } i\u003c\\dim |\\Delta| = d-1, \\quad \\tilde{H}_i(\\operatorname |\\Delta|; k) = H_i(\\operatorname |\\Delta|, \\operatorname |\\Delta| - p; k) = 0.$$\n\nIn particular, if the complex Δ is a simplicial sphere, that is, |Δ| is homeomorphic to a sphere, then it is Cohen–Macaulay over any field. This is a key step in Stanley's proof of the Upper Bound Conjecture. By contrast, there are examples of simplicial complexes whose Cohen–Macaulayness depends on the characteristic of the field **k**.\n",
  "commit": "68a8c3dc73fd55004b2796431c607c30960d1a85",
  "front": {
    "inventory": [
      "E76ZVD5RCM"
    ],
    "kind": "statement",
    "name": "Reisner's criterion",
    "role": "proposition",
    "sources": [
      {
        "locator": "Stanley–Reisner ring, section Cohen–Macaulay condition and the upper bound conjecture \u003e Reisner's criterion",
        "mention": "wikipedia://en/24394535#KS3V",
        "note": "adopted",
        "sections": [
          "Statement"
        ],
        "wikipedia": "en:24394535@r1367373436"
      }
    ],
    "tag": "SM0D3C0A2C"
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/SM0D3C0A2C/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/SM0D3C0A2C.md",
  "msc": null,
  "name": "Reisner's criterion",
  "prov": null,
  "role": "proposition",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/SM0/SM0D3C0A2C.md",
  "status": null,
  "tag": "SM0D3C0A2C",
  "uri": "m2://SM0D3C0A2C",
  "url": "https://math2.tamnd.com/wiki/reisners-criterion/",
  "writing": {
    "tag": "SM0D3C0A2C",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "edge uses out",
        "note": "each definition that the statement needs",
        "have": 0,
        "want": 1
      }
    ]
  }
}