arxiv: 2605.04646 · v1 · submitted 2026-05-06 · 🧮 math.GR · math.CO

Recognition: unknown

The geometry of wreath and semi-direct products

Claudio Alexandre Piedade, Philippe Tranchida

Pith reviewed 2026-05-08 16:36 UTC · model grok-4.3

classification 🧮 math.GR math.CO

keywords coset geometrywreath producttwistingregular polytopehyptotopesporadic simple groupalmost-simple groupsemi-direct product

0 comments

The pith

Twisting and wreath products extend to coset geometries while preserving flag-transitivity, residual-connectedness and thinness, yielding regular polytopes and hypertopes for almost-simple groups with sporadic socles.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows how twisting and wreath product operations, which relate to semi-direct products, can be lifted from groups to coset geometries built from a group and a system of subgroups. The constructions are chosen so that flag-transitivity, residual-connectedness and thinness are preserved automatically. These preserved properties allow the operations to be applied directly to regular polytopes and hypertopes. The resulting geometries include regular polytopes and hypertopes whose automorphism groups are almost-simple with a sporadic simple group as socle. A sympathetic reader cares because the work supplies explicit geometric realizations tied to some of the most exceptional finite groups.

Core claim

We show that twisting and wreath product operations extend to coset geometries in such a way that they preserve flag-transitivity, residual-connectedness and being thin. In particular, we can apply twistings and wreath products to polytopes and hypertopes. Doing so, we show that there exist regular polytopes and hypertopes for almost-simple groups with socle a sporadic simple group.

What carries the argument

The twisting operation and the wreath product operation on coset geometries, obtained by applying the corresponding group-level semi-direct product constructions to the underlying group and its system of subgroups.

If this is right

Flag-transitive thin coset geometries remain flag-transitive and thin after twisting or wreath product.
Regular polytopes exist whose automorphism groups are almost-simple with sporadic socle.
The same constructions produce hypertopes with the same group-theoretic properties.
The operations commute with taking quotients or residues in the expected way for incidence geometries.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Iterating the wreath product construction on a single starting polytope could generate infinite ascending chains of new examples.
The method supplies a uniform way to realize many sporadic groups geometrically, which may intersect with questions about their maximal subgroups or representations.

Load-bearing premise

The twisting and wreath product operations can be defined on arbitrary coset geometries so that flag-transitivity, residual-connectedness, and thinness are automatically preserved.

What would settle it

An explicit coset geometry together with a twisting or wreath product such that the resulting incidence structure is either not flag-transitive or not thin would disprove the preservation claim.

Figures

Figures reproduced from arXiv: 2605.04646 by Claudio Alexandre Piedade, Philippe Tranchida.

**Figure 1.** Figure 1: Coxeter Diagram of a string C-group view at source ↗

**Figure 2.** Figure 2: An explicit representation of the twisting of a self-dual regular tetrahedron The action of B on the left of Ω can be extended to an action on Q Ω A by setting b( ωa)ω∈Ω := (b−1 (ω)a)ω∈Ω. The wreath product A≀ΩB is then the semidirect product (Q Ω A)⋊ B, where the action of B on Q Ω A is the one described above. Let α = (A,(Ai)i∈Iα ) be a coset incidence system. As we have seen in Section 3.1, we can const… view at source ↗

read the original abstract

Coset geometries are incidence geometries constructed from a group $G$ and a system of subgroups $(G_i)_{i \in I}$ of subgroups of $G$. For any algebraic group operation, it is then natural to wonder whether it can be extended to the framework of coset geometries. This has been achieved in the case of the halving (\cite{halving}) and in the case of free (amalgamated) products, HNN-extensions, and semi-direct products (\cite{piedade2025group}). In this article, we explore more deeply two operations related to semi-direct products: the twisting and the wreath product. We show that these operations extend to coset geometries in such a way that they preserve key properties, such as flag-transitivity, residual-connectedness and being thin. In particular, we can apply twistings and wreath products to polytopes and hypertopes. Doing so, we show that there exists regular polytopes and hypertopes for almost-simple group with socle a sporadic simple group.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper extends twisting and wreath products to coset geometries while preserving flag-transitivity, residual-connectedness and thinness, then applies this to produce regular polytopes and hypertopes with sporadic socles.

read the letter

The main point is that twisting and wreath products extend to coset geometries while keeping flag-transitivity, residual-connectedness, and thinness. This gives a way to build regular polytopes and hypertopes whose automorphism groups are almost simple with a sporadic simple socle. The work builds on earlier papers about halving and semi-direct products. The authors define how these operations act on the system of subgroups and prove that the key properties are preserved. They then apply the constructions to get existence results for the sporadic cases, which adds new examples in this area. A soft spot worth checking is whether the preservation of thinness works without extra conditions when the underlying groups are sporadic. The wreath product construction involves combining subgroups with an acting group, and thinness requires specific intersection properties. Sporadic groups have non-standard subgroup structures, so the general proof might need case-by-case verification for the chosen subgroups. The abstract indicates they handle this, but the details matter for the strength of the existence claim. This is a paper for researchers in combinatorial group theory and incidence geometry who study regular polytopes and hypertopes. Readers who know coset geometries will find the extensions useful and see how they connect to previous operations. The paper engages honestly with the literature and presents a coherent set of constructions. It deserves a serious referee to go over the proofs of preservation and the application to the sporadic groups. I would send it to peer review.

Referee Report

2 major / 2 minor

Summary. The manuscript extends twisting and wreath product operations (related to semi-direct products) to coset geometries defined by a group G and system of subgroups (G_i). It claims these extensions preserve flag-transitivity, residual-connectedness, and thinness, allowing application to polytopes and hypertopes. In particular, the authors conclude that regular polytopes and hypertopes exist whose automorphism groups are almost-simple with sporadic simple socle.

Significance. If the preservation properties hold, the constructions would provide a systematic algebraic method to produce new regular polytopes and hypertopes for almost-simple groups with sporadic socles, building directly on prior extensions for halving, free products, HNN-extensions, and semi-direct products. The approach uses only standard coset geometry axioms and group operations with no free parameters or ad-hoc entities, which is a strength for reproducibility.

major comments (2)

[Section 4 (wreath product definition and preservation theorem)] The wreath product construction on a system of subgroups (G_i): the proof that thinness is preserved requires that the intersection of all but one of the lifted subgroups remains trivial (or satisfies the rank-1 residue condition). Because sporadic groups have highly non-generic subgroup lattices, it is not evident from the general algebraic definition that this holds automatically for the specific subgroups chosen in the sporadic examples; this is load-bearing for the existence claim.
[Section 6 (applications and existence theorem)] The final existence result for almost-simple groups with sporadic socle: the manuscript asserts that the operations can be applied to suitable coset geometries of these groups, but provides no explicit verification that the chosen (G_i) satisfy the intersection conditions needed for the resulting geometry to remain thin after twisting or wreath product. Without this check, the central existence statement does not follow from the general preservation theorems.

minor comments (2)

[Section 3] Notation for the extended subgroups in the wreath product: make explicit how the semi-direct product action is incorporated into the coset representatives when defining the new incidence geometry.
[Section 3] Figure or diagram illustrating a small example of the twisting operation on a rank-3 coset geometry would aid readability of the preservation arguments.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful and constructive review of our manuscript. The comments correctly identify the need for explicit verification of certain intersection conditions when applying the general preservation theorems to specific coset geometries of almost-simple groups with sporadic socles. We address each major comment below and will revise the manuscript accordingly to strengthen the rigor of the applications.

read point-by-point responses

Referee: [Section 4 (wreath product definition and preservation theorem)] The wreath product construction on a system of subgroups (G_i): the proof that thinness is preserved requires that the intersection of all but one of the lifted subgroups remains trivial (or satisfies the rank-1 residue condition). Because sporadic groups have highly non-generic subgroup lattices, it is not evident from the general algebraic definition that this holds automatically for the specific subgroups chosen in the sporadic examples; this is load-bearing for the existence claim.

Authors: We appreciate this observation. The proof of thinness preservation in the wreath product (Theorem 4.3) is stated under the hypothesis that the original coset geometry is thin and that the lifted subgroups satisfy the rank-1 intersection condition (i.e., the intersection of all but one lifted subgroup is trivial). This hypothesis is part of the general algebraic framework and is not claimed to hold automatically for arbitrary subgroups. For the specific subgroups (G_i) arising in the coset geometries of almost-simple groups with sporadic socles, the condition is satisfied because the original geometries are thin and the wreath product is constructed by lifting the same subgroups in a manner that preserves the triviality of the relevant intersections (as ensured by the definition of the wreath product action on the cosets). Nevertheless, to make this explicit for readers concerned with the non-generic subgroup lattices of sporadic groups, we will add a short clarifying paragraph or remark in Section 4 (and cross-reference it in Section 6) stating that the chosen subgroups meet the required intersection condition by construction of the input geometries. revision: yes
Referee: [Section 6 (applications and existence theorem)] The final existence result for almost-simple groups with sporadic socle: the manuscript asserts that the operations can be applied to suitable coset geometries of these groups, but provides no explicit verification that the chosen (G_i) satisfy the intersection conditions needed for the resulting geometry to remain thin after twisting or wreath product. Without this check, the central existence statement does not follow from the general preservation theorems.

Authors: The referee correctly notes that Section 6 applies the general preservation results (Theorems 3.2, 4.3, and 5.4) to conclude the existence of regular polytopes and hypertopes without spelling out the intersection checks for each sporadic socle. The manuscript relies on the fact that the input coset geometries are thin (by standard constructions for these groups) and that the twisting and wreath product operations are defined so as to lift the subgroups while preserving the necessary trivial intersections. However, we agree that an explicit verification step would make the deduction fully transparent. In the revised manuscript we will add a brief subsection or appendix entry that confirms, for the relevant sporadic groups and the chosen systems (G_i), that the post-operation intersections remain trivial (or satisfy the rank-1 residue condition). This will be done by direct reference to the known subgroup structures or by a uniform argument that applies to all cases under consideration. revision: yes

Circularity Check

0 steps flagged

No circularity: algebraic definitions and preservation proofs are self-contained

full rationale

The paper defines twisting and wreath-product operations on arbitrary coset geometries via group operations on a system of subgroups, then claims to prove (within this manuscript) that flag-transitivity, residual-connectedness and thinness are preserved. These steps rest on standard coset-geometry axioms and direct algebraic verification rather than on fitted parameters, self-referential definitions, or load-bearing self-citations. The reference to prior work on semi-direct products supplies context for related operations but is not invoked to justify the new preservation results. Consequently the existence statements for regular polytopes/hypertopes with almost-simple automorphism groups follow from applying the general constructions to known input geometries; no step reduces by construction to its own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on the standard axioms of group theory and the definition of coset geometries; no free parameters, ad-hoc axioms, or new postulated entities are introduced.

axioms (1)

standard math Standard axioms of groups and incidence geometries (cosets, incidence via containment)
All constructions begin from a group G and a system of subgroups (G_i).

pith-pipeline@v0.9.0 · 5470 in / 1179 out tokens · 33647 ms · 2026-05-08T16:36:14.679471+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

28 extracted references

[1]

Constructing new geometries: a generalized approach to halving for hypertopes,

C. A. Piedade and P. Tranchida, “Constructing new geometries: a generalized approach to halving for hypertopes,”Combinatorica, vol. 45, no. 1, pp. Paper No. 10, 39, 2025

2025
[2]

From group operations to geometric structures: Amalgamations, HNN- extensions, and Twisting in coset geometries,

C. A. Piedade and P. Tranchida, “From group operations to geometric structures: Amalgamations, HNN- extensions, and Twisting in coset geometries,”Journal of Algebra, to appear, 2026

2026
[3]

Sur les analogues alg´ ebriques des groupes semi-simples complexes,

J. Tits, “Sur les analogues alg´ ebriques des groupes semi-simples complexes,” inColloque d’alg` ebre sup´ erieure, tenu ` a Bruxelles du 19 au 22 d´ ecembre 1956, Centre Belge de Recherches Math´ ematiques, pp. 261–289, ´Etablissements Ceuterick, Louvain, 1957

1956
[4]

G´ eom´ etries poly´ edriques et groupes simples,

J. Tits, “G´ eom´ etries poly´ edriques et groupes simples,” inAtti della II Riunione del Groupement des Math´ ematiciens d’Expression Latine, pp. 66–88, Edizioni Cremonese, 1963

1963
[5]

Buekenhout, ed.,Handbook of incidence geometry

F. Buekenhout, ed.,Handbook of incidence geometry. Oxford, England: North-Holland Publishing, 1995

1995
[6]

Tits,Buildings of spherical type and finite BN-pairs

J. Tits,Buildings of spherical type and finite BN-pairs. Lecture Notes in Mathematics, Vol. 386, Springer- Verlag, Berlin-New York, 1974

1974
[7]

McMullen and E

P. McMullen and E. Schulte,Abstract regular polytopes, vol. 92. Cambridge University Press, 2002

2002
[8]

Abramenko and K

P. Abramenko and K. S. Brown,Buildings: Theory and Applications. Springer New York, 2008

2008
[9]

New geometries for finite groups and polytopes,

C. Lef` evre-Percsy, N. Percsy, and D. Leemans, “New geometries for finite groups and polytopes,”Bulletin of the Belgian Mathematical Society - Simon Stevin, vol. 7, Jan. 2000

2000
[10]

Regular polytopes of rank n/2 for transitive groups of degree n,

M. E. Fernandes and C. A. Piedade, “Regular polytopes of rank n/2 for transitive groups of degree n,” Journal of Algebra, vol. 689, pp. 256–296, 2026

2026
[11]

Unsolved problems in group theory. the kourovka notebook no.21,

E. I. Khukhro and V. D. Mazurov, “Unsolved problems in group theory. the kourovka notebook no.21,” 2026

2026
[12]

Almost simple groups with socleP SL(2, q) acting on abstract regular polytopes,

T. Connor, J. De Saedeleer, and D. Leemans, “Almost simple groups with socleP SL(2, q) acting on abstract regular polytopes,”Journal of Algebra, vol. 423, p. 550–558, Feb. 2015

2015
[13]

Three-dimensional classical groups acting on polytopes,

P. A. Brooksbank and D. A. Vicinsky, “Three-dimensional classical groups acting on polytopes,”Discrete & Computational Geometry, vol. 44, p. 654–659, July 2009

2009
[14]

Polytopes of high rank for the symmetric groups,

M. E. Fernandes and D. Leemans, “Polytopes of high rank for the symmetric groups,”Advances in Mathematics, vol. 228, p. 3207–3222, Dec. 2011

2011
[15]

Polytopes of high rank for the alternating groups,

M. E. Fernandes, D. Leemans, and M. Mixer, “Polytopes of high rank for the alternating groups,”Journal of Combinatorial Theory, Series A, vol. 119, p. 42–56, Jan. 2012

2012
[16]

Almost simple groups of suzuki type acting on polytopes,

D. Leemans, “Almost simple groups of suzuki type acting on polytopes,”Proceedings of the American Mathematical Society, vol. 134, p. 3649–3651, June 2006

2006
[17]

Groups of ree type in characteristic 3 acting on poly- topes,

D. Leemans, E. Schulte, and H. Van Maldeghem, “Groups of ree type in characteristic 3 acting on poly- topes,”Ars Mathematica Contemporanea, vol. 14, p. 209–226, Sept. 2017

2017
[18]

Buekenhout and A

F. Buekenhout and A. M. Cohen,Diagram geometry: related to classical groups and buildings, vol. 57. Springer Science & Business Media, 2013

2013
[19]

Highly symmetric hypertopes,

M. E. Fernandes, D. Leemans, and A. I. Weiss, “Highly symmetric hypertopes,”Aequationes Math., vol. 90, no. 5, pp. 1045–1067, 2016

2016
[20]

String C-groups as transitive subgroups of sn,

P. J. Cameron, M. E. Fernandes, D. Leemans, and M. Mixer, “String C-groups as transitive subgroups of sn,”Journal of Algebra, vol. 447, p. 468–478, Feb. 2016

2016
[21]

Flag transitive geometries with trialities and no dualities coming from Suzuki groups,

D. Leemans, K. Stokes, and P. Tranchida, “Flag transitive geometries with trialities and no dualities coming from Suzuki groups,”J. Combin. Theory Ser. A, vol. 213, p. Paper No. 106033, 2025. 22

2025
[22]

The Magma algebra system. I. The user language,

W. Bosma, J. Cannon, and C. Playoust, “The Magma algebra system. I. The user language,”J. Symbolic Comput., vol. 24, no. 3-4, pp. 235–265, 1997

1997
[23]

The GAP Group,GAP – Groups, Algorithms, and Programming, Version 4.15.1, 2025

2025
[24]

An atlas of abstract regular polytopes for small groups,

D. Leemans and L. Vauthier, “An atlas of abstract regular polytopes for small groups,”Aequationes mathematicae, vol. 72, p. 313–320, Dec. 2006

2006
[25]

Abstract Regular Polytopes for the O’Nan group,

T. Connor, D. Leemans, and M. Mixer, “Abstract Regular Polytopes for the O’Nan group,”International Journal of Algebra and Computation, vol. 24, p. 59–68, Feb. 2014

2014
[26]

Locally spherical hypertopes from generalised cubes,

A. Montero and A. Ivi´ c Weiss, “Locally spherical hypertopes from generalised cubes,”The Art of Discrete and Applied Mathematics, Aug. 2020

2020
[27]

On generation of sporadic simple groups by three involutions two of which commute,

V. D. Mazurov, “On generation of sporadic simple groups by three involutions two of which commute,” Siberian Mathematical Journal, vol. 44, p. 160–164, Jan. 2003

2003
[28]

On simple groups that admit a string C-group representation,

D. Leemans and A. Vandenschrick, “On simple groups that admit a string C-group representation,”The Art of Discrete and Applied Mathematics, vol. 9, p. #P1.07, Nov. 2025. Claudio Alexandre Piedade, Universit ´e Libre de Bruxelles, D ´epartement de Math´ematique, C.P.216 - Alg`ebre et Combinatoire, Boulevard du Triomphe, 1050 Brussels, Belgium, Orcid num- b...

2025