arXiv++ Combinatorics

We resolve a conjecture of Kalai asserting that the $g_2$-number of any simplicial complex $Δ$ that represents a connected normal pseudomanifold of dimension $d\geq 3$ is at least as large as ${d+2 \choose 2}m(Δ)$, where $m(Δ)$ denotes the minimum number of generators of the fundamental group of $Δ$. Furthermore, we prove that a weaker bound, $h_2(Δ)\geq {d+1 \choose 2}m(Δ)$, applies to any $d$-dimensional pure simplicial poset $Δ$ all of whose faces of co-dimension $\geq 2$ have connected links. This generalizes a result of Klee. Finally, for a pure relative simplicial poset $Ψ$ all of whose vertex links satisfy Serre's condition $(S_r)$, we establish lower bounds on $h_1(Ψ),\ldots,h_r(Ψ)$ in terms of the $μ$-numbers introduced by Bagchi and Datta.

Let $Δ$ be a triangulated homology ball whose boundary complex is $\partialΔ$. A result of Hochster asserts that the canonical module of the Stanley--Reisner ring of $Δ$, $\mathbb F[Δ]$, is isomorphic to the Stanley--Reisner module of the pair $(Δ, \partialΔ)$, $\mathbb F[Δ,\partial Δ]$. This result implies that an Artinian reduction of $\mathbb F[Δ,\partial Δ]$ is (up to a shift in grading) isomorphic to the Matlis dual of the corresponding Artinian reduction of $\mathbb F[Δ]$. We establish a generalization of this duality to all triangulations of connected orientable homology manifolds with boundary. We also provide an explicit algebraic interpretation of the $h"$-numbers of Buchsbaum complexes and use it to prove the monotonicity of $h"$-numbers for pairs of Buchsbaum complexes as well as the unimodality of $h"$-vectors of barycentric subdivisions of Buchsbaum polyhedral complexes. We close with applications to the algebraic manifold $g$-conjecture.

We introduce a notion of cross-flips: local moves that transform a balanced (i.e., properly $(d+1)$-colored) triangulation of a combinatorial $d$-manifold into another balanced triangulation. These moves form a natural analog of bistellar flips (also known as Pachner moves). Specifically, we establish the following theorem: any two balanced triangulations of a closed combinatorial $d$-manifold can be connected by a sequence of cross-flips. Along the way we prove that for every $m \geq d+2$ and any closed combinatorial $d$-manifold $M$, two $m$-colored triangulations of $M$ can be connected by a sequence of bistellar flips that preserve the vertex colorings.

We study face numbers of simplicial complexes that triangulate manifolds (or even normal pseudomanifolds) with boundary. Specifically, we establish a sharp lower bound on the number of interior edges of a simplicial normal pseudomanifold with boundary in terms of the number of interior vertices and relative Betti numbers. Moreover, for triangulations of manifolds with boundary all of whose vertex links have the weak Lefschetz property, we extend this result to sharp lower bounds on the number of higher-dimensional interior faces. Along the way we develop a version of Bagchi and Datta's $σ$- and $μ$-numbers for the case of relative simplicial complexes and prove stronger versions of the above statements with the Betti numbers replaced by the $μ$-numbers. Our results provide natural generalizations of known theorems and conjectures for closed manifolds and appear to be new even for the case of a ball.

Let $M$ be a closed triangulable manifold, and let $Δ$ be a triangulation of $M$. What is the smallest number of vertices that $Δ$ can have? How big or small can the number of edges of $Δ$ be as a function of the number of vertices? More generally, what are the possible face numbers ($f$-numbers, for short) that $Δ$ can have? In other words, what restrictions does the topology of $M$ place on the possible $f$-numbers of triangulations of $M$? To make things even more interesting, we can add some combinatorial conditions on the triangulations we are considering (e.g., flagness, balancedness, etc.) and ask what additional restrictions these combinatorial conditions impose. While only a few theorems in this area of combinatorics were known a couple of decades ago, in the last ten years or so, the field simply exploded with new results and ideas. Thus we feel that a survey paper is long overdue. As new theorems are being proved while we are typing this chapter, and as we have only a limited number of pages, we apologize in advance to our friends and colleagues, some of whose results will not get mentioned here.

A $(d-1)$-dimensional simplicial complex is called balanced if its underlying graph admits a proper $d$-coloring. We show that many well-known face enumeration results have natural balanced analogs (or at least conjectural analogs). Specifically, we prove the balanced analog of the celebrated Lower Bound Theorem for pseudomanifolds and characterize the case of equality; we introduce and characterize the balanced analog of the Walkup class; we propose the balanced analog of the Generalized Lower Bound Conjecture and establish some related results. We close with constructions of balanced manifolds with few vertices.

We develop a bipartite rigidity theory for bipartite graphs parallel to the classical rigidity theory for general graphs, and define for two positive integers $k,l$ the notions of $(k,l)$-rigid and $(k,l)$-stress free bipartite graphs. This theory coincides with the study of Babson--Novik's balanced shifting restricted to graphs. We establish bipartite analogs of the cone, contraction, deletion, and gluing lemmas, and apply these results to derive a bipartite analog of the rigidity criterion for planar graphs. Our result asserts that for a planar bipartite graph $G$ its balanced shifting, $G^b$, does not contain $K_{3,3}$; equivalently, planar bipartite graphs are generically $(2,2)$-stress free. We also discuss potential applications of this theory to Jockusch's cubical lower bound conjecture and to upper bound conjectures for embedded simplicial complexes.

We introduce a notion of bipartite minors and prove a bipartite analog of Wagner's theorem: a bipartite graph is planar if and only if it does not contain $K_{3,3}$ as a bipartite minor. Similarly, we provide a forbidden minor characterization for outerplanar graphs and forests. We then establish a recursive characterization of bipartite $(2,2)$-Laman graphs --- a certain family of graphs that contains all maximal bipartite planar graphs.

We improve Larman's bound on the diameter of a polytope by showing that if $Δ$ is a normal simplicial complex, all of whose missing faces have size at most $r$, then the diameter of the facet-ridge graph of $Δ$ is not larger than $2^{r-2}n$, where $n$ is the number of vertices of $Δ$. We then use this result to provide new upper bounds on the diameters of the facet-ridge graphs of $k$-neighborly spheres, $r$-stacked spheres, and polytopes with small $g_r$. Specifically, our bounds imply that $r$-stacked spheres with $r=O(\log n)$ satisfy the polynomial Hirsch conjecture.

A notion of an $i$-banner simplicial complex is introduced. For various values of $i$, these complexes interpolate between the class of flag complexes and the class of all simplicial complexes. Examples of simplicial spheres of an arbitrary dimension that are $(i+1)$-banner but not $i$-banner are constructed. It is shown that several theorems for flag complexes have appropriate $i$-banner analogues. Among them are (1) the codimension-$(i+j-1)$ skeleton of an $i$-banner homology sphere $Δ$ is $2(i+j)$-Cohen--Macaulay for all $0\leq j\leq \dimΔ+1-i$, and (2) for every $i$-banner simplicial complex $Δ$ there exists a balanced complex $Γ$ with the same number of vertices as $Δ$ whose face numbers of dimension $i-1$ and higher coincide with those of $Δ$.

We present explicit constructions of centrally symmetric 2-neighborly d-dimensional polytopes with about 3^{d/2} = (1.73)^d vertices and of centrally symmetric k-neighborly d-polytopes with about 2^{c_k d} vertices where c_k=3/20 k^2 2^k. Using this result, we construct for a fixed k > 1 and arbitrarily large d and N, a centrally symmetric d-polytope with N vertices that has at least (1-k^2 (gamma_k)^d) binom(N, k) faces of dimension k-1, where gamma_2=1/\sqrt{3} = 0.58 and gamma_k = 2^{-3/{20k^2 2^k}} for k > 2. Another application is a construction of a set of 3^{d/2 -1}-1 points in R^d every two of which are strictly antipodal as well as a construction of an n-point set (for an arbitrarily large n) in R^d with many pairs of strictly antipodal points. The two latter results significantly improve the previous bounds by Talata, and Makai and Martini, respectively.

We present explicit constructions of centrally symmetric polytopes with many faces: first, we construct a d-dimensional centrally symmetric polytope P with about (1.316)^d vertices such that every pair of non-antipodal vertices of P spans an edge of P, second, for an integer k>1, we construct a d-dimensional centrally symmetric polytope P of an arbitrarily high dimension d and with an arbitrarily large number N of vertices such that for some 0 < delta_k < 1 at least (1-delta_k^d) {N choose k} k-subsets of the set of vertices span faces of P, and third, for an integer k>1 and a>0, we construct a centrally symmetric polytope Q with an arbitrary large number N of vertices and of dimension d=k^{1+o(1)} such that least (1 - k^{-a}){N choose k} k-subsets of the set of vertices span faces of Q.

We consider the convex hull B_k of the symmetric moment curve U(t)=(cos t, sin t, cos 3t, sin 3t, ..., cos (2k-1)t, sin (2k-1)t) in R^{2k}, where t ranges over the unit circle S= R/2pi Z. The curve U(t) is locally neighborly: as long as t_1, ..., t_k lie in an open arc of S of a certain length phi_k>0, the convex hull of the points U(t_1), ..., U(t_k) is a face of B_k. We characterize the maximum possible length phi_k, proving, in particular, that phi_k > pi/2 for all k and that the limit of phi_k is pi/2 as k grows. This allows us to construct centrally symmetric polytopes with a record number of faces.

A centrally symmetric $2d$-vertex combinatorial triangulation of the product of spheres $§^i\times§^{d-2-i}$ is constructed for all pairs of non-negative integers $i$ and $d$ with $0\leq i \leq d-2$. For the case of $i=d-2-i$, the existence of such a triangulation was conjectured by Sparla. The constructed complex admits a vertex-transitive action by a group of order $4d$. The crux of this construction is a definition of a certain full-dimensional subcomplex, $\B(i,d)$, of the boundary complex of the $d$-dimensional cross-polytope. This complex $\B(i,d)$ is a combinatorial manifold with boundary and its boundary provides a required triangulation of $§^i\times§^{d-i-2}$. Enumerative characteristics of $\B(i,d)$ and its boundary, and connections to another conjecture of Sparla are also discussed.

We investigate the face numbers of simplicial complexes with Buchsbaum vertex links, especially pseudomanifolds with isolated singularities. This includes deriving Dehn-Sommerville relations for pseudomanifolds with isolated singularities and establishing lower bound theorems when the singularities are also homologically isolated. We give formulas for the Hilbert function of a generic Artinian reduction of the face ring when the singularities are homologically isolated and for any pure two-dimensional complex. Some examples of spaces where the $f$-vector can be completely characterized are described. Let $Δ$ and $Δ'$ be two simplicial complexes that are homeomorphic and have the same $f$-vector. In \cite{MNS} the question is raised of whether or not the Hilbert functions of generic Artinian reductions of their face rings are identical. We prove that this is the case if the spaces have isolated singularities and are PL-homeomorphic.

The face ring of a simplicial complex modulo m generic linear forms is shown to have finite local cohomology if and only if the link of every face of dimension m or more is `nonsingular', i.e., has the homology of a wedge of spheres of the expected dimension. This is derived from an enumerative result for local cohomology of face rings modulo generic linear forms, as compared with local cohomology of the face ring itself. The enumerative result is generalized in slightly weaker form to squarefree modules. A concept of `Cohen-Macaulay in codimension c' is defined and characterized for arbitrary finitely generated modules and coherent sheaves. For the face ring of an r-dimensional complex Delta, it is equivalent to nonsingularity of Delta in dimension r-c; for a coherent sheaf on projective space, this condition is shown to be equivalent to the same condition on any single generic hyperplane section. The characterization of nonsingularity in dimension m via finite local cohomology thus generalizes from face rings to arbitrary graded modules.

A common generalization of two theorems on the face numbers of Cohen-Macaulay (CM, for short) simplicial complexes is established: the first is the theorem of Stanley (necessity) and Bjorner-Frankl-Stanley (sufficiency) that characterizes all possible face numbers of a-balanced CM complexes, while the second is the theorem of Novik (necessity) and Browder (sufficiency) that characterizes the face numbers of CM subcomplexes of the join of the boundaries of simplices.

The face numbers of simplicial complexes without missing faces of dimension larger than $i$ are studied. It is shown that among all such $(d-1)$-dimensional complexes with non-vanishing top homology, a certain polytopal sphere has the componentwise minimal $f$-vector; and moreover, among all such 2-Cohen--Macaulay (2-CM) complexes, the same sphere has the componentwise minimal $h$-vector. It is also verified that the $l$-skeleton of a flag $(d-1)$-dimensional 2-CM complex is $2(d-l)$-CM while the $l$-skeleton of a flag PL $(d-1)$-sphere is $2(d-l)$-homotopy CM. In addition, tight lower bounds on the face numbers of 2-CM balanced complexes in terms of their dimension and the number of vertices are established.

The face ring of a homology manifold (without boundary) modulo a generic system of parameters is studied. Its socle is computed and it is verified that a particular quotient of this ring is Gorenstein. This fact is used to prove that the sphere $g$-conjecture implies all enumerative consequences of its far reaching generalization (due to Kalai) to manifolds. A special case of Kalai's manifold $g$-conjecture is established for homology manifolds that have a codimension-two face whose link contains many vertices.

We use Klee's Dehn-Sommerville relations and other results on face numbers of homology manifolds without boundary to (i) prove Kalai's conjecture providing lower bounds on the f-vectors of an even-dimensional manifold with all but the middle Betti number vanishing, (ii) verify Kühnel's conjecture that gives an upper bound on the middle Betti number of a 2k-dimensional manifold in terms of k and the number of vertices, and (iii) partially prove Kühnel's conjecture providing upper bounds on other Betti numbers of odd- and even-dimensional manifolds. For manifolds with boundary, we derive an extension of Klee's Dehn-Sommerville relations and strengthen Kalai's result on the number of their edges.