# zbMATH — the first resource for mathematics

f-vectors and h-vectors of simplicial posets. (English) Zbl 0727.06009
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.

##### MSC:
 06A11 Algebraic aspects of posets 05E99 Algebraic combinatorics 52B20 Lattice polytopes in convex geometry (including relations with commutative algebra and algebraic geometry)
Full Text:
##### References:
  Atiyah, M.F.; MacDonald, I.G., Introduction to commutative algebra, (1969), Addison-Wesley Reading, MA · Zbl 0175.03601  Baclawski, K., Rings with lexicographic straightening law, Adv. in math., 39, 185-213, (1981) · Zbl 0466.13004  Björner, A., Posets, regular CW complexes and Bruhat order, European J. combin., 5, 7-16, (1984) · Zbl 0538.06001  Björner, A., Face numbers of complexes and polytopes, Proceedings intenational congress of mathematicians, 1408-1418, (1987), Berkeley, 1986  Björner, A.; Frankl, P.; Stanley, R., The number of faces of balanced Cohen-Macaulay complexes and a generalized Macaulay theorem, Combinatorica, 7, 23-34, (1987) · Zbl 0651.05010  Björner, A.; Garsia, A.; Stanley, R., An introduction to the theory of Cohen-Macaulay partially ordered sets, (), 583-615  DeConcini, C.; Eisenbud, D.; Procesi, C., Hodge algebras, Astérisque, 91, 1-87, (1982)  Eisenbud, D., Introduction to algebras with straightening laws, (), 243-268  Garsia, A.M.; Stanton, D., Group actions on Stanley-Reisner rings and invariants of permutation groups, Adv. in math., 51, 107-201, (1984) · Zbl 0561.06002  Hibi, T., Distributive lattices, semigroup rings and algebras with straightening laws, (), 93-109  Kaplansky, I., Commutative rings, (1970), Allyn and Bacon Boston, MA · Zbl 0203.34601  Matsumura, H., Commutative ring theory, (1986), Cambridge Univ. Press Cambridge  Stanley, R., Cohen-Macaulay complexes, (), 51-62  Stanley, R., Hilbert functions of graded algebras, Adv. in math., 28, 57-83, (1978) · Zbl 0384.13012  Stanley, R., Combinatorics and commutative algebra, () · Zbl 0838.13008  Stanley, R., Enumerative combinatorics, Vol. I, (1986), Wadsworth and Brooks/Cole Monterey, CA · Zbl 0608.05001
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.