 Consequently, its homology can be studied by combinatorial and geometric methods.An abstract simplicial complex Δ is called Cohen–Macaulay over k if its face ring is a Cohen–Macaulay ring.In his 1974 thesis, Gerald Reisner gave a complete characterization of such complexes.