arxiv: 2603.27890 · v3 · submitted 2026-03-29 · 🧮 math.LO · math.CO· math.GR

Recognition: 2 theorem links

· Lean Theorem

Determining the normal subgroups of the automorphism groups of ultrahomogeneous structures via stabilisers

Thomas Bernert , Rob Sullivan , Jeroen Winkel , Shujie Yang

Authors on Pith no claims yet

Pith reviewed 2026-05-14 21:02 UTC · model grok-4.3

classification 🧮 math.LO math.COmath.GR

keywords ultrahomogeneous structuresautomorphism groupsnormal subgroupssimplicitystationary weak independence relationshypertournamentsoriented graphslocal orders

0 comments

The pith

Suitable expansions allow proving that the automorphism groups of the generic n-hypertournament and semigeneric tournament are simple.

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

The paper demonstrates the simplicity of the automorphism groups for the generic n-hypertournament and the semigeneric tournament. It also determines the normal subgroups for the automorphism groups of several other ultrahomogeneous oriented graphs. Additionally, a new proof is given for the simplicity of the automorphism group of the dense 2π/n-local order S(n) for n at least 2. The key method involves applying prior techniques to expansions of these structures that have a stationary weak independence relation, where the expansion's automorphism group matches a stabiliser subgroup in the original. This matters to readers interested in the structure of infinite permutation groups arising from homogeneous structures in model theory.

Core claim

By considering certain expansions of the structures that admit stationary weak independence relations and whose automorphism groups are isomorphic to stabiliser subgroups of the original automorphism groups, we transfer techniques to show the simplicity of the automorphism groups of the generic n-hypertournament and the semigeneric tournament. We determine the normal subgroups of the automorphism groups of several other ultrahomogeneous oriented graphs. We also provide a new proof of the simplicity of the automorphism group of the dense 2π/n-local order S(n) for n ≥ 2.

What carries the argument

Expansions admitting a stationary weak independence relation with automorphism groups isomorphic to stabilisers of the original automorphism groups.

If this is right

The automorphism group of the generic n-hypertournament is simple.
The automorphism group of the semigeneric tournament is simple.
The normal subgroups of the automorphism groups of several ultrahomogeneous oriented graphs are identified.
The automorphism group of the dense 2π/n-local order S(n) is simple for n ≥ 2.

Where Pith is reading between the lines

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

This stabiliser-based expansion technique could extend to other ultrahomogeneous structures lacking direct SWIRs.
Similar approaches might classify normal subgroups in automorphism groups of additional homogeneous relational structures.
The results suggest a broader framework for handling simplicity questions in infinite groups via model-theoretic expansions.

Load-bearing premise

Suitable expansions of the structures exist which admit a stationary weak independence relation and whose automorphism groups are isomorphic to stabiliser subgroups of the original automorphism groups.

What would settle it

Finding an ultrahomogeneous structure where no such expansion with a SWIR exists, or where the automorphism group has an unexpected normal subgroup despite the expansion method.

read the original abstract

We show the simplicity of the automorphism groups of the generic $n$-hypertournament and the semigeneric tournament, and determine the normal subgroups of the automorphism groups of several other ultrahomogeneous oriented graphs. We also give a new proof of the simplicity of the automorphism group of the dense $\frac{2\pi}{n}$-local order $\mathbb{S}(n)$ for $n \geq 2$ (a result due to Droste, Giraudet and Macpherson). Previous techniques of Li, Macpherson, Tent and Ziegler involving stationary weak independence relations (SWIRs) cannot be applied directly to these structures; our approach involves applying these techniques to a certain expansion of each structure, where the expansion has a SWIR and its automorphism group is isomorphic to a stabiliser subgroup of the automorphism group of the original structure.

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

This paper proves simplicity for the automorphism groups of the generic n-hypertournament and semigeneric tournament by routing through stabiliser expansions that carry a stationary weak independence relation, plus a new proof for S(n).

read the letter

The main thing to know is that the authors establish simplicity of the automorphism groups for the generic n-hypertournament and the semigeneric tournament, and they supply a fresh proof for the simplicity of Aut(S(n)) for n at least 2. They do this by expanding each structure so that the automorphism group of the expansion is isomorphic to a stabiliser subgroup of the original group and carries a stationary weak independence relation, then applying the earlier Li-Macpherson-Tent-Ziegler results and transferring the conclusions back. They also determine the normal subgroups for several other ultrahomogeneous oriented graphs. The reduction looks like a practical extension of the SWIR method to cases where it could not be used directly before, and the claims are presented as new results distinct from prior work by Droste, Giraudet and Macpherson. The strategy is coherent in outline and the target structures are handled uniformly. The soft spot is the verification that the expansions satisfy the required conditions for the transfer. The isomorphism between the expanded automorphism group and the stabiliser must be a topological group isomorphism that preserves the relevant conjugacy classes, and the SWIR must remain stationary and compatible when restricted to the original language. If either fails in some edge case, the simplicity statements do not descend. The abstract sketches the construction, but the full details of the expansions and the independence relation axioms will need close checking. This work is aimed at people working on automorphism groups of homogeneous structures and simplicity questions in infinite permutation groups. Anyone following the SWIR literature or looking for concrete new cases will get value from the arguments and the reusable technique. It deserves a serious referee because the results are specific and the method has clear potential for further application.

Referee Report

3 major / 2 minor

Summary. The paper claims to determine the normal subgroups of the automorphism groups of several ultrahomogeneous oriented graphs by constructing, for each target structure, an expansion whose automorphism group is isomorphic to a stabilizer subgroup of the original Aut(G) and which admits a stationary weak independence relation (SWIR). This allows prior SWIR-based simplicity theorems to be applied to the expanded group and transferred back. Specific results include simplicity of Aut for the generic n-hypertournament and the semigeneric tournament, normal-subgroup determinations for additional oriented graphs, and a new proof of simplicity for the dense 2π/n-local order S(n) (n≥2).

Significance. If the expansions and transfers are rigorously established, the work meaningfully extends the reach of stationary weak independence relation techniques beyond structures where they apply directly, yielding both new simplicity results and an alternative proof for a known case. The approach of reducing to stabilizers via expansions is a potentially reusable strategy for other homogeneous structures whose automorphism groups are not immediately amenable to existing methods.

major comments (3)

[§3] §3 (Construction of expansions): The manuscript must supply an explicit verification that each isomorphism φ: Aut(M*) → Stab(Aut(M), a) is a homeomorphism for the pointwise-convergence topology; without this, the conjugacy classes of stabilizers and the simplicity conclusions do not necessarily descend. The current sketch only asserts isomorphism of abstract groups.
[§4.2] §4.2 (SWIR verification for the semigeneric tournament expansion): Stationarity of the weak independence relation is asserted after adding the new predicates, but the proof that the relation remains stationary when restricted to the original language (and that the resulting normal-subgroup lattice is unaffected) is only outlined; a concrete check for the edge cases n=2 and the generic 3-hypertournament is required.
[§5] §5 (Transfer of simplicity for S(n)): The reduction from the expanded structure back to the original Aut(S(n)) relies on the stabilizer being open and the SWIR being compatible with the cyclic order; the paper should include a short lemma showing that any normal subgroup of the stabilizer that is invariant under conjugation by the full group must be trivial or the whole group.

minor comments (2)

[§2] Notation: the symbol for the expanded structure is introduced as M* in §2 but then used interchangeably with M_exp in later sections; uniformize throughout.
The reference list omits the original Droste–Giraudet–Macpherson paper on S(n); add it for the new-proof claim.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for their detailed and constructive comments on our manuscript. We respond to each major comment below and will make the necessary revisions to address the concerns raised.

read point-by-point responses

Referee: §3 (Construction of expansions): The manuscript must supply an explicit verification that each isomorphism φ: Aut(M*) → Stab(Aut(M), a) is a homeomorphism for the pointwise-convergence topology; without this, the conjugacy classes of stabilizers and the simplicity conclusions do not necessarily descend. The current sketch only asserts isomorphism of abstract groups.

Authors: We agree with the referee that an explicit verification of the homeomorphism property is essential for the topological arguments to hold. In the revised manuscript, we will provide a detailed proof that each such isomorphism φ is indeed a homeomorphism with respect to the pointwise convergence topology on the automorphism groups. This will ensure that the conjugacy classes and simplicity results transfer correctly. revision: yes
Referee: §4.2 (SWIR verification for the semigeneric tournament expansion): Stationarity of the weak independence relation is asserted after adding the new predicates, but the proof that the relation remains stationary when restricted to the original language (and that the resulting normal-subgroup lattice is unaffected) is only outlined; a concrete check for the edge cases n=2 and the generic 3-hypertournament is required.

Authors: We accept that the stationarity proof needs to be fleshed out with concrete verifications. We will revise §4.2 to include explicit calculations for the cases n=2 and the generic 3-hypertournament, confirming that the weak independence relation remains stationary when restricted to the original language and that this does not affect the normal-subgroup lattice. revision: yes
Referee: §5 (Transfer of simplicity for S(n)): The reduction from the expanded structure back to the original Aut(S(n)) relies on the stabilizer being open and the SWIR being compatible with the cyclic order; the paper should include a short lemma showing that any normal subgroup of the stabilizer that is invariant under conjugation by the full group must be trivial or the whole group.

Authors: We appreciate this recommendation. We will insert a concise lemma in §5 demonstrating that any normal subgroup of the stabilizer which is invariant under conjugation by the full automorphism group is either trivial or the entire group. This lemma will bridge the gap in the transfer of simplicity results. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation applies external SWIR techniques to constructed expansions

full rationale

The paper constructs, for each target ultrahomogeneous structure, an expansion whose automorphism group is isomorphic to a stabilizer subgroup and which admits a stationary weak independence relation. Established simplicity results from Li, Macpherson, Tent and Ziegler are then invoked on the expanded group and transferred back via the isomorphism. No equation or definition in the argument reduces the target simplicity or normal-subgroup statement to a fitted parameter, a self-referential renaming, or a self-citation chain; the prior techniques are cited from independent authors and the existence of the expansions is a substantive, non-tautological claim. The derivation therefore remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claims rest on the existence of expansions admitting stationary weak independence relations together with the stabiliser isomorphism; these are domain assumptions standard in the theory of homogeneous structures and Fraïssé limits.

axioms (1)

standard math Standard axioms and background theorems of group theory, model theory, and the theory of ultrahomogeneous structures (Fraïssé limits, oligomorphic groups).
Invoked throughout to guarantee the existence of the structures and the applicability of SWIR techniques.

pith-pipeline@v0.9.0 · 5455 in / 1388 out tokens · 82890 ms · 2026-05-14T21:02:20.569211+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

our approach involves applying these techniques to a certain expansion of each structure, where the expansion has a SWIR and its automorphism group is isomorphic to a stabiliser subgroup
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

LetMbe a strong Fraïssé structure with free SWIR |⌣. ... ThenAut(M)is simple.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.