Twisted Groups and Locally Toroidal Regular Polytopes

In recent years, much work has been done on the classification of abstract regular polytopes by their local and global topological type. Abstract regular polytopes are combinatorial structures which generalize the well-known classical geometric regular polytopes and tessellations. In this context, the classical theory is concerned with those which are of globally or locally spherical type. In a sequence of papers, the authors have studied the corresponding classification of abstract regular polytopes which are globally or locally toroidal. Here, this investigation of locally toroidal regular polytopes is continued, with a particular emphasis on polytopes of ranks and . For large classes of such polytopes, their groups are explicitly identified using twisting operations on quotients of Coxeter groups. In particular, this leads to new classification results which complement those obtained elsewhere. The method is also applied to describe certain regular polytopes with small facets and vertex-figures.

     

Eulerian abstract polytopes

The classical theory of regular convex polytopes has inspired many combinatorial analogues. In this article, we examine two of them, the eulerian posets and the abstract regular polytopes, and see what the overlap between the concepts is. It is shown that a section regular polytope is eulerian if and only if it is spherical, or it has even rank and is locally spherical. Equivelar polytopes of rank less than 4 are eulerian, and some progress is made towards a characterisation of equivelar eulerian posets in higher rank. In particular, necessary conditions are given for an equivelar quotient of a cube or a torus to be eulerian.     

Regular Polytopes of Full Rank

The dimension of a faithful realization of a finite abstract regular polytope in some euclidean space is no smaller than its rank. Similarly, that of a discrete faithful realization of a regular apeirotope is at least one fewer than the rank. Realizations which attain the minimum are said to be of full rank. The regular polytopes and apeirotopes of full rank in two and three dimensions were classified in an earlier paper. In this paper these polytopes and apeirotopes are classified in all dimensions. Moreover, it is also shown that there are no chiral polytopes of full rank.     

Affine PBW bases and MV polytopes in rank 2

Mirkovi?–Vilonen (MV) polytopes have proven to be a useful tool in understanding and unifying many constructions of crystals for finite-type Kac-Moody algebras. These polytopes arise naturally in many places, including the affine Grassmannian, pre-projective algebras, PBW bases, and KLR algebras. There has recently been progress in extending this theory to the affine Kac-Moody algebras. A definition of MV polytopes in symmetric affine cases has been proposed using pre-projective algebras. In the rank-2 affine cases, a combinatorial definition has also been proposed. Additionally, the theory of PBW bases has been extended to affine cases, and, at least in rank-2, we show that this can also be used to define MV polytopes. The main result of this paper is that these three notions of MV polytope all agree in the relevant rank-2 cases. Our main tool is a new characterization of rank-2 affine MV polytopes.     

Chiral polytopes from hyperbolic honeycombs

Abstract polytopes are partially ordered structures which generalize the notion of polyhedra in a combinatorial sense. This concept includes all of the classical regular polytopes as well as many other well-known configurations. Chiral polytopes are abstract polytopes with maximal rotational symmetry which lack reflexive symmetry. We employ hyperbolic geometry to derive toroidal abstract polytopes of type {6, 3, 4} and {6, 3, 5} which are either regular or chiral. Their rotation groups are projective linear groups over finite rings.     

Mixing chiral polytopes

An abstract polytope of rank n is said to be chiral if its automorphism group has two orbits on the flags, such that adjacent flags belong to distinct orbits. Examples of chiral polytopes have been difficult to find. A ??mixing?? construction lets us combine polytopes to build new regular and chiral polytopes. By using the chirality group of a polytope, we are able to give simple criteria for when the mix of two polytopes is chiral.     

More on quotient polytopes

Summary. In an earlier paper, it was shown that every abstract polytope is a quotient Q = M(W)/N {\cal Q} = {\cal M}(W)/N of some regular polytope M(W) {\cal M}(W) whose automorphism group is W, by a subgroup N of W. In this paper, attention is focussed on the quotient Q {\cal Q} , and various important structures relating to polytopes are described in terms of N ', the stabilizer of a flag of the quotient under an action of W (the 'flag action'). It is pointed out how N ' may be assumed without loss of generality to equal N. The paper also shows what properties of N ' yield polytopes which are regular, section regular, chiral, locally regular, or locally universal. The aim is to make it more practical to study non-regular polytopes in terms of group theory.     

On regular incidence quasi-polytopes

It is shown that under certain conditions the regularization of a pair of regular incidence polytopes is not itself an incidence polytope. Thus there exist regular incidence quasi-polytopes which are not incidence polytopes.     

Realizations of regular polytopes,IV

In earlier papers, a rich theory of geometric realizations of an abstract regular polytope has been built up. More recently, a product was described, to add to blending and scaling as a way of combining realizations. This paper introduces an inner product of cosine vectors of normalized realizations, and shows that it has certain orthogonality properties; together with induced cosine vectors, these provide powerful new tools for investigating realizations. The enhanced theory is illustrated by revisiting the realization domains of several polytopes, including the 24-cell and 600-cell.     

Determination of the element numbers of the regular polytopes

Let ?? be a set of n-dimensional polytopes. A set ?? of n-dimensional polytopes is said to be an element set for ?? if each polytope in ?? is the union of a finite number of polytopes in ?? identified along (n ? 1)-dimensional faces. The element number of the set ?? of polyhedra, denoted by e(??), is the minimum cardinality of the element sets for ??, where the minimum is taken over all possible element sets ${\Omega \in \mathcal{E}(\Sigma)}$ . It is proved in Theorem 1 that the element number of the convex regular 4-dimensional polytopes is 4, and in Theorem 2 that the element numbers of the convex regular n-dimensional polytopes is 3 for n ?? 5. The results in this paper together with our previous papers determine completely the element numbers of the convex regular n-dimensional polytopes for all n ?? 2.     

Flat regular polytopes

At the centre of the theory of abstract regular polytopes lies the amalgamation problem: given two regularn-polytopesP ₁ andP ₂, when does there exist a regular (n+1)-polytopeP whose facets are isomorphic toP ₁ and whose vertex-figures are isomorphic toP ₂? The most general circumstances known hitherto which lead to a positive answer involve flat polytopes, which are such that each vertex lies in each facet. The object of this paper is to describe an analogous but wider class of constructions, which generalize the previous results.     

Mixing regular convex polytopes

The mixing operation for abstract polytopes gives a natural way to construct a minimal common cover of two polytopes. In this paper, we apply this construction to the regular convex polytopes, determining when the mix is again a polytope, and completely determining the structure of the mix in each case.     

Reguläre Inzidenzkomplexe II

The concept of regular incidence complexes generalizes the notion of regular polyhedra in a combinatorial and grouptheoretical sense. A regular (incidence) complex K is a special type of partially ordered structure with regularity defined by the flag-transitivity of its group A(K) of automorphisms. The structure of a regular complex K can be characterized by certain sets of generators and ‘relations’ of its group. The barycentric subdivision of K leads to a simplicial complex, from which K can be rebuilt by fitting together faces. Moreover, we characterize the groups that act flag-transitively on regular complexes. Thus we have a correspondence between regular complexes on the one hand and certain groups on the other hand. Especially, this principle is used to give a geometric representation for an important class of regular complexes, the so-called regular incidence polytopes. There are certain universal incidence polytopes associated to Coxeter groups with linear diagram, from which each regular incidence polytope can be deduced by identifying faces. These incidence polytopes admit a geometric representation in the real space by convex cones.     

Extensions of dually bipartite regular polytopes

This paper addresses the problem of finding abstract regular polytopes with preassigned facets and preassigned last entry of the Schläfli symbol. Using C-group permutation representation (CPR) graphs we give a solution to this problem for dually bipartite regular polytopes when the last entry of the Schläfli symbol is even. This construction is related to a previous construction by Schulte that solves the problem when the entry of the Schläfli symbol is 6.     

Über die Symmetriegruppen von regulärseitigen Polytopen

Convex polytopes are called regular faced, if all their facets are regular. It is known, that all regular faced 3-polytopes have a nontrivial symmetry group, and also alld-polytopes with centrally symmetric facets. Here it is shown, that there ecist in fact regular facedd-polytopes with trivial symmetry group, but only ford=4. The corresponding class of polytopes is studied.     

Quotients of polytopes and C-groups

Abstract polytopes are combinatorial and geometrical structures with a distinctive topological flavor, which resemble the convex polytopes. C-groups are generalizations of Coxeter groups and are the automorphism groups of abstract polytopes which are regular. We investigate general properties of quotients of abstract polytopes and C-groups. Supported by NSF Grant DMS-9202071.     

Regular 4-polytopes from the Livingstone graph of Janko’s first group

The Janko group J ₁ has, up to duality, exactly two regular rank four polytopes, of respective Schl?fli types {5,3,5} and {5,6,5}. The aim of this paper is to give geometric constructions of these two polytopes, starting from the Livingstone graph.     

Manifold structures on abstract regular polytopes

Summary Abstract regular polytopes are complexes which generalize the classical regular polytopes. This paper discusses the topology of abstract regular polytopes whose vertex-figures are spherical and whose facets are topologically distinct from balls. The case of toroidal facets is particularly interesting and was studied earlier by Coxeter, Shephard and Grünbaum. Ann-dimensional manifold is associated with many abstract (n + 1)-polytopes. This is decomposed inton-dimensional manifolds-with-boundary (such as solid tori). For some polytopes with few faces the topological type or certain topological invariants of these manifolds are determined. For 4-polytopes with toroidal facets the manifolds include the 3-sphereS ³, connected sums of handlesS ¹ × S ² , euclidean and spherical space forms, and other examples with non-trivial fundamental group.     

Intrinsic volumes and lattice points of crosspolytopes

Hadwiger showed by computing the intrinsic volumes of a regular simplex that a rectangular simplex is a counterexample to Wills' conjecture for the relation between the lattice point enumerator and the intrinsic volumes in dimensions not less than 441. Here we give formulae for the volumes of spherical polytopes related to the intrinsic volumes of the regular crosspolytope and of the rectangular simplex. This completes the determination of intrinsic volumes for regular polytopes. As a consequence we prove that Wills' conjecture is false even for centrally symmetric convex bodies in dimensions not less than 207.