Cohen-Macaulay partially ordered sets with pure resolutions (Q1272782)

The main purpose of the paper is to give a characterization of Cohen-Macaulay partially ordered sets for which the order complex has a pure resolution (theorem 3.6.) In the preceding section 2, the authors classify all the simplicial complexes of dimension one with pure resolutions, that is: Let \(\Delta\) be a simplicial complex of dimension one. Then the Stanley-Reisner ring \(k[\Delta]\) has a pure resolution if and only if \(\Delta\) is one of the following: (1) complete graph; (2) forest; (3) cycle. The main result, theorem 3.6, is as follows: Let \(P\) be a Cohen-Macaulay partially ordered set of rank \(d-1\) (with \(d\geq 2\)) which possesses the rank decomposition \(P = P_0 \cup P_1 \cup \cdots \cup P_{d-1}\) with each \(\#(P_i) \geq 2\) and let \(\Delta(P)\) be the order complex of \(P\). Then the Stanley-Reisner ring \(k[\Delta(P)]\) has a pure resolution if and only if we have one of the following: (1) \( d = 2\) and \(P\) is a cycle; (2) \(d \geq 3\), each \(\#(P_i) = 2\) and \(P_{i-1} \cup P_i =\;\bowtie\) (as poset) for \(1 \leq i < d\); (3) the number of maximal chains of \(P\) is \(\#(P) - d + 1\). Section 1 is a brief introduction to the subject.