arXiv++ Combinatorics

We show that a chiral coset geometry constructed from a $C^+$-group necessarily satisfies residual connectedness and is therefore a hypertope.

This survey paper aims at giving the state of the art in the study of string C-group representations of almost simple groups. It also suggest a series of problems and conjectures to the interested reader.

For any positive integers $n, s, t, l$ such that $n \geq 10$, $s, t \geq 2$, $l \geq 1$ and $n \geq s+t+l$, a new infinite family of regular 3-hypertopes with type $(2^s, 2^t, 2^l)$ and automorphism group of order $2^n$ is constructed.

For each $d\geq 3$, $n \geq 10$, and $k_1, k_2, \ldots, k_{d-1}\geq 2$ with $k_1+k_2+\ldots+k_{d-1}\leq n-1$, we construct a regular $d$-polytope whose automorphism group is of order $2^n$ and whose Schläfli type is $\{2^{k_1},2^{k_2}, \ldots, 2^{k_{d-1}}\}$.

A graph ${\mathcal G}$ is locally X if the graphs induced on the neighbours of every vertex of ${\mathcal G}$ are isomorphic to the graph $X$. We prove that the infinite family of incidence graphs of the $r$-rank incidence geometries, $Γ(KG(n,k),r)$, constructed using the Kneser graphs $KG(n,k)$, are locally $X$ with $X$ being the incidence graphs of the rank $r-1$ residues of $Γ(KG(n,k),r)$.

We prove that for any integer $n\geq 12$, and for every $r$ in the interval $[3, \ldots, \lfloor (n-1)/2\rfloor]$, the group $A_n$ has a string C-group representation of rank $r$ therefore showing that the only alternating group whose set of ranks is not an interval is $A_{11}$.

In this paper, we classify regular polytopes with automorphism groups of order $2^n$ and Schläfli types $\{4, 2^{n-3}\}, \{4, 2^{n-4}\}$ and $\{4, 2^{n-5}\}$ for $n \geq 10$, therefore giving a partial answer to a problem proposed by Schulte and Weiss in [Problems on polytopes, their groups, and realizations, Periodica Math. Hungarica 53(2006) 231-255].

It is already known that the automorphism group of a chiral polyhedron is never isomorphic to $PSL(2,q)$ or $PGL(2,q)$ for any prime power $q$. In this paper, we show that $PSL(2,q)$ and $PGL(2,q)$ are never automorphism groups of chiral polytopes of rank at least $5$. Moreover, we show that $PGL(2,q)$ is the automorphism group of at least one chiral polytope of rank $4$ for every $q\geq5$. Finally, we determine for which values of $q$ the group $PSL(2,q)$ is the automorphism group of a chiral polytope of rank $4$, except when $q=p^d\equiv3\pmod{4}$ where $d>1$ is not a prime power, in which case the problem remains unsolved.

We prove that the highest rank of a string C-group constructed from an alternating group $Alt_n$ is 0 if $n=3, 4, 6, 7, 8$; 3 if $n=5$; 4 if $n=9$; 5 if $n=10$; 6 if $n=11$; and $\lfloor\frac{n-1}{2}\rfloor$ if $n\geq 12$. This solves a conjecture made by the last three authors in 2012.

We study incidence geometries that are thin and residually connected. These geometries generalise abstract polytopes. In this generalised setting, guided by the ideas from the polytopes theory, we introduce the concept of chirality, a property of orderly asymmetry occurring frequently in nature as a natural phenomenon. The main result in this paper is that automorphism groups of regular and chiral thin residually connected geometries need to be $C$-groups in the regular case and $C^+$-groups in the chiral case.

We prove that every finite non-abelian simple group acts as the automorphism group of a chiral polyhedron, apart from the groups $PSL_2(q)$, $PSL_3(q)$, $PSU_3(q)$ and $A_7$.

We classify C-groups of ranks $n-1$ and $n-2$ for the symmetric group $S_n$. We also show that all these C-groups correspond to hypertopes, that is, thin, residually connected flag-transitive geometries. Therefore we generalise some similar results obtained in the framework of string C-groups that are in one-to-one correspondence with abstract regular polytopes.

Up to isomorphism and duality, there are exactly two non-degenerate abstract regular polytopes of rank greater than $n-3$, one of rank $n-1$ and one of rank $n-2$, with automorphism groups that are transitive permutation groups of degree $n\geq 7$. In this paper we extend this classification of high rank regular polytopes to include the ranks $n-3$ and $n-4$. The result is, up to a isomorphism and duality, seven abstract regular polytopes of rank $n-3$ for each $n\geq 9$, and nine abstract regular polytopes of rank $n-4$ for each $n \geq 11$. Moreover we show that if a transitive permutation group $Γ$ of degree $n \geq 11$ is the automorphism group of an abstract regular polytope of rank at least $n-4$, then $Γ\cong S_n$.

It is known that the Levi graph of any rank two coset geometry is an edge-transitive graph, and thus coset geometries can be used to construct many edge transitive graphs. In this paper, we consider the reverse direction. Starting from edge- transitive graphs, we construct all associated core-free, rank two coset geometries. In particular, we focus on 3-valent and 4-valent graphs, and are able to construct coset geometries arising from these graphs. We summarize many properties of these coset geometries in a sequence of tables; in the 4-valent case we restrict to graphs that have relatively small vertex-stabilizers.

There exists just one regular polytope of rank larger than 3 whose full automorphism group is a projective general linear group PGL_2(q), for some prime-power q. This polytope is the 4-simplex and the corresponding group is PGL_2(5), which is isomorphic to S_5.

We prove that if G is a string C-group of rank 4 and G is isomorphic to L_2(q) with q a prime power, then q must be 11 or 19. The polytopes arising are Grunbaum's 11-cell of type {3,5,3} for L_2(11) and Coxeter's 57-cell of type {5,3,5} for L_2(19), each a locally projective regular 4-polytope.

This article examines the universal polytope $\CP$ (of type $\{5,3,5\}$) whose facets are dodecahedra, and whose vertex figures are hemi-icosahedra. The polytope is proven to be finite, and the structure of its group is identified. This information is used to classifiy the quotients of the polytope. A total of 145 quotients are found, including 69 section regular polytopes with the same facets and vertex figures as $\CP$.