Abstract
We construct many nonpolytopal nonsimplicial Gorenstein∗ meet semi-lattices with nonnegative toric g-vector, supporting a conjecture of Stanley. These are formed as Bier spheres over the face posets of multiplexes, polytopes constructed by Bisztriczky as generalizations of simplices.
Similar content being viewed by others
1 Introduction
A poset P with a minimum \(\hat{0}\) is called Gorenstein ∗ if the order complex of \(P-\hat{0}\) is Gorenstein∗ (that is, if we add a maximum to P, then \(\hat{P}=P\cup \{\hat{1}\}\) is both Eulerian and Cohen–Macaulay). For P a Gorenstein∗ poset, denote its toric g-vector by g(P). Our starting point is the following conjecture of Stanley.
Conjecture 1.1
([20], Conjecture 4.2.(c,d))
Let P be a Gorenstein ∗ meet semi-lattice. Then g(P) is an M-sequence. In particular, g(P) is nonnegative.
Conjecture 1.1 is known to hold in the following cases: face posets of the boundary complexes of simplicial polytopes [19], strongly-edge-decomposable spheres [2, 18] (these include Kalai’s squeezed spheres [14, 18]), Bier spheres [8]—all these cases are simplicial spheres, and the nonnegativity of g(P) is known for the boundary poset of arbitrary polytopes [16].
In this work we construct many nonpolytopal nonsimplicial Gorenstein∗ meet semi-lattices with nonnegative toric g-vector, supporting Conjecture 1.1. Specifically,
Theorem 1.2
Let n≥d≥4 be integers and M be the boundary poset of the d-dimensional multiplex with n+1 vertices. Let I be an ideal in M which contains all the elements in M of rank at most \(\lceil\frac{d}{2}\rceil+1\). Let P be the Bier poset P=Bier(M,I). Then P is a Gorenstein ∗ meet semi-lattice and g(P) is nonnegative.
In Sect. 2 we give the needed background on g-vectors, Bier posets and multiplexes; in Sect. 3 we prove Theorem 1.2 by analyzing the effect on the toric g-vector of a local move on Gorenstein∗ posets; in Sect. 4 we remark on nonpolytopality and nonsimpliciality of Bier(M,I).
2 Preliminaries
The g-Vector
We follow Stanley [20]. Let P be a Gorenstein∗ poset of rank r, or more generally, a lower Eulerian poset (i.e., a graded poset such that all of its intervals are Eulerian posets; that is, for each interval, the number of elements of even degree equals the number of elements of odd degree), and define recursively the following polynomials in x, g(P,x), h(P,x) and f(P,x): \(h(P,x)=x^{r}f(P,\frac{1}{x})\), f(∅,x)=g(∅,x)=1; for f(P,x)=h 0+h 1 x+h 2 x 2+⋯ let
and define
where r(t) is the rank of t and for w,y∈P,
When adding a maximal element to P results in an Eulerian poset, we have f(P,x)=h(P,x). If P is the face poset of an Eulerian simplicial complex Δ, then g(P) coincides with the simplicial g-vector g(Δ).
For P the face poset of the boundary of a polytope P′, h(P) encodes the dimensions of the combinatorial intersection homology associated with P′ [3, 4, 12], and a hard-Lefschetz type theorem for this module shows the nonnegativity of g(P) [16].
For a poset P denote by \(\widehat{P}\) the poset obtained by adding to it a maximum \(\hat{1}\). If P has a maximum \(\hat{1}\), let \(\partial P := P - \{\hat{1}\}\).
For posets P and Q, let P∗Q be their product poset, i.e. (w,y)≤(w′,y′) in P∗Q iff w≤w′ in P and y≤y′ in Q. We need the following facts, stated by Kalai [15] for polytopes.
Observation 2.1
Let P 1 and P 2 be Eulerian posets. Then
-
(a)
g(∂(P 1∗P 2),x)=g(∂P 1,x)⋅g(∂P 2,x), and
-
(b)
h(∂P 1∗∂P 2,x)=h(∂P 1,x)⋅h(∂P 2,x).
For completeness, we include their proofs.
Proof
We prove part (a) by induction on r′:=r(∂(P 1∗P 2)). The case r′≤1 is trivial. For part (b) we prove more generally for lower Eulerian posets Q 1,Q 2 that f(Q 1∗Q 2,x)=f(Q 1,x)⋅f(Q 2,x), by induction on r″:=r(Q 1∗Q 2). Call this assertion (b″). The case r″≤1 is trivial.
First we prove (b″) for r″ assuming (a) is true for all r′<r″:
where the second equality follows by induction from part (a). Thus, (b″) follows, hence also (b).
Next we prove (a) for r′=l assuming (a) is true for r′<l. Each lower interval of ∂(P 1∗P 2) satisfies exactly one of the following 3 possibilities: it contains either P 1, or P 2, or neither. Thus, using the recursive definition of f(P,x) and the induction hypothesis, we get
Let T r be the operator that truncates a polynomial at degree r. Thus, if P is an Eulerian poset of rank r, \(g(P,x)=T_{ \lfloor\frac{r}{2} \rfloor}((1-x)f(P,x))\). Clearly, the polynomial \(\bar{g}(P,x):=(1-x)f(P,x)-g(P,x)\) satisfies that all its nonzero terms have degree larger than \(\lfloor\frac{r}{2} \rfloor\). Thus,
and we conclude that
□
Bier Posets
Bier posets were introduced in [8], generalizing the construction of Bier spheres; see, e.g., [17]. Here we slightly modify the definition in order to simplify notation. Let P be a finite poset with a minimum \(\hat{0}\) and add to it a new element \(\hat{1}\) greater than all elements of P to obtain the poset \(\hat{P}=P\cup \{\hat{1}\}\). Let I be a proper ideal in \(\hat{P}\). Then the poset Bier(P,I) consists of all intervals [x,y] where \(x\in I,\ y\in \hat{P}-I\), ordered by reverse inclusion. If \(\hat{P}\) is Eulerian then Bier(P,I) is Eulerian, and the order complexes of the posets \(P-\{\hat{0}\}\) and \({\mathrm {Bier}}(P,I)-\{[\hat{0},\hat{1}]\}\) are homeomorphic [8]. In particular,
Theorem 2.2
[8]
Let I be an ideal in a poset P. If P is Gorenstein ∗ then Bier(P,I) is Gorenstein ∗.
In the case where P is the face poset of the boundary of a simplex, the posets Bier(P,I) are exactly the face posets of the Bier spheres, and each of their g-vectors is shown to be a Kruskal–Katona vector [8], and in particular an M-sequence, thus nonnegative. Note that the number of vertices in a d-dimensional Bier sphere is at most 2(d+2). Note that for I=P, Bier(P,I) is isomorphic to P.
Multiplex
Multiplexes were introduced by Bisztriczky [6] as a generalization of simplices. For any integers n≥d≥2 there exists a d-dimensional polytope on n+1 vertices x 0,x 1,…,x n with facets
for 0≤i≤n, with the convention that x j =x 0 if j<0 and x j =x n if j>n. Such polytope was constructed in [6], is called a multiplex, and we denote it by M d,n. Note that M d,d is a simplex. We need the following known properties of multiplexes, shown by Bisztriczky [6] and Bayer et al. [5].
Theorem 2.3
-
(a)
Every multiplex is self dual [6].
-
(b)
If F is a face in a multiplex M, then both F and the quotient M/F are multiplexes [6].
-
(c)
M d,n has the same flag f-vector as the (d−2)-fold pyramid over the (n−d+3)-gon. Thus, for P the boundary poset of M d,n we get g(P,x)=1+(n−d)x and h(P,x)=1+(n−d+1)x+⋯+(n−d+1)x d−1+x d [5].
3 Computing g(Bier(P,I))
We start by analyzing the effect of a certain local move on a pair (P,I), of a Gorenstein∗ poset and an ideal in it, on the toric g-vector of Bier(P,I). This local move can be thought of as a generalization of bistellar moves on simplicial spheres (however, this connection is not necessary for the topic of this paper and will not be stressed here).
Denote by X ∗ the opposite of a poset X, that is, its elements are {x ∗:x∈X} and x<y in X iff y ∗<x ∗ in X ∗.
Lemma 3.1
Let P be a Gorenstein ∗ poset, let Q be an ideal in P, different from \(\{\hat{0}\}\), and let t be a maximal element in Q. Then:
where \(\hat{1}\) is the maximum of \(\hat{P}\). (In particular, h(Bier(P,Q−{t}),x)−h(Bier(P,Q),x) is independent of the ideal Q as long as t is a maximal element in the ideal.)
Proof
By Theorem 2.2, the h-vectors on the left are of Gorenstein∗ posets, hence are symmetric, thus the left-hand side equals
which, by definition, equals
The last expression equals
and by Observation 2.1 it equals
As the posets on the right-hand side are Gorenstein∗, the assertion follows. □
We now specialize to the case of a multiplex. Let M be the boundary poset of the multiplex M d,n, \(I\neq \{\hat{0}\}\) an ideal in M, t a maximal element in I, and denote Δh:=h(Bier(M,I−{t}),x)−h(Bier(M,I),x) and
Lemma 3.2
With notation as above, if \(d>r(t)> \lceil \frac{d}{2}\rceil +1\) then
and hence is nonnegative, and if \(r(t) =d>\lceil \frac{d}{2}\rceil\) (thus t is a facet) then \(\varDelta g= x+g_{1}([\hat{0},t))x^{2}\) and hence is nonnegative.
Proof
Denote \(A=(t,\hat{1}]^{*}\) and \(B=[\hat{0},t)\). They are the boundary posets of multiplexes by Theorem 2.3(a, b). By Lemma 3.1 and Theorem 2.3(c) we get for r(t)<d:
The coefficient of x j in Δh, denoted by [x j], equals h j−1(B)g 1(A)+h j (B)−h j (A)−g 1(B)h j−1(A), with the convention h −1=0. Thus, assuming r(t)<d, for \(j\leq \lfloor\frac{d}{2} \rfloor\) we get: [x j]=0 if 0≤j<d−r(t), [x d−r(t)]=g 1(A), [x d−r(t)+1]=1+g 1(A)h 1(B), and [x j]=h 1(A)h 1(B) for \(d-r(t)+1<j\leq \lfloor\frac{d}{2} \rfloor\). Thus, Δg is as claimed for r(t)<d, and in particular is nonnegative by Theorem 2.3(c).
In case r(t)=d we get that Δh=x+h 1(B)x 2+⋯+h 1(B)x d−2+x d−1 and Δg=x+g 1(B)x 2 is nonnegative. □
The conditions imposed on r(t) in Lemma 3.2 imply that d≥4, which is the interesting range for Conjecture 1.1.
Proof of Theorem 1.2
By repeated application of Lemma 3.2 we conclude the nonnegativity of g(P) in Theorem 1.2. By Theorem 2.2, P is Gorenstein∗, and clearly P is a meet semi-lattice: let ∧ M ,∧ P be the meet operations in M,P respectively, and ∨ M the join operation in M. Then [a,b],[c,d]∈P satisfy [a,b]∧ P [c,d]=[a∧ M c,b∨ M d]. □
In fact, Lemma 3.2 can be simplified, as we will show below. The inequality \(g_{2}(M)\geq g_{1}([\hat{0},t))g_{1}((t,\hat{1}]^{*})\) (see [11] for the general statement for polytopes, and e.g. [10] for the validity for arbitrary polytopes) together with g 2(M)=0 shows that at least one of \(g_{1}([\hat{0},t)),\ g_{1}((t,\hat{1}]^{*})\) is zero. Here is a simple combinatorial criterion to tell which. Bisztriczky [6, Lemmas 3, 4] described the 4-gons among the 2-faces of a multiplex. In particular:
Observation 3.3
For a multiplex M, g 1(M) is the number of 4-gons among the 2-dimensional faces of M.
Thus, combining with Lemma 3.2, we obtain the following.
Proposition 3.4
Let M and I be as in Theorem 1.2. Denote by □∗ the set of faces t in M such that \([t,\hat{1}]^{*}\) is the face poset of a 4-gon. Then,
First, let us consider the special case where M is the boundary of a simplex. Then all summands but the first one on the right-hand side of (1) vanish (□∗=∅ in this case). Now, \((\hat{M}-I)^{*}\) is an ideal in the Boolean lattice dual to \(\hat{M}\), thus it corresponds to the face poset of a simplicial complex, whose f-polynomial is equal, by Proposition 3.4, to g(Bier(M,I),x). For a different proof, see [8]. In particular, Conjecture 1.1 holds in this case.
Whether for all multiplexes M and ideals I the g(Bier(M,I)) are M-sequences, is still open.
Next, we show that for any M,I,P as in Theorem 1.2,
is a Kruskal–Katona vector (in particular, an M-sequence). By self-duality of polytopes, \((\hat{M}-I)^{*}\) is the face poset of a polyhedral complex Γ, whose f-vector corresponds to the first summand on the right-hand side of (1). Denote by t ∗ the face in Γ corresponding to \(t\in \hat{M}-I\). Take the disjoint union of Γ with a totally ordered set V of g 1(M) vertices, and for any face t ∗∈Γ add as faces the cones over t ∗ having apex each of the first \(g_{1}([\hat{0},t))\) vertices in V. As t⊆s implies \(g_{1}([\hat{0},t))\leq g_{1}([\hat{0},s))\), this results in a polyhedral complex, denoted by Δ, whose f-polynomial is given by the sum in the first two lines of the right-hand side of (1). (We remark that any polyhedral complex is a meet semi-lattice with the diamond property; namely, any interval of rank-2 has 4 elements, and thus, by a result of Wegner [21], there is a simplicial complex with the same f-vector as Δ.) To the 1-skeleton of Δ one can add a diagonal at each 4-gon face t ∗ where t∈(M−I)∩□∗, and by (1) the resulted graph G has f-vector (1,g 1(P),g 2(P)).
4 Concluding Remarks
We keep the notation of Theorem 1.2.
Note that M d,n has non-simplex 2-faces iff n>d: in this case, they are of the form \(F=\operatorname{conv}(x_{i},x_{i+1},x_{i+d},x_{i+d+1})\) [6]; and note that I contains all rank-3 elements in M. Thus, Bier(M,I) is nonsimplicial: for example, \([F,\hat{1}]\) is a non-simplex 2-face.
We now argue that Bier(M,I) is not polytopal for many choices of I. M has \(\binom{d+1}{i+1}+(n-d) \binom{d-1}{i}\) i-faces (this was computed already in [6], and follows also from Theorem 2.3(c)). Let F be a facet of M. Then F is (d−1)-dimensional with at most 2(d−1) vertices. For d≥6, a simple computation shows that the number of ideals I F in \([\hat{0},F)\), which contain all the elements in \([\hat{0},F)\) of rank at most \(\lceil\frac{d}{2}\rceil+1\), is at least \(2^{\binom{d}{\lceil \frac{d}{2} \rceil +2}}\), thus the number of non-isomorphic such Bier(F,I F ) is at least \(\frac{2^{\binom{d}{\lceil \frac{d}{2}\rceil +2}}}{(4(d-1))!}=\varOmega(2^{(1-\epsilon_{d})2^{d}/\sqrt{d}})\) where ϵ d →0 as d→∞ (see e.g. [8]). It is known that the number of non-isomorphic polytopes with at most 4(d−1) vertices is less than \(2^{64d^{3}+O(d^{2})}\) [1, 13], hence most of the Bier(F,I F ) as above are nonpolytopal for d≫1. Fix an ideal I F such that Bier(F,I F ) is nonpolytopal. For an ideal I in P such that \(I\cap [\hat{0},F)=I_{F}\) note that Bier(F,I F ) is an interval in Bier(M,I), hence Bier(M,I) is nonpolytopal.
Next, we discuss shellability of Bier(M,I), for any ideal I. The order complex of Bier(M,I) is obtained from the barycentric subdivision of the boundary complex of M by a sequence of edge subdivisions [8, Theorem 2.2], thus is polytopal and in particular shellable. In [8, Theorem 4.1] it is shown that if M is a simplex then Bier(M,I) itself is shellable (in this case, Bier(M,I) is the face poset of a simplicial sphere). A generalization of shellability to regular finite CW complexes was defined in [7] and was shown to be equivalent to CL-shellability of its augmented dual [7, Proposition 4.2]. We now exhibit an EL-labeling of \(Q={\mathrm {Bier}}(M,I)^{*}\cup\hat{1}\) by the labels poset [0,n]:=0<1<⋯<n, in particular proving its CL-shellability, and thus the shellability of Bier(M,I).
Denote by E(Q) the cover relation a≺b in Q. Recall that a map c:E(Q)→[0,n] is an EL-labeling if for any interval [a,b] in Q the following holds [9]:
-
(i)
there is a unique rising unrefinable chain a=a 0≺a 1≺⋯≺a t =b, i.e. c(a 0≺a 1)<⋯<c(a t−1≺a t ) in [0,n], and
-
(ii)
among the label-sets of unrefinable chains from a to b, the set {c(a 0≺a 1),…,c(a t−1≺a t )} is the lexicographically least.
Theorem 4.1
\(Q={\mathrm {Bier}}(M,I)^{*}\cup\{\hat{1}\}\) has an EL-labeling. Thus, Bier(M,I) is shellable.
Proof
First we define an EL-labeling c M of M itself. For a facet \(F_{i}(M)=F_{i}:=\operatorname{conv}(x_{i-d+1},x_{i-d+2},\ldots,x_{i-1},x_{i+1},x_{i+2},\ldots,x_{i+d-1})\) of M let c M (F i ≺M)=i for i≠0,n, and c M (F 0≺M)=d, c M (F n ≺M)=n−d. Each d′-face N in M with vertex set J is a multiplex with the induced order on J from [0,n], and we apply the rule above to define c M (F,N) for the facets F of N. Namely, if J={v 0<v 1<⋯<v l }, any facet F is of the form F j (N) for a unique 0≤j≤l, and define c M (F 0(N)≺N)=v d′, c M (F l (N)≺N)=v l−d′ and c M (F j (N)≺N)=v j for 0<j<l. (Note that we do not distinguish between i and x i as labels; essentially the set of labels is {0,1,…,n}.) □
Lemma 4.2
c M is an EL-labeling of M.
Proof
As c M (x≺y)∈y∖x, all the labels in a chain are distinct. First we show that (i) and (ii) in the definition of EL-labeling hold for intervals of the form \([\hat{0},N]\). Let J be the vertex set of N, as above. Clearly, the lexicographically least d′-subset of J is {v 0,v 1,…,v d′}, and is attained as a label-set by the rising unrefinable chain \(\hat{0}\prec\cdots\prec F_{0}(F_{0}(N))\prec F_{0}(N)\prec N\). We now show there is no other rising maximal chain in \([\hat{0},N]\). Else, by induction on the rank of N, w.l.o.g. we can assume that in such a rising chain C the facet of N taken is some F=F j (N) with j>0. Then, there are less than d′−1 vertices in F smaller than c M (F≺N), so C is not rising; a contradiction.
For a general interval [x,y] in M, \(x=\cap_{j\in J}F'_{j}\), the intersection runs over all the facets of y containing x, and we use notation so that J is the set of vertices y∖x. Let M(J) be the (r(y)−r(x)−1)-dimensional multiplex on the ordered set J, where r(x) is the rank of x in the poset M. By duality, [x,y]≅M(J)≅M(J) with isomorphisms \(F'_{j}\mapsto j\mapsto j^{*}\), where j ∗ is the facet F j (M(J)), so \(c_{M}(F'_{j}\prec y)=c_{M(J)}(j^{*}\prec \hat{1})\). Thus, by the case of lower intervals considered before, c M satisfies (i) and (ii) for any interval [x,y] in M.
Back to Q, denote \(\hat{1}:=[\hat{1}_{M},\hat{1}_{M}]\in Q\). For a cover relation [x,y]≺[x′,y′] in Q we define the label c([x,y]≺[x′,y′]) as follows: if x=x′ then y≺y′ and define c([x,y]≺[x′,y′])=c M (y≺y′); else y=y′ and x′≺x and define c([x,y]≺[x′,y′])=c M (x′≺x).
For any interval [[x,y],[x′,y′]] in Q, we have shown in Lemma 4.2 that there are unique rising maximal chains C x ,C y in [x′,x],[y,y′] in M, with resp. label-sequences L x ,L y . There is a unique way to shuffle L x and L y in order to get an increasing label-sequence L, and this shuffle induces a rising maximal chain C in [[x,y],[x′,y′]]. As L x ,L y are lexicographically least in the corresponding intervals, so is L in [[x,y],[x′,y′]]. Moreover, any rising maximal chain C′ in [[x,y],[x′,y′]] with label-set L′ must decompose as L′=L x ∪L y and thus C′=C. □
References
Alon, N.: The number of polytopes, configurations and real matroids. Mathematika 33(1), 62–71 (1986)
Babson, E., Nevo, E.: Lefschetz properties and basic constructions on simplicial spheres. J. Algebr. Comb. 31(1), 111–129 (2010)
Barthel, G., Brasselet, J.-P., Fieseler, K.-H., Kaup, L.: Combinatorial intersection cohomology for fans. Tohoku Math. J. (2) 54(1), 1–41 (2002)
Barthel, G., Brasselet, J.-P., Fieseler, K.-H., Kaup, L.: Combinatorial duality and intersection product: a direct approach. Tohoku Math. J. (2) 57(2), 273–292 (2005)
Bayer, M.M., Bruening, A.M., Stewart, J.D.: A combinatorial study of multiplexes and ordinary polytopes. Discrete Comput. Geom. 27(1), 49–63 (2002). Geometric combinatorics (San Francisco, CA/Davis, CA, 2000)
Bisztriczky, T.: On a class of generalized simplices. Mathematika 43(2), 274–285 (1996).
Björner, A.: Posets, regular CW complexes and Bruhat order. Eur. J. Comb. 5(1), 7–16 (1984)
Björner, A., Paffenholz, A., Sjöstrand, J., Ziegler, G.M.: Bier spheres and posets. Discrete Comput. Geom. 34(1), 71–86 (2005)
Björner, A., Wachs, M.: On lexicographically shellable posets. Trans. Am. Math. Soc. 277(1), 323–341 (1983)
Braden, T.: Remarks on the combinatorial intersection cohomology of fans. Pure Appl. Math. Q. 2(4), 1149–1186 (2006)
Braden, T., MacPherson, R.: Intersection homology of toric varieties and a conjecture of Kalai. Comment. Math. Helv. 74(3), 442–455 (1999)
Bressler, P., Lunts, V.A.: Hard Lefschetz theorem and Hodge–Riemann relations for intersection cohomology of nonrational polytopes. Indiana Univ. Math. J. 54(1), 263–307 (2005)
Goodman, J.E., Pollack, R.: Upper bounds for configurations and polytopes in R d. Discrete Comput. Geom. 1(3), 219–227 (1986)
Kalai, G.: Many triangulated spheres. Discrete Comput. Geom. 3(1), 1–14 (1988)
Kalai, G.: A new basis of polytopes. J. Comb. Theory, Ser. A 49(2), 191–209 (1988)
Karu, K.: Hard Lefschetz theorem for nonrational polytopes. Invent. Math. 157(2), 419–447 (2004)
Matoušek, J.: Using the Borsuk–Ulam Theorem. Universitext, Springer, Berlin (2003). Lectures on Topological Methods in Combinatorics and Geometry, written in cooperation with Anders Björner and Günter M. Ziegler
Murai, S.: Algebraic shifting of strongly edge decomposable spheres (2007). arXiv:0709.4518 [math.co]
Stanley, R.P.: The number of faces of a simplicial convex polytope. Adv. Math. 35(3), 236–238 (1980)
Stanley, R.P.: Generalized H-vectors, intersection cohomology of toric varieties, and related results. In: Commutative Algebra and Combinatorics, Kyoto, 1985. Adv. Stud. Pure Math., vol. 11, pp. 187–213. North-Holland, Amsterdam (1987)
Wegner, G.: Kruskal–Katona’s theorem in generalized complexes. In: Finite and Infinite Sets, Vols. I, II, Eger, 1981. Colloq. Math. Soc. János Bolyai, vol. 37, pp. 821–827. North-Holland, Amsterdam (1984)
Acknowledgements
Research of the first author was partially supported by NSF grant DMS-0555268; that of the second author was partially supported by NSF grant DMS-0757828 and by Marie Curie grant IRG-270923.
We would like to thank the anonymous referees for their helpful comments.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Billera, L.J., Nevo, E. Nonpolytopal Nonsimplicial Lattice Spheres with Nonnegative Toric g-Vector. Discrete Comput Geom 48, 1048–1057 (2012). https://doi.org/10.1007/s00454-012-9449-x
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00454-012-9449-x