H-vectors of simplicial complexes with Serre's conditions

Syzygies, resolutions, complexes and commutative rings (13D02) Commutative rings defined by monomial ideals; Stanley-Reisner face rings; simplicial complexes (13F55)

Abstract: We study

h

-vectors of simplicial complexes which satisfy Serre's condition (

S_{r}

). We say that a simplicial complex

D e l t a

satisfies Serre's condition (

S_{r}

) if

i l d e H_{i} (l k_{D} e l t a (F); K) = 0

for all faces

F i n D e l t a

and for all

i < m i n r - 1, d i m l k_{D} e l t a (F)

, where

l k_{D} e l t a (F)

is the link of

D e l t a

with respect to

F

and where

i l d e H_{i} (D e l t a; K)

is the reduced homology groups of

D e l t a

over a field

K

. The main result of this paper is that if

D e l t a

satisfies Serre's condition (

S_{r}

) then (i)

h_{k} (D e l t a)

is non-negative for

k = 0, 1, ..., r

and (ii)

s u m_{k g e q r} h_{k} (D e l t a)

is non-negative.

Review text

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.

Recommendations

Cited in

(28)

This page was built for publication: \(H\)-vectors of simplicial complexes with Serre's conditions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q971498)