arXiv++ Combinatorics

Filliman duality expresses (the characteristic measure of) a convex polytope P containing the origin as an alternating sum of simplices that share supporting hyperplanes with P. The terms in the alternating sum are given by a triangulation of the polar body P^o. The duality can lead to useful formulas for the volume of P. A limiting case called Lawrence's algorithm can be used to compute the Fourier transform of P. In this note we extend Filliman duality to an involution on the space of polytopal measures on a finite-dimensional vector space, excluding polytopes that have a supporting hyperplane coplanar with the origin. As a special case, if P is a convex polytope containing the origin, any realization of P^o as a linear combination of simplices leads to a dual realization of P.

In 1988, Kalai extended a construction of Billera and Lee to produce many triangulated (d-1)-spheres. In fact, in view of upper bounds on the number of simplicial d-polytopes by Goodman and Pollack, he derived that for every dimension d>=5, most of these (d-1)-spheres are not polytopal. However, for d=4, this reasoning fails. We can now show that, as already conjectured by Kalai, all of his 3-spheres are in fact polytopal. Moreover, we can now give a shorter proof of Hebble & Lee's 2000 result that the dual graphs of these 4-polytopes are Hamiltonian. Therefore, the polars of these Kalai polytopes yield another family supporting Barnette's conjecture that all simple 4-polytopes admit a Hamiltonian circuit.

For each strongly connected finite-dimensional (pure) simplicial complex we construct a finite group, the group of projectivities of the complex, which is a combinatorial but not a topological invariant. This group is studied for combinatorial manifolds and, in particular, for polytopal simplicial spheres. The results are applied to a coloring problem for simplicial (or, dually, simple) polytopes which arises in the area of toric algebraic varieties.

We continue the approach toward a purely combinatorial "virtual" intersection cohomology for possibly non-rational fans, based on our investigation of equivariant intersection cohomology for toric varieties (see math.AG/9904159). Fundamental objects of study are "minimal extension sheaves" on "fan spaces". These are flabby sheaves of graded modules over a sheaf of polynomial rings, satisfying three relatively simple axioms that characterize the properties of the equivariant intersection cohomology sheaf on a toric variety, endowed with the finite topology given by open invariant subsets. These sheaves are models for the "pure" objects of a "perverse category"; a "Decomposition Theorem" is shown to hold. -- Formalizing those fans that define "equivariantly formal" toric varieties (where equivariant and non-equivariant intersection cohomology determine each other by Kunneth type formulae), we study "quasi-convex" fans (including fans with convex or with "co-convex" support). For these, there is a meaningful "virtual intersection cohomology". We characterize quasi-convex fans by a topological condition on the support of their boundary fan and prove a generalization of Stanley's "Local-Global" formula realizing the intersection Poincare polynomial of a complete toric variety in terms of local data. Virtual intersection cohomology of quasi-convex fans is shown to satify Poincare duality. To describe the local data in terms of virtual intersection cohomology of lower-dimensional complete polytopal fans, one needs a "Hard Lefschetz" type theorem. It requires a vanishing condition that is known to hold for rational cones, but yet remains to be proven in the general case.

We explore some generalizations of fullerenes F_v (simple polyhedra with v vertices and only 5- and 6-gonal faces) seen as (d-1)-dimensional simple manifolds (preferably, spherical or polytopal) with only 5- and 6-gonal 2-faces. First, finite and planar (infinite) 3-fullerenes are described. Three infinite families of spherical 4-fullerenes are presented in Constructions A,B,C. The Construction A gives 4-polytopes by suitable insertion of fullerenes F_{30}(D_{5h}) into glued 120-cells. The Construction B gives 3-spheres by growing dodecahedra and barrels F_{24} around of given fullerene. The Construction C gives 4-fullerenes from special decoration of given 4-fullerene, which add facets F_{20}, F_{24}, F_{26} and F_{28}(T_d) only. Some 5-fullerenes are obtained, by a variation of gluing of two regular tilings {5333} of hyperbolic 4-space or of their suitable quotients.

Neighborly cubical polytopes exist: for any $n\ge d\ge 2r+2$, there is a cubical convex d-polytope $C^n_d$ whose $r$-skeleton is combinatorially equivalent to that of the $n$-dimensional cube. This solves a problem of Babson, Billera & Chan. Kalai conjectured that the boundary $\partial C^n_d$ of a neighborly cubical polytope $C^n_d$ maximizes the $f$-vector among all cubical $(d-1)$-spheres with $2^n$ vertices. While we show that this is true for polytopal spheres for $n\le d+1$, we also give a counter-example for $d=4$ and $n=6$. Further, the existence of neighborly cubical polytopes shows that the graph of the $n$-dimensional cube, where $n\ge5$, is ``dimensionally ambiguous'' in the sense of Grünbaum. We also show that the graph of the 5-cube is ``strongly 4-ambiguous''. In the special case $d=4$, neighborly cubical polytopes have $f_3=f_0/4 \log_2 f_0/4$ vertices, so the facet-vertex ratio $f_3/f_0$ is not bounded; this solves a problem of Kalai, Perles and Stanley studied by Jockusch.

The cyclic polytope $C(n,d)$ is the convex hull of any $n$ points on the moment curve ${(t,t^2,...,t^d):t \in \reals}$ in $\reals^d$. For $d' >d$, we consider the fiber polytope (in the sense of Billera and Sturmfels) associated to the natural projection of cyclic polytopes $π: C(n,d') \to C(n,d)$ which "forgets" the last $d'-d$ coordinates. It is known that this fiber polytope has face lattice indexed by the coherent polytopal subdivisions of $C(n,d)$ which are induced by the map $π$. Our main result characterizes the triples $(n,d,d')$ for which the fiber polytope is canonical in either of the following two senses: - all polytopal subdivisions induced by $π$ are coherent, - the structure of the fiber polytope does not depend upon the choice of points on the moment curve. We also discuss a new instance with a positive answer to the Generalized Baues Problem, namely that of a projection $π:P\to Q$ where $Q$ has only regular subdivisions and $P$ has two more vertices than its dimension.