arXiv++ Combinatorics

We construct CW spheres from the lattices that arise as the closed sets of a convex closure, the meet-distributive lattices. These spheres are nearly polytopal, in the sense that their barycentric subdivisions are simplicial polytopes. The complete information on the numbers of faces and chains of faces in these spheres can be obtained from the defining lattices in a manner analogous to the relation between arrangements of hyperplanes and their underlying geometric intersection lattices.

We prove that for $d\geq 3$, the 1-skeleton of any $(d-1)$-dimensional doubly Cohen Macaulay (abbreviated 2-CM) complex is generically $d$-rigid. This implies the following two corollaries (by Kalai and Lee respectively): Barnette's lower bound inequalities for boundary complexes of simplicial polytopes hold for every 2-CM complex (of dimension $\geq 2$). Moreover, the initial part $(g_0,g_1,g_2)$ of the $g$-vector of a 2-CM complex (of dimension $\geq 3$) is an $M$-sequence. It was conjectured by Björner and Swartz that the entire $g$-vector of a 2-CM complex is an $M$-sequence.

These lecture notes treat some current aspects of two closely interrelated topics from the theory of convex polytopes: the shapes of f-vectors, and extremal constructions. The first lecture treats 3-dimensional polytopes; it includes a complete proof of the Koebe--Andreev--Thurston theorem, using the variational principle by Bobenko & Springborn (2004). In Lecture 2 we look at f-vector shapes of very high-dimensional polytopes. The third lecture explains a surprisingly simple construction for 2-simple 2-simplicial 4-polytopes, which have symmetric f-vectors. Lecture 4 sketches the geometry of the cone of f-vectors for 4-polytopes, and thus identifies the existence/construction of 4-polytopes of high ``fatness'' as a key problem. In this direction, the last lecture presents a very recent construction of ``projected products of polygons,'' whose fatness reaches 9-\eps.

We construct a new 2-parameter family E_mn of self-dual 2-simple and 2-simplicial 4-polytopes, with flexible geometric realisations. E_44 is the 24-cell. For large m,n the f-vectors have ``fatness'' close to 6. The E_t-construction of Paffenholz and Ziegler applied to products of polygons yields cellular spheres with the combinatorial structure of E_mn. Here we prove polytopality of these spheres. More generally, we construct polytopal realisations for spheres obtained from the E_t-construction applied to products of polytopes in any dimension d>=3, if these polytopes satisfy some consistency conditions. We show that the projective realisation space of E_33 is at least nine dimensional and that of E_44 at least four dimensional. This proves that the 24-cell is not projectively unique. All E_mn for relatively prime m,n>= 5 have automorphisms of their face lattice not induced by an affine transformation of any geometric realisation. The group Z_m x Z_n generated by rotations in the two polygons is a subgroup of the automorphisms of the face lattice of E_mn. However, there are only five pairs (m,n) for which this subgroup is geometrically realisable.

Ordinary polytopes were introduced by Bisztriczky as a (nonsimplicial) generalization of cyclic polytopes. We show that the colex order of facets of the ordinary polytope is a shelling order. This shelling shares many nice properties with the shellings of simplicial polytopes. We also give a shallow triangulation of the ordinary polytope, and show how the shelling and the triangulation are used to compute the toric h-vector of the ordinary polytope. As one consequence, we get that the contribution from each shelling component to the h-vector is nonnegative. Another consequence is a combinatorial proof that the entries of the h-vector of any ordinary polytope are simple sums of binomial coefficients.

It is proved that a certain symmetric sequence of nonnegative integers arising in the enumeration of magic squares of given size n by row sums or, equivalently, in the generating function of the Ehrhart polynomial of the polytope of doubly stochastic n by n matrices, is equal to the h-vector of a simplicial polytope and hence that it satisfies the conditions of the g-theorem. The unimodality of this sequance, which follows, was conjectured by Stanley (1983). Several generalizations are given.

Building on a recent joint paper with Sturmfels, here we argue that the combinatorics of matroids is intimately related to the geometry and topology of toric hyperkaehler varieties. We show that just like toric varieties occupy a central role in Stanley's proof for the necessity of McMullen's conjecture (or g-inequalities) about the classification of face vectors of simplicial polytopes, the topology of toric hyperkaehler varieties leads to new restrictions on face vectors of matroid complexes. Namely in this paper we give two proofs that the injectivity part of the Hard Lefschetz theorem survives for toric hyperkaehler varieties. We explain how this implies the g-inequalities for rationally representable matroids. We show how the geometrical intuition in the first proof, coupled with results of Chari, leads to a proof of the g-inequalities for general matroid complexes, which is a recent result of Swartz. The geometrical idea in the second proof will show that a pure O-sequence should satisfy the g-inequalities, thus showing that our result is in fact a consequence of a long-standing conjecture of Stanley.

We construct 2^{Ω(n^{5/4})} combinatorial types of triangulated 3-spheres on n vertices. Since by a result of Goodman and Pollack (1986) there are no more than 2^{O(n log n)} combinatorial types of simplicial 4-polytopes, this proves that asymptotically, there are far more combinatorial types of triangulated 3-spheres than of simplicial 4-polytopes on n vertices. This complements results of Kalai (1988), who had proved a similar statement about d-spheres and (d+1)-polytopes for fixed d >= 4.

Let K be the face ring of the independence complex of a matroid. We show that if T is a generic linear system of parameters, then K/T satisfies a weak form of the Hard Lefschetz Theorem. As a result, the first half of the h-vector of the complex satisfies inequalities similar to the g-theorem for simplicial polytopes.

We introduce the fatness parameter of a 4-dimensional polytope P, defined as φ(P)=(f_1+f_2)/(f_0+f_3). It arises in an important open problem in 4-dimensional combinatorial geometry: Is the fatness of convex 4-polytopes bounded? We describe and analyze a hyperbolic geometry construction that produces 4-polytopes with fatness φ(P)>5.048, as well as the first infinite family of 2-simple, 2-simplicial 4-polytopes. Moreover, using a construction via finite covering spaces of surfaces, we show that fatness is not bounded for the more general class of strongly regular CW decompositions of the 3-sphere.

We show that the problem to decide whether two (convex) polytopes, given by their vertex-facet incidences, are combinatorially isomorphic is graph isomorphism complete, even for simple or simplicial polytopes. On the other hand, we give a polynomial time algorithm for the combinatorial polytope isomorphism problem in bounded dimensions. Furthermore, we derive that the problems to decide whether two polytopes, given either by vertex or by facet descriptions, are projectively or affinely isomorphic are graph isomorphism hard. The original version of the paper (June 2001, 11 pages) had the title ``On the Complexity of Isomorphism Problems Related to Polytopes''. The main difference between the current and the former version is a new polynomial time algorithm for polytope isomorphism in bounded dimension that does not rely on Luks polynomial time algorithm for checking two graphs of bounded valence for isomorphism. Furthermore, the treatment of geometric isomorphism problems was extended.

Several recent papers have addressed the problem of characterizing the $f$-vectors of cubical polytopes. This is largely motivated by the complete characterization of the $f$-vectors of simplicial polytopes given by Stanley, Billera, and Lee in 1980. Along these lines Blind and Blind have shown that unlike in the simplicial case, there are parity restrictions on the $f$-vectors of cubical polytopes. In particular, except for polygons, all even dimensional cubical polytopes must have an even number of vertices. Here this result is extended to a class of zonotopal complexes which includes simply connected odd dimensional manifolds. This paper then shows that the only modular equations which hold for the $f$-vectors of all d-dimensional cubical polytopes (and hence spheres) are modulo two. Finally, the question of which mod two equations hold for the $f$-vectors of PL cubical spheres is reduced to a question about the Euler characteristics of multiple point loci from codimension one PL immersions into the $d$-sphere. Some results about this topological question are known (Eccles,Herbert,Lannes) and Herbert's result we translate into the cubical setting, thereby removing the PL requirement. A central definition in this paper is that of the derivative complex, which captures the correspondence between cubical spheres and codimension one immersions.