On the dimension of dual modules of local cohomology and the Serre's condition for the unmixed Stanley-Reisner ideals of small height (Q6169178): Difference between revisions

In this work, the authors study the unmixed Stanley-Reisner ideals of small height \emph{via} a new vector obtained by computing the dimensions of dual modules of local cohomology of a Stanley-Reisner ring, \(k[\Delta]\), of a simplicial complex. Such a so-called \(K_{k[\Delta]}\)-vector, contains useful information about the depth, the CM\({}_t\) property and the Serre's condition \((S_r)\) of \(k[\Delta]\). More in detail, let \(\Delta\) be a \((d-1)\)-dimensional pure simplicial complex such that \(I_\Delta\) is of height \(h\geq 2\). The authors prove that the \(K_{k[\Delta]}\)-vector leads to lower bounds for the depth of \(k[\Delta]\) in the cases in which the simplicial complex \(\Delta\) is \((S_r)\) or CM\({}_t\). Moreover, the authors give a characterization of \((d-1)\)-dimensional simplicial complexes with codimension two which are \((S_{d-3})\) but they are not Cohen-Macaulay. These results lead to state that if \(I_\Delta\) is of height \(2\), and \(\Delta\) (with vertex set \([n]\), \(n\geq 7\)) is \((S_{d-3})\) but is not Cohen-Macaulay, then pd \(S/I_\Delta=\) ara \(I_\Delta=3\) (\emph{i.e.}, the arithmetical rank of \(I_\Delta\)). The authors end this paper with an open question about further characterizations of simplicial complexes satisfying suitable Serre's conditions.