pith. sign in

arxiv: 2507.05474 · v2 · submitted 2025-07-07 · 🧮 math.DS · math.GR· math.LO

Dense and comeager conjugacy classes in zero-dimensional dynamics

Michal Doucha , Julien Melleray , Todor Tsankov This is my paper

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

classification 🧮 math.DS math.GRmath.LO
keywords minimal actionsconjugacy classesFraïssé limitsfree groupsCantor spacePolish spacestopological dynamicsmodel theory
0
0 comments X

The pith

Free groups have a comeager conjugacy class of minimal actions on the Cantor space given by the Fraïssé limit of sofic minimal subshifts.

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

The paper develops a model-theoretic framework for analyzing conjugacy in Polish spaces of minimal and topologically transitive group actions on the Cantor set by homeomorphisms. For free groups this framework yields a comeager conjugacy class among all minimal actions and a separate comeager class among minimal probability-measure-preserving actions. The first class is identified with the Fraïssé limit of sofic minimal subshifts; the second is the universal profinite action. These two classes coincide for the integers with the universal odometer but are substantially different for non-abelian free groups. The paper also proves non-existence results for certain amenable groups and shows that dense conjugacy classes exist in the transitive-action space precisely when the group is virtually cyclic among hyperbolic and virtually polycyclic examples.

Core claim

For a free group G, the Polish space of minimal G-actions by homeomorphisms on the Cantor space contains a comeager conjugacy class realized as the Fraïssé limit of all sofic minimal subshifts; the space of minimal probability-measure-preserving actions likewise contains a comeager conjugacy class consisting of the universal profinite action. These constructions recover Hochman’s result for the integers, where both classes coincide with the universal odometer, while supplying new techniques required in the non-abelian case.

What carries the argument

A model-theoretic framework that treats the Polish spaces of G-actions as structures whose ages admit Fraïssé limits whose automorphism groups realize the generic conjugacy classes.

If this is right

  • For free groups the generic minimal action is the Fraïssé limit of sofic minimal subshifts.
  • For free groups the generic minimal measure-preserving action is the universal profinite action.
  • Amenable groups that are not finitely generated have no comeager conjugacy class in the space of all actions.
  • Locally finite groups have no comeager conjugacy class in the space of minimal actions.
  • Among hyperbolic and virtually polycyclic groups, a dense conjugacy class exists in the space of topologically transitive actions if and only if the group is virtually cyclic.

Where Pith is reading between the lines

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

  • The framework suggests that similar Fraïssé-limit descriptions may exist for minimal actions of other non-amenable groups such as surface groups.
  • The separation between the topological and measure-preserving generic classes for non-abelian free groups supplies a new way to distinguish rigidity properties of different dynamical categories.
  • One could check whether the same comeager classes remain comeager when the ambient space is restricted to expansive or mixing actions.

Load-bearing premise

The Polish spaces of minimal actions can be treated as structures whose ages admit Fraïssé limits whose automorphism groups realize generic conjugacy classes.

What would settle it

An explicit pair of minimal free-group actions on the Cantor set that lie in distinct conjugacy classes, each dense in some nonempty open set of the space of all minimal actions, would show that no single conjugacy class is comeager.

read the original abstract

Given a countable group $G$, we initiate a systematic study of the Polish spaces of all minimal and topologically transitive actions of $G$ on the Cantor space by homeomorphisms, with a focus on the existence of comeager conjugacy classes in these spaces. We develop a general model-theoretic framework to study this and related questions, recovering on the way many existing results from the literature. A substantial part of the paper is devoted to actions of free groups. We show that in that case, there is a comeager conjugacy class in the space of minimal actions, as well as in the space of minimal, probability measure-preserving actions. The first one is the Fra\"iss\'e limit of all sofic minimal subshifts and the second, the universal profinite action. The case of the integers was already treated by Hochman and there the two actions coincide with the universal odometer. In the non-abelian case, they are substantially different and new techniques are required. In the opposite direction, if $G$ is an amenable group which is not finitely generated, we show that there is no comeager conjugacy class in the space of all actions, and if $G$ is locally finite, also in the space of minimal actions. Finally, we study the question of existence of a dense conjugacy class in the space of topologically transitive actions. We show that if $G$ is hyperbolic or virtually polycyclic, then such a dense conjugacy class exists iff $G$ is virtually cyclic, suggesting that the case of the integers may be exceptional.

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

2 major / 2 minor

Summary. The paper develops a model-theoretic framework based on Fraïssé theory to study Polish spaces of minimal and topologically transitive actions of countable groups G on the Cantor set. For free groups it establishes comeager conjugacy classes: one realized as the Fraïssé limit of all sofic minimal subshifts in the space of minimal actions, and the universal profinite action in the space of minimal probability-measure-preserving actions. It recovers Hochman’s result for ℤ as a special case where the two coincide with the universal odometer. For amenable groups that are not finitely generated there is no comeager conjugacy class among all actions, and for locally finite groups none among minimal actions. For hyperbolic or virtually polycyclic groups a dense conjugacy class exists in the space of topologically transitive actions if and only if G is virtually cyclic.

Significance. If the central constructions are correct, the work supplies a unified model-theoretic approach that recovers known results for ℤ and produces new, distinct generic objects for non-abelian free groups. The explicit identification of the comeager classes with Fraïssé limits and the universal profinite action, together with the non-existence theorems for amenable groups, would constitute a substantial contribution to the study of generic dynamics on zero-dimensional spaces.

major comments (2)
  1. [§4] §4 (free-group constructions): the verification that the class of finite sofic minimal subshifts for a free group on two or more generators has the amalgamation property is load-bearing for the existence of the Fraïssé limit and the comeager claim; the manuscript must supply an explicit amalgamation diagram or a new combinatorial argument showing how embeddings of finite minimal subshifts can be amalgamated while preserving minimality and soficity under the free generators.
  2. [Theorem 5.3] Theorem 5.3 (pmp case): the argument that the universal profinite action is comeager in the space of minimal pmp actions relies on the orbit being dense Gδ under the conjugation action; a direct comparison between the Polish topology on the space of pmp actions and the logic topology used for the Fraïssé construction is needed to confirm that the generic model is indeed comeager.
minor comments (2)
  1. [§2] Notation for the Polish space Hom(G, Homeo(2^ℕ)) and its restriction to minimal actions should be introduced once and used consistently; currently the same symbol appears with slightly different meanings in the topological and measure-preserving settings.
  2. [Introduction] The statement that the two comeager classes are “substantially different” in the non-abelian case would benefit from a short invariant (e.g., an explicit continuous functional or a property preserved by conjugacy) that separates the Fraïssé limit from the universal profinite action.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. The suggestions identify key points that require clarification and expansion, which we will address in a revised version.

read point-by-point responses

  1. Referee: [§4] §4 (free-group constructions): the verification that the class of finite sofic minimal subshifts for a free group on two or more generators has the amalgamation property is load-bearing for the existence of the Fraïssé limit and the comeager claim; the manuscript must supply an explicit amalgamation diagram or a new combinatorial argument showing how embeddings of finite minimal subshifts can be amalgamated while preserving minimality and soficity under the free generators.

    Authors: We agree that the current treatment of the amalgamation property in §4 is insufficiently detailed for the free-group case. In the revision we will insert a self-contained combinatorial argument, including an explicit amalgamation diagram, that constructs the amalgam of two finite sofic minimal subshifts over a common subshift. The construction uses the freeness of the generators to extend the partial homeomorphisms while preserving both minimality (by ensuring every orbit remains dense) and soficity (by maintaining the finite approximation property). revision: yes

  2. Referee: [Theorem 5.3] Theorem 5.3 (pmp case): the argument that the universal profinite action is comeager in the space of minimal pmp actions relies on the orbit being dense Gδ under the conjugation action; a direct comparison between the Polish topology on the space of pmp actions and the logic topology used for the Fraïssé construction is needed to confirm that the generic model is indeed comeager.

    Authors: We accept that a direct topological comparison is needed. The revised manuscript will contain a new subsection that explicitly relates the Polish topology on the space of minimal probability-measure-preserving actions to the logic topology arising from the Fraïssé construction. We will show that the orbit of the universal profinite action is dense Gδ with respect to the Polish topology, thereby confirming that it is comeager in the relevant space. revision: yes

Circularity Check

0 steps flagged

No significant circularity; independent application of Fraïssé framework to free-group actions

full rationale

The paper develops a general model-theoretic framework for Polish spaces of minimal and transitive actions and applies it to recover known results (e.g., Hochman for ℤ) while proving new claims for free groups: existence of a comeager conjugacy class realized as the Fraïssé limit of sofic minimal subshifts, and a separate universal profinite action for the pmp case. These require establishing the amalgamation property for the relevant age, which the abstract states demands new techniques beyond the abelian case. No step reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation chain; the cited Fraïssé theory and Hochman result are external and the new constructions for non-abelian groups are presented as independent. The derivation is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on standard facts from descriptive set theory and model theory; no new free parameters or invented entities are introduced in the abstract.

axioms (2)
  • standard math The spaces of actions are Polish and the Baire category theorem applies to detect comeager sets.
    Invoked throughout to discuss existence of comeager conjugacy classes.
  • domain assumption Fraïssé limits exist in the relevant categories of finite actions or subshifts when the age has the amalgamation property.
    Central to identifying the generic minimal action for free groups.

pith-pipeline@v0.9.0 · 5828 in / 1476 out tokens · 44205 ms · 2026-05-19T05:15:38.872739+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

7 extracted references · 7 canonical work pages

  1. [1]

    Akin, Good measures on Cantor space, Trans

    [A] E. Akin, Good measures on Cantor space, Trans. Amer. Math. Soc. 357 (2005), no. 7, 2681–2722 (electronic). [ABS] N. Aubrun, S. Barbieri, and M. Sablik, A notion of effectiveness for subshifts on finitely generated groups, Theoret. Comput. Sci. 661 (2017), 35–55. [AGW] E. Akin, E. Glasner, and B. Weiss, Generically there is but one self homeomorphism o...

    work page 2005

  2. [2]

    Bezuglyi, A

    [BDK] S. Bezuglyi, A. H. Dooley, and J. Kwiatkowski, Topologies on the group of homeomorphisms of a Cantor set, Topol. Methods Nonlinear Anal. 27 (2006), no. 2, 299–331. [dCGP] Y. de Cornulier, L. Guyot, and W. Pitsch, On the isolated points in the space of groups , J. Algebra 307 (2007), no. 1, 254–277. [D] M. Doucha, Strong topological Rokhlin property,...

    work page 2006

  3. [3]

    Preprint arXiv:2211.08145, to appear in J. Eur. Math. Soc. [DY] F. Dahmani and A. Yaman, Symbolic dynamics and relatively hyperbolic groups, Groups Geom. Dyn. 2 (2008), no. 2, 165–184. [FKSV] J. Frisch, A. S. Kechris, F. Shinko, and Z. Vidnyánszky, Realizations of countable Borel equivalence relations,

    work page arXiv 2008

  4. [4]

    [GKEL] I

    Preprint arXiv:2109.12486. [GKEL] I. Goldbring, S. Kunnawalkam Elayavalli, and Y. Lodha, Generic algebraic properties in spaces of enumerated groups, Trans. Amer. Math. Soc. 376 (2023), no. 9, 6245–6282. [GKM] Y. Glasner, D. Kitroser, and J. Melleray, From isolated subgroups to generic permutation representa- tions, J. Lond. Math. Soc. (

    work page arXiv 2023

  5. [5]

    3, 688–708

    94 (2016), no. 3, 688–708. [GPS] T. Giordano, I. F. Putnam, and C. F. Skau, Topological orbit equivalence and C∗-crossed products, J. Reine Angew. Math. 469 (1995), 51–111. [H1] M. Hochman, Genericity in topological dynamics , Ergodic Theory Dynam. Systems 28 (2008), no. 1, 125–165. [H2] , Rohlin properties for Zd actions on the Cantor set , Trans. Amer. ...

    work page 2016

  6. [6]

    Preprint arXiv:2402.02143. [K1] A. S. Kechris, Classical descriptive set theory, Graduate Texts in Mathematics, vol. 156, Springer- Verlag, New York,

    work page arXiv

  7. [7]

    Kwiatkowska, The group of homeomorphisms of the Cantor set has ample generics , Bull

    [K2] A. Kwiatkowska, The group of homeomorphisms of the Cantor set has ample generics , Bull. Lond. Math. Soc. 44 (2012), no. 6, 1132–1146. [KR] A. S. Kechris and C. Rosendal, Turbulence, amalgamation and generic automorphisms of homoge- neous structures, Proc. Lond. Math. Soc. 94 (2007), no. 2, 302–350. [M] C. F. Miller III, The word problem in quotients...

    work page 2012