pith. sign in

arxiv: 2504.18011 · v2 · pith:AOHIZVIGnew · submitted 2025-04-25 · 🧮 math.DS

Group actions with almost normal stabilizers

Mar\'ia Isabel Cortez , Maik Gr\"oger , Olga Lukina This is my paper

Pith reviewed 2026-05-22 19:18 UTC · model grok-4.3

classification 🧮 math.DS
keywords minimal group actionsstabilizersalmost normal subgroupsessential holonomyresidually finite groupsfactors of free actionstopological dynamics
0
0 comments X

The pith

A single point with finite stabilizer in a minimal group action forces the residual set of points to share conjugates of one fixed almost normal subgroup.

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

The paper studies minimal actions of countable groups on compact Hausdorff spaces by homeomorphisms. It proves that the existence of even one point with a finite stabilizer restricts the dynamics strongly: stabilizers on a residual set must all be conjugate to the same almost normal subgroup of the acting group. Under further conditions on the group the action has no essential holonomy. When the group is residually finite, every such action with finite almost normal stabilizers and no essential holonomy arises as an almost finite-to-one factor of an essentially free action.

Core claim

In a minimal action of a countable group on a compact Hausdorff space, the existence of a point with finite stabilizer implies that the stabilizers of points in a residual set are all conjugate to one fixed almost normal subgroup of the acting group. Under certain conditions on the acting group such an action also has no essential holonomy. If the acting group is residually finite, every group action with finite almost normal stabilizers with no essential holonomy arises as an almost finite-to-one factor of an essentially free action.

What carries the argument

Almost normal subgroups of the acting group, whose conjugates serve as the common stabilizer type for a residual set of points once one finite stabilizer appears.

If this is right

  • The dynamics admit a uniform stabilizer structure across almost all orbits.
  • Under suitable group conditions the action has no essential holonomy.
  • For residually finite groups every such action factors almost finitely-to-one from an essentially free action.

Where Pith is reading between the lines

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

  • Such actions may be classifiable by the choice of the almost normal subgroup and the factor map.
  • The result suggests a way to reduce questions about actions with finite stabilizers to questions about essentially free actions via factors.
  • It raises the question whether the almost normal subgroup can be recovered from the orbit equivalence relation alone.

Load-bearing premise

The action is minimal, so every orbit is dense in the compact Hausdorff space.

What would settle it

A minimal action on a compact Hausdorff space containing a point with finite stabilizer yet whose residual stabilizers are not all conjugates of any single almost normal subgroup.

read the original abstract

In this paper, we consider minimal group actions of countable groups on compact Hausdorff spaces by homeomorphisms. We show that the existence of a point with finite stabilizer imposes strong restrictions on the dynamics: the residual set of points then has stabilizers conjugate to the same almost normal subgroup of the acting group. Under certain conditions on the acting group such an action also has no essential holonomy. If the acting group is residually finite, we show that every group action with finite almost normal stabilizers with no essential holonomy arises as an almost finite-to-one factor of an essentially free action.

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.

Referee Report

0 major / 2 minor

Summary. The paper considers minimal actions of countable groups on compact Hausdorff spaces by homeomorphisms. It shows that the existence of a point with finite stabilizer forces a residual set of points to have stabilizers conjugate to one fixed almost normal subgroup of the acting group. Under additional conditions on the group the action has no essential holonomy. When the group is residually finite, every action with finite almost normal stabilizers and no essential holonomy arises as an almost finite-to-one factor of an essentially free action.

Significance. If the proofs are correct, the results give concrete structural restrictions on stabilizers in minimal actions and a factorization theorem linking almost-normal-stabilizer actions to free ones via standard orbit-equivalence methods. The Baire-category argument for the residual set and the factorization construction for residually finite groups are standard tools applied in a new context; the absence of hidden circularity or self-referential definitions strengthens the contribution to topological dynamics.

minor comments (2)
  1. [Abstract / Introduction] The abstract states that 'under certain conditions on the acting group' the action has no essential holonomy; the precise conditions should be stated explicitly already in the introduction or in the statement of the relevant theorem.
  2. [Section 2 (preliminaries)] The definition of 'almost normal' and 'essential holonomy' should be recalled or referenced at the first use in the main body to aid readers who are not specialists in the subfield.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for recommending minor revision. The referee's summary accurately captures the main theorems and the overall contribution. No specific major comments appear in the report, so we have no individual points to rebut or revise at this stage. We will incorporate any minor editorial suggestions to improve readability and presentation in the revised version.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The derivation proceeds from the explicit hypotheses of minimality on compact Hausdorff spaces using standard Baire-category arguments to propagate finite stabilizers along dense orbits to a residual set of points with conjugate almost-normal stabilizers. The subsequent statements on absence of essential holonomy and the factor construction for residually finite groups rest on orbit-equivalence and standard dynamical constructions that do not reduce to fitted parameters, self-definitions, or load-bearing self-citations. All steps remain independent of the paper's own fitted quantities or prior results by the same authors in a manner that would create circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper works in the standard setting of topological dynamics on compact Hausdorff spaces; no free parameters, invented entities, or non-standard axioms are indicated in the abstract.

axioms (1)
  • domain assumption Actions are by homeomorphisms on compact Hausdorff spaces and minimality means every orbit is dense.
    Stated in the abstract as the setting for the results.

pith-pipeline@v0.9.0 · 5616 in / 1167 out tokens · 40816 ms · 2026-05-22T19:18:31.212787+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

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.

Reference graph

Works this paper leans on

25 extracted references · 25 canonical work pages

  1. [1]

    Ab´ ert and G

    M. Ab´ ert and G. Elek. Non-abelian free groups admit non– essentially free actions on rooted trees. arXiv preprint, 2007

    work page 2007

  2. [2]

    Ab´ ert, Y

    M. Ab´ ert, Y. Glasner, and B. Vir´ ag. Kesten’s theorem fo r invariant random subgroups. Duke Mathe- matical Journal , 163(3):465–488, 2014. GROUP ACTIONS WITH ALMOST NORMAL STABILIZERS 25

    work page 2014

  3. [3]

    Auslander

    J. Auslander. Minimal Flows and Their Extensions , volume 153 of North-Holland Mathematics Studies . North-Holland Publishing Co., 1988

    work page 1988

  4. [4]

    Bergeron and D

    N. Bergeron and D. Gaboriau. Asymptotique des nombres de Betti, invariants l2 et laminations. Com- mentarii Mathematici Helvetici , 79:362–395, 2004

    work page 2004

  5. [5]

    N. M. Bon and T. Tsankov. Realizing uniformly recurrent s ubgroups. Ergodic Theory and Dynamical Systems, 40(2):478–489, 2020

    work page 2020

  6. [6]

    A. L. Boudec and N. M. Bon. Subgroup dynamics and C ∗ -simplicity of groups of homeomorphisms. Annales Scientifiques de l’ ´Ecole Normale Sup´ erieure, 51(3):557–602, 2018

    work page 2018

  7. [7]

    Ceccherini-Silberstein and M

    T. Ceccherini-Silberstein and M. Coornaert. Cellular Automata and Groups . Springer Monographs in Mathematics. Springer Berlin, Heidelberg, 2010

    work page 2010

  8. [8]

    M. I. Cortez and S. Petite. G-odometers and their almost one-to-one extensions. Journal of the London Mathematical Society, 78(1):1–20, 2008

    work page 2008

  9. [9]

    J. Dyer, S. Hurder, and O. Lukina. The discriminant invar iant of Cantor group actions. Topology and its Applications , 208:64–92, 2016

    work page 2016

  10. [10]

    D. B. A. Epstein, K. C. Millett, and D. Tischler. Leaves w ithout holonomy. Journal of the London Mathematical Society, 16(3):548–552, 1977

    work page 1977

  11. [11]

    Erschler and T

    A. Erschler and T. Zheng. Growth of periodic Grigorchuk groups. Inventiones Mathematicae, 219:1069– 1155, 2020

    work page 2020

  12. [12]

    Franciosi, F

    S. Franciosi, F. de Giovanni, and L. A. Kurdachenko. Gro ups with finite conjugacy classes of non- subnormal subgroups. Archiv der Mathematik , 70:169–181, 1998

    work page 1998

  13. [13]

    Glasner and B

    E. Glasner and B. Weiss. Uniformly recurrent subgroups . In Recent Trends in Ergodic Theory and Dynamical Systems , volume 631 of Contemporary Mathematics, pages 63–75. American Mathematical Society, Providence, RI, 2015

    work page 2015

  14. [14]

    R. I. Grigorchuk. Some topics in the dynamics of group ac tions on rooted trees. Proceedings of the Steklov Institute of Mathematics , 273:64–175, 2011

    work page 2011

  15. [15]

    Gr¨ oger and O

    M. Gr¨ oger and O. Lukina. Measures and stabilizers of gr oup Cantor actions. Discrete and Continuous Dynamical Systems - Series A , 41(5):2001–2029, 2021

    work page 2001

  16. [16]

    Haefliger

    A. Haefliger. Pseudogroups of local isometries. In L. A. Cordero, editor, Differential Geometry (Santiago de Compostela, 1984) , volume 131 of Research Notes in Mathematics , pages 174–197. Pitman, Boston, 1985

    work page 1984

  17. [17]

    Hurder and O

    S. Hurder and O. Lukina. Wild solenoids. Transactions of the American Mathematical Society, 371:4493– 4533, 2019

    work page 2019

  18. [18]

    Hurder and O

    S. Hurder and O. Lukina. Essential holonomy of cantor ac tions. Journal of the Mathematical Society of Japan, 77(1):57–74, 2025

    work page 2025

  19. [19]

    M. Joseph. Continuum of allosteric actions for non-ame nable surface groups. Ergodic Theory and Dy- namical Systems , 44(6):1581–1596, 2024

    work page 2024

  20. [20]

    A. Kar, P. H. Kropholler, and N. Nikolov. On growth of hom ology torsion in amenable groups. Mathe- matical Proceedings of the Cambridge Philosophical Societ y, 162(2):337–351, 2017

    work page 2017

  21. [21]

    J. A. L´ opez and A. Candel. Equicontinuous foliated spa ces. Mathematische Zeitschrift , 263:725–774, 2009

    work page 2009

  22. [22]

    B. H. Neumann. Groups with Finite Classes of Conjugate E lements (in Memoriam Issai Schur). Pro- ceedings of the London Mathematical Society , 1(1):178–187, 1951

    work page 1951

  23. [23]

    W. R. Scott. Group Theory. Prentice-Hall, Englewood Cliffs, NJ, 1964

    work page 1964

  24. [24]

    Vorobets

    Y. Vorobets. Notes on the Schreier graphs of the Grigorc huk group. In Dynamical Systems and Group Actions, volume 567 of Contemporary Mathematics , pages 221–248. American Mathematical Society, Providence, RI, 2012

    work page 2012

  25. [25]

    J. Yoo. Multiplicity structure of preimages of invaria nt measures under finite-to-one factor maps. Trans- actions of the American Mathematical Society , 370:8111–8133, 2018. 26 GROUP ACTIONS WITH ALMOST NORMAL STABILIZERS Mar´ıa Isabel Cortez, F acultad de Matem ´aticas, Pontificia Universidad Cat ´olica de Chile. Edificio Rolando Chuaqui, Campus San Joaq...

    work page 2018