\(H\)-vectors of simplicial complexes with Serre's conditions (Q971498)

Let \(\Delta\) be a simplicial complex on \([n]=\{1,2,\ldots,n\}\) and let \(\widetilde{H_{i}}(\Delta;K)\) be the reduced homology groups of \(\Delta\) over a field \(K\). Given an integer \(r \geq 1\), we say that the simplicial complex \(\Delta\) satisfies Serre's condition \((S_{r})\) if \(\widetilde{H_{i}}(\text{lk}_{\Delta}(F);K)=0\) for all \(F \in \Delta\) and for all \(i<\text{min}\{r-1,{\dim}{lk}_{\Delta}(F)\}\), where \({lk}_{\Delta}(F)\) is the link of \(\Delta\) with respect to \(F\). In the paper under review the authors prove that if \(\Delta\) satisfies Serre's condition \((S_{r})\) then (1) the \(h\)-vector \(h_{K}(\Delta)\) is non-negative for \(k=0,1,\ldots,r\) and (2) \(\sum_{k \geq r}h_{K}(\Delta)\) is non-negative.