Abstract
In this chapter we survey many exciting developments on the face numbers of simplicial complexes from the past two decades. We focus on simplicial complexes whose geometric realizations are (homology) manifolds, as well as manifolds with additional combinatorial structure such as balanced manifolds or flag manifolds. The discussed results range from the Upper Bound Theorem for manifolds to the balanced Generalized Lower Bound Theorem for balanced polytopes.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
We further refer to Stanley’s recent article [84] which gives his personal account of how he came to the proof of the Upper Bound Theorem.
References
M. Adamaszek, J. Hladký, Upper bound theorem for odd-dimensional flag manifolds (2015), http://arxiv.org/abs/1503.05961
A. Aramova, J. Herzog, Almost regular sequences and Betti numbers. Am. J. Math. 122(4), 689–719 (2000). MR 1771569 (2001i:13029)
E. Babson, E. Nevo, Lefschetz properties and basic constructions on simplicial spheres. J. Algebraic Comb. 31(1), 111–129 (2010). MR 2577480 (2011a:55021)
E. Babson, I, Novik, Face numbers and nongeneric initial ideals. Electron. J. Comb. 11(2), Research Paper 25, 23 (2004/06). MR 2195431 (2007c:05202)
B. Bagchi, The mu vector, Morse inequalities and a generalized lower bound theorem for locally tame combinatorial manifolds. Eur. J. Comb. 51, 69–83 (2016). http://dx.doi.org/10.1016/j.ejc.2015.04.007
B. Bagchi, B. Datta, On stellated spheres and a tightness criterion for combinatorial manifolds. Eur. J. Comb. 36, 294–313 (2014). MR 3131896
D. Barnette, A proof of the lower bound conjecture for convex polytopes. Pac. J. Math. 46, 349–354 (1973). MR 0328773 (48 #7115)
D. Bayer, H. Charalambous, S. Popescu, Extremal Betti numbers and applications to monomial ideals. J. Algebra 221(2), 497–512 (1999). MR 1726711 (2001a:13020)
B. Benedetti, Smoothing discrete Morse theory. Ann. Sc. Norm. Super. Pisa Cl. Sci. (2014, to appear). http://arxiv.org/pdf/1212.0885v4.pdf
L.J. Billera, C.W. Lee, A proof of the sufficiency of McMullen’s conditions for f-vectors of simplicial convex polytopes. J. Comb. Theory A 31(3), 237–255 (1981). MR 635368 (82m:52006)
A. Björner, G. Kalai, An extended Euler-Poincaré theorem. Acta Math. 161(3–4), 279–303 (1988). MR 971798 (89m:52009)
U. Brehm, W. Kühnel, Combinatorial manifolds with few vertices. Topology 26(4), 465–473 (1987). MR 919730 (89c:57022)
F. Brenti, V. Welker, f-vectors of barycentric subdivisions. Math. Z. 259(4), 849–865 (2008). MR 2403744 (2009k:52027)
J. Browder, S. Klee, Lower bounds for Buchsbaum complexes. Eur. J. Comb. 32(1), 146–153 (2011). MR 2727469 (2012a:05350)
J.W. Cannon, Shrinking cell-like decompositions of manifolds. Codimension three. Ann. Math. (2) 110(1), 83–112 (1979) MR 541330 (80j:57013)
R. Charney, M. Davis, The Euler characteristic of a nonpositively curved, piecewise Euclidean manifold. Pac. J. Math. 171(1), 117–137 (1995). MR 1362980 (96k:53066)
J. Chestnut, J. Sapir, E. Swartz, Enumerative properties of triangulations of spherical bundles over S 1. Eur. J. Comb. 29(3), 662–671 (2008). MR 2397347 (2009b:52048)
B. Datta, S. Murai, On stacked triangulated manifolds (2014), http://arxiv.org/pdf/1407.6767.pdf
M.W. Davis, B. Okun, Vanishing theorems and conjectures for the ℓ 2-homology of right-angled Coxeter groups. Geom. Topol. 5, 7–74 (2001). MR 1812434 (2002e:58039)
A.L. Fogelsanger, The generic rigidity of minimal cycles, Ph.D. Thesis, Cornell University, ProQuest LLC, Ann Arbor, 1988. MR 2636638
A. Frohmader, Face vectors of flag complexes. Isr. J. Math. 164, 153–164 (2008). MR 2391144 (2009a:05150)
Ś.R. Gal, Real root conjecture fails for five- and higher-dimensional spheres. Discret. Comput. Geom. 34(2), 269–284 (2005). MR 2155722 (2006c:52019)
M. Goff, S. Klee, I. Novik, Balanced complexes and complexes without large missing faces. Ark. Mat. 49(2), 335–350 (2011). MR 2826947 (2012k:55026)
S. Goto, On the associated graded rings of parameter ideals in Buchsbaum rings. J. Algebra 85(2), 490–534 (1983). MR 725097 (85d:13032)
H.-G. Gräbe, The canonical module of a Stanley-Reisner ring. J. Algebra 86(1), 272–281 (1984). MR 727379 (85a:13010)
H.-G. Gräbe, Generalized Dehn-Sommerville equations and an upper bound theorem. Beitr. Algebra Geom. 25, 47–60 (1987). MR 899384 (88k:52008)
M.L. Green, Generic initial ideals. Six Lectures on Commutative Algebra (Bellaterra, 1996). Progress in Mathematics, vol. 166 (Birkhäuser, Basel, 1998), pp. 119–186. MR 1648665 (99m:13040)
R. Hartshorne, Connectedness of the Hilbert scheme. Inst. Hautes Études Sci. Publ. Math. 29, 5–48 (1966). MR 0213368 (35 #4232)
P. Hersh, I. Novik, A short simplicial h-vector and the upper bound theorem. Discret. Comput. Geom. 28(3), 283–289 (2002). MR 1923232 (2003f:52007)
J. Herzog, T. Hibi, Monomial Ideals. Graduate Texts in Mathematics, vol. 260 (Springer, London, 2011). MR 2724673 (2011k:13019)
M. Juhnke-Kubitzke, S. Murai, Balanced generalized lower bound inequality for simplicial polytopes (2015), http://arxiv.org/abs/1503.06430
M. Jungerman, G. Ringel, Minimal triangulations on orientable surfaces. Acta Math. 145(1–2), 121–154 (1980). MR 586595 (82b:57012)
G. Kalai, Characterization of f-vectors of families of convex sets in R d. Part I: Necessity of Eckhoff’s conditions. Isr. J. Math. 48(2–3), 175–195 (1984). MR 770700 (86c:52003)
G. Kalai, Rigidity and the lower bound theorem. I. Invent. Math. 88(1), 125–151 (1987). MR 877009 (88b:52014)
G. Kalai, Many triangulated spheres. Discret. Comput. Geom. 3(1), 1–14 (1988). MR 918176 (89b:52025)
G. Kalai, Algebraic shifting. Computational Commutative Algebra and Combinatorics (Osaka, 1999). Advanced Studies in Pure Mathematics, vol. 33 (Mathematical Society of Japan, Tokyo, 2002), pp. 121–163. MR 1890098 (2003e:52024)
K. Karu, The cd-index of fans and posets. Compos. Math. 142(3), 701–718 (2006). MR 2231198 (2007e:14083)
S. Klee, The fundamental group of balanced simplicial complexes and posets. Electron. J. Comb. 16(2), 12 (2009) [Special volume in honor of Anders Björner, Research Paper 7.]. MR 2515770 (2011a:05380)
S. Klee, I. Novik, Centrally symmetric manifolds with few vertices. Adv. Math. 229(1), 487–500 (2012). MR 2854181 (2012j:57047)
S. Klee, I. Novik, Lower bound theorems and a generalized lower bound conjecture for balanced simplicial complexes. Mathematika (2014, to appear). http://arxiv.org/abs/1409.5094
V. Klee, A combinatorial analogue of Poincaré’s duality theorem. Can. J. Math. 16, 517–531 (1964). MR 0189039 (32 #6466)
V. Klee, On the number of vertices of a convex polytope. Can. J. Math. 16, 701–720 (1964). MR 0166682 (29 #3955)
S. Kolins, f-vectors of triangulated balls. Discret. Comput. Geom. 46(3), 427–446 (2011). MR 2826961 (2012h:52028)
M. Kubitzke, E. Nevo, The Lefschetz property for barycentric subdivisions of shellable complexes. Trans. Am. Math. Soc. 361(11), 6151–6163 (2009). MR 2529927 (2010f:13029)
W. Kühnel, Triangulations of manifolds with few vertices. Advances in Differential Geometry and Topology (World Science Publisher, Teaneck, 1990), pp. 59–114. MR 1095532 (92k:57043)
W. Kühnel, Tight Polyhedral Submanifolds and Tight Triangulations. Lecture Notes in Mathematics, vol. 1612 (Springer, Berlin, 1995). MR 1439748 (98b:52018)
C.W. Lee, Generalized stress and motions. Polytopes: Abstract, Convex and Computational (Scarborough, ON, 1993). NATO Advanced Science Institutes Series C: Mathematical and Physical Sciences, vol. 440 (Kluwer Academic Publishers, Dordrecht, 1994), pp. 249–271. MR 1322066 (96c:52039)
C.W. Lee, L. Schmidt, On the numbers of faces of low-dimensional regular triangulations and shellable balls. Rocky Mt. J. Math. 41(6), 1939–1961 (2011). MR 2854745 (2012j:52028)
F.H. Lutz, Triangulated manifolds with few vertices: combinatorial manifolds (2005), http://arxiv.org/pdf/math/0506372v1.pdf
F.H. Lutz, E, Nevo, Stellar theory for flag complexes. Math. Scand. (2014, to appear). http://arxiv.org/abs/1302.5197
F.H. Lutz, T. Sulanke, E. Swartz, f-vectors of 3-manifolds. Electron. J. Comb. 16(2), 33 (2009) [Special volume in honor of Anders Björner, Research Paper 13.]. MR 2515776(2010k:57052)
F.S. Macaulay, Some properties of enumeration in the theory of modular systems. Proc. Lond. Math. Soc. S2-26(1), 531 (1926). MR 1576950
I.G. Macdonald, Polynomials associated with finite cell-complexes. J. Lond. Math. Soc. (2) 4, 181–192 (1971). MR 0298542 (45 #7594)
P. McMullen, The maximum numbers of faces of a convex polytope. Mathematika 17, 179–184 (1970). MR 0283691 (44 #921)
P. McMullen, On simple polytopes. Invent. Math. 113(2), 419–444 (1993). MR 1228132 (94d:52015)
P. McMullen, Weights on polytopes. Discret. Comput. Geom. 15(4), 363–388 (1996) MR 1384882 (97b:52012)
P. McMullen, D.W. Walkup, A generalized lower-bound conjecture for simplicial polytopes. Mathematika 18, 264–273 (1971). MR 0298557 (45 #7609)
J. Migliore, U. Nagel, Reduced arithmetically Gorenstein schemes and simplicial polytopes with maximal Betti numbers. Adv. Math. 180(1), 1–63 (2003). MR 2019214 (2004k:14082)
J.R. Munkres, Topological results in combinatorics. Mich. Math. J. 31(1), 113–128 (1984). MR 736476 (85k:13022)
S. Murai, Generic initial ideals and squeezed spheres. Adv. Math. 214(2), 701–729 (2007). MR 2349717 (2008h:13037)
S. Murai, Algebraic shifting of strongly edge decomposable spheres, J. Comb. Theory A 117(1), 1–16 (2010). MR 2557878 (2011b:05290)
S. Murai, On face vectors of barycentric subdivisions of manifolds. SIAM J. Discret. Math. 24(3), 1019–1037 (2010). MR 2680231 (2012b:52022)
S. Murai, Tight combinatorial manifolds and graded Betti numbers. Collect. Math. 66(3), 367–386 (2015). http://link.springer.com/article/10.1007 [ MR 3384014]
S. Murai, E. Nevo, On the cd-index and γ-vector of S∗-shellable CW-spheres. Math. Z. 271(3–4), 1309–1319 (2012). MR 2945609
S. Murai, E. Nevo, On the generalized lower bound conjecture for polytopes and spheres. Acta Math. 210(1), 185–202 (2013). MR 3037614
S. Murai, E. Nevo, On r-stacked triangulated manifolds. J. Algebraic Comb. 39(2), 373–388 (2014). MR 3159256
E. Nevo, T.K. Petersen, On γ-vectors satisfying the Kruskal-Katona inequalities. Discret. Comput. Geom. 45(3), 503–521 (2011). MR 2770549 (2012d:52026)
E. Nevo, T.K. Petersen, B.E. Tenner, The γ-vector of a barycentric subdivision. J. Comb. Theory A 118(4), 1364–1380 (2011). MR 2755087 (2012h:52041)
E. Nevo, F. Santos, S. Wilson, Many triangulated odd-spheres. Math. Annalen, to appear (2014), http://arxiv.org/pdf/1408.3501.pdf
I. Novik, Upper bound theorems for homology manifolds. Isr. J. Math. 108, 45–82 (1998). MR 1669325 (2000e:52013)
I. Novik, On face numbers of manifolds with symmetry. Adv. Math. 192(1), 183–208 (2005). MR 2122283 (2006a:52009)
I. Novik, E. Swartz, Applications of Klee’s Dehn-Sommerville relations. Discret. Comput. Geom. 42(2), 261–276 (2009). MR 2519879 (2010h:52033)
I. Novik, E. Swartz, Gorenstein rings through face rings of manifolds. Compos. Math. 145(4), 993–1000 (2009). MR 2521251 (2011a:13049)
I. Novik, E. Swartz, Socles of Buchsbaum modules, complexes and posets. Adv. Math. 222(6), 2059–2084 (2009). MR 2562774 (2010j:13041)
I. Novik, E. Swartz, Face numbers of pseudomanifolds with isolated singularities. Math. Scand. 110(2), 198–222 (2012). MR 2943717
J. Pfeifle, G.M. Ziegler, Many triangulated 3-spheres. Math. Ann. 330(4), 829–837 (2004). MR 2102314 (2005j:52017)
G.A. Reisner, Cohen-Macaulay quotients of polynomial rings. Adv. Math. 21(1), 30–49 (1976). MR 0407036 (53 #10819)
G. Ringel, Wie man die geschlossenen nichtorientierbaren Flächen in möglichst wenig Dreiecke zerlegen kann. Math. Ann. 130, 317–326 (1955). MR 0075591 (17,774b)
P. Schenzel, On the number of faces of simplicial complexes and the purity of Frobenius. Math. Z. 178(1), 125–142 (1981) MR 627099 (82k:13022)
R.P. Stanley, The upper bound conjecture and Cohen-Macaulay rings. Stud. Appl. Math. 54(2), 135–142 (1975). MR 0458437 (56 #16640)
R.P. Stanley, Balanced Cohen-Macaulay complexes. Trans. Am. Math. Soc. 249(1), 139–157 (1979). MR 526314 (81c:05012)
R.P. Stanley, The number of faces of a simplicial convex polytope. Adv. Math. 35(3), 236–238 (1980). MR 563925 (81f:52014)
R.P. Stanley, Combinatorics and Commutative Algebra, 2nd edn. Progress in Mathematics, vol. 41 (Birkhäuser, Boston, 1996). MR 1453579 (98h:05001)
R.P. Stanley, How the upper bound conjecture was proved. Ann. Comb. 18(3), 533–539 (2014). MR 3245897
E. Swartz, g-elements, finite buildings and higher Cohen-Macaulay connectivity. J. Comb. Theory A 113(7), 1305–1320 (2006). MR 2259062 (2007i:05192)
E. Swartz, Face enumeration—from spheres to manifolds. J. Eur. Math. Soc. (JEMS) 11(3), 449–485 (2009). MR 2505437 (2010m:05346)
E. Swartz, Thirty-five years and counting (2014), http://arxiv.org/pdf/1411.0987.pdf
E. Swartz, What’s next?. Oberwolfach Workshop on Geometric and Algebraic Combinatorics (2015), Oberwolfach Report available at http://www.mfo.de/occasion/1506
T.-S. Tay, Lower-bound theorems for pseudomanifolds. Discret. Comput. Geom. 13(2), 203–216 (1995). MR 1314963 (96d:52009)
D.W. Walkup, The lower bound conjecture for 3- and 4-manifolds. Acta Math. 125, 75–107 (1970). MR 0275281 (43 #1038)
S. Murai, I. Novik, Face numbers of manifolds with boundary (2015), http://arxiv.org/abs/1509.05115
H. Zheng, The flag upper bound theorem for 3- and 5-manifolds (2015), http://arxiv.org/pdf/1512.06958.pdf
Acknowledgements
We are grateful to Bhaskar Bagchi, Basudeb Datta, Satoshi Murai, Eran Nevo, and Ed Swartz for many helpful conversations and comments on the previous version of this paper.
Novik’s research is partially supported by NSF grant DMS-1361423.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Klee, S., Novik, I. (2016). Face enumeration on simplicial complexes. In: Beveridge, A., Griggs, J., Hogben, L., Musiker, G., Tetali, P. (eds) Recent Trends in Combinatorics. The IMA Volumes in Mathematics and its Applications, vol 159. Springer, Cham. https://doi.org/10.1007/978-3-319-24298-9_26
Download citation
DOI: https://doi.org/10.1007/978-3-319-24298-9_26
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-24296-5
Online ISBN: 978-3-319-24298-9
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)