Abstract polytope

In mathematics, an abstract polytope is an algebraic partially ordered set or poset which captures the combinatorial properties of a traditional polytope without specifying purely geometric properties such as angles or edge lengths. A polytope is a generalisation of polygons and polyhedra into any number of dimensions.

An ordinary geometric polytope is said to be a realization in some real N-dimensional space, typically Euclidean, of the corresponding abstract polytope. The abstract definition allows some more general combinatorial structures than traditional definitions of a polytope, thus allowing many new objects that have no counterpart in traditional theory.

In Euclidean geometry, the six quadrilaterals illustrated are all different. Yet they have a common structure in the alternating chain of four vertices and four sides which gives them their name. They are said to be isomorphic or “structure preserving”.

This common structure may be represented in an underlying abstract polytope, a purely algebraic partially-ordered set which captures the pattern of connections or incidences between the various structural elements. The measurable properties of traditional polytopes such as angles, edge-lengths, skewness, straightness and convexity have no meaning for an abstract polytope.

What is true for traditional polytopes (also called classical or geometric polytopes) may not be so for abstract ones, and vice versa. For example, a traditional polytope is regular if all its facets and vertex figures are regular, but this is not necessarily so for an abstract polytope.[1]

A traditional geometric polytope is said to be a realisation of the associated abstract polytope. A realisation is a mapping or injection of the abstract object into a real space, typically Euclidean, to construct a traditional polytope as a real geometric figure.

The six quadrilaterals shown are all distinct realisations of the abstract quadrilateral, each with different geometric properties. Some of them do not conform to traditional definitions of a quadrilateral and are said to be unfaithful realisations. A conventional polytope is a faithful realisation.

In an abstract polytope, each structural element - vertex, edge, cell, etc. is associated with a corresponding member or element of the set. The term face often refers to any such element e.g. a vertex (0-face), edge (1-face) or a general k-face, and not just a polygonal 2-face.

The faces are ranked according to their associated real dimension: vertices have rank = 0, edges rank = 1 and so on.

Incident faces of different rank, for example a vertex F of an edge G, are ordered by the relation F < G. F is said to be a subface of G, or G has subface F.

F, G are said to be incident if either F = G or F < G or G < F. This usage of "incidence" also occurs in Finite geometry, although it differs from traditional geometry and some other areas of mathematics. For example in the square abcd, edges ab and bc are not abstractly incident (although they are both incident with vertex b).[citation needed]

A polytope is then defined as a set of faces P with an order relation <, and which satisfies certain additional axioms. Formally, P (with <) will be a (strict) partially ordered set, or poset.

Just as the number zero is necessary in mathematics, so also every set has the empty set ∅ as a subset. In an abstract polytope ∅ is by convention identified as the least or null face and is a subface of all the others.[why?] Since the least face is one level below the vertices or 0-faces, its rank is −1 and it may be denoted as F−1. Thus F−1 ≡ ∅ and the abstract polytope also contains the empty set as an element.[2] It is not usually realized.

There is also a single face of which all the others are subfaces. This is called the greatest face. In an n-dimensional polytope, the greatest face has rank = n and may be denoted as Fn. It is sometimes realized as the interior of the geometric figure.

These least and greatest faces are sometimes called improper faces, with all others being proper faces.[why?]

The faces of the abstract quadrilateral or square are shown in the table below:

Order relations are transitive, i.e. F < G and G < H implies that F < H. Therefore, to specify the hierarchy of faces, it is not necessary to give every case of F < H, only the pairs where one is the successor of the other, i.e. where F < H and no G satisfies F < G < H.

The edges W, X, Y and Z are sometimes written as ab, ad, bc, and cd respectively, but such notation is not always appropriate.

All four edges are structurally similar and the same is true of the vertices. The figure therefore has the symmetries of a square and is usually referred to as the square.

Smaller posets, and polytopes in particular, are often best visualised in a Hasse diagram, as shown. By convention, faces of equal rank are placed on the same vertical level. Each "line" between faces, say F, G, indicates an ordering relation < such that F < G where F is below G in the diagram.

The Hasse diagram defines the unique poset and therefore fully captures the structure of the polytope. Isomorphic polytopes give rise to isomorphic Hasse diagrams, and vice versa. The same is not generally true for the graph representation of polytopes.

The rank of a face F is defined as (m − 2), where m is the maximum number of faces in any chain (F', F", ... , F) satisfying F' < F" < ... < F. F' is always the least face, F−1.

The rank of an abstract polytope P is the maximum rank n of any face. It is always the rank of the greatest face Fn.

The rank of a face or polytope usually corresponds to the dimension of its counterpart in traditional theory.

† Traditionally "face" has meant a rank 2 face or 2-face. In abstract theory the term "face" denotes a face of any rank.

A flag is a maximal chain of faces, i.e. a (totally) ordered set Ψ of faces, each a subface of the next (if any), and such that Ψ is not a subset of any larger chain. Given any two distinct faces F, G in a flag, either F < G or F > G.

For a given polytope, all flags contain the same number of faces. Other posets do not, in general, satisfy this requirement.

Any subset P' of a poset P is a poset (with the same relation <, restricted to P').

For example, in the prism abcxyz (see diagram) the section xyz/ø (highlighted green) is the triangle

This concept of section does not have the same meaning as in traditional geometry.

The facet for a given j-face F is the (j1)-section F/∅, where Fj is the greatest face.

The distinction between F and F/∅ is not usually significant and the two are often treated as identical.

The vertex figure at a given vertex V is the (n−1)-section Fn/V, where Fn is the greatest face.

A poset P is connected if P has rank ≤ 1, or, given any two proper faces F and G, there is a sequence of proper faces

such that F = H1, G = Hk, and each Hi, i < k, is incident with its successor.

The above condition ensures that a pair of disjoint triangles abc and xyz is not a (single) polytope.

A poset P is strongly connected if every section of P (including P itself) is connected.

With this additional requirement, two pyramids that share just a vertex are also excluded. However, two square pyramids, for example, can, be "glued" at their square faces - giving an octahedron. The "common face" is not then a face of the octahedron.

An abstract polytope is a partially ordered set, whose elements we call faces, satisfying the 4 axioms:

In the case of the null polytope, the least and greatest faces are the same single element.

Given the other axioms, Axiom 3 is equivalent to strong flag-connectedness, which informally means:

For any section of the polytope (including the polytope itself), any flag can be changed into any other by changing just one face at a time.

Axiom 4 is known as the “diamond property”, since the Hasse Diagram of a, b, and the faces between it is diamond-shaped.

It can be shown from the axioms that every section is a polytope, and that Rank(G/F) = Rank(G) − Rank(F) − 1.

The abstract polytope associated with a real convex polytope is also referred to as its face lattice.[4]

There is just one poset for each rank −1 and 0. These are, respectively, the null face and the point. These are not always considered to be valid abstract polytopes.

A digon is a polygon with just 2 edges. Unlike any other polygon, both edges have the same two vertices. For this reason, it is degenerate in the Euclidean plane.

With the digon this vertex notation cannot be used. It is necessary to give the faces individual symbols and specify the subface pairs F < G.

This need to identify each element of the polytope with a unique symbol applies to many other abstract polytopes and is therefore common practice.

A polytope can only be fully described using vertex notation if every face is incident with a unique set of vertices. A polytope having this property is said to be atomistic.

The set of j-faces (−1 ≤ jn) of a traditional n-polytope form an abstract n-polytope.

The concept of an abstract polytope is more general and also includes:

The digon is generalized by the hosohedron and higher dimensional hosotopes, which can all be realized as spherical polyhedra – they tessellate the sphere.

The Hemicube may be derived from a cube by identifying opposite vertices, edges, and faces. It has 4 vertices, 6 edges, and 3 faces.

Four examples of non-traditional abstract polyhedra are the Hemicube (shown), Hemi-octahedron, Hemi-dodecahedron, and the Hemi-icosahedron. These are the projective counterparts of the Platonic solids, and can be realized as (globally) projective polyhedra – they tessellate the real projective plane.

The hemicube is another example of where vertex notation cannot be used to define a polytope - all the 2-faces and the 3-face have the same vertex set.

Every geometric polytope has a dual twin. Abstractly, the dual is the same polytope but with the ranking reversed in order: the Hasse diagram differs only in its annotations. In an n-polytope, each of the original k-faces maps to an (n − k − 1)-face in the dual. Thus, for example, the n-face maps to the (−1)-face. The dual of a dual is (isomorphic to) the original.

A polytope is self-dual if it is the same as, i.e. isomorphic to, its dual. Hence, the Hasse diagram of a self-dual polytope must be symmetrical about the horizontal axis half-way between the top and bottom. The square pyramid in the example above is self-dual.

The vertex figure at a vertex V is the dual of the facet to which V maps in the dual polytope.

Formally, an abstract polytope is defined to be "regular" if its automorphism group acts transitively on the set of its flags. In particular, any two k-faces F, G of an n-polytope are "the same", i.e. that there is an automorphism which maps F to G. When an abstract polytope is regular, its automorphism group is isomorphic to a quotient of a Coxeter group.

All polytopes of rank ≤ 2 are regular. The most famous regular polyhedra are the five Platonic solids. The hemicube (shown) is also regular.

Informally, for each rank k, this means that there is no way to distinguish any k-face from any other - the faces must be identical, and must have identical neighbors, and so forth. For example, a cube is regular because all the faces are squares, each square's vertices are attached to three squares, and each of these squares is attached to identical arrangements of other faces, edges and vertices, and so on.

This condition alone is sufficient to ensure that any regular abstract polytope has isomorphic regular (n−1)-faces and isomorphic regular vertex figures.

This is a weaker condition than regularity for traditional polytopes, in that it refers to the (combinatorial) automorphism group, not the (geometric) symmetry group. For example, any abstract polygon is regular, since angles, edge-lengths, edge curvature, skewness etc. don't exist for abstract polytopes.

There are several other weaker concepts, some not yet fully standardised, such as semi-regular, quasi-regular, uniform, chiral, and Archimedean that apply to polytopes that have some, but not all of their faces equivalent in each rank.

Given the amount of attention lavished on regular polytopes, one might almost think that all polytopes are regular. In reality, regular polytopes are just very special cases.

The simplest irregular polytope is the square pyramid, though this still has many symmetries.

An example of a polyhedron with no nontrivial symmetries is shown - no pair of vertices, edges, or 2-faces are "the same", as defined above. This is possibly the simplest such polytope.

A set of points V in a Euclidean space equipped with a surjection from the vertex set of an abstract apeirogon P such that automorphisms of P induce isometric permutations of V is called a realization of an abstract apeirogon.[5][6] Two realizations are called congruent if the natural bijection between their sets of vertices is induced by an isometry of their ambient Euclidean spaces.[7][8]

If an abstract n-polytope is realized in n-dimensional space, such that the geometrical arrangement does not break any rules for traditional polytopes (such as curved faces, or ridges of zero size), then the realisation is said to be faithful. In general, only a restricted set of abstract polytopes of rank n may be realized faithfully in any given n-space. The characterisation of this effect is an outstanding problem.

For a regular abstract polytope, if the combinatorial automorphisms of the abstract polytope are realised by geometric symmetries then the geometric figure will be a regular polytope.

The group G of symmetries of a realization V of an abstract apeirogon P is generated by two reflections, the product of which translates each vertex of P to the next.[9][10] The product of the two reflections can be decomposed as a product of a non-zero translation, finitely many rotations, and possibly trivial reflection.[11][10]

Generally, the moduli space of realizations of an abstract polytope is a convex cone of infinite dimension.[12][13] The realization cone of the abstract apeirogon has uncountably infinite algebraic dimension and cannot be closed in the Euclidean topology.[11][14]

An important question in the theory of abstract polytopes is the amalgamation problem. This is a series of questions such as

For example, if K is the square, and L is the triangle, the answers to these questions are

It is known that if the answer to the first question is 'Yes' for some regular K and L, then there is a unique polytope whose facets are K and whose vertex figures are L, called the universal polytope with these facets and vertex figures, which covers all other such polytopes. That is, suppose P is the universal polytope with facets K and vertex figures L. Then any other polytope Q with these facets and vertex figures can be written Q=P/N, where

Given this fact, the search for polytopes with particular facets and vertex figures usually goes as follows:

The 11-cell, discovered independently by H. S. M. Coxeter and Branko Grünbaum, is an abstract 4-polytope. Its facets are hemi-icosahedra. Since its facets are, topologically, projective planes instead of spheres, the 11-cell is not a tessellation of any manifold in the usual sense. Instead, the 11-cell is a locally projective polytope. The 11-cell is not only beautiful in the mathematical sense, it is also historically important as one of the first non-traditional abstract polytopes discovered. It is self-dual and universal: it is the only polytope with hemi-icosahedral facets and hemi-dodecahedral vertex figures.

The amalgamation problem has, historically, been pursued according to local topology. That is, rather than restricting K and L to be particular polytopes, they are allowed to be any polytope with a given topology, that is, any polytope tessellating a given manifold. If K and L are spherical (that is, tessellations of a topological sphere), then P is called locally spherical and corresponds itself to a tessellation of some manifold. For example, if K and L are both squares (and so are topologically the same as circles), P will be a tessellation of the plane, torus or Klein bottle by squares. A tessellation of an n-dimensional manifold is actually a rank n + 1 polytope. This is in keeping with the common intuition that the Platonic solids are three dimensional, even though they can be regarded as tessellations of the two-dimensional surface of a ball.

In general, an abstract polytope is called locally X if its facets and vertex figures are, topologically, either spheres or X, but not both spheres. The 11-cell and 57-cell are examples of rank 4 (that is, four-dimensional) locally projective polytopes, since their facets and vertex figures are tessellations of real projective planes. There is a weakness in this terminology however. It does not allow an easy way to describe a polytope whose facets are tori and whose vertex figures are projective planes, for example. Worse still if different facets have different topologies, or no well-defined topology at all. However, much progress has been made on the complete classification of the locally toroidal regular polytopes [15]

Let Ψ be a flag of an abstract n-polytope, and let −1 < i < n. From the definition of an abstract polytope, it can be proven that there is a unique flag differing from Ψ by a rank i element, and the same otherwise. If we call this flag Ψ(i), then this defines a collection of maps on the polytopes flags, say φi. These maps are called exchange maps, since they swap pairs of flags : (Ψφi)φi = Ψ always. Some other properties of the exchange maps :

The exchange maps and the flag action in particular can be used to prove that any abstract polytope is a quotient of some regular polytope.

The table shows a 1 wherever a face is a subface of another, or vice versa (so the table is symmetric about the diagonal)- so in fact, the table has redundant information; it would suffice to show only a 1 when the row face ≤ the column face.

Since both the body and the empty set are incident with all other elements, the first row and column as well as the last row and column are trivial and can conveniently be omitted.

Further information is gained by counting each occurrence. This numerative usage enables a symmetry grouping, as in the Hasse Diagram of the square pyramid: If vertices B, C, D, and E are considered symmetrically equivalent within the abstract polytope, then edges f, g, h, and j will be grouped together, and also edges k, l, m, and n, And finally also the triangles P, Q, R, and S. Thus the corresponding incidence matrix of this abstract polytope may be shown as:

In this accumulated incidence matrix representation the diagonal entries represent the total counts of either element type.

Elements of different type of the same rank clearly are never incident so the value will always be 0, however to help distinguish such relationships, an asterisk (*) is used instead of 0.

The sub-diagonal entries of each row represent the incidence counts of the relevant sub-elements, while the super-diagonal entries represent the respective element counts of the vertex-, edge- or whatever -figure.

In the 1960s Branko Grünbaum issued a call to the geometric community to consider generalizations of the concept of regular polytopes that he called polystromata. He developed a theory of polystromata, showing examples of new objects including the 11-cell.

The 11-cell is a self-dual 4-polytope whose facets are not icosahedra, but are "hemi-icosahedra" — that is, they are the shape one gets if one considers opposite faces of the icosahedra to be actually the same face (Grünbaum, 1977). A few years after Grünbaum's discovery of the 11-cell, H.S.M. Coxeter discovered a similar polytope, the 57-cell (Coxeter 1982, 1984), and then independently rediscovered the 11-cell.

With the earlier work by Branko Grünbaum, H. S. M. Coxeter and Jacques Tits having laid the groundwork, the basic theory of the combinatorial structures now known as abstract polytopes was first described by Egon Schulte in his 1980 PhD dissertation. In it he defined "regular incidence complexes" and "regular incidence polytopes". Subsequently, he and Peter McMullen developed the basics of the theory in a series of research articles that were later collected into a book. Numerous other researchers have since made their own contributions, and the early pioneers (including Grünbaum) have also accepted Schulte's definition as the "correct" one.

Since then, research in the theory of abstract polytopes has focused mostly on regular polytopes, that is, those whose automorphism groups act transitively on the set of flags of the polytope.