Existence of regular 3-hypertopes with \(2^n\) chambers (Q1999756)

Hypertopes are a natural generalization of abstract polytopes. Hypertopes of rank three satisfy the diamond condition, i.e., given two incident hyperfaces $F$ and $G$, except $F$ and $G$, there are exactly two hyperfaces incident to both $F$ and $G$. \par The authors study regular hypertopes of rank three whose automorphism groups are 2-groups. For $n\geqslant 10$, $s,t\geqslant 2$, $l\geqslant 1$ and $n\geqslant s+t+l$, they prove that there exist regular 3-hypertopes with type $(2^s, 2^t, 2^l)$ and automorphism group of order $2^n$. More specifically, they construct a group $G$ generated by three involutions $\rho_0$, $\rho_1$, $\rho_2$, such that $G$ has order $2^n$, $\rho_0 \rho_1$, $\rho_1 \rho_2$, $\rho_0 \rho_2$ have orders $2^s$, $2^t$, $2^l$ respectively, the pair $(G, \{\rho_0, \rho_1, \rho_2\})$ satisfies the intersection property and the subgroups $G_0=\langle\rho_1, \rho_2\rangle$, $G_1=\langle\rho_0, \rho_2\rangle$ and $G_2=\langle\rho_0, \rho_1\rangle$ satisfy one of the Tits conditions.