English

The Cohen-Macaulay Property of $f$-ideals

Commutative Algebra 2021-02-12 v3

Abstract

For positive integers d<nd<n, let [n]d={A2[n]A=d}[n]_d=\{A\in 2^{[n]}\mid |A|=d\} where [n]=:{1,2,,n}[n]=:\{1,2,\ldots, n\}. For a pure ff-simplicial complex Δ\Delta such that dim(Δ)=dim(Δc){\rm dim}(\Delta)={\rm dim}(\Delta^c) and F(Δ)F(Δc)=\mathcal{F}(\Delta)\cap \mathcal{F}(\Delta^c)=\emptyset, we prove that the facet ideal I(Δ)I(\Delta) is Cohen-Macaulay if and only if it has linear resolution. For a dd-dimensional pure ff-simplicial complex Δ\Delta such that Δ=:FF[n]dF(Δ)\Delta'=:\langle F\mid F\in [n]_d\smallsetminus \mathcal F(\Delta)\rangle is an ff-simplicial complex, we prove that I(Δc)I(\Delta^c) is Cohen-Macaulay if and only if I(Δ)I(\Delta') has linear resolution.

Keywords

Cite

@article{arxiv.2010.04317,
  title  = {The Cohen-Macaulay Property of $f$-ideals},
  author = {A-Ming Liu and Jin Guo and Tongsuo Wu},
  journal= {arXiv preprint arXiv:2010.04317},
  year   = {2021}
}

Comments

Example 3.2 is revised. An new example (3.3) is added