Hostname: page-component-586b7cd67f-t8hqh Total loading time: 0 Render date: 2024-11-24T02:40:41.831Z Has data issue: false hasContentIssue false

Generic properties of homeomorphisms preserving a given dynamical simplex

Published online by Cambridge University Press:  25 October 2021

JULIEN MELLERAY*
Affiliation:
Univ Lyon, Université Claude Bernard Lyon 1, CNRS UMR 5208, Institut Camille Jordan, F-69622 Villeurbanne, France
*
Rights & Permissions [Opens in a new window]

Abstract

Given a dynamical simplex K on a Cantor space X, we consider the set $G_K^*$ of all homeomorphisms of X which preserve all elements of K and have no non-trivial clopen invariant subset. Generalizing a theorem of Yingst, we prove that for a generic element g of $G_K^*$ the set of invariant measures of g is equal to K. We also investigate when there exists a generic conjugacy class in $G_K^*$ and prove that this happens exactly when K has only one element, which is the unique invariant measure associated to some odometer; and that in that case the conjugacy class of this odometer is generic in $G_K^*$ .

Type
Original Article
Copyright
© The Author(s), 2021. Published by Cambridge University Press

1 Introduction

This work is motivated by a recent article by Yingst [Reference YingstY], concerning the generic behavior (in the sense of Baire category) of some homeomorphisms of the Cantor space, which here and throughout this paper we denote by X. We extend some results of [Reference YingstY] to the setting of dynamical simplices; before explaining what those are, let us give some context.

Yingst considers some Bernoulli measures $\mu _r$ , that is, measures on $\{0,1\}^{\mathbf N}$ which are a countable product of measures $r \delta _0 +(1-r) \delta _1$ for some $r \in \, ]0,1[$ . Let us say that such a measure is refinable if, for any two disjoint clopen subsets $A_1,A_2$ and any clopen subset B such that $\mu (A_1)+\mu (A_2)=\mu (B)$ , there exist disjoint clopen subsets $\tilde A_1$ , $\tilde A_2$ of B such that $\mu (A_1)=\mu (\tilde A_1)$ and $\mu (A_2)=\mu (\tilde A_2)$ . Refinability of a full atomless measure is a weakening of the notion of good measure, considered by Akin [Reference AkinA]: a Borel probability measure $\mu $ on X is good if it is full, atomless and, for any clopen $A,B$ such that $\mu (A) \le \mu (B)$ , there exists a clopen $\tilde A \subseteq B$ such that $\mu (\tilde A)=\mu (A)$ . Glasner and Weiss [Reference Glasner and WeissGW] proved that, whenever g is a strictly ergodic homeomorphism of X (that is, g is minimal and with a unique invariant Borel probability measure), the unique g-invariant measure is good. Akin [Reference AkinA] established the converse implication: for any good measure $\mu $ on X, there exists a strictly ergodic homeomorphism g of X whose unique invariant Borel probability measure is $\mu $ .

Dougherty, Mauldin and Yingst [Reference Dougherty, Mauldin and YingstDMY] showed that $\mu _r$ is refinable if and only if r is a root of an integer polynomial P with $P(0)=\pm 1$ , $P(1)=\pm 1$ ; $\mu _r$ is good if and only if it is refinable and r has no algebraic conjugate in $]0,1[$ . An interesting phenomenon is that when $\mu _r$ is refinable, $s \in \, ]0,1[$ is an algebraic conjugate of r and g is a homeomorphism of X such that $g_* \mu _r=\mu _r$ , we also have that $g_* \mu _s=\mu _s$ . Given Akin’s theorem, one wonders whether, for any refinable Bernoulli measure $\mu _r$ , there exists a minimal homeomorphism g of X whose set of ergodic invariant Borel probability measures is equal to $\{\mu _s \colon s \text { is an algebraic conjugate of s in } \, ]0,1[\}$ ; this holds true, and that is one of the main results of [Reference YingstY].

To prove this result, Yingst uses Baire category techniques. Given a compact, convex subset K of the set of all Borel probability measures on X, denote

$$ \begin{align*}G_K = \{ g \in \text{Homeo}(X) \colon \text{for all } \mu \in K,\ g_* \mu=\mu \} \end{align*} $$

and let $G_K^*$ be the set of all $g \in G_K$ such that $g(U) \ne U$ for any non-trivial clopen set U. As pointed out in [Reference YingstY], $G_K^*$ consists of the chain-transitive elements of $G_K$ .

Then $G_K$ is a closed subgroup of the homeomorphism group of X, endowed with its unique Polish group topology; a neighborhood basis of the identity in $G_K$ is given by the subgroups

$$ \begin{align*} G_{\mathcal{A}} =\{g \in G_K \colon \text{for all } A \in \mathcal{A},\ g(A)=A\} \end{align*} $$

where $\mathcal {A}$ ranges over all clopen partitions of X. Mapping a given clopen set to itself is an open condition in $G_K$ , so $G_K^*$ is a closed subset of $G_K$ ; Yingst points out that $G_{\{\mu \}}^*$ is non-empty whenever $\mu $ is a refinable Bernoulli measure (this is true in greater generality, as we will see below).

Theorem [Reference YingstY, Theorem 1.1]

Let P be an irreducible integer polynomial with $P(0)\pm 1$ and $P(1)=\pm 1$ . Let R be the set of roots of P which lie in $]0,1[$ , and let $r \in R$ . Then $G_{\{\mu _r\}}^*$ is non-empty and for a generic element g of $G_{\{\mu _r\}}^*$ the set of all g-invariant probability measures is equal to the closed convex hull of $\{\mu _s \colon s \in R\}$ .

Similarly, assume that $\mu $ is a good measure on X. Then $G_{\{\mu \}}^*$ is non-empty and, for a generic element g of $G_{\{\mu \}}^*$ , the set of all g-invariant probability measures is equal to $\{\mu \}$ .

The results above, for refinable Bernoulli measures and for good measures, have a common generalization. Before stating it, we need to introduce some more background.

Definition (See [Reference Ibarlucía and MellerayIM, Reference MellerayM])

A compact, convex set K of Borel probability measures on X is a dynamical simplex if:

  • all elements of K are full and atomless;

  • for any two $A,B \in \operatorname {\mathrm {Clopen}}(X)$ such that $\mu (A)< \mu (B)$ for all $\mu \in K$ , there exists a clopen $\tilde A \subset B$ such that $\mu (A)=\mu (\tilde A)$ for all $\mu \in K$ .

It follows from a theorem of Glasner and Weiss [Reference Glasner and WeissGW, Lemma 2.5] that the set of invariant measures of any minimal homeomorphism of X is a dynamical simplex. When K is a singleton $\{\mu \}$ , K is a dynamical simplex if, and only if, $\mu $ is a good measure.

Assuming that K has finitely many extreme points which are mutually singular, and K is a dynamical simplex, Dahl [Reference DahlD] proved that there exists a minimal homeomorphism g of X whose invariant measures are exactly the elements of K (the term dynamical simplex was also introduced by Dahl, though its definition was not quite formulated as above). This extends Akin’s theorem about good measures. It turns out that the assumption that extreme points of K are mutually singular is redundant with the other assumptions, and that finite dimensionality may also be dispensed with. Indeed, it was proved by Ibarlucía and the author in [Reference Ibarlucía and MellerayIM] (with the additional assumption of approximate divisibility, which was later shown to be superfluous in [Reference MellerayM] but will play a part in our arguments) that for any dynamical simplex K there exists a minimal homeomorphism whose invariant measures are exactly the elements of K. This converse of the general result of Glasner and Weiss is thus an extension of Akin’s converse which applies in the special case of uniquely ergodic systems.

Theorem 5.4 of [Reference YingstY] (closely related to earlier work of Dougherty, Mauldin and Yingst [Reference Dougherty, Mauldin and YingstDMY]) shows that, whenever P is an irreducible integer polynomial with $P(0)=\pm 1$ , $P(1)=\pm 1$ , R is the set of roots of P contained in $]0,1[$ and $r \in R$ , the closed convex hull $K_r$ of all $\mu _s$ , for $s \in R$ , is a dynamical simplex; further, $G_{\{\mu _r\}}=G_{K_r}$ for all $r \in R$ . Thus Yingst’s theorem may be seen as asserting that, for certain dynamical simplices K, for a generic element $g \in G_K^*$ the set of all g-invariant Borel probability measures coincides with K. As an aside, note that any $g \in G_K \setminus G_K^*$ , or more generally any $g \in G_K$ which is not minimal, must preserve some measure which does not have a full support, so the set of g-invariant Borel probability measures cannot be equal to K.

We prove here (Theorem 3.1 below) that the conclusion of Yingst’s theorem holds for all dynamical simplices: whenever K is a dynamical simplex, a generic element of $G_K^*$ has a set of invariant measures equal to K. We actually establish a more precise result, using the notion of a saturated homeomorphism.

The strategy of [Reference Ibarlucía and MellerayIM] is based on the notion of a Kakutani–Rokhlin partition; we recall that, if g is a homeomorphism of X, a Kakutani–Rokhlin partition for g is a clopen partition $(A_{i,j})_{0 \le i \le n, 0 \le j \le n_i}$ such that for all i and all $0\le j< n_i$ one has $g(A_{i,j})=A_{i,j+1}$ . When g is minimal, one can build a refining sequence of such partitions whose atoms generate the clopen Boolean algebra (see, for instance, [Reference Ibarlucía and MellerayIM] for more details and further references), and then we can think of these partitions as giving better and better approximations of g. The proof given in [Reference Ibarlucía and MellerayIM] that any dynamical simplex can be realized as the set of invariant measures of some minimal homeomorphism works by building a refining sequence of clopen partitions, which turn out to be Kakutani–Rokhlin partitions of the desired minimal homeomorphism g. These partitions, which we call K-partitions, also play a major part in our approach here (see the next section for their definition). To ensure that g preserves K, we require that $\mu (A_{i,j})=\mu (A_{i,j+1})$ for any $\mu \in K$ whenever $A_{i,j}$ is an element of one of the Kakutani–Rokhlin partitions for g and $j<n_i$ . One also needs to ensure that g does not preserve measures which are not in K; to that end, one works with a stronger notion than minimality, namely with saturated homeomorphisms. We skip the formal definition for now; see the next section for details. What matters here is that, whenever K is a dynamical simplex and g is K-saturated, g is minimal and the set of invariant measures of g is equal to K; and the construction of [Reference Ibarlucía and MellerayIM] produces a K-saturated element of $G_K$ .

One sees from their definition that K-saturated homeomorphisms form a $G_\delta $ subset of $G_K^*$ . It is asked in [Reference Ibarlucía and MellerayIM, Remark 2] whether one can determine the closure in $G_K$ of the set of K-saturated homeomorphisms, and suggested that it might be equal to $G_K^*$ , by analogy with [Reference Bezuglyi, Dooley and KwiatkowskiBDK, Theorem 5.9] which proves a similar result in $\operatorname {\mathrm {Homeo}}(X)$ . Our main result (proved in §3) confirms this suspicion.

Theorem 3.1 Let K be a dynamical simplex. Then a generic element of $G_K^*$ is K-saturated. In particular, for a generic element g of $G_K^*$ the set of g-invariant Borel probability measures is equal to K.

This generalizes Yingst’s result for good measures and refinable Bernoulli measures to all dynamical simplices; the possibility that such a generalization may be true is mentioned at the end of [Reference YingstY].

Yingst mentions after the statement of his theorem that it ‘demonstrates a large class of uniquely or finitely ergodic homeomorphisms’; one then wonders how large that class is. Certainly, different dynamical simplices will yield non-conjugate uniquely or finitely ergodic homeomorphisms (when there is just one extreme point, or finitely many), but it is not clear a priori whether two generic elements of $G_K^*$ are conjugate. Thus we investigate when there exist comeager conjugacy classes in $G_K^*$ and establish the following result.

Theorem 4.5 There exists a comeager conjugacy class in $G_K^*$ if, and only if, K is a singleton $\{\mu \}$ , and $\mu $ is the unique invariant probability measure for some odometer g. In that case, the conjugacy class of g is comeager in $G_K^*$ .

2 Some background on dynamical simplices

Our argument is based on some terminology and results from [Reference Ibarlucía and MellerayIM, Reference MellerayM], which we recall now (what we call a ‘K-partition’ here is called a ‘KR-partition’ there). It probably helps to have some familiarity with Kakutani–Rokhlin partitions and the methods used in the aforementioned papers to follow the arguments, but we recall everything we need from those sources in order to establish our results.

We recall that a dynamical simplex is a compact, convex set K of Borel probability measures on X such that all elements of K are atomless and have full support, and whenever $A,B \in \operatorname {\mathrm {Clopen}}(X)$ are such that $\mu (A)< \mu (B)$ for all $\mu \in K$ there exists a clopen $\tilde A \subset B$ such that $\mu (A)=\mu (\tilde A)$ for all $\mu \in K$ .

We fix a dynamical simplex K. Let

$$ \begin{align*}G_K=\{g \in \operatorname{\mathrm{Homeo}}(X) \colon \text{for all } \mu \in K, \ g_* \mu=\mu\} \end{align*} $$

where as usual $g_* \mu (A)=\mu (g^{-1}A)$ for any Borel A. We endow $G_K$ with the topology whose base of open neighborhoods of $1$ is given by sets of the form

$$ \begin{align*} \{g \in G_K \colon \text{for all } A \in \mathcal{A}, \ g(A)=A\},\end{align*} $$

where $\mathcal {A}$ ranges over all clopen partitions of X. This turns $G_K$ into a Polish group.

Lemma 2.1 [Reference Ibarlucía and MellerayIM, Proposition 2.7]

Assume that $A,B$ are clopen and $\mu (A)=\mu (B)$ for all $\mu \in K$ . Then there exists $g \in G_K$ such that $g(A)=B$ .

This property is key to our constructions. If $\mu (A)< \mu (B)$ for all $\mu \in K$ , then it follows from this fact and from the definition of a dynamical simplex that there exists $g \in G_K$ such that $g(A) \subset B$ .

Basic compactness arguments enable one to prove the following facts.

Lemma 2.2 [Reference Ibarlucía and MellerayIM, Proposition 2.5]

  • For any non-empty $A \in \operatorname {\mathrm {Clopen}}(X)$ , $\inf \{\mu (A) \colon \mu \in K\}>0$ .

  • If d is any compatible metric, and $\varepsilon>0$ , there exists some $\delta>0$ such that whenever B has diameter less than $\delta $ , one has $\mu (B) \le \varepsilon $ for all $\mu \in K$ .

Below, we will make constant use of the homogeneity properties of dynamical simplices; the following lemma will be used in the proof of our main result (Theorem 3.1). We prove it now in the hope of helping the reader get acquainted with dynamical simplices.

Lemma 2.3 Let $U, V$ be clopen and such that $\mu (U)=\mu (V)$ for all $\mu \in K$ . Let $\mathcal {A}$ be a clopen partition of U, and $\mathcal {B}$ be a clopen partition of V. Let also $C_1,\ldots ,C_n$ , $D_1,\ldots ,D_m$ be non-empty clopen subsets of $U,V$ , respectively.

There exist clopen subsets $Y_1,\ldots ,Y_q$ of U, and clopen subsets $Z_1,\ldots ,Z_q$ of V, such that:

  • for all i, for all $\mu \in K$ , $\mu (Y_i)= \mu (Z_i)$ ;

  • $Y_1,\ldots ,Y_q$ form a partition of U which refines $\mathcal {A}$ , and $Z_1,\ldots ,Z_q$ form a partition of V which refines $\mathcal {B}$ ;

  • for all $i \in \{1,\ldots ,n\}$ and all $j \in \{1,\ldots ,m\}$ , there exists $k \in \{1,\ldots q\}$ such that $Y_k \subseteq C_i$ and $Z_k \subseteq D_j$ .

Proof. Fix a compatible distance on X. Reducing $C_1,\ldots ,C_n$ if necessary, we may assume that they are pairwise disjoint, and that each $C_i$ is contained in some element of $\mathcal {A}$ ; and similarly, mutatis mutandis, for $D_1,\ldots ,D_m$ and $\mathcal {B}$ .

Fix $\varepsilon>0$ for which any clopen subset U of X of diameter less than $ \varepsilon $ is such that $n \mu (U) < \mu (D_j)$ for all j. Inside each $C_i$ , we may find m non-empty, disjoint clopen subsets $(A_{i,j})_{1 \le j \le m}$ of diameter less than $\varepsilon $ . For every $j \in \{1,\ldots ,m\}$ and every $\mu \in K$ , we then have

$$ \begin{align*}\sum_{i=1}^n \mu(A_{i,j}) < \mu(D_j). \end{align*} $$

Since K is a dynamical simplex, we may then find disjoint clopen subsets $B_{i,j}$ inside each $D_j$ such that $\mu (B_{i,j})=\mu (A_{i,j})$ for all $i \in \{1,\ldots ,n\}$ .

Using a bijection from $\{1,\ldots ,n\} \times \{1,\ldots ,m\}$ to $\{1,\ldots ,nm\}$ , we enumerate $A_{i,j}$ as $Y_1,\ldots ,Y_{nm}$ , and $B_{i,j}$ as $Z_1,\ldots ,Z_{nm}$ . Then $\mu (Y_k)=\mu (Z_k)$ for all k, and for all $i,j$ there exists k such that $Y_k \subseteq C_i$ and $Z_k \subseteq D_j$ .

Let $\tilde U = U \setminus \bigsqcup _{k=1}^{nm} Y_k$ and $\tilde V= V \setminus \bigsqcup _{k=1}^{nm} Z_k$ . Then $\mu (\tilde U)=\mu (\tilde V)$ for all $\mu \in K$ , so there exists $g \in G_K$ mapping $\tilde U$ to $\tilde V$ . Note that $\mathcal {A}$ induces a clopen partition $\tilde A$ of $\tilde U$ (obtained by intersecting elements of $\mathcal {A}$ with $\tilde U$ ), and $\mathcal {B}$ similarly induces a clopen partition $\tilde {\mathcal {B}}$ of $\tilde V$ . Consider the coarsest partition of $\tilde U$ refining both $\tilde {\mathcal {A}}$ and $g^{-1}(\tilde {\mathcal {B}})$ , and list its elements as $Y_{nm+1},\ldots ,Y_q$ . Then set $Z_k=g(Y_k)$ for all $k \in \{nm+1,\ldots ,q\}$ to complete the construction.

We need an additional property of dynamical simplices.

Theorem 2.4 [Reference MellerayM, Corollary 2.6]

K is approximately divisible, that is, for any clopen A, any $\varepsilon>0$ and any positive integer n, there exists a clopen $B \subseteq A$ such that

$$ \begin{align*}\text{ for all } \mu \in K, \quad \mu(A)-\varepsilon \le n \mu(B) \le \mu(A). \end{align*} $$

We will use approximate divisibility (with the same notation as above) by applying the defining property of a dynamical simplex to find disjoint clopen $B_i \subseteq A$ such that

$$ \begin{align*} \text{ for all } \mu \in K, \ \text{ for all } i \in \{1,\ldots,n\}, \quad \mu(B_i)=\mu(B_1) \quad \text{and} \quad \mu\bigg(A \setminus \bigsqcup_{i=1}^n B_i \bigg) \le \varepsilon. \end{align*} $$

We recall the following standard definition.

Definition 2.5 For $g \in \operatorname {\mathrm {Homeo}}(X)$ , a Kakutani–Rokhlin partition for g is a clopen partition $\mathcal {A}=(A_{i,j})_{i \in I_{\mathcal {A}}, 0\le j \le n_i}$ such that $A_{i,j+1}=g(A_{i,j})$ whenever $0 \le j < n_i$ .

We will need an abstract version of these partitions (intuitively, we manipulate clopen partitions that could be Kakutani–Rokhlin partitions for some homeomorphism, and use those to build homeomorphisms).

Definition 2.6 A K-partition is a clopen partition $\mathcal {A}=(A_{i,j})_{i \in I_{\mathcal {A}}, 0\le j \le n_i}$ such that

$$ \begin{align*} \text{ for all } i \in I_{\mathcal{A}}, \text{ for all } j,k \le n_i, \text{ for all } \mu \in K, \quad \mu(A_{i,j})= \mu(A_{i,k}).\end{align*} $$

We use the notation $F_{\mathcal {A}}$ to denote $\{(i,j) \colon i \in I_{\mathcal {A}} \ , 0 \le j \le n_i\}$ .

We call a set $(A_{i,j})_{0\le j \le n_i}$ a column of the partition; we say that $n_i+1$ is the height of this column, $A_{i,0}$ is its base and $A_{i,n_i}$ is its top. Similarly, the union of all $A_{i,0}$ is the base of the partition, and the union of all $A_{i,n_i}$ is its top. We sometimes call $A_{i,j+1}$ the successor of $A_{i,j}$ in $\mathcal {A}$ (for $j< n_i$ ).

We say that a homeomorphism g is compatible with $\mathcal {A}$ if $g(A_{i,j})=A_{i,j+1}$ for all i and all $j < n_i(\mathcal {A})$ .

Note that if g is compatible with $\mathcal {A}$ then $g(\mathrm {top}(\mathcal {A}))=\mathrm {base}(\mathcal {A})$ ; also, given $\mathcal {A}$ , the set of all $g \in G_K$ which are compatible with $\mathcal {A}$ is clopen. When g is a homeomorphism such that $g_* \mu = \mu $ for all $\mu \in K$ , any Kakutani–Rokhlin partition for g is a K-partition with which g is compatible.

Definition 2.7 A K-partition $\mathcal {B}$ refines another K-partition $\mathcal {A}$ if:

  1. (1) for all $(i,j) \in F_{\mathcal {B}}$ there exists $(k,l) \in F_{\mathcal {A}}$ such that $B_{i,j} \subseteq A_{k,l}$ (that is, every element of $\mathcal {A}$ is a union of elements of $\mathcal {B}$ );

  2. (2) for all $i \in I_{\mathcal {B}}$ , there exists $k \in I_{\mathcal {A}}$ such that $B_{i,0} \subseteq A_{k,0}$ (that is, the base of $\mathcal {B}$ is contained in the base of $\mathcal {A}$ );

  3. (3) for all $((i,j),(k,l)) \in F_{\mathcal {B}} \times F_{\mathcal {A}}$ , if $B_{i,j} \subseteq A_{k,l}$ and $l<n_k(\mathcal {A})$ , then $j<n_i(\mathcal {B})$ and $B_{i,j+1} \subseteq A_{k,l+1}$ (that is, the successor of $B_{i,j}$ is contained in the successor of $A_{k,l}$ );

  4. (4) for all $(i,j) \in F_{\mathcal {B}}$ , if $B_{i,j} \subseteq A_{k,n_k(\mathcal {A})}$ for some k and $j< n_i(\mathcal {B})$ , then $B_{i,j+1}$ is contained in some $A_{p,0}$ (that is, if $B_{i,j}$ is contained in the top of $\mathcal {A}$ and $j< n_i$ then the successor of $B_{i,j}$ is contained in the base of $\mathcal {A}$ ).

Informally, the columns of $\mathcal {B}$ have been obtained by cutting the columns of $\mathcal {A}$ vertically, and stacking these fragments of columns on top of each other.

Whenever $B_{i,j}$ is contained in $A_{k,0}$ we say that $(B_{i,j},\ldots ,B_{i,j+n_i(\mathcal {A})})$ is a copy of the column $(A_{k,0},\ldots ,A_{k,n_k(\mathcal {A})})$ contained in $(B_{i,0},\ldots ,B_{i,n_k(\mathcal {B})})$ .

Definition 2.8 Let K be a dynamical simplex, and $g \in G_K$ . We say that g is K-saturated if, whenever $A,B \in \operatorname {\mathrm {Clopen}}(X)$ are such that $\mu (A)=\mu (B)$ for all $\mu \in K$ , there exists a Kakutani–Rokhlin partition $(A_{i,j})_{i \in I, 0 \le j \le n_i}$ for g such that $A,B$ are unions of atoms of this partition and, for all i,

$$ \begin{align*}|\{j \colon A_{i,j} \subseteq A \} | = |\{j \colon A_{i,j} \subseteq B \} | \end{align*} $$

(here and throughout the article $|F|$ denotes the cardinality of a finite set F).

We note that, for a given $A,B \in \operatorname {\mathrm {Clopen}}(X)$ such that $\mu (A)=\mu (B)$ for all $\mu \in K$ , the set of all g admitting a Kakutani–Rokhlin partition with the above property is a clopen subset in $G_K$ : if $\mathcal {A}$ is such a partition for g, any $h \in G_k$ which is compatible with $\mathcal {A}$ will also have the desired property. Since there are countably many clopen subsets of X, it follows that K-saturated homeomorphisms form a $G_\delta $ subset of $G_K$ .

The following result explains why saturated homeomorphisms play such an important role in our arguments.

Proposition 2.9 [Reference Ibarlucía and MellerayIM, Corollary 4.3]

Assume that $g \in G_K$ is saturated. Then the set of g-invariant Borel probability measures is equal to K.

Combined with the above fact, the following proposition is the heart of the proof of the main result of [Reference Ibarlucía and MellerayIM].

Proposition 2.10 Let $\mathcal {A}$ be a K-partition. There exists a K-saturated $g \in G_K$ which is compatible with $\mathcal {A}$ .

This proposition is not formally stated in [Reference Ibarlucía and MellerayIM] (though it is implicit in Remark $2$ of that paper) but is established as in the proof of [Reference Ibarlucía and MellerayIM, Proposition 3.6] by an inductive argument based on the following lemma.

Lemma 2.11 (Combination of [Reference Ibarlucía and MellerayIM, Propositions 2.5 and 3.5])

Let $\mathcal {A}$ be a K-partition. Assume that $U,V$ are clopen and $\mu (U)=\mu (V)$ for all $\mu \in K$ . Let W be a non-empty clopen subset of $\mathrm {top}(\mathcal {A})$ . Then there exists a K-partition $\mathcal {B}$ refining $\mathcal {A}$ , whose top is contained in W, such that $U,V$ are both unions of atoms of $\mathcal {B}$ and for all k one has

$$ \begin{align*}|\{l \in \{0,\ldots,n_k(\mathcal{B}) \} \colon B_{k,l} \subseteq U \} | = |\{l \in \{0,\ldots,n_k(\mathcal{B}) \} \colon B_{k,l} \subseteq V \} |. \end{align*} $$

When $U,V$ satisfy the conditions above, we say that $(U,V)$ are $\mathcal {B}$ -equivalent.

3 Proof that a generic element of $G_{K}^*$ is K-saturated

Throughout this section we fix a dynamical simplex K. We recall that $G_K$ is the group of all homeomorphisms which preserve K, and $G_K^*$ is the set of all $g \in G_K$ such that, for any non-trivial clopen set U, one has $g(U) \ne U$ . Our aim is to prove the following theorem.

Theorem 3.1 Let K be a dynamical simplex. Then a generic element of $G_K^*$ is K-saturated.

As pointed out above, K-saturated homeomorphisms form a $G_\delta $ subset of $G_K^*$ (and we know that there exist K-saturated homeomorphisms by the main result of [Reference Ibarlucía and MellerayIM], so $G_K^*$ is also non-empty). So our aim really is to prove that the set of K-saturated homeomorphisms is dense in $G_{K}^*$ ; the remainder of this section is devoted to the proof of that fact.

We fix $\varphi \in G_K^*$ , and a clopen partition $\mathcal {A}$ of X. Our goal is to prove that there exists a K-saturated element $\psi \in G_K$ such that $\psi (\alpha )=\varphi (\alpha )$ for all $\alpha \in \mathcal {A}$ .

The proof proceeds by building certain K-partitions, and we think of $\mathcal {A}$ as a K-partition whose columns all have height equal to $1$ .

Definition 3.2 Let $\mathcal {B}$ be a K-partition which refines $\mathcal {A}$ . For every atom $B_{i,j}$ of $\mathcal {B}$ there exists an atom $\alpha (i,j) $ of $\mathcal {A}$ such that $B_{i,j} \subseteq \alpha (i,j)$ ; we say that $\mathcal {B}$ respects $\varphi $ if $B_{i,j+1} \subseteq \varphi (\alpha (i,j))$ whenever $j< n_i$ .

Lemma 3.3 Assume that $\mathcal {B}$ refines $\mathcal {A}$ and respects $\varphi $ , and let $g \in G_K$ be compatible with $\mathcal {B}$ . Then the following assertions hold.

  1. (1) For every $\alpha \in \mathcal {A}$ , we have $g(\alpha \setminus \mathrm {top}(B))= \varphi (\alpha ) \setminus \mathrm {base}(\mathcal {B})$ .

  2. (2) For every $\alpha \in \mathcal {A}$ and every $\mu \in K$ , $\mu (\alpha \cap \mathrm {top}(B))= \mu ( \varphi (\alpha ) \cap \mathrm {base}(\mathcal {B}))$ .

  3. (3) For every $\alpha \in \mathcal {A}$ which does not intersect $\mathrm {top}(\mathcal {B})$ , we have $g(\alpha )=\varphi (\alpha )$ .

  4. (4) $ \mathrm {base}(\mathcal {B}) \subseteq \bigcup \{\varphi (\alpha ) \colon \alpha \in \mathcal {A} \text { and } \alpha \cap \mathrm {top}(\mathcal {B}) \ne \emptyset \}$ .

Proof. We begin by proving (1). Let $\alpha $ be an atom of $\mathcal {A}$ . Since $\mathcal {B}$ refines $\mathcal {A}$ , respects $\varphi $ and g is compatible with $\mathcal {B}$ , we have $g(\alpha \setminus \mathrm {top}(\mathcal {B})) \subseteq \varphi (\alpha )$ ; further, $g(\alpha \setminus \mathrm {top}(\mathcal {B}))$ is disjoint from $\mathrm {base}(\mathcal {B})$ . This establishes one inclusion. Also, every atom of $\mathcal {B}$ which is not contained in $\mathrm {base}(\mathcal {B})$ is contained in $\varphi (\beta )$ for some atom $\beta $ of $\mathcal {A}$ . Thus, $\varphi (\alpha ) \setminus \mathrm {base}(\mathcal {B})$ is a union of atoms of $\mathcal {B}$ ; these atoms may be listed as $(B_{i,j})_{(i,j )\in F}$ , and for all $(i,j) \in F$ we have $j \ge 1$ . Using again the fact that $\mathcal {B}$ respects $\varphi $ , each $B_{i,j-1}$ is contained in $\alpha \setminus \mathrm {top}(\mathcal {B})$ , and $B_{i,j}=g(B_{i,j-1})$ , so $\varphi (\alpha ) \setminus \mathrm {base}(\mathcal {B})$ is contained in $g(\alpha \setminus \mathrm {top}(\mathcal {B}))$ .

Now that (1) is proved, fix $\mu \in K$ and $\alpha $ an atom of $\mathcal {A}$ . We have both

$$ \begin{align*} \mu(\alpha)&= \mu(\alpha \setminus \mathrm{top}(B)) + \mu(\alpha \cap \mathrm{top}(\mathcal{B})) \quad \text{and} \\ \mu(\varphi(\alpha))&= \mu(\varphi(\alpha)\setminus \mathrm{base}(\mathcal{B}))+ \mu(\varphi(\alpha) \cap \mathrm{base}(\mathcal{B})). \end{align*} $$

Since g and $\varphi $ preserve $\mu ,$ (1) implies that $\mu (\alpha \cap \mathrm {top}(\mathcal {B}))= \mu (\varphi (\alpha ) \cap \mathrm {base}(\mathcal {B}))$ .

Assertion 3 follows immediately: if $\alpha \cap \mathrm {top}(\mathcal {B})= \emptyset $ , then $\varphi (\alpha ) \cap \mathrm {base}(\mathcal {B})$ must also be empty by (2), and then (1) gives $g(\alpha )=\varphi (\alpha )$ .

Since $\varphi (\alpha )$ does not intersect $\mathrm {base}(\mathcal {B})$ if $\alpha $ does not intersect $\mathrm {top}(\mathcal {B})$ , we also obtain that $\mathrm {base}(\mathcal {B})$ is contained in the union of all $\varphi (\alpha )$ such that $\alpha \cap \mathrm {top}(\mathcal {B}) \ne \emptyset $ , and that proves (4).

Definition 3.4 Let $\mathcal {B}$ be a K-partition which refines $\mathcal {A}$ and respects $\varphi $ . We denote by $N(\mathcal {B})$ the number of atoms of $\mathcal {A}$ which intersect $\mathrm {top}(\mathcal {B})$ .

Our goal is to prove that there exists $\mathcal {B}$ which refines $\mathcal {A}$ , respects $\varphi $ and such that $N(\mathcal {B})\,{=}\,1$ . Indeed, we note the following fact.

Lemma 3.5 Assume that there exists a K-partition $\mathcal {B}$ which refines $\mathcal {A}$ , respects $\varphi $ , and is such that $N(\mathcal {B})=1$ . Then there exists a K-saturated $\psi \in G_K$ such that $\psi (\alpha )=\varphi (\alpha )$ for all $\alpha \in \mathcal {A}$ .

Proof. Let $\mathcal {B}$ be such a K-partition. By Proposition 2.10 there exists a saturated $\psi $ which is compatible with $\mathcal {B}$ .

For every $\alpha \in \mathcal {A}$ which does not intersect $\mathrm {top}(\mathcal {B})$ , we have $\varphi (\alpha ) = \psi (\alpha )$ by Lemma 3.3(3). Since $\varphi $ and $\psi $ are bijections, and there exists a unique atom $\beta $ of $\mathcal {A}$ which intersects $\mathrm {top}(\mathcal {B})$ , this atom must also satisfy $\varphi (\beta )=\psi (\beta )$ , so we obtain as promised that $\varphi (\alpha )=\psi (\alpha )$ for every $\alpha \in \mathcal {A}$ .

Assume that $\mathcal {B}$ refines $\mathcal {A}$ and respects $\varphi $ . Let C be a column of $\mathcal {B}$ ; $\mathrm {top}(C)$ is contained in some atom of $\mathcal {A}$ , which we denote by $\tau (C)$ .

We endow the set of columns ${\mathbf{Col}}(\mathcal {B})$ with a directed graph structure $\Gamma _{\mathcal {B}}$ (possibly, with loops), by declaring that

$$ \begin{align*} ( (C,D) \in \Gamma_{\mathcal{B}} ) \Leftrightarrow ( \varphi(\tau(C)) \cap \mathrm{base}(D) \ne \emptyset ).\end{align*} $$

Note that above we are manipulating $\varphi (\tau (C))$ and not $\varphi (C)$ ; that is because we are looking for a K-saturated element which coincides with $\varphi $ on $\mathcal {A}$ , so the conditions we have to satisfy are imposed by the behavior of $\varphi $ on atoms of $\mathcal {A}$ , not on smaller clopen sets (all the information we can use is what $\varphi $ does to atoms of $\mathcal {A}$ , and the fact that this behavior on $\mathcal {A}$ is compatible with belonging to $G_K^*$ ).

Definition 3.6 Let $\mathcal {B}$ be a K-partition. We say that $\mathcal {B}$ is admissible if:

  • $\mathcal {B}$ refines $\mathcal {A}$ and respects $\varphi $ ;

  • for every atom $\alpha $ of $\mathcal {A}$ , $\varphi (\alpha )$ is a union of atoms of $\mathcal {B}$ ;

  • for any $C,D \in {\mathbf{Col}}(\mathcal {B})$ , there exists a path in $\Gamma _{\mathcal {B}}$ starting at C and ending at D.

The second condition above mildly simplifies the argument (it helps minimize the number of cuts we have to do during the construction); the third condition is key to our construction.

Lemma 3.7 There exists an admissible K-partition.

Proof. Let $\mathcal {A}'$ be the coarsest partition which refines both $\mathcal {A}$ and $\{\varphi (\alpha ) \colon \alpha \in \mathcal {A}\}$ . We view $\mathcal {A}'$ as a K-partition where each column has height $1$ . It satisfies the first two conditions of the definition of an admissible K-partition.

Fix an atom $\beta $ of $\mathcal {A}'$ . Let U be the union of atoms of $\mathcal {A}'$ which one can reach from $\beta $ by following a path in $\Gamma _{\mathcal {A}'}$ . Then U is clopen and $\varphi (U) \subseteq U$ , whence $U=X$ since $\varphi \in G_K^*$ . This proves that $\mathcal {A}'$ is admissible.

Given Lemma 3.5, our proof will be complete as soon as we manage to establish the validity of the following lemma; the argument is based on repeated applications of the cutting and stacking procedure.

Lemma 3.8 Assume that $\mathcal {B}$ is an admissible K-partition, and $N(\mathcal {B})>1$ . Then there exists an admissible K-partition C such that $N(\mathcal {C})<N(\mathcal {B})$ .

Proof. We fix $\mathcal {B}$ , and let $\alpha _1,\ldots ,\alpha _N$ denote the atoms of $\mathcal {A}$ which intersect $\mathrm {top}(\mathcal {B})$ .

Recall that, for every column C of $\mathcal {B}$ , there exists an atom $\tau (C)$ of $\mathcal {A}$ such that $\mathrm {top}(C) \subseteq \tau (C)$ ; and an atom $\beta (C)$ of $\mathcal {A}$ such that $\mathrm {base}(C) \subseteq \varphi (\beta (C))$ . By definition, $(C,D) \in \Gamma _{\mathcal {B}}$ if and only if $\tau (C)=\beta (D)$ .

Pick a column C such that $\beta (C)\ne \alpha _1$ (the existence of such a column follows from Lemma 3.3(2)). Since $\mathcal {B}$ is admissible, there exists a path $C=C_0,\ldots ,C_p$ such that $\tau (C_p)=\alpha _1$ ; fix such a path with p minimal. If $\beta (C_p)=\alpha _1$ then either $p=0$ or $\tau (C_{p-1})=\alpha _1$ by definition of $\Gamma _{\mathcal {B}}$ ; the second possibility contradicts the minimality of p. So either $C_0$ or $C_p$ gives us a column C such that $\beta (C) \ne \alpha _1$ and $\tau (C)=\alpha _1$ .

We write $\mathrm {base}(C)=U \sqcup V$ , where U, V are non-empty clopen, and cut C into two finer columns with base $U,V$ . Explicitly, assume that C is of the form $(B_{i,0},\ldots ,B_{i,n_i})$ ; for each $j \in \{1,\ldots ,n_i\}$ we choose a clopen subset $U_j$ of $B_{i,j}$ such that $\mu (U_j)=\mu (U)$ for all $\mu \in K$ , and let $V_j=B_{i,j} \setminus U_j$ . Then we form a new partition, where C is replaced by two finer columns, one being $(U,U_1,\ldots ,U_{n_i})$ and the other being $(V,V_1,\ldots ,V_{n_i})$ . The partition we obtain refines $\mathcal {B}$ and respects $\varphi $ ; below, whenever we mention cutting, we apply a similar procedure.

We set aside one of the two columns we have just built and name it $\tilde C$ .

Considering a path $(D_0,\ldots ,D_q)$ of minimal length such that $\beta (D_0)= \alpha _1$ and $\tau (D_q) \ne \alpha _1$ , we similarly obtain the existence of a column D such that $\beta (D)=\alpha _1$ and $\tau (D) \ne \alpha _1$ . As above, we cut D into two non-trivial subcolumns and call one of those $\tilde D$ . We let $\mathcal {B}'$ denote the partition that we produced by cutting $C,D$ into two subcolumns each.

There may exist columns in $\mathcal {B}'$ such that $\beta (E)=\alpha (E)=\alpha _1$ ; we wish to reduce to the case where there are no such columns. If no such column exists, we may directly skip to the next step of the construction. Otherwise, let $k \ge 1$ denote the number of these columns. For every such E, we choose a large integer $l_E$ and use approximate divisibility to write

$$ \begin{align*}\mathrm{base}(E) = \bigg(\bigsqcup_{i=1}^{l_E} E_i \bigg) \sqcup F,\end{align*} $$

where for all $\mu \in K$ one has

(3.1) $$ \begin{align} &\text{ for all } \mu \in K, \text{ for all } i,j, \quad \mu(E_i)=\mu(E_j) \quad \text{ and } \end{align} $$
(3.2) $$ \begin{align} &\text{ for all } \mu \in K, \quad \mu(E_1)+ \mu(F) < \dfrac{1}{k} \min(\mu(\mathrm{base}(\tilde C)), \mu(\mathrm{base}(\tilde D))). \end{align} $$

We then form a new partition refining $\mathcal {B}'$ , in which each column E with $\beta (E)=\tau (E)=\alpha _1$ is replaced by two new columns $\tilde E_1$ and $\tilde E_2$ , with $\tilde E_1$ being obtained by stacking $l_E$ copies of E with base $E_i$ on top of each other, and $\tilde E_2$ being the remainder (namely, a copy of E with base F). Since each of the columns we stacked on top of each other has a base contained in $\varphi (\alpha _1)$ and a top contained in $\alpha _1$ , the partition we obtain respects $\varphi $ .

The sum of measures of the bases of all columns $\tilde E_1$ , $\tilde E_2$ is strictly less than $\mu (\mathrm {base} (\tilde C))$ as well as $\mu (\mathrm {base}(\tilde D))$ , for all $\mu \in K$ ; this is what we gained by our use of approximate divisibility in (3.2). Using the fact that K is a dynamical simplex, and cutting $\tilde C$ , $\tilde D$ as necessary, we may then form new columns by stacking each $\tilde E_1$ on top of a copy of $\tilde C$ , and then a copy of $\tilde D$ on top of that; and similarly for each $\tilde E_2$ .

Intuitively, we have first used approximate divisibility to make the columns with $\beta (E)=\tau (E)=\alpha _1$ very thin, and then we have stacked them in the middle of some new columns. We have thus formed a new K-partition $\mathcal {B}''$ which refines $\mathcal {B}'$ and respects $\varphi $ , since $\tau (\tilde C) = \beta (\tilde D)=\alpha _1$ .

Every column F of $\mathcal {B}''$ is of one of the following three types:

  • $\beta (F)=\alpha _1$ and $\tau (F) \ne \alpha _1$ (type $1$ );

  • $\beta (F) \ne \alpha _1$ and $\tau (F)=\alpha _1$ (type $2$ );

  • $\beta (F) \ne \alpha _1$ and $\tau (F)\ne \alpha _1$ (type $3$ ).

Let $U_1,\ldots ,U_n$ denote the tops of the columns of type $1$ , and $V_1,\ldots ,V_m$ denote the bases of the columns of type $2$ . Lemma 3.3(2) implies that

$$ \begin{align*}\text{ for all } \mu \in K \quad \mu\bigg(\bigsqcup_{i=1}^n U_i \bigg) =\mu\bigg(\bigsqcup_{j=1}^m V_j \bigg). \end{align*} $$

Using Lemma 2.3, we may find clopen subsets $Y_1,\ldots ,Y_q$ , $Z_1,\ldots ,Z_q$ such that:

  • for all $\mu \in K$ and for all i, one has $\mu (Y_i)=\mu (Z_i)$ ;

  • $Y_1,\ldots ,Y_q$ partition $\bigsqcup _{i=1}^n U_i$ , and $Z_1,\ldots ,Z_q$ partition $\bigsqcup _{j=1}^m V_j$ ;

  • for all i there exist $j,k$ such that $Y_i \subseteq U_j$ and $Z_i \subseteq V_k$ ;

  • for all $j,k$ , if there exist a column G of type $1$ such that $\tau (G) = \alpha _j$ and a column H of type $2$ such that $\beta (H)=\alpha _k$ , then there exists i such that $Y_i \subseteq \alpha _j$ and $Z_i \subseteq \varphi (\alpha _k)$ .

We then cut some columns of $\mathcal {B}''$ so as to form, for each $i \in \{1,\ldots ,q\}$ , a column with top $Y_i$ and another with base $Z_i$ ; and finally form a K-partition $\mathcal {C}$ refining $\mathcal {B}''$ by stacking each new column with top equal to $Y_i$ on top of the new column with base equal to $Z_i$ .

By construction $\mathcal {C}$ refines $\mathcal {B}$ ; $\mathcal {C}$ is compatible with $\varphi $ ; for every atom $\alpha $ of $\mathcal {A}\, \varphi (\alpha )$ is a union of atoms of $\mathcal {C}$ ; and $\mathrm {top}(\mathcal {C}) \cap \alpha _1 = \emptyset $ so $N(\mathcal {C}) \le N(\mathcal {B})-1$ . It remains to prove that $\mathcal {C}$ is admissible (note that the admissibility of $\mathcal {B}$ was key to our construction, since it enabled us to produce the columns $\tilde C$ , $\tilde D$ , which in turn allowed us to get rid of all the columns whose top is contained in $\alpha _1$ ).

During the construction, we ensured that the following properties hold.

  • Any column A of $\mathcal {B}$ such that $\tau (A) \ne \alpha _1$ and $\beta (A) \ne \alpha _1$ is also a column of $\mathcal {C}$ (these columns have not been modified).

  • Given any $j,k \ge 2$ and columns $A,B$ of $\mathcal {B}$ such that $\beta (A)=\alpha _j$ , $\tau (A)=\alpha _1$ , $\beta (B)=\alpha _1$ , $\tau (B)=\alpha _k$ , there exists a column E of $\mathcal {C}$ such that $\beta (E)=\alpha _j$ and $\tau (E)=\alpha _k$ . We guaranteed this by our use of Lemma 2.3, and by cutting $C,D$ in two pieces at the beginning so that nothing had been lost before applying Lemma 2.3.

Now let A, B be two columns of $\mathcal {C}$ . Since $\mathcal {B}$ is admissible, there exist columns $C_0,\ldots ,C_{n}$ of $\mathcal {B}$ such that:

  • $\tau (C_0)= \tau (A)$ and $\beta (C_n)=\beta (B)$ ;

  • for all $i\le n-1$ , $\tau (C_i)= \beta (C_{i+1})$ .

If $\tau (C_i) \ne \alpha _1$ for each i, then $A,C_1,\ldots ,C_{n-1},B$ form a path joining A and B in $\Gamma _{\mathcal {C}}$ . Otherwise, there exists some i such that $\tau (C_i)= \alpha _1= \beta (C_{i+1})$ ; and (considering the shortest possible path) we may as well assume that there is a unique such i. By construction, there exists a column D of $\mathcal {C}$ such that $\beta (D)= \beta (C_i)$ and $\tau (D)= \tau (C_{i+1})$ . Then the path $A,C_1,\ldots ,C_{i-1},D,C_{i+2},\ldots ,B$ joins A and B in $\Gamma _{\mathcal {C}}$ .

4 Comeager conjugacy classes and odometers

We again fix a dynamical simplex K. Given a K-partition $\mathcal {A}$ , we consider

$$ \begin{align*} O_{\mathcal{A}} &= \{ g \in G_K^* \colon g \text{ is compatible with } \mathcal{A} \}, \\ G_{\mathcal{A}} &= \{ g \in G_K \colon \text{ for all } A \in \mathcal{A}, \ g(A)=A\}. \end{align*} $$

The sets $O_{\mathcal {A}}$ form a basis of the topology of $G_K^*$ ; the subgroups $G_{\mathcal {A}}$ form a basis of neighborhoods of the identity in $G_K$ .

In our context, we may formulate Rosendal’s criterion for the existence of comeager conjugacy classes for a Polish group action as follows (for a proof, see [Reference Ben Yaacov, Melleray and TsankovBMT, Proposition 3.2]).

Proposition 4.1 There exists a comeager conjugacy class in $G_K^*$ if, and only if, the following conditions hold.

  1. (1) The action of $G_K$ on $G_K^*$ by conjugation is topologically transitive .

  2. (2) For any K-partition $\mathcal {A}$ , there exists a K-partition $\mathcal {B}$ refining $\mathcal {A}$ such that, for any K-partitions $\mathcal {C}$ , $\mathcal {D}$ refining $\mathcal {B}$ , there exists $g \in G_{\mathcal {A}}$ such that $g O_{\mathcal {C}} g^{-1} \cap O_{\mathcal {D}} \ne \emptyset $ .

We recall that a continuous action of a Polish group G on a Polish space X is topologically transitive if it admits a dense orbit or, equivalently in this context, if for any two non-empty open subsets $U,V$ of X there exists $g \in G$ such that $g(U) \cap V \ne \emptyset $ .

The first part of the above criterion turns out to be always satisfied.

Proposition 4.2 The conjugacy class of any K-saturated element is dense in $G_K^*$ .

Proof. Fix a K-saturated g and a K-partition $\mathcal {A}$ . By saturation of g, there exists a Kakutani–Rokhlin partition $\mathcal {B}=(B_{i,j})$ for g such that any two atoms of $\mathcal {A}$ belonging to the same column of $\mathcal {A}$ are $\mathcal {B}$ -equivalent (see Lemma 2.11 for the definition). Thus, up to a reordering of the atoms within each of its columns, $\mathcal {B}$ is a refinement of $\mathcal {A}$ ; in other words, there exists for all i a bijection $\sigma _i$ of $\{0,\ldots ,n_i(\mathcal {B})\}$ such that $(B_{i,\sigma _i(j)})$ refines $\mathcal {A}$ .

We may find $h \in G_K$ such that for all i and all $j \in \{0,\ldots ,n_i(\mathcal {B})\}$ one has $h(B_{i,j})=B_{i,\sigma _i(j)}$ . Then $(B_{i,\sigma _i(j)})$ is a Kakutani–Rokhlin partition for $hgh^{-1}$ , which proves that $hgh^{-1}$ belongs to $O_{\mathcal {A}}$ .

Our aim is now to prove that the second condition of Proposition 4.1 is satisfied exactly when K is a singleton $\{\mu \}$ , and $\mu $ is the unique invariant measure of an odometer.

Given integers $n_1,\ldots ,n_k \ge 0$ , with at least one being different from $0$ , we set

$$ \begin{align*}r(n_1,\ldots,n_k)= \frac{1}{\sum_{i=1}^k n_i} (n_1,\ldots,n_k).\end{align*} $$

Let $d=\text {gcd}(n_1,\ldots ,n_k)$ and $n_i'= {n_i}/{d}$ ; observe that $r(n_1,\ldots ,n_k)= r(n_1',\ldots ,n_k')$ and

$$ \begin{align*}r(n_1,\ldots,n_k)= r(m_1,\ldots,m_k) \Leftrightarrow (n_1',\ldots,n_k')= (m_1',\ldots,m_k').\end{align*} $$

From now until the end of the proof of Lemma 4.4, we fix a K-partition $\mathcal {A}$ , with columns $C_1,\ldots ,C_k$ . For any K-partition $\mathcal {B}$ refining $\mathcal {A}$ , and any column D of $\mathcal {B}$ , we let $n_i(D)$ denote the number of copies of $C_i$ contained in D.

We define $r(D)=r(n_1(D),\ldots ,n_k(D))$ and call it the repartition of D; as above, set $n_i'(D)= ({n_i(D)}/{\text {gcd}(n_1(D),\ldots ,n_k(D))})$ .

Lemma 4.3 Let $\mathcal {B}$ be a K-partition refining $\mathcal {A}$ ; assume that for all columns $D_1,D_2$ of $\mathcal {B}$ one has $r(D_1)=r(D_2)$ . Then there exists a K-partition $\mathcal {C}$ refining $\mathcal {A}$ and which has a single column.

Proof. By assumption, $n_k'(D)$ does not depend on the column D of $\mathcal {B}$ , so we let $n_k'=n_k'(D)$ for some (any) column D of $\mathcal {B}$ .

For any column D of $\mathcal {B}$ , there exists some integer M such that D is made up of $M n_1'$ copies of $C_1$ , …, $M n_k'$ copies of $C_k$ stacked on top of each other. Up to reordering, we see that there exists a K-partition refining $\mathcal {A}$ such that each column is obtained by stacking $n_1'$ copies of $C_1$ on top of each other, then $n_2'$ copies of $C_2$ , …, then $n_k'$ copies of $C_k$ ; and repeating this pattern some number M of times (where M depends on the column).

By separating at the beginning of each of these patterns, and putting the subcolumns obtained next to each other, we see that $\mathcal {A}$ has a refinement where all columns are made up of exactly $n_1'$ copies of $C_1$ , …, $n_k'$ copies of $C_k$ stacked on top of each other. We denote by N the common height of these columns. We have also ensured that the $n_1'$ copies of $C_1$ are at the bottom, followed by $n_2'$ copies of $C_2$ , and so on.

Denote this refinement by $\mathcal {B}=(B_{i,j})_{0 \le i \le m, 0 \le j < N}$ , and set, for all $j \in \{0,\ldots ,N-1\}$ ,

$$ \begin{align*}C_j = \bigsqcup_{0 \le i \le m} B_{i,j}. \end{align*} $$

Then $(C_0,\ldots ,C_{N-1})$ is a K-partition which refines $\mathcal {A}$ and has a single column (which consists of $n_1'$ copies of $C_1$ followed by $n_2'$ copies of $C_2$ , and so on).

Lemma 4.4 Assume that $\mathcal {B}$ is a K-partition refining $\mathcal {A}$ , and that there exist two columns $D_1$ , $D_2$ of $\mathcal {B}$ with $r(D_1) \ne r(D_2)$ . Then there exist K-partitions $\mathcal {C}$ , $\mathcal {D}$ refining $\mathcal {B}$ such that for any $f \in G_{\mathcal {A}}$ one has $f O_{\mathcal {C}} f^{-1} \cap O_{\mathcal {D}} = \emptyset $ .

Proof. To simplify notation below, we note that one can further refine $\mathcal {B}$ in such a way that there exist columns with distinct repartitions but the same height: if $D_1$ has height a and $D_2$ has height b, form a new partition with one column obtained by stacking b copies of $D_1$ on top of each other, and another by stacking a copies of $D_2$ on top of each other; this is possible as long as one chooses a small enough base for these columns. These new columns have the same repartitions as $D_1$ and $D_2$ , and both have height equal to $ab$ . So we assume below that $\text {height}(D_1)=\text {height}(D_2)=H$ .

We use the fact that $D_1$ , $D_2$ have different repartitions to build incompatible $\mathcal {C}$ , $\mathcal {D}$ refining $\mathcal {B}.$ The intuition is as follows: first choose $\mathcal {C}$ so that every column of $\mathcal {C}$ begins with many copies of $D_1$ ; then every K-partition $\mathcal {E}$ refining $\mathcal {C}$ will be such that every column contains many consecutive copies of $D_1$ , and to move from an atom of $\mathcal {E}$ to an atom at the bottom of these many successive copies of $D_1$ one only needs to move by at most the largest height of any column of $\mathcal {C}$ . So, if every column of a K-partition $\mathcal {D}$ begins with many copies of $D_2$ , we expect $\mathcal {C}$ and $\mathcal {D}$ to be incompatible. To turn this intuition into a proof, we use a counting argument.

We now turn to the details of this argument. Denote by $m_i$ the number of copies of $C_i$ occurring in $D_2$ and set $S=\sum _{i=1}^k m_i$ .

Consider some $g \in O_{\mathcal {A}}$ , $x \in X$ and some $N \in {\mathbf N}$ bigger than the height of any column in $\mathcal {A}$ . Let $i_1< \cdots < i_p$ be the indices in $\{0,\ldots ,N\}$ for which $g^i(x)$ belongs to the base of $\mathcal {A}$ , and note that $x,\ldots ,g^{i_1-1}(x)$ all belong to the same column of $\mathcal {A}$ , as do $g^{i_j}(x),\ldots ,g^{i_{j+1}-1}(x))$ for all $j \in \{1,\ldots ,p-1\}$ and $g^{i_p}(x),\ldots ,g^N(x)$ . For $i \in \{1,\ldots ,k\}$ , we let $n_{i,N}(g;x)$ denote the number of times $C_i$ has occurred in this sequence, and let

$$ \begin{align*}s_N(g;x)=\frac{1}{\sum_{i=1}^k n_{i,N}(x)}(n_{1,N}(x),\ldots,n_{k,N}(x)).\end{align*} $$

Fix an integer $s \ge 2$ such that ${kH}/({s-1}) < \|r(D_1)-r(D_2)\|_\infty $ . Using the fact that K is a dynamical simplex, we may build a K-partition $\mathcal {C}$ refining $\mathcal {B}$ and such that all the columns of $\mathcal {C}$ begin with s copies of $D_1$ . Set $N =s H -1$ , and fix an integer M which is larger than the height of any column of $\mathcal {C}$ (hence also $M \ge N$ ).

Note that for any $g \in O_{\mathcal {C}}$ and any $x \in X$ there exists some $i \in \{0,\ldots ,M-1\}$ such that $s_N(g;g^i(x))=r(D_1)$ . Indeed, there exists some $i \in \{0,\ldots ,M-1\}$ such that $g^i(x)$ belongs to the base of $\mathcal {C}$ , and then $g^i(x),\ldots ,g^{N+i}(x)$ are going through s copies of $D_1$ .

Thus we have the following:

(4.1) $$ \begin{align} &\text{for all } f \in G_{\mathcal{A}},\ \text{for all } h \in f O_{\mathcal{C}} f^{-1},\ \text{for all }x \in X, \ \text{there exists }\ i \in \{0,\ldots,M-1\} \nonumber\\ & \quad \text{such that }s_N(h;h^i(x))=r(D_1). \end{align} $$

Indeed, this follows from the observation in the previous paragraph and the fact that $\mathcal {C}$ refines $\mathcal {A}$ and every $f \in G_{\mathcal {A}}$ maps every atom of $\mathcal {A}$ to itself.

Let $\mathcal {D}$ be a K-partition refining $\mathcal {B}$ and such that all columns of $\mathcal {D}$ begin with at least $3M$ copies of $D_2$ ; denote by U the base of $\mathcal {D}$ . Consider $g \in O_{\mathcal {D}}$ and $x \in g^{j}(U)$ for some $j \in \{0,\ldots ,M-1\}$ . There exists $j_1 \in \{0,\ldots , H-1\}$ such that $g^{j_1}(x)$ belongs to the base of $D_2$ . Since the points $g^{j_1}(x),\ldots ,g^{j_1-1+(s-1)H}(x)$ visit $s-1$ copies of $D_2$ and make up all but H of the elements of $g(x),\ldots ,g^N(x)$ , we see that for all $i \in \{1,\ldots ,k\}$ one has

$$ \begin{align*}(s-1) m_i \le n_{i,N}(g;x) \le (s-1)m_i + H. \end{align*} $$

Denote $T=\sum _{i=1}^k n_{i,N}(g;x)$ ; by summing these inequalities (which is overkill, but does the job) we get

$$ \begin{align*}(s-1)S \le T \le (s-1)S +kH.\end{align*} $$

Thus

$$ \begin{align*}&\text{for all } i \in \{1,\ldots,k\}, \\&\quad\frac{(s-1)m_ i}{(s-1)S+kH} - \frac{m_i}{S} \le \frac{n_{i,N}(g;x)}{T} - \frac{m_i}{S} \le \frac{(s-1)m_i+H}{(s-1)S} - \frac{m_i}{S}. \end{align*} $$

The right-hand side of this inequality is smaller than ${H}/({s-1})$ . Also

$$ \begin{align*} 0 \le \frac{m_i}{S} - \frac{(s-1)m_i}{(s-1)S+kH} = \frac{kH m_i}{S((s-1)S+kH)} \le \frac{kH}{(s-1)}.\end{align*} $$

This shows that $\|r(D_2)-s_N(g;x)\|_\infty \le ({kH}/({s-1}))$ , thus $s_N(g;x) \ne r(D_1)$ .

It follows that $s_N(g;g^i(x)) \ne r(D_1)$ for all $i \in \{0,\ldots ,M-1\}$ and all $x \in U$ . Using (4.1), we conclude that $g \not \in fO_{\mathcal {C}} f^{-1}$ for any $f \in G_{\mathcal {A}}$ ; since g was an arbitrary element of $O_{\mathcal {D}}$ , we obtain as promised that $f O_{\mathcal {C}} f^{-1} \cap O_{\mathcal {D}} = \emptyset $ for any $f \in G_{\mathcal {A}}$ .

We briefly recall the definition of an odometer. Fix a sequence $\bar k = (k_i)$ of integers greater than or equal to $2$ , and let

$$ \begin{align*}Y_{\bar k} = \prod_{i=0}^{+\infty} \{0,\ldots,k_i-1\}. \end{align*} $$

Then $Y_{\bar k}$ is a Cantor space; the corresponding odometer is the map $T_{\bar k} \colon Y \to Y$ defined by ‘adding $1$ with right-carry’. Formally, if $y \in Y$ is such that $y(i)< k_i - 1$ for some i, then one finds the smallest such i and sets

$$ \begin{align*}T_{\bar k}(y)=(\!\!\!\! \underbrace{0,\ldots,0}_{\text{ a string of } i \text{ zeros}}\!\!\!, y(i)+1,y_{i+1},y_{i+2},\ldots ). \end{align*} $$

If there is no such i, then we set $T_{\bar k}(y)(i)=0$ for all i.

We say that a map $g \colon X \to X$ is an odometer if there exist a sequence $\bar k$ and a homeomorphism $h \colon Y_{\bar k} \to X$ such that $g=h T_{\bar k} h^{-1}$ .

An alternative (and equivalent) description of odometers, up to isomorphism, is as follows. Let $n_i$ be an increasing sequence of integers, with $n_i$ dividing $n_{i+1}$ for all i. Let $G_i$ denote the cyclic group ${\mathbf Z}/n_i {\mathbf Z}$ , and $\pi _{i,j}$ the natural projection from $G_i$ to $G_j$ for $i \ge j$ . The inverse limit G of the family $(G_i,(\pi _{i,j}))$ is a compact group. Let $u=(1,1,\ldots ) \in G$ ; the subgroup generated by u is dense in G. Topologically, G is a Cantor space, and the associated odometer is the map $x \mapsto x+u$ . The unique invariant measure associated to this odometer is the Haar measure on G.

Note that for any odometer there is a natural sequence of Kakutani–Rokhlin partitions $(\mathcal {A}_n)$ which have exactly one column each, obtained by taking as base of $\mathcal {A}_n$ the set $\{y \in Y_{\bar k} \colon \text {for all } i \le n, \ y(i)=0\}$ . It is easily seen that the existence of such a sequence actually characterizes odometers ([Reference Bezuglyi, Dooley and KwiatkowskiBDK, Theorem 4.6], a fact we will use below). This property also implies that odometers are strictly ergodic and saturated.

Theorem 4.5 There exists a comeager conjugacy class in $G_K^*$ if, and only if, K is a singleton $\{\mu \}$ , and $\mu $ is the unique invariant probability measure for some odometer g. In that case, the conjugacy class of g is comeager in $G_K^*$ .

Proof. Assume that there exists a comeager conjugacy class in $G_K^*$ . Since (2) of Proposition 4.1 is satisfied, any K-partition $\mathcal {A}$ admits a refinement $\mathcal {B}$ with a unique column. Indeed, for $\mathcal {B}$ to witness that this condition holds, Lemma 4.4 shows that it is necessary that all columns of $\mathcal {B}$ have the same repartition, and we saw in Lemma 4.3 that if $\mathcal {A}$ admits such a refinement then it admits one with a single column.

This allows us to build a K-saturated $g \in G_K$ with a sequence of Kakutani–Rokhlin partitions which each have exactly one column, following the same construction as in [Reference Ibarlucía and MellerayIM]. Such a g is an odometer, hence $K=\{\mu \}$ where $\mu $ is the unique Borel invariant probability measure for g.

Conversely, let g be an odometer, and let $\mu $ be the unique g-invariant Borel probability measure. Since g is $\{\mu \}$ -saturated, we know from Proposition 4.2 that g has a dense conjugacy class in $G_{\mu }^*$ . Denote this conjugacy class by $\Omega (g)$ .

Given a Kakutani–Rokhlin partition $\mathcal {A}$ for g with one column, we claim that

$$ \begin{align*} \{ h g h^{-1} \colon h \in G_{\mathcal{A}} \} = \Omega(g) \cap O_ {\mathcal{A}} \end{align*} $$

Indeed, inclusion from left to right is immediate. To see the converse inclusion, pick $f \in \Omega (g) \cap O_{\mathcal {A}}$ ; then $\mathcal {A}$ is a Kakutani–Rokhlin partition for both f and g. Using the fact that $f,g$ are conjugate odometers, there exist sequences $(\mathcal {B}_n)$ , $(\mathcal {C}_n)$ of Kakutani–Rokhlin partitions for f, g respectively, which each generate $\operatorname {\mathrm {Clopen}}(X)$ and are such that, for all n, $\mathcal {B}_n$ and $\mathcal {C}_n$ each have exactly one column for all n, and the height of $\mathcal {B}_n$ is equal to the height of $\mathcal {C}_n$ . We may additionally ensure that the bases of $\mathcal {B}_n$ , $\mathcal {C}_n$ shrink to the same point which belongs to $\mathrm {base}(\mathcal {A})$ . There exists $n_0$ such that for all $n \ge n_0$ every atom of $\mathcal {A}$ is a union of atoms of both $\mathcal {B}_n$ and $\mathcal {C}_n$ ; it follows that both $\mathcal {B}_n$ and $\mathcal {C}_n$ refine $\mathcal {A}$ as K-partitions. One can then build a sequence (starting at $n_0$ ) of refining partial isomorphisms $h_n \colon \mathcal {B}_n \to \mathcal {C}_n$ such that $h_n(\alpha )=\alpha $ for every atom of $\mathcal {A}$ , and for every atom $\beta $ of $\mathcal {C}_n$ one has $h_n f h_n ^{-1}(\beta )= g(\beta )$ . The union of the sequence $(h_n)_{n \ge n_0}$ defines an automorphism h of $\operatorname {\mathrm {Clopen}}(X)$ such that $hfh^{-1}(U)=g(U)$ for every clopen U, and $h(\alpha )=\alpha $ for every atom $\alpha $ of $\mathcal {A}$ . Hence there exists $h \in G_{\mathcal {A}}$ such that $hf h^{-1}=g$ .

We just proved that the map $G_K \to \Omega (g)$ , $h \mapsto hgh^{-1}$ is open, and then Effros’s theorem (see, for example, [Reference GaoG, Theorem 3.2.4]) yields that $\Omega (g)$ is comeager in $\overline {\Omega (g)}= G_{\{\mu \}}^*$ .

The following consequence of Theorem 4.5 was pointed out by A. Yingst.

Corollary 4.6 (Yingst)

Let K be a dynamical simplex. There does not exist a comeager conjugacy class in $G_K^*$ exactly when some measure in K gives some clopen set an irrational measure.

Proof. A measure $\mu $ is the unique invariant measure associated to an odometer if and only if $\mu $ is good and assigns a rational measure to every clopen set (see [Reference AkinA, Theorem 2.16]). This proves one implication above, as well as the converse implication in the particular case when K is a singleton.

Assume now that K is not a singleton, and fix $A \in \operatorname {\mathrm {Clopen}}(X)$ , $\mu _1, \mu _2 \in K$ such that $\mu _1(A) \ne \mu _2(A)$ . Since K is connected and $A \mapsto \mu (A)$ is continuous, there exists $\mu \in K$ such that $\mu (A)$ is irrational.

Acknowledgements

I am grateful to A. Yingst for a careful reading of an earlier version of this paper, as well as many valuable suggestions which helped improve the exposition. Thanks are also due to the anonymous referee for several useful corrections and suggestions.

References

REFERENCES

Akin, E.. Good measures on Cantor space. Trans. Amer. Math. Soc. 357(7) (2005), 26812722 (electronic).CrossRefGoogle Scholar
Bezuglyi, S., Dooley, A. H. and Kwiatkowski, J.. Topologies on the group of homeomorphisms of a Cantor set. Topol. Methods Nonlinear Anal. 27(2) (2006), 299331.Google Scholar
Ben Yaacov, I., Melleray, J. and Tsankov, T.. Metrizable universal minimal flows of Polish groups have a comeagre orbit. Geom. Funct. Anal. 27(1) (2017), 6777.CrossRefGoogle Scholar
Dahl, H.. Cantor minimal systems and AF equivalence relations. PhD Thesis, Norwegian University of Science and Technology, Trondheim (Denmark), 2008.Google Scholar
Dougherty, R., Mauldin, R. D. and Yingst, A.. On homeomorphic Bernoulli measures on the Cantor space. Trans. Amer. Math. Soc. 359(12) (2007), 61556166.CrossRefGoogle Scholar
Gao, S.. Invariant Descriptive Set Theory (Pure and Applied Mathematics, 293). CRC Press, Boca Raton, FL, 2009.Google Scholar
Glasner, E. and Weiss, B.. Weak orbit equivalence of Cantor minimal systems. Internat. J. Math. 6(4) (1995), 559579.CrossRefGoogle Scholar
Ibarlucía, T. and Melleray, J.. Dynamical simplices and minimal homeomorphisms. Proc. Amer. Math. Soc. 145(11) (2017), 49814994.CrossRefGoogle Scholar
Melleray, J.. Dynamical simplices and Fraïssé theory. Ergod. Th. & Dynam. Sys. 39(11) (2019), 31113126.CrossRefGoogle Scholar
Yingst, A. Q.. A context in which finite or unique ergodicity is generic. Ergod. Th. & Dynam. Sys. 41 (2020), 123.Google Scholar