Dice Question Streamline Icon: https://streamlinehq.com

Cohen–Macaulayness of coordinate rings for all collections of cells

Ascertain whether the coordinate ring K[P]=S_P/I_P is Cohen–Macaulay for every collection of cells P, or equivalently, determine whether there exists any collection of cells whose coordinate ring fails to be Cohen–Macaulay.

Information Square Streamline Icon: https://streamlinehq.com

Background

After proving Cohen–Macaulayness for several non-prime classes (zig-zag collections and closed paths with zig-zag walks), the authors note that no counterexample is currently known.

This motivates a general question about the universality of the Cohen–Macaulay property across all collections of cells, which, if resolved affirmatively, would unify many scattered results in the literature.

References

Nowadays, an example of a collection of cells having a not Cohen-Macaulay coordinate ring is still unknown. Therefore, from and from the results of this work, the following general question naturally arises. \begin{qst} Let $P$ be a collection of cells. Then, is $K[P]$ Cohen-Macaulay? \end{qst}

On Cohen-Macaulay non-prime collections of cells (2401.09152 - Cisto et al., 17 Jan 2024) in Question at end of Section 4