On low-dimensional faces that high-dimensional polytopes must have

We prove that every five-dimensional polytope has a two-dimensional face which is a triangle or a quadrilateral. We state and discuss the following conjecture: For every integerk≥1 there is an integer f(k) such that everyd-polytope,d≥f(k), has ak-dimensional face which is either a simplex or combinatorially isomorphic to thek-dimensional cube.We give some related results concerning facet-forming polytopes and tilings. For example, sharpening a result of Schulte [25] we prove that there is no face to face tiling of ℝ5 with crosspolytopes.

[1]  Louis J. Billera,et al.  Generalized Dehn-Sommerville relations for polytopes, spheres and Eulerian partially ordered sets , 1985 .

[2]  R. Blind,et al.  Convex polytopes without triangular faces , 1990 .

[3]  Egon Schulte.  The Existence of Non-tiles and Non-facets in Three Dimensions , 1985, J. Comb. Theory, Ser. A.

[4]  D. Barnette.  A proof of the lower bound conjecture for convex polytopes. , 1973 .

[5]  A. Brøndsted.  An Introduction to Convex Polytopes , 1982 .

[6]  P. J. Federico,et al.  Descartes on Polyhedra , 1982 .

[7]  V. Chvátal.  On certain polytopes associated with graphs , 1975 .

[8]  Margaret Bayer,et al.  The extended f-vectors of 4-polytopes , 1987, J. Comb. Theory, Ser. A.

[9]  David Barnette.  Nonfacets for shellable spheres , 1980 .

[10]  Carl W. Lee,et al.  The Associahedron and Triangulations of the n-gon , 1989, Eur. J. Comb..

[11]  G. C. Shephard,et al.  FACETS AND NONFACETS OF CONVEX POLYTOPES , 1967 .

[12]  Gerd Blind,et al.  Über die minimalen Seitenzahlen von Polytopen ohne dreieckige 2-Seiten , 1984 .

[13]  Richard P. Stanley,et al.  Balanced Cohen-Macaulay complexes , 1979 .

[14]  Gil Kalai,et al.  Rigidity and the lower bound theorem 1 , 1987 .

[15]  G. C. Shephard,et al.  Facets and nofacets of convex polytopes , 1967 .

[16]  Sten Hansen.  A Generalization of a Theorem of Sylvester on the Lines Determined by a Finite Point Set. , 1965 .

[17]  David Barnette.  A simple 4-dimensional nonfacet , 1969 .

[18]  Louis J. Billera,et al.  Balanced subdivision and enumeration in balanced spheres , 1987, Discret. Comput. Geom..

[19]  Gil Kalai,et al.  A new basis of polytopes , 1988, J. Comb. Theory, Ser. A.

[20]  A. G. Khovanskii,et al.  Hyperplane sections of polyhedra, toroidal manifolds, and discrete groups in Lobachevskii space , 1986 .