Testing chirality on hypertopes

DOI10.1007/S10801-026-01545-4MaRDI QIDQ7288511zbMATH OpenFDO

Authors Wei-Juan Zhang, Dimitri Leemans

Publication date 30 June 2026

Published in Journal of Algebraic Combinatorics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S10801-026-01545-4

Mathematics Subject Classification ID

Generators, relations, and presentations of groups (20F05) Buildings and the geometry of diagrams (51E24)

Review text

This article investigates a problem in coset geometries.\N\NThin residually connected and regular incidence geometries with a linear diagram give the family of abstract regular polytopes, while thin residually connected and chiral incidence geometries with a linear diagram give the family of chiral polytopes. The automorphism group of a regular hypertope has to be a \(C\)-group and the automorphism group of a chiral hypertope has to be a \(C^+\)-group.\N\NBefore this article, the only way to check if a \(C^+\)-group \((G^+,R)\) gives a chiral hypertope is to convert the coset geometry \(\Gamma\) into an incidence geometry, and to check whether the group \(G^+\) has two orbits on the maximal cliques of the incidence graph \({\mathcal G}\) of the coset geometry \(\Gamma\), that correspond to the chambers of \(\Gamma\), and that there is no automorphism of \(G^+\) that fuses the two orbits.\N\NIn this article, in Theorem 1.1, the authors give group-theoretical conditions on the coset incidence system associated with a \(C^+\)-group \((G^+,R)\) for it to be a chiral hypertope, bypassing the need to construct the incidence graph of the coset incidence system. The conditions of Theorem 1.1 lead to an efficient algorithm to check whether a \(C^+\)-group gives a chiral hypertope.\N\NIn Section 5, the authors provide a MAGMA function to check if a \(C^+\)-group gives a coset incidence system that is a chiral hypertope.

Cites work

• Abstract chiral polytopes
• Abstract Regular Polytopes
• C-groups of \(\mathrm{PSL}(2,q)\) and \(\mathrm{PGL}(2,q)\).
• C-groups of high rank for the symmetric groups
• C-groups of Suzuki type
• Classifying geometries with CAYLEY
• Diagram geometry. Related to classical groups and buildings
• Highly symmetric hypertopes
• scientific article; zbMATH DE number 3137862 (Why is no real title available?)
• scientific article; zbMATH DE number 17661 (Why is no real title available?)
• On residual connectedness in chiral geometries
• The Magma algebra system. I: The user language

This page was built for publication: Testing chirality on hypertopes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7288511)