arXiv++ Combinatorics

Abstract polytopes are combinatorial structures with distinctive geometric, algebraic, or topological characteristics, that generalize (the face lattice of) traditional polyhedra, polytopes or tessellations. Most research has focused on abstract polytopes with the highest possible symmetry, in particular those that are regular or chiral. In this paper we study two-orbit polytopes, that is, abstract polytopes whose automorphism groups have exactly two orbits on flags. Such polytopes of rank $n$ fall into $2^n-1$ classes, determined by their local flag configuration. We develop a general structural theory of two-orbit polytopes of arbitrary rank. In particular, we determine their face- and section-transitivity properties and describe the structure of their automorphism groups via distinguished generating sets and face stabilizer subgroups. These results yield a characterization of the partial order { on the polytope} in terms of the automorphism group. Two-orbit polytopes in different classes behave quite differently. Our approach extends the group-theoretic framework for regular and chiral polytopes and provides a systematic foundation for the study of polytopes with two flag orbits.

A maniplex of rank n s an n-valent properly edge-coloured graph that generalises, simultaneously, maps on surfaces and abstract polytopes. The problem of stability in maniplexes is a natural variant of the problem of stability in graphs. A maniplex is stable if every automorphism of its canonical double cover is a lift of some automorphism of the original maniplex. Due to their very rich structure, regular (maximally symmetric) maniplexes are always stable. It is thus natural to ask what is the maximum possible degree of symmetry that a maniplex that is not stable can admit. Symmetry in maniplexes is usually measured by the number of orbits on flags (nodes) of their automorphism group. A few families of unstable maniplexes with 4 flag-orbits are known for rank 3. In this paper, we show that 2-orbit maniplexes exist for every rank n > 2$.

The mix of two maniplexes is the minimal maniplex that covers both. This construction has many important applications, such as finding the smallest regular cover of a maniplex. If one of the maniplexes is an abstract polytope, a natural question to ask is whether the mix is also a polytope. We describe here a general criterion for the polytopality of the mix which generalizes several previously-known polytopality criteria.

In this paper, we provide the first known infinite family of simple graphs, each of which is the skeleton of a chiral map, a skeleton of a reflexible map on an orientable surfaces, as well as a skeleton of a reflexible map on a non-orientable surface. This family consists of all lexicographic product $C_n[mK_1]$, where $m\ge 3$, $n = sm$, with $s$ an integer not divisible by $4$. This answers a question posed in [S.\ Wilson, Families of regular graphs in regular maps, {\em Journal of Combinatorial Theory, Series B} 85 (2002), 269--289].

Voltage operations extend traditional geometric and combinatorial operations (such as medial, truncation, prism, and pyramid over a polytope) to operations on maniplexes, maps, polytopes, and hypertopes. In classical operations, the symmetries of the original object remain in the operated one, but sometimes additional symmetries are created; the same situation arises with voltage operations. We characterise the automorphisms of the operated object that are derived from the original one and use this to bound the number of flag orbits (under the action of the automorphism group) of the operated object in terms of the original one. The conditions under which the automorphism group of the original object is the same as the automorphism group of the operated object are given. We also look at the cases where there is additional symmetry, which can be accurately described due to the symmetries of the operation itself.

In 1999 Michael Hartley showed that any abstract polytope can be constructed as a double coset poset, by means of a C-group $\C$ and a subgroup $N \leq \C$. Subgroups $N \leq \C$ that give rise to abstract polytopes through such construction are called {\em sparse}. If, further, the stabilizer of a base flag of the poset is precisely $N$, then $N$ is said to be {\em semisparse}. In \cite[Conjecture 5.2]{hartley1999more} Hartley conjectures that sparse groups are always semisparse. In this paper, we show that this conjecture is in fact false: there exist sparse groups that are not semisparse. In particular, we show that such groups are always obtained from non-faithful maniplexes that give rise to polytopes. Using this, we show that Hartely's conjecture holds for rank 3, but we construct examples to disprove the conjecture for all ranks $n\geq 4$.

Abstract polytopes generalize the classical notion of convex polytopes to more general combinatorial structures. The most studied ones are regular and chiral polytopes, as it is well-known, they can be constructed as coset geometries from their automorphism groups. This is also known to be true for 2- and 3- orbit 3-polytopes. In this paper we show that every abstract $n$-polytope can be constructed as a coset geometry. This construction is done by giving a characterization, in terms of generators, relations and intersection conditions, of the automorphism group of a $k$-orbit polytope with given symmetry type graph. Furthermore, we use these results to show that for all $k\neq 2$, there exist $k$-orbit $n$-polytopes with Boolean automorphism groups, for all $n\geq 3$.

Classical geometric and topological operations on polyhedra, maps and polytopes often give rise to structures with the same symmetry group as the original one, but with more flags. In this paper we introduce the notion of voltage operations on maniplexes, as a way to generalize such operations. Our technique provides a way to study classical operations in a graph theory setting. In fact, voltage operations can be applied to symmetry type graphs, and more generally to n-valent properly n-edge colored graphs. We focus on studying the interactions between voltage operations and the symmetries of the operated object, and show that they can be potentially used to build maniplexes with prescribed symmetry type graphs. Moreover, a complete characterization of when an operation can be seen as a voltage operation is given.

Let ${\cal M}$ be a map with the underlying graph $Γ$. The automorphism group $Aut({\cal M})$ induces a natural action on the set of all vertex-edge-face incident triples, called {\em flags} of ${\cal M}$. The map ${\cal M}$ is said to be a {\em $k$-orbit} map if $Aut({\cal M})$ has $k$ orbits on the set of all flags of ${\cal M}$. It is known that there are seven different classes of $2$-orbit maps, with only four of them corresponding to arc-transitive maps, that is maps for which $Aut{\cal M}$ acts arc-transitively on the underlying graph $Γ$. The Petrie dual operator links these four classes in two pairs, one of which corresponds to the chiral maps and their Petrie duals. In this paper we focus on the other pair of classes of $2$-orbit arc-transitive maps. We investigate the connection of these maps to consistent cycles of the underlying graph with special emphasis on such maps of smallest possible valence, namely $4$. We then give a complete classification of such maps whose underlying graphs are arc-transitive Rose Window graphs.

Given an abstract polytope $\cal P$, its flag graph is the edge-coloured graph whose vertices are the flags of $\cal P$ and the $i$-edges correspond to $i$-adjacent flags. Flag graphs of polytopes are maniplexes. On the other hand, given a maniplex $\cal M$, on can define a poset $\cal P_M$ by means of the non empty intersection of its faces. In this paper we give necessary and sufficient conditions (in terms of graphs) on a maniplex $\cal M$ in order for $\cal P_M$ to be an abstract polytope. Moreover, in such case, we show that $\cal M$ is isomorphic to the flag graph of $\cal P_M$. This in turn gives necessary and sufficient conditions for a maniplex to be (isomorphic to) the flag graph of a polytope.

Given two convex polytopes, the join, the cartesian product and the direct sum of them are well understood. In this paper we extend these three kinds of products to abstract polytopes and introduce a new product, called the topological product, which also arises in a natural way. We show that these products have unique prime factorization theorems. We use this to compute the automorphism group of a product in terms of the automorphism groups of the factors and show that (non trivial) products are almost never regular or two-orbit polytopes. We finish the paper by studying the monodromy group of a product, show that such a group is always an extension of a symmetric group, and give some examples in which this extension splits.

Every n-edge colored n-regular graph G naturally gives rise to a simple abstract n-polytope, the colorful polytope of G, whose 1-skeleton is isomorphic to G. The paper describes colorful polytope versions of the associahedron and cyclohedron. Like their classical counterparts, the colorful associahedron and cyclohedron encode triangulations and flips, but now with the added feature that the diagonals of the triangulations are colored and adjacency of triangulations requires color preserving flips. The colorful associahedron and cyclohedron are derived as colorful polytopes from the edge colored graph whose vertices represent these triangulations and whose colors on edges represent the colors of flipped diagonals.

The intersection matrix of a finite simplicial complex has as each of its entries the rank of the intersection of its respective simplices. We prove that such matrix defines the triangulation of a closed connected surface up to isomorphism.

In this paper, we give an example of a chiral 4-polytope in projective 3-space. This example naturally yields a finite chiral 4-polytope in Euclidean 4-space, giving a counterexample to Theorem 11.2 of [2].

A $k$-orbit maniplex is one that has $k$ orbits of flags under the action of its automorphism group. In this paper we extend the notion of symmetry type graphs of maps to that of maniplexes and polytopes and make use of them to study $k$-orbit maniplexes, as well as fully-transitive 3-maniplexes. In particular, we show that there are no fully-transtive $k$-orbit 3-mainplexes with $k > 1$ an odd number, we classify 3-orbit mainplexes and determine all face transitivities for 3- and 4-orbit maniplexes. Moreover, we give generators of the automorphism group of a polytope or a maniplex, given its symmetry type graph. Finally, we extend these notions to oriented polytopes, in particular we classify oriented 2-orbit maniplexes and give generators for their orientation preserving automorphism group.

In this paper we prove that a finite triangulation of a connected closed surface is completely determined by its intersection matrix. The \emph{intersection matrix} of a finite triangulation, $K$, is defined as $M_{K}=(dim(s_{i}\cap s_{j}))_{0\leq i,0\leq j}^{n-1}$, where $K_{2}=\{s_{0}, \ldots s_{n-1}\}$ is a labelling of the triangles of $K$.

A $k$-orbit map is a map with its automorphism group partitioning the set of flags into $k$ orbits. Recently $k$-orbit maps were studied by Orbani\' c, Pellicer and Weiss, for $k \leq 4$. In this paper we use symmetry type graphs to extend such study and classify all the types of $5$-orbit maps, as well as all self-dual, properly and improperly, symmetry type of $k$-orbit maps with $k\leq 7$. Moreover, we determine, for small values of $k$, all types of $k$-orbits maps that are medial maps. Self-dualities constitute an important tool in this quest.

Given a connected graph G with p vertices and q edges, the G-graphicahedron is a vertex-transitive simple abstract polytope of rank q whose edge-graph is isomorphic to a Cayley graph of the symmetric group S_p associated with G. The paper explores combinatorial symmetry properties of G-graphicahedra, focussing in particular on transitivity properties of their automorphism groups. We present a detailed analysis of the graphicahedra for the q-star graphs K_{1,q} and the q-cycles C_q. The C_q-graphicahedron is intimately related to the geometry of the infinite Euclidean Coxeter group \tilde{A}_{q-1} and can be viewed as an edge-transitive tessellation of the (q-1)-torus by (q-1)-dimensional permutahedra, obtained as a quotient, modulo the root lattice A_{q-1}, of the Voronoi tiling for the dual root lattice A_{q-1}^* in Euclidean (q-1)-space.

The paper investigates connections between abstract polytopes and properly edge colored graphs. Given any finite n-edge-colored n-regular graph G, we associate to G a simple abstract polytope P_G of rank n, called the colorful polytope of G, with 1-skeleton isomorphic to G. We investigate the interplay between the geometric, combinatorial, or algebraic properties of the polytope P_G and the combinatorial or algebraic structure of the underlying graph G, focussing in particular on aspects of symmetry. Several such families of colorful polytopes are studied including examples derived from a Cayley graph, in particular the graphicahedra, as well as the flag adjacency polytopes and related monodromy polytopes associated with a given abstract polytope. The duals of certain families of colorful polytopes have been important in the topological study of colored triangulations and crystallization of manifolds.

This paper presents a technique for constructing new chiral or regular polyhedra (or maps) from self-dual abstract chiral polytopes of rank 4. From improperly self-dual chiral polytopes we derive "Petrie-Coxeter-type" polyhedra (abstract chiral analogues of the classical Petrie-Coxeter polyhedra) and investigate their groups of automorphisms.