English

Chiral polytopes of order $2p^m$

Group Theory 2025-08-29 v1 Combinatorics

Abstract

Let P\mathcal{P} be a chiral polytope with type {k1,k2}\{k_1, k_2\} and G=Aut(P)G=Aut(\mathcal{P}). Suppose G=2pm|G|=2p^m, where k1,k23k_1, k_2\geq 3 and pp is an odd prime. Let PP be a Sylow pp-subgroup of GG. We prove that GPZ2G \cong P \rtimes \mathbb{Z}_2, d(P)=2d(P)=2, P1P' \ne 1(so m3m \geq 3) and up to duality, {k1,k2}={pl1,2pl2}\{k_1, k_2\}=\{p^{l_1}, 2p^{l_2}\} for some integral l1,l21l_1, l_2 \geq 1. Moreover, we show that P\mathcal{P} is tight (k1k2=2pm(k_1k_2=2p^m) if and only if PP is metacyclic group. Furthermore, if m=3m=3 or 44, then P\mathcal{P} must be tight, and if m5m \geq 5, where either mm is odd, or mm is even and mp+3m \geq p+3, there exists a non-tight chiral polytope P\mathcal{P}.

Keywords

Cite

@article{arxiv.2508.20654,
  title  = {Chiral polytopes of order $2p^m$},
  author = {Ting-Ting Kong and Yan-Quan Feng and Dong-Dong Hou and Dimitri Leemans and Hai-Peng Qu},
  journal= {arXiv preprint arXiv:2508.20654},
  year   = {2025}
}