Conjugacy of Dynamical Systems on Self-Similar Groups

We show that the limits for dynamical systems of self-similar groups are eventually conjugate if, and only if, there is an isomorphism between their Deaconu groupoid preserving cocycles. For limit solenoids of self-similar groups, we show that the conjugacy of limit solenoids is equivalent to existence of isomorphism between the Deaconu groupoids of limit solenoid preserving cocycles.


Introduction
In recent years, Matsumoto [1] defined the eventual conjugacy of one-sided subshifts as a special case of continuous orbit equivalence [2]. Following Matsumoto, Carlsen and Rout [3] generalized eventual conjugacy to graphs. In this paper, we study the eventual conjugacy of dynamical systems associated to self-similar groups.
Introduced by Nekrashevych [4,5], self-similar groups have been an important example for combinatorial group theory, topological dynamics, and C * -algebras. A self-similar group has two naturally associated dynamical systems, called the limit dynamical system and the limit solenoid. Naively speaking, the limit dynamical system is the quotient of the one-sided infinite path space by group action with the shift map, and the limit solenoid is the quotient of the two-sided infinite path space with the shift map. So the limit dynamical system and limit solenoid are generalizations of one-sided and two-sided subshifts of finite type, respectively, by group action with the shift map.
Then, it is rational to expect that limit dynamical systems and limit solenoids would have similar properties to one-sided and two-sided subshifts of finite type. Generalizing the results of Carlsen and Rout [3], we show that the eventual conjugacy of the limit dynamical systems of self-similar groups is equivalent to the existence of groupoid isomorphism preserving cocycles (Theorem 2). We also show that the limit solenoids are conjugate if, and only if, there is an isomorphism between the groupoids of the limit solenoid preserving cocycles (Theorem 4).

Self-Similar Groups
We review the properties of self-similar groups. All of the material in this section is taken from [4,5].
Suppose that X is a finite set. We denote by X n the set of words of length n in X with X 0 = {∅}, and let X * = ∪ ∞ n=0 X n . We denote by X ω the set of right-infinite paths of the form x 0 x 1 · · · where x i ∈ X. The product topology of the discrete set X is given on X ω . A cylinder set Z(u) for each The collection of all such cylinder sets forms a basis for the product topology on X ω . It is trivial that every cylinder set is a compact open set, and that X ω is a compact metrizable space. A self-similar group (G, X) consists of a finite set X and a faithful action of a finitely generated countable group G on X * such that, for all g ∈ G and x ∈ X, there exist unique y ∈ X and h ∈ G, such that g(xu) = yh(u) for every u ∈ X * .
The unique element h is called the restriction of g at x and is denoted by g| x . The restriction extends to X * via the inductive formula g| xy = (g| x ) | y so that for every u, v ∈ X * we have g(uv) = g(u)g| u (v).
The G-action extends to an action of G on X ω given by

Conditions on Self-Similar Groups
A self-similar group (G, X) is called contracting if there is a finite subset N of G satisfying the following: For every g ∈ G, there is n ≥ 0 such that g| v ∈ N for every v ∈ X * of length |v| ≥ n. If the group is contracting, the smallest set N satisfying this condition is called the nucleus of the group. We say that (G, X) is regular if, for every g ∈ G and every ξ ∈ X ω , either g(ξ) = ξ or there is a neighborhood of ξ, such that every point in the neighborhood is fixed by g. We say that (G, X) is recurrent if, for any two words a, b are of equal length and every h ∈ G, there is a g ∈ G, such that g(a) = b and g| a = h.

Limit Solenoids
Suppose that (G, X) is a self-similar group. We consider the space X Z of bi-infinite paths · · · x −1 .x 0 x 1 x 2 · · · over X and the shift map σ : X Z → X Z given by σ(x) n = x n+1 . The direct product topology of the discrete set X is given on X Z . We say that two paths · · · x −1 .x 0 x 1 x 2 · · · and · · · y −1 .y 0 y 1 y 2 · · · in X Z are asymptotically equivalent if there is a finite set I ⊂ G and a sequence g n ∈ I such that g n (x n x n+1 · · · ) = y n y n+1 · · · for every n ∈ Z. The quotient of X Z by the asymptotic equivalence relation is called the limit solenoid of (G, X) and is denoted S G . The topology on S G is given as follows: The product topology of the discrete set X is given on the bi-infinite path space X Z . Thus, for each finite path u = u −m · · · u m ∈ X * , is a compact open base of X Z . Let q : X Z → S G be the quotient map by the asymptotic equivalence relation. Then S G is given the quotient topology by q so that q(Z(u)) is a compact open base of S G [4] (Proposition 2.5).
The shift map on X Z is transferred to an induced homeomorphism on S G , which we will denote by σ when there is no confusion. We also use the term limit solenoid of (G, X) for the dynamical system (S G , σ).

Limit Dynamical Systems
Let π : X Z → X ω be the canonical projection map. We restrict the asymptotic equivalence relation on X Z to X ω so that x 0 x 1 x 2 · · · and y 0 y 1 y 2 · · · in X ω are asymptotically equivalent if there is a g ∈ G, such that g(x 0 x 1 · · · ) = y 0 y 1 · · · , with the property that the collection {g| x 0 ···x n−1 : n ∈ N} is a finite set. The quotient of X ω by the asymptotic equivalence is called the limit space of (G, X) and we denote by T G . The quotient topology by asymptotic equivalence relation is given on T G . Then the canonical projection π : X Z → X ω and the shift map σ : X Z → X Z induce a natural projection map S G → T G and a shift map We denote these induced projection, quotient, and shift maps as π, q, and σ, respectively, when there is no confusion. The restricted dynamical system (T G , σ) is called the limit dynamical system of (G, X).
Then it is easy to check that the projection maps on X Z and S G , quotient maps on X Z and X ω , and shift maps on X Z , X ω , S G , and T G are commuting with each other.

Theorem 1.
[4] (Proposition 2.6) The limit solenoid of a self-similar group is the inverse limit of the limit dynamical system.
In [4,5], Nekrashevych used the shift map defined by σ(x) n = x n−1 so that the limit space is given as the quotient of left-hand-sided full shift.

2.
The limit solenoid S G and limit space T G are compact metrizable spaces. If (X, G) satisfies the recurrent condition, then S G and T G are connected [4] (Proposition 2.4).

4.
If (X, G) satisfies the contracting and regular conditions, then the shift map σ : T G → T G is a covering map [4] (Proposition 6.1).

Deaconu Groupoids
Let Y be a compact Hausdorff space and f : Y → Y be continuous onto a map. The Deaconu groupoid of (Y, f ) is Y, f is composable if y 2 = y 3 , and the multiplication and inverse are given by With these operations, D Y, f is a groupoid. For a (y 1 , m − n, y 2 ) ∈ D Y, f , the domain and range are given by d(y 1 , m − n, y 2 ) = (y 1 , 0, y 1 ) and r(y 1 , m − n, y 2 ) = (y 2 , 0, y 2 ).
Y, f is identified with Y via the diagonal map, and the isotropy group bundle is given by Then the collection of these sets is the basis for a second countable locally compact Hausdorff topology on D Y, f , and the counting measure is a Haar system of D Y, f if f is a local homeomorphism [6]. Definition 1. Let (G, X) be a self-similar group. We denote the Deaconu groupoids of (T G , σ) and (S G , σ) by D G and E G , respectively.
We summarize the basic properties of D G and E G as follows.
Remark 2. Let (G, X) be a self-similar group. Then the Deaconu groupoids, D G and E G , are topologically principal, locally compact, and Hausdorff groupoid. The locally compact and Hausdorff properties come from the definition of Deaconu groupoids. The topologically principal property is by [7] (Corollary 14.14). If (G, X) is a regular self-similar group, then D G is étale by [4] (Proposition 6.1). If (G, X) satisfies the contracting and recurrent conditions, then D G and E G are amenable by [4] (Theorem 5.6).
We refer the reader to [6,8] for the definition and properties of groupoids and groupoid algebras.

Eventual Conjugacy of Limit Dynamical Systems
We generalize Matsumoto's definition of eventual conjugacy of one-sided SFTs to limit dynamical systems of self-similar groups. See [1,3] for more details.

Definition 2.
Suppose that (G, X) and (H, Y) are self-similar groups and that (T G , σ) and (T H , σ) are their corresponding limit dynamical systems, respectively. The limit dynamical systems (T G , σ) and (T H , σ) are said to be eventually conjugate if there are a homeomorphism h : T G → T H and continuous maps k 1 : for every ξ ∈ T G and η ∈ T H .
Recall that the Deaconu groupoid of (T G , σ) is
Proof. If k ≥ m and l ≥ n satisfy k − l = m − n, then k − m = l − n implies Then the conclusion is trivial.
The next property is a special case of [9] (Theorem 8.10). For the Deaconu groupoid D G , we define a groupoid 1-cocycle c G : D G → Z by (ξ, m − n, η) → m − n. (T G , σ) and (T H , σ) are eventually conjugate.

2.
There is an isomorphism ψ : D G → D H , such that for every (ξ, m − n, η) ∈ D G .
for any 1 ≤ i ≤ m 0 , are not asymptotically equivalent.
Let U = Z(x 0 · · · x m 0 ) and V = Z(y 1 · · · y m 0 ) in Y ω . Then q(U) and q(V) are compact open sets in T H , by definition of the topology on T H . So is a compact open set in D H . We consider As Z(q(U), m 0 + 1 − i, m 0 − i, q(V)) is a compact set, W 1 is an open set in D H containing (h(ξ), 1, h(σ(ξ))). Then ψ −1 (W 1 ) is an open set in D G , and so is which contains (ξ, 1, σ(ξ)). It is easy to observe that every element in W 2 is of the form (η, 1, σ(η)) because of Z(T G , 1, 0, T G ). For the domain map, d of D G . we let Then W is a neighborhood of ξ ∈ T G because D G is an étale groupoid so that the domain map d is a local homeomorphism. Now, we show that k 1 is a constant on W. For any η ∈ W and (η, 1, σ(η)) ∈ W 2 , we have and that, from the construction of W 1 , m 0 is the smallest nonnegative integer satisfying Hence we have k 1 (η) = m 0 for every η ∈ W, and this shows that k 1 is a continuous map.
For ψ −1 , we have a continuous map k 2 from the above method so that holds. Therefore (T G , σ) and (T H , σ) are eventually conjugate.

Remark 4.
For the proof of continuity of k 1 : T G → N ∪ {0} in Theorem 2, a reviewer suggested the following elegant and short argument: Let κ be the depth-kore operator introduced in [10] (Chpater 3). Then we have It is easy to verify that α is continuous, and that the set {α −1 (W 2 )} forms a basis for the topology of T G . The depth-kore operator κ is locally constant on this basis, thus, it is obviously continuous. Hence, k 1 is a composition of continuous functions. One remarkable property of this argument is that we do not require the étale property of the Deaconu groupoids, i.e., it works for every graph.

Recurrent Self-Similar Groups
If (G, X) and (H, Y) are recurrent self-similar groups, then their limit spaces T G and T H , respectively, are connected spaces by Remark 1. Thus, when the limit dynamical systems of recurrent self-similar groups are eventually conjugate, the connection maps k 1 and k 2 are constant maps by Remark 3. For recurrent self similar groups, we can strengthen Theorem 2. First we refine Lemmas 1 and 2 as follows. Lemma 3. [11] (Lemma 3.3) Suppose that (G, X) and (H, Y) are recurrent and regular self-similar groups and that their corresponding limit dynamical systems (T G , σ) and (T H , σ) are eventually conjugate. Then, for every natural number n, we have Proof. We use induction. For every ξ ∈ T G , assume that σ nk 1 • h • σ n (ξ) = σ n(k 1 +1) • h(ξ) holds for some n ∈ N. Then we have σ nk 1 • h • σ n (σ(ξ)) = σ n(k 1 +1) • h • σ(ξ) as σ n (ξ) ∈ T G , so that By the same argument, we have the second equality for h −1 .
We recall that a self-similar group (G, X) satisfies the recurrent condition if, and only if, for any two words, a, b of equal length, and every h ∈ G, there is a g ∈ G such that g(a) = b and g| a = h [12] (p. 235). Then the proof of the following Lemma is basically the same as that of [11] (Proposition 3.5).

Lemma 4.
Suppose that (G, X) is a recurrent and regular self-similar group with the Deaconu groupoid D G . Then, for every (ξ, m − n, η) ∈ D G , σ k (ξ) = σ l (η) holds for all nonnegative integers k and l such that k − l = m − n.
Theorem 3. Let (T G , σ) and (T H , σ) be the limit dynamical systems of recurrent and regular self-similar groups (G, X) and (H, Y), respectively. Then, the following assertions are equivalent: 1.