arxiv: v1 [math.co] 22 Dec 2015

Transcription

1 The flag upper boud theorem for 3- ad 5-maifolds arxiv: v1 [math.co] 22 Dec 2015 Hailu Zheg Departmet of Mathematics Uiversity of Washigto Seattle, WA , USA August 28, 2018 Abstract We prove that amog all flag 3-maifolds o vertices, the joi of two circles with 2 ad 2 vertices respectively is the uique maximizer of the face umbers. This solves the first case of a cojecture due to Lutz ad Nevo. Further, we establish a sharp upper boud o the umber of edges offlag 5-maifolds ad characterizethe casesof equality. We alsoshow that the iequality part of the flag upper boud cojecture cotiues to hold for all flag 3-dimesioal Euleria complexes ad fid all maximizers of the face umbers i this class. 1 Itroductio Oe of the classical problems i geometric combiatorics deals with the followig questio: for a give class of simplicial complexes, fid tight upper bouds o the umber of i-dimesioal faces as a fuctio of the umber of vertices ad the dimesio. Sice Motzki [13] proposed the upper boud cojecture (UBC, for short) for polytopes i 1957, this problem has bee solved for various families of complexes. I particular, McMulle [12] ad Staley [17] proved that eighborly polytopes simultaeously maximize all face umbers i the class of polytopes ad simplicial spheres. However, it turs out that, apart from cyclic polytopes, may other classes of eighborly spheres or eve eighborly polytopes exist, see [16] ad [15] for examples ad costructios of eighborly polytopes. A simplicial complex is flag if all of its miimal o-faces have cardiality two, or equivaletly, is the clique complex of its graph. Flag complexes form a beautiful ad importat class of simplicial complexes. For example, barycetric subdivisios of simplicial complexes, order complexes of posets, ad Coxeter complexes are flag complexes. Despite a lot of effort that wet ito studyig the face umbers of flag spheres, i particular i relatio with the Charey-Davis cojecture [5], ad its geeralizatio give by Gal s cojecture [9], a flag upper boud theorem for spheres is still ukow. The upper bouds o face umbers for geeral simplicial (d 1)-spheres are far from beig sharp for flag (d 1)-spheres, sice the graph of ay flag (d 1)-dimesioal complex is K d+1 -free. I [9], Gal cofirmed that the real rootedess cojecture [7] does hold for flag homology spheres of dimesio less tha five, ad thus the upper bouds o the face umbers of these flag spheres were established. However, startig from dimesio five, there are oly cojectural upper bouds. For m 1, we let J m () be the (2m 1)-sphere o vertices obtaied as the joi of m copies of the circle, each oe a cycle with either m or m vertices. The followig cojecture is due to Nevo ad Peterse [14, Cojecture 6.3]. 1

2 Cojecture 1.1. If is a flag homology sphere, the γ( ) satisfies the Frakl-Füredi-Kalai iequalities. I particular, if is of dimesio d = 2m 1, the f i ( ) f i (J m ()) for all 1 i 2m 1. Here we deote by f i ( ) the umber of i-dimesioal faces of ; the etries of the vector γ( ) are certai liear combiatios of the f-umbers of. For Frakl-Füredi-Kalai iequalities, see [8]. As for the case of equality, Lutz ad Nevo [11, Cojecture 6.3] posited that, as opposed to the case of all simplicial spheres, for a fixed dimesio 2m 1 ad the umber of vertices, there is oly oe maximizer of the face umbers. Cojecture 1.2. Let m 2 ad let be a flag simplicial (2m 1)-sphere o vertices. The f i ( ) = f i (J m ()) for some 1 i m if ad oly if = J m (). Recetly, Adamaszek ad Hladký [2] proved that Cojecture 1.2 holds asymptotically for flag homology maifolds. Several celebrated theorems from extremal graph theory served as tools for their work. As a result, the proof simutaeously gives upper bouds o f-umbers, h-umbers, g-umbers ad γ-umbers, but it oly applies to flag homology maifolds with a extremely large umber of vertices. Our first mai result is that Cojecture 1.1 ad 1.2 hold for all flag 3-maifolds. I particular, we show that the balaced joi of two circles is the uique maximizer of face umbers i the class of flag 3-maifolds. We also establish a aalogous result o the umber of edges of flag 5-maifolds. The proof oly relies o simple properties of flag complexes ad Euleria complexes. I 1964, Klee [10] proved that Motzki s UBC for polytopes holds for a much larger class of Euleria complexes as log as they have sufficietly may vertices, ad cojectured that the UBC holds for all Euleria complexes. Our secod mai result deals with flag Euleria complexes, ad asserts that Cojecture 1.1 cotiues to hold for all flag 3-dimesioal Euleria complexes. This provides supportig evidece to a questio of Adamaszek ad Hladký [2, Problem 17(i)] i the case of dimesio 3, where they proposed that Cojecture 1.1 holds for all odd-dimesioal flag weak pseudomaifolds with sufficietly may vertices. We also give costructios of the maximizers of face umbers i this class ad show that they are the oly maximizers. Our proof is based o a applicatio of the iclusio-exclusio priciple ad double coutig. The paper is orgaized as follows. I Sectio 2, we discuss basic facts o simplicial complexes ad flag complexes. I Sectio 3, we provide the proof of our first mai result assertig that give a umber of vertices, the maximum face umbers of a flag 3-maifold are achieved oly whe this maifold is the joi of two circles of legth as close as possible to 2. I Sectio 4, we apply a aalogous argumet to the class of flag 5-maifolds. I Sectio 5, we show that the same upper bouds cotiue to hold for the class of flag 3-dimesioal Euleria complexes, ad discuss the maximizers of the face umbers i this class. Fially, we close i Sectio 6 with some cocludig remarks. 2 Prelimiaries A simplicial complex o a vertex set V = V( ) is a collectio of subsets σ V, called faces, that is closed uder iclusio. For σ, let dimσ := σ 1 ad defie the dimesio of, dim, as the maximal dimesio of its faces. A facet i is a maximal face uder iclusio, ad we say that is pure if all of its facets have the same dimesio. We will deote by the disjoit uio of simplicial complexes, ad by the disjoit uio of sets. 2

3 If is a simplicial complex ad σ is a face of, the lik of σ i is lk σ := {τ σ : σ τ }, ad the deletio of a vertex set W from is \W := {σ : σ W = }. The restrictio of to a vertex set W is defied as [W] := {σ : σ W}. If ad Γ are two simplicial complexes o disjoit vertex sets, the the joi of ad Γ, deoted as Γ, is the simplicial complex o vertex set V( ) V(Γ) whose faces are {σ τ : σ,τ Γ}. A simplicial complex is a simplicial maifold (resp. simplicial sphere) if the geometric realizatio of is homeomorphic to a maifold (resp. sphere). We deote by H ( ;k) the reduced homology of computedwithcoefficiets iafieldk, adbyβ i ( ;k) := dim k Hi ( ;k)thereduced Betti umbers of with coefficiets i k. We say that is a (d 1)-dimesioal k-homology maifold if H (lk σ;k) = H (S d 1 σ ;k) for every oempty face σ. A k-homology sphere is a k-homology maifold that has the k-homology of a sphere. Every simplicial maifold (resp. simplicial sphere) is a homology maifold (resp. homology sphere). Moreover, i dimesio two, the class of homology 2-spheres coicides with that of simplicial 2-spheres, ad hece i dimesio three, the class of homology 3-maifolds coicides with that of simplicial maifolds. For a (d 1)-dimesioal complex, we let χ( ) := d 1 i=0 ( 1)i β i ( ;k) be the reduced Euler characteristic of. A simplicial complex is called a Euleria complex if is pure ad χ(lk σ) = ( 1) dimlk σ for every σ, icludig σ =. I particular, it follows from the Poicaré duality theorem that all odd-dimesioal orietable homology maifolds are Euleria. As all simplicial maifolds are orietable over Z/2Z, all odd-dimesioal simplicial maifolds are Euleria. A (d 1)-dimesioal simplicial complex is called a weak (d 1)-pseudomaifold if it is pure ad every (d 2)-face (called ridge) of is cotaied i exactly two facets. A weak (d 1)- pseudomaifold is called a ormal (d 1)-pseudomaifold if it is coected, ad the lik of each face of dimesio d 3 is also coected. Every Euleria complex is a weak pseudomaifold, ad every coected homology maifold is a ormal pseudomaifold. I fact, every ormal 2- pseudomaifold is also a homology 2-maifold. However, for d > 3, the class of ormal (d 1)- pseudomaifolds is much larger tha the class of homology (d 1)-maifolds. It is well-kow that if is a weak (resp. ormal) (d 1)-pseudomaifold ad σ is a face of of dimesio at most d 2, the the lik of σ is also a weak (resp. ormal) pseudomaifold. The followig lemma gives aother property of ormal pseudomaifolds, see [4, Lemma 1.1]. Lemma 2.1. Let be a ormal (d 1)-pseudomaifold, ad let W be a subset of vertices of such that the iduced subcomplex [W] is a ormal (d 2)-pseudomaifold. The the iduced subcomplex of o vertex set V( )\W has at most two coected compoets. For a (d 1)-dimesioal complex, we let f i = f i ( ) be the umber of i-dimesioal faces of for 1 i d 1. The vector (f 1,f 0,,f d 1 ) is called the f-vector of. Sice the graph of ay simplicial 2-sphere is a maximal plaar graph, it follows that the f-vector of a simplicial 2-sphere is uiquely determied by f 0. For a 3-dimesioal Euleria complex, the followig lemma idicates that its f-vector is uiquely determied by f 0 ad f 1. Lemma 2.2. The f-vector of a 3-dimesioal Euleria complex satisfies (f 0,f 1,f 2,f 3 ) = (f 0,f 1,2f 1 2f 0,f 1 f 0 ). Proof: Let be a 3-dimesioal Euleria complex. Sice is Euleria, χ( )+1 = f 0 f 1 + f 2 f 3 = 0. Also sice every ridge of a Euleria complex is cotaied i exactly two facets, by double coutig, we obtai that 2f 2 = 4f 3. Hece the result follows. 3

4 A simplicial complex is flag if all miimal o-faces of, also called missig faces, have cardiality two; equivaletly, is the clique complex of its graph. The followig lemma [14, Lemma 5.2] gives a basic property of flag complexes. Lemma 2.3. Let be a flag complex o vertex set V. If W V, the [W] is also flag. Furthermore, if σ is a face i, the lk σ = [V(lk σ)]. I particular, all liks i a flag complex are also flag. Fially, we recall some termiology from graph theory. A graph G is a path graph if the set of its vertices ca be ordered as x 1,x 2,,x i such a way that {x i,x i+1 } is a edge for all 1 i 1 ad there are o other edges. Similarly, a cycle graph is a graph obtaied from a path graph by addig a edge betwee the edpoits of the path. 3 The Proof of the Lutz-Nevo Cojecture for flag 3-maifolds The goal of this sectio is to prove Cojecture 1.2 for 3-dimesioal maifolds. We start by settig up some otatio ad establishig several lemmas that will be used i the proof. Recall that i the Itroductio, we defied J m () to be the (2m 1)-sphere o vertices obtaied as the joi of m circles, each oe of legth either m or m. I the followig, we defie J m() as the suspesio of J m ( 2), ad deote by Cd the (d 1)-dimesioal octahedral sphere, i.e., the boudary complex of the d-dimesioal cross-polytope. Equivaletly, Cd is a d-fold joi of S0, ad thus C2m = J m(4m) ad C2m+1 = J m (4m + 2). The followig lemma [14, Lemma 5.3], origially stated for the class of flag homology spheres, gives a sufficiet coditio for a flag ormal pseudomaifold to be a octahedral sphere. (As the proof is idetical to that of [14, Lemma 5.3], we omit it.) Lemma 3.1. Let be a (d 1)-dimesioal flag ormal pseudomaifold o vertex set V such that for ay v V, lk v is a octahedral sphere. The is a octahedral sphere. Next we characterize all flag ormal (d 1)-pseudomaifolds o 2d+1 vertices. Lemma 3.2. Let ba a flag ormal (d 1)-pseudomaifold, where d 2. The (a) f 0 ( ) 2d. Equality holds if ad oly if = C d. (b) f 0 ( ) = 2d+1 if ad oly if = J 1 (5) C d 2, or equivaletly, = J m(4m +1) if d = 2m, ad = J m(4m+3) if d = 2m+1. Proof: Part (a) is well-kow, see the proof of Propositio 2.2 i [3]. For part (b), we use iductio o the dimesio. If d = 2 ad f 0 ( ) = 5, the is a circle of legth 5, that is, J 1 (5). Now assume that the claim holds for d < k, ad cosider a flag ormal (k 1)-pseudomaifold o 2k +1 vertices. Sice lk v is a flag ormal pseudomaifold for ay vertex v, by part (a), f 0 (lk v) 2k 2. Moreover, if equality holds, the lk v is a octahedral sphere. However, if f 0 (lk v) = 2k 2 for every vertex v, the by Lemma 3.1, must be the octahedral sphere of dimesio k 1, cotradictig that f 0 ( ) = 2k+1. Hece there is at least oe vertex u such that f 0 (lk u) 2k 1. Sice is a ormal pseudomaifold, for ay facet σ lk u, lk σ cosists of two vertices. O the other had, sice is flag, lk u is also flag by Lemma 2.3, ad hece lk σ does ot cotai ay vertex i V(lk u). It follows that f 0 (lk u) (2k+1) 2 = 2k 1. Therefore, f 0 (lk u) = 2k 1, ad the liks of all facets of lk u are the same two vertices. This implies that is the suspesio of lk u. By iductio, lk u = J 1 (5) Cd 3, ad hece = J 1(5) Cd 2. Now we estimate the umber of edges i a flag ormal 3-pseudomaifold o vertices. 4

5 Lemma 3.3. Let be a flag ormal 3-pseudomaifold o vertices. The f 1 ( ) f 1 (J 2 ())+c, where c = 3 3mi v χ(lk v). Proof: Let v be a vertex of maximum degree i V( ). We let a = f 0 (lk v), W 1 = V(lk v) ad W 2 = V( )\V(lk v). Sice is a ormal 3-pseudomaifold, lk v is a ormal 2-pseudomaifold, i.e., a simplicial 2-maifold. Furthermore, sice is flag, by Lemma 2.3, lk v is the restrictio of to W 1. Thus, by Lemma 2.1, the iduced subcomplex [W 2 ] has at most two coected compoets. Sice v is ot coected to ay vertices i W 2 \{v}, it follows that {v} ad [W 2 \{v}] are the two coected compoets i [W 2 ]. We ow cout the edges of. They cosist of the edges of [W 1 ] = lk v, the edges of [W 2 ] ad the edges betwee these two sets. I additio, w W 2 f 0 (lk w) couts the edges of [W 2 ] twice. Thus, ( ) f 1 ( ) = f 1 ( [W 1 ])+ f 0 (lk w) f 1 ( [W 2 ]) w W 2 ( ) f 1 (lk v)+ W 2 max w W 2 f 0 (lk w) (f 0 ( [W 2 \{v}]) 1) ( ) = ( 3a 6+3(1 χ(lk v)) ) +( a)a ( a 2) = a 2 +a(+4) (+4)+3 3χ(lk v) ( ) χ(lk v) 4 = f 1 (J 2 ( ))+3(1 χ(lk v)). Here i (*) we used that [W 2 \{v}] is coected ad hece has at least f 0 ( [W 2 \{v}]) 1 edges. Equality (**) follows from the fact that lk v is a 2-maifold with a vertices, ad (***) is obtaied by optimizig the fuctio p(a) = a 2 +a(+4). Hece the result follows. (3.1) Theorem 3.4. Let be a flag 3-maifold o vertices. The f i ( ) f i (J 2 ()). If equality holds for some 1 i 3, the = J 2 (). Proof: We use the same otatio as i the proof of Lemma 3.3. That is, we let v be a vertex of maximum degree i V( ). We let a = f 0 (lk v), W 1 = V(lk v) ad W 2 = V( )\V(lk v). Sice is a flag 3-maifold, χ(lk w) = 1 for every w. Hece by Lemma 3.3, f 1 ( ) f 1 (J 2 ( )). Furthermore, it follows from steps (*) ad (***) i equality (3.1) that f 1 ( ) = f 1 (J 2 ()) holds oly if f 0 (lk w) = a = +4 2 or +4 2 for all w W2, ad [W 2 \{w}] is a tree. We claim that if f 1 ( ) = f 1 (J 2 ()), the = J 2 (). This ideed holds if = 8 or 9, sice by Lemma 3.2, the oly flag 3-maifolds o 8 or 9 vertices are J 2 (8) ad J 2 (9). Next we assume that 10, where W 2 = a 2 2 > 2. Hece the tree [W2 \{v}] has at least oe edge, ad thus there is a vertex u 1 W 2 such that deg [W2 ]u 1 = 1. Let u 2 be the uique vertex i W 2 that is coected to u 1. Sice f 0 (lk u 1 ) = a, the vertex u 1 must be coected to all vertices i W 1 except for oe vertex. We let z 1 be this vertex ad deote the circle lk lk vz 1 by C 1. Sice is flag, lk u 1 [W 1 \{z 1 }] = lk v {z 1 } C 1, ad hece lk u 1 = (lk v {z 1 } C 1 ) ({u 2 } C 1 ). 5

6 If {z 1 } lk u 2, the lk u 2 C 1 {u 1,z 1 }. Sice C 1 {u 1,z 1 } is a 2-sphere, it follows that lk u 2 = C 1 {u 1,z 1 } ad f 0 (C 1 ) = a 2. Hece W 2 = {u 1,u 2 } ad W 1 = V(C 1 ) {z 1 } {z 2 } for some vertex z 2 W 1, so that lk v = {z 1,z 2 } C 1. Now assume that {z 1 } / lk u 2 ad u 2 is coected to vertices u 3,u 4,,u k i [W 2 ]. Sice C 1 is a circle i the 2-sphere lk u 2, the subcomplex lk u 2 \V(C 1 ) has two cotractible coected compoets. If there is a vertex u i such that lk lk u 2 u i = C 1, the lk u 2 C 1 {u 1,u i } ad hece this lik is exactly C 1 {u 1,u i }. This implies that deg [W2 ]u 2 = 2. Otherwise, if lk lk u 2 u i C 1 for all 3 i k, the each u i is coected to at least oe vertex i lk v\(v(c 1 ) {z 1 }). Sice lk u 1 lk v\{z 1 }, it follows that the vertices u 1 ad u 3,,u k are i the same coected compoet, ad hece lk u 2 \V(C 1 ) is coected, a cotradictio. By applyig the above argumet iductively, we obtai that [W 2 \{v}] is a path graph (u 1,u 2,,u a 1 ), ad there is a vertex z 2 i W 1 such that lk u 1 = {z 2,u 2 } C 1 ad lk v = C 1 {z 1,z 2 }. Furthermore, C 1 lk u i for all u i W 2. The we let C 2 be the cycle graph (v,z 2,u 1,u 2,,u a 1,z 1 ). It follows that = C 1 C 2. Sice a = C 1 +2 = +4 2 or +4 4, C 1 ad C 2 must be cycles of legth 2 or 2. This implies = J 2(). By Lemma 2.2, the f-vector of is uiquely determied by f 0 ( ) = ad f 1 ( ). This yields the result. 4 Coutig edges of flag 5-maifolds For eve-dimesioal flag simplicial spheres, we have the followig weaker form of the flag upper boud cojecture, see Cojecture 18 i [2]: Cojecture 4.1. Fix m 1. For every flag 2m-sphere o vertices, we have f 1 (M) f 1 (J m ()). Usig almost the same argumet as i the proof of Theorem 3.4, we establish the followig propositio. Propositio 4.2. Let be a flag (2m+1)-maifold o vertices. If Cojecture 4.1 holds for all flag 2i-spheres with 1 i m, the f 1 ( ) f 1 (J m+1 ()). Equality holds oly whe = J m+1 (). Proof: The proof is by iductio o m. The case m = 1 is cofirmed by Theorem 3.4. Now assume that m 2 ad is a flag (2m+1)-maifold o vertices. If q mod m (0 q < m), the a simple computatio shows that f 1 (J m ()) = m 1 q(q m) 2m m, f 1(Jm m 1 q(q m) ()) = 2m ( 2)2 +3( 2)+ 2m. (4.1) As i the proof of Lemma 3.3, we let v be a vertex of maximum degree i V( ), a = f 0 (lk v), W 1 = V(lk v) ad W 2 = V( )\V(lk v). Followig the same argumet as i Lemma 3.3, we obtai the followig aalog of (3.1): f 1 ( ) f 1 (J m(a))+ W 2 max w W 2 f 0 (lk w) (f 0 ( [W 2 \{v}]) 1) ( ) m 1 2m (a 2)2 +3(a 2)+ = m+1 2m q(q m) 2i ( a ( m m+1 +2)) 2 + m 2m ( a)a ( a 2) q(q m), 2r

7 where i ( ) we used our assumptio that Cojecture 4.1 holds for flag 2m-spheres. By (4.1), m m+1 f 1 (J m+1 ()) = m 2m q(q m 1). 2r m m+1 +2 or Hece we coclude that f 1 ( ) f 1 (J m+1 ()). Moreover, equality holds whe a = a = +2, ad [W 2 \{w}] is a tree. If = 4m+4 or 4m+5, the by Lemma 3.2, is either J m+1 (4m + 4) or J m+1 (4m +5). If > 4m +5, the the tree [W 2 \{w}] has at least oe edge. We proceed with the same argumet as i Theorem 3.4 to show that lk v must be the suspesio of a (2m 1)-sphere o either m m+1 or m m+1 vertices. By iductio, this sphere is the joi of m circles, each havig legth either or. Hece = J m+1 (). m+1 m+1 Theorem 4.3. Let be a flag 5-maifold o vertices. The f 1 ( ) f 1 (J 3 ()). Equality holds if ad oly if = J 3 (). Proof: The result follows from Propositio 4.2 ad the fact that Cojecture 4.1 is kow to hold i the case of dimesio four (see [9], Theorem 3.1.3). 5 The face umbers of flag 3-dimesioal Euleria complexes I Lemma 3.3, we established a upper boud o the umber of edges for all flag ormal 3- pseudomaifolds. I this sectio, we fid sharp upper bouds o the face umbers for all flag 3-dimesioal Euleria complexes. The proof relies o the followig three lemmas. Lemma 5.1. Let be a flag (d 1)-dimesioal simplicial complex. (a) If σ 1 ad σ 2 are two ridges that lie i the same facet σ i, the the liks of σ 1 ad σ 2 are disjoit. (b) If σ = τ 1 τ 2 is a face i, the V(lk τ 1 ) V(lk τ 2 ) = V(lk σ). I particular, if σ is a facet, the f 0 (lk τ 1 )+f 0 (lk τ 2 ) f 0 ( ). Proof: For part (a), if v is a commo vertex of lk σ 1 ad lk σ 2, the v must be adjacet to each vertex of σ 1 σ 2 = σ. Thus, sice is flag, {v} σ, which cotradicts our assumptio that σ is a facet. For part (b), the iclusio V(lk τ 1 ) V(lk τ 2 ) V(lk σ) holds for ay simplicial complex. If v V(lk τ 1 ) V(lk τ 2 ), the v τ 1,v τ 2. Sice is flag, it follows that v σ. If σ is ot a facet, the v lk σ. This implies V(lk τ 1 ) V(lk τ 2 ) V(lk σ). However, if σ is a facet, the v σ caot a facet i. I this case, V(lk τ 1 ) V(lk τ 2 ) = V(lk σ) =, ad so f 0 (lk τ 1 )+f 0 (lk τ 2 ) f 0 ( ). Lemma 5.1 part (b) implies that if is a flag 3-dimesioal simplicial complex ad σ is a facet, the e σ f 0(lk e) 3f 0 ( ), where the sum is over the edges of σ. The followig lemma suggests a better estimate o e σ f 0(lk e) if is a flag weak 3-pseudomaifold. 7

8 Lemma 5.2. Let be a flag weak 3-pseudomaifold o vertices. The for ay facet σ = {v 1,v 2,v 3,v 4 } of, e σ f 0(lk e) + 16, where the sum is over the edges of σ. If equality holds, the w τ V(lk w) = V( ) for ay ridge τ σ. Proof: Let V i = V(lk v i ) for 1 i 4. By Lemma 5.1 part (b), for ay distict 1 i,j 4, we have V i V j = V(lk {v i,v j }) ad V 1 V 2 V 3 V 4 = V(lk σ) =. Also sice is a weak 3-pseudomaifold, ay ridge of is cotaied i exactly two facets. Hece V i V j V k = V(lk {v i,v j,v k }) is a set of cardiality two. By the iclusiog-exclusio priciple, we obtai that V i V j = V 1 V 2 V 3 V 4 + V i + V i V j V k V 1 V 2 V 3 V 4 1 i<j 4 = 1 i 4 1 i 4 V i V 1 V 2 V 3 V i<j<k 4 ( ) 4 3 = ( V 1 + V 2 V 1 V 2 )+( V 3 + V 4 V 3 V 4 )+ (V 1 V 2 ) (V 3 V 4 ) +8 = V 1 V 2 + V 3 V 4 + (V 1 V 2 ) (V 3 V 4 ) +8. For simplicity, we deote the set (V 1 V 2 ) (V 3 V 4 ) as V. Notice that by Lemma 5.1 part (b), ay vertex v belogs to at most oe of the sets V 1 V 2 ad V 3 V 4. We split the vertices of ito the followig three types. 1. If v V 1 V 2 ad v / V 3 V 4, or if v V 3 V 4 ad v / V 1 V 2, the v / V. Each of these vertices cotributes 1 to the right-had side of (5.1). 2. If v V i V j V k for some triple {i,j,k} [4], the v belogs to either V 1 V 2 or V 3 V 4, ad v V. By Lemma 5.1 part (a), every pair of ridges i σ has disjoit liks. Sice V i V j V k = 2, the umber of such vertices is exactly 8, ad each of them cotributes 2 to the right-had side of (5.1). 3. If v / V 1 V 2 ad v / V 3 V 4, the v cotributes to the right-had side of (5.1) at most 1. This case occurs oly whe v V, that is, whe v belogs to oe of V 1 ad V 2, ad oe of V 3 ad V 4. Hece {i,j} [4] V i V j +8+8 = +16. Furthermore, if equality holds, the for every vertex v i, either v V 1 V 2, or v V 3 V 4, or v V. This implies that every vertex i belogs to at least two of the four liks lk v 1,,lk v 4. This proves the secod claim. Lemma 5.3. Let be a flag weak 3-pseudomaifold o vertices, ad let σ = {v 1,v 2,v 3,v 4 } be a arbitrary facet of. The 1 i 4 f 0(lk v i ) 2+8. If equality holds, the w τ V(lk w) = V( ) for ay ridge τ σ. Proof: As i Lemma 5.2, we let V i = V(lk v i ). By the iclusio-exclusio priciple, V i = V i V j V i V j V k + V 1 V 2 V 3 V 4 + V 1 V 2 V 3 V 4 1 i 4 1 i<j 4 = 1 i<j 4 1 i<j<k 4 V i V j + V 1 V 2 V 3 V = (5.1) 8

9 The last iequality follows from Lemma 5.2 ad the fact that V 1 V 2 V 3 V 4 V( ) =. The secod claim also follows from Lemma 5.2. Now we are ready to prove the mai result i this sectio. Theorem 5.4. Let be a flag 3-dimesioal Euleria complex o vertices. The f 1 ( ) f 1 (J 2 ()). Proof: We deote the vertices of by v 1,v 2,,v, ad we let a i = f 0 (lk v i ). Sice lk v i is a 2-dimesioal Euleria complex, the f-umbers of lk v i satisfy the relatios f 2 f 1 +f 0 = 2, 3f 2 = 2f 1. Hece f 2 (lk v i ) = 2a i 4. By double coutig, we obtai that f 0 (lk v) = σ, σ =4 v σ f 0 (lk v i ) #{σ : v i σ, σ = 4} = i=1 a i (2a i 4). (5.2) i=1 By Lemma 5.3, the left-had side of (5.2) is bouded above by f 3 ( )(2 + 8), which also equals (f 1 ( ) )(2 + 8) by Lemma 2.2. However, sice 2f 1 ( ) = i=1 f 0(lk v 1 ) = i=1 a i, the right-had side of (5.2) is bouded below by 2f 1( ) (4f 1 ( ) 4 ), ad equality holds oly if a i = 2f 1( ) for all 1 i. Hece, (f 1 ( ) )(2+8) 2f ( 1( ) 4f1 ( ) ) 4. We simplify this iequality to get 8 ) (f 1 ( ) )( f 1( ) (2+8) 0. Sice f 1 ( ), it follows that f 1 ( ) 2 4 +, that is, f 1 ( ) f 1 (J 2 ()). The followig corollary provides some properties of the maximizers of the face umbers i the class of flag 3-dimesioal Euleria complexes. Corollary 5.5. Let be a flag 3-dimesioal Euleria complex o vertices. The f 1 ( ) = f 1 (J 2 ()) if ad oly if (i) 2 vertices of satisfy f0 (lk v) = 2 +2 while 2 vertices satisfy f 0 (lk v) = 2 +2, ad (ii) ad all of its vertex liks are coected. Proof: Part (i) of the claim follows from the proof of Theorem 5.4. Also by Theorem 5.4, if f 1 ( ) = f 1 (J 2 ()), the v σ f 0(lk v) = 2+8foreveryfacetσ = {v 1,v 2,v 3,v 4 }. ByLemma 5.3, every vertex of belogs to 1 i 3 V(lk v i ), ad hece is coected. If there is a vertex v such that lk v is ot coected, the we let τ 1 = {u 1,u 2,u 3 } ad τ 2 = {w 1,w 2,w 3 } be two 2-faces i distict coected compoets of lk v. Sice is flag, by Lemma 2.3, lk v = [V(lk v)]. Therefore o edges exist betwee τ 1 ad τ 2. However, Theorem 5.4 ad Lemma 5.3 also imply that 1 i 3 V(lk u i ) = V( ), cotradictig the fact that {w 1,w 2,w 3 } V(lk u i ) for all 1 i 3. Hece every vertex lik i is coected. The ext lemma, which might be of iterest i its ow right, provides a sufficiet coditio for a flag complex to be the joi of two of its liks. 9

10 Lemma 5.6. Let be a flag (d 1)-dimesioal simplicial complex. If σ = τ 1 τ 2 is a facet of, where τ 1 is a i-face of ad τ 2 is a (d i 2)-face of, the V(lk τ 1 ) V(lk τ 2 ) = V( ) implies that lk τ 1 lk τ 2. Moreover, if is a flag ormal (d 1)-pseudomaifold, the V(lk τ 1 ) V(lk τ 2 ) = V( ) if ad oly if = lk τ 1 lk τ 2. Proof: Sice is flag, [V(lk τ j )] = lk τ j for j = 1,2. Hece for every i-face τ 2 i lk τ 1, the lik lk τ 2 does ot cotai ay vertex i lk τ 1. This implies lk τ 2 lk τ 2. Similarly, for every (d i 2)-face τ 1 lk τ 2, we have lk τ 1 lk τ 1. Thus, lk τ 1 lk τ 2. If is a ormal pseudomaifold, the both lk τ 2 ad lk τ 2 are ormal pseudomaifolds. Sice o proper subcomplex of a ormal pseudomaifold ca be a ormal pseudomaifold of the same dimesio, it follows that lk τ 2 = lk τ 2. Similarly, for every (d i 2)-face τ 1 lk τ 2, lk τ 1 = lk τ 1. Hece = lk τ 1 lk τ 2. Remark 5.7. The secod result i Lemma 5.6 does ot hold for flag weak pseudomaifolds, eve assumig coectedess. Ideed, let L 1,,L 4 be four distict circles of legth 4. The = (L 1 L 3 ) (L 2 L 3 ) (L 1 L 4 ) is a flag weak 3-pseudomaifold. If τ 1 ad τ 2 are edges i L 1 ad L 3 respectively, the lk τ 1 = L 3 L 4 ad lk τ 2 = L 1 L 2. Hece V(lk τ 1 ) V(lk τ 2 ) = V( ). However, is a proper subcomplex of lk τ 1 lk τ 2. I Theorem 3.4 we proved that the maximizer of the face umbers is uique i the class of flag 3-maifolds o vertices. Is this also true for flag 3-dimesioal Euleria complexes? Corollary 5.5 implies that if the case of equality is ot a joi of two circles, the some of its edge liks are ot coected. Motivated by the example i Remark 5.7, we costruct a family of flag 3-dimesioal Euleria complexes o vertices that have the same f-umbers as those of J 2 (). Example 5.8. We write C i to deote a circle of legth i. For a fixed umber 8, let a 1,a 2,,a s, b 1,b 2,,b t 4 be itegers such that a i = ad 2 b j =. 2 1 i s 1 j t We claim that = 1 i s,1 j t (C a i C bj ) is flag ad Euleria, where all C have disjoit vertex sets. Sice the circles C ai ad C bj are of legth 4, they are flag ad hece is also flag. Also ay ridge τ i ca be expressed as τ = v e, where v is a vertex of C ai ad e is a edge of C bj (or v C bj ad e C ai ) for some i,j. By the costructio of, the ridge τ is cotaied i exactly two facets {v,v } e ad {v,v } e of, where v ad v are eighbors of v i the circle C ai (or C bj ). Hece the liks of ridges i are Euleria. Sice the edge liks i are either circles or disjoit uios of circles, ad the vertex liks i are suspesios of disjoit uio of circles, these liks are also Euleria. Fially, the vertices i C ai have degree 2 +2 ad the vertices i Cbj have degree 2, ad thus f1 ( ) = f 1 (J 2 ()). A simple computatio also shows that f 2 ( ) = f 2 (J 2 ()) ad f 3 ( ) = f 3 (J 2 ()). Hece χ( ) = χ(j 2 ()), ad is Euleria. We deote the set of all complexes o vertices costructed i Example 5.8 as GJ(). It turs out that GJ() is exactly theset of maximizers oftheface umbersi theclass of flag3-dimesioal Euleria complex o vertices. To prove this, we begi with the followig lemma. Lemma 5.9. Let be a flag 3-dimesioal Euleria complex o vertices. If f 1 ( ) = f 1 (J 2 ()), the every vertex lik is the suspesio of disjoit uio of circles. 10

11 Proof: Assume that v is a arbitrary vertex of ad deote lk v by Γ. Sice f 1 ( ) = f 1 (J 2 ()), by the proof of Theorem 5.4 ad Lemma 5.3, it follows that for every 2-face {v 1,v 2,v 3 } Γ, we have 1 i 3 V(lk v i ) = V( ). I particular, 1 i 3 V(lk Γ v i ) = 1 i 3 V(lk v i [V(Γ)]) = V(Γ). Sice f 0 (lk Γ v i lk Γ v j ) = 2 for 1 i < j 3 ad f 0 ( 3 i=1 lk Γv i ) = 0, by the iclusio-exclusio priciple, 3 f 0 (lk Γ v i ) = f 0 (Γ)+ i=1 1 i<j 3 f 0 (lk Γ v i lk Γ v j ) f 0 ( 3 i=1lk Γ v i ) = f 0 (Γ)+6. Also sice Γ is Euleria, the f-vector of Γ is (f 0 (Γ),3f 0 (Γ) 6,2f 0 (Γ) 4). Moreover, every vertex lik i Γ is the disjoit uio of circles, ad hece f 0 (lk Γ v) = f 1 (lk Γ v). By double coutig, σ Γ, σ =3 v σf 0 (lk Γ v) = v Γf 0 (lk Γ v) #{σ : v σ, σ = 3} = v σ f 0 (lk Γ v) 2. (5.3) The left-had side of (5.3) equals f 2 (Γ)(f 0 (Γ) + 6) = 2(f 0 (Γ) 2)(f 0 (Γ) + 6). However, sice v σ f 0(lk Γ v) = 2f 1 (Γ) = 6f 0 (Γ) 12, ad every vertex lik i Γ has at least four vertices, the right-had side of (5.3) is bouded above by 2(f 0 (Γ) 2)+(f 0 (Γ) 2) 4 2 = 2(f 0 (Γ) 2)(f 0 (Γ)+6). The the equality forces the right-had side to obtai its maximum. Therefore, there exists two vertices u 1,u 2 Γ whose vertex liks i Γ have f 0 (Γ) 2 vertices ad the other vertex liks have 4 vertices. If f 0 (Γ) = 6, the Γ is the cross-polytope. Else if f 0 (Γ) > 6, the f 0 (lk Γ u 1 ) > 4. Sice Γ is flag, by Lemma 2.3, Γ[V(lk Γ u 1 )] = lk Γ u 1, ad hece every vertex of lk Γ u 1 is ot coected to f 0 (lk Γ u 1 ) 3 > 1 vertices i lk Γ u 1. This implies that u 2 / lk Γ u 1. Hece lk Γ u 2 = Γ[V(Γ)\{u 1,u 2 }] = lk Γ u 1, ad Γ is the joi of lk Γ u 1 ad two vertices u 1,u 2. Theorem Let be a flag 3-dimesioal Euleria complex o vertices. If f 1 ( ) = f 1 (J 2 ()), the GJ(). Proof: By Lemma 5.9, we may assume that the lik of vertex v 1 is the joi of C ad two other vertices v 2,v 3, where C is the disjoit uio of circles. The agai by Lemma 5.9, the lik of vertex v 2 is also the suspesio of C. If v 1 is ay vertex of C ad its adjacet vertices i C are v 2,v 3, the by Lemma 2.3, [V(C)] = C, ad it follows that f 0(lk v i C) = 2 for i = 1,2. Hece for 1 i,j 2, f 0 (lk {v i,v j }) = f 0(lk v i lk v j ) f 0(C lk v j )+2 = 4. Furthermore, V(lk {v 1,v 2 }) is disjoit from V(lk {v 1,v 2 }). So we obtai that e {v 1,v 2,v 1,v 2 } f 0 (lk e) +4 4 = +16, where the sum is over the edges of {v 1,v 2,v 1,v 2 }. Sice f 1 ( ) = f 1 (J 2 ()), by the proof of Theorem 5.4 ad Lemma 5.2, it follows that this sum is exactly +16. Hece V(lk {v 1,v 2 }) 11

12 V(lk {v 1,v 2 }) = V( ). By Lemma 5.6, lk {v 1,v 2 } lk {v 1,v 2 }. We cout the umber of edges i to get f 1 (J 2 ()) = f 1 ( ) f 1 (lk {v 1,v 2 } lk {v 1,v 2 }) = f 0(lk {v 1,v 2 }) f 0 (lk {v 1,v 2 })+ f 1(J 2 ()). Thus f 1 ( ) = f 1 (lk {v 1,v 2 } lk {v 1,v 2 }), ad the edge liks lk {v 1,v 2 },lk {v 1,v 2 } must be disjoit uios of circles o 2 ad 2 vertices respectively. Sice the flag complex is determied by its graph, it follows that = lk {v 1,v 2 } lk {v 1,v 2 }, i.e., GJ(). Remark Theorem 5.10 implies Theorem 3.4. This is because every 3-maifold is Euleria ad the oly complex i GJ() that is also a 3-maifold is J 2 (). 6 Cocludig Remarks We close this paper with a few remarks ad ope problems. As metioed i the itroductio, Klee [10] verified that the Motzki s UBC for polytopes holds for Euleria complexes with sufficietly may vertices, ad cojectured it holds for all Euleria complexes. Ca the upper boud cojecture for flag spheres also be exteded to flag Euleria complexes? Motivated by Theorem 3.4 ad Theorem 5.4, we posit the followig cojecture i the same spirit as Problem 17(i) from [2]: Cojecture 6.1. Let be a flag (2m 1)-dimesioal complex, where m 2. Assume further that is a Euleria complex o vertices. The f i ( ) f i (J m ()) for all i = 1,,2m 1. Theorem 5.4 gives a affirmative aswer i the case of m = 2 ad 1 i 3. The ext case is i = 1 ad m = 3. I this case, Theorem 4.3 verifies Cojecture 6.1 for flag 5-maifolds. Sice Gal s proof that the real rootedess cojecture holds for homology spheres of dimesio less tha five relies o the Davis-Oku Theorem, it appears that whether Theorem 4.3 ca be exteded to the geerality of flag Euleria complexes may deped o whether the Davis-Oku Theorem cotiues to hold for a larger class of complexes. The above results ad cojectures discuss odd-dimesioal flag complexes. What happes i the eve-dimesioal cases? To this ed, we pose the followig stregtheig of Cojecture 18 from [2]. Let Jm () := S0 C 1 C m, where each C i is a circle of legth either 2 m or 2 m, ad the total umber of vertices of Jm() is 4m+2. Now we let S deote the set of flag 2-spheres o vertices, ad defie J m() := {S C 2 C m S S V(C1 )+2}. It is ot hard to see that every elemet i J m() is a flag 2m-sphere. Cojecture 6.2. Let be a flag homology 2m-sphere o vertices. The f i ( ) f i (J m()) for all i = 1,,2m. If equality holds for some 1 i 2m, the J m(). Ackowledgemets I would like to thak Isabella Novik, Steve Klee ad Era Nevo for helpful commets. 12

13 Refereces [1] M. Adamaszek: A upper boud theorem for a class of flag weak pseudomaifolds, arxiv: , [2] M. Adamaszek ad J. Hladký: Upper boud theorem for odd-dimesioal flag maifolds, arxiv: v2, [3] C. A. Athaasiadis: Some combiatorial properties of flag simplicial pseudomaifolds ad spheres, Ark. Mat. 49(2011), [4] B. Bagchi ad B. Datta, Miimal triagulatios of sphere budles over the circle, J. Combi. Theory Ser. A 115(2008), [5] R. Charey ad M. Davis: The Euler characteristic of a opositively curved, piecewise Euclidea maifold, Pacific J. Math. 171(1995), [6] M. Davis ad B. Oku: Vaishig theorems ad cojectures for the L 2 -homology of rightagled Coxeter groups, Geom. Topol. 5(2001), [7] M. W. Davis, J. Dymara, T. Jauszkiewicz ad B. Oku: Weighted L 2 -cohomology of Coxeter groups, Geom. Topol. 11(2007), [8] P. Frakl, Z. Füredi ad G. Kalai: Shadows of colored complexes, Math. Scad. 63(1988), [9] S. R. Gal: Real root cojecture fails for five ad higher dimesioal spheres, Discrete Comput. Geom. 34(2005), [10] V. Klee: O the umber of vertices of a covex polytope, Caadia J. Math 16(1964), [11] F. Lutz ad E. Nevo: Stellar theory for flag complexes, Math. Scad. to appear; arxiv: , [12] P. McMulle: The maximum umber of faces of a covex polytope, Mathematika 17(1970), [13] T. Motzki: Comootoe curves ad polyhedra, Bull. Amer. Math. Soc. 63(1957), 35. [14] E. Nevo ad T. K. Peterse: O γ-vectors satisfyig the Kruskal-Katoa iequalities, Discrete Comput. Geom. 45(2010), [15] A. Padrol: May eighborly polytopes ad orieted matroids, Discrete Comput. Geom. 50(2013), [16] I. Shermer: Neighborly polytopes, Israel J. Math. 43(1982), [17] R. Staley: The upper boud cojecture ad Cohe-Macaulay rigs, Studies i Applied Math. 54(1975),