f-vectors and h-vectors of simplicial posets (Q803182): Difference between revisions
From MaRDI portal
Latest revision as of 15:59, 21 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | f-vectors and h-vectors of simplicial posets |
scientific article |
Statements
f-vectors and h-vectors of simplicial posets (English)
0 references
1991
0 references
A simplicial poset is a finite poset P with \({\hat 0}\) such that every interval \([{\hat 0},x]\) is a boolean algebra. Simplicial posets are generalizations of simplicial complexes. Like degree sequences for graphs f-vectors are associated with simplicial posets. Thus, if P is a simplicial poset of rank d, then \(f(P)=(f_ 0,f_ 1,...,f_{d- 1})=| \{x\in P|\) \([{\hat 0},x]\cong B_{i+1}\}|\), where \(B_{i+1}\) is a boolean algebra of rank \(i+1\). The author shows that (Theorem 2.1) if \(f=(f_ 0,...,f_{d-1})\in {\mathbb{Z}}^ d\), then \(f=f(P)\) for a simplicial poset iff \(f_ i\geq \binom{d}{i+1}\) for \(1\leq i\leq d-1\). It seems that \(| \{P|\) \(f=f(P)\}| =S(f)\) (say, the Stanley-number of f), where P is a simplicial poset and where \(P=Q\) iff P and Q are isomorphic, is in fact an interesting number deserving further discussion. Since with \(f=(f_ 0,...,f_{d-1})\) one may associate a monomial \(M(f)=x_ 0^{f_ 0}...x_{d-1}^{f_{d-1}}\), there is an associated generating function \({\mathcal S}(x_ 0,x_ 1,...)=\sum_{f}S(f)M(f)\) (say, the Stanley-function), whose properties should be interesting and which might be analysable using the methods for which the author of this paper is well-known indeed. The h-vector is defined from the f-vector by \(\sum^{d}_{i=0}f_{i-1}(x-1)^{d- i}=\sum^{d}_{i=0}h_ ix^{d-i}.\) Then h-vectors have been characterized for Cohen-Macaulay simplicial complexes. In (Theorem 3.10) it is shown that if \(h=(h_ 0,...,h_ d)\in {\mathbb{Z}}^{d+1}\) then \(h=h(P)\) for a Cohen-Macaulay simplicial poset iff \(h_ 0=1\) and \(h_ i\geq 0\) for all i. For Gorenstein posets and the derived notion Gorenstein* poset sufficient conditions on the h-vector are also provided (Theorem 4.3), with further conditions conditioning necessity. The methods of proof are (co)homological-algebraic-combinatorial in nature in the clear style for which the author is well-known.
0 references
Cohen-Macaulay ring
0 references
Gorenstein complex
0 references
simplicial poset
0 references
simplicial complexes
0 references
f-vectors
0 references
Stanley-number
0 references
Stanley-function
0 references
Cohen-Macaulay simplicial complexes
0 references
Cohen-Macaulay simplicial poset
0 references
Gorenstein posets
0 references
h-vector
0 references
0 references