1 Introduction
The tradition of constructing operator algebras from dynamical systems originated with the seminal work of Murray and von Neumann on the group von Neumann algebra construction [Reference Murray and von NeumannMvN]. This approach has not only produced a plethora of interesting examples of operator algebras, but has also led to interesting results pertaining to topological dynamics. Prime examples of such results are those of Giordano, Putnam, and Skau [Reference Giordano, Putnam and SkauGPS95, Theorems 2.1 and 2.2] that use C*-crossed products to show that Cantor minimal systems can be classified up to (strong) orbit equivalence by K-theory.
C*-algebras constructed from dynamical systems have mainly been obtained as C*-crossed products of actions of locally compact groups on topological spaces. However, in the last forty years or so, C*-algebras constructed from non-invertible actions on topological spaces have also attracted considerable attention. This approach inspired Krieger’s dimension group [Reference KriegerK80a, Reference KriegerK80b], which has had a tremendous impact on the study of symbolic dynamical systems. A particularly interesting class of these kinds of C*-algebras is the class of C*-algebras arising from a dynamical system consisting of a local homeomorphism acting on a locally compact Hausdorff space [Reference DeaconuD95, Reference RenaultRe00]. These C*-algebras come equipped with a family of symmetries induced by functions on the space, and by using a topological groupoid approach, we show how to recover the conjugacy class of the underlying system from the C*-algebra and its family of symmetries.
A system consisting of a locally compact Hausdorff space
$\mathsf {X}$
together with a local homeomorphism
$\sigma _{\mathsf {X}}$
between open subsets of
$\mathsf {X}$
is called a Deaconu–Renault system (see, for example, [Reference Armstrong, Brownlowe and SimsABS, Reference Carlsen, Ruiz, Sims and TomfordeCRST, Reference DeaconuD95, Reference RenaultRe00]). Examples of Deaconu–Renault systems include self-covering maps [Reference DeaconuD95, Reference Exel and VershikEV06], one-sided shifts of finite type [Reference KitchensKi98, Reference Lind and MarcusLM95, Reference WilliamsWi73], the boundary-path space of a directed graph together with the shift map [Reference Brownlowe, Carlsen and WhittakerBCW17, Reference WebsterWe14], and, more generally, the boundary-path space of a topological graph together with the shift map [Reference Kumjian and LiKL17], the one-sided edge shift space of an ultragraph together with the restriction of the shift map to points with non-zero length [Reference Gonçalves and RoyerGR19], the full one-sided shift over an infinite alphabet together with the restriction of the shift map to points with non-zero length [Reference Ott, Tomforde and WillisOMW14], the cover of a one-sided shift space constructed in [Reference Brix and CarlsenBC20b], and, more generally, the canonical local homeomorphism extension of a locally injective map constructed in [Reference ThomsenTh11].
A C*-algebra is naturally associated to a Deaconu–Renault system via a groupoid construction (see, for example, [Reference Carlsen, Ruiz, Sims and TomfordeCRST, Reference DeaconuD95, Reference RenaultRe00]), and the class of such C*-algebras includes crossed products by actions of
$\mathbb {Z}$
on locally compact Hausdorff spaces, Cuntz–Krieger algebras [Reference Cuntz and KriegerCK80], graph C*-algebras [Reference RaeburnRa05], and, via Katsura’s topological graphs [Reference KatsuraKa04], all Kirchberg algebras (i.e. all purely infinite, simple, nuclear, separable C*-algebras) satisfying the universal coefficient theorem (see [Reference KatsuraKa08]), C*-algebras associated with one-sided shift spaces [Reference Brix and CarlsenBC20b], and C*-algebras of locally injective surjective maps [Reference ThomsenTh11].
It is natural to ask how much information from a dynamical system can be recovered by C*-algebraic data associated with it. It is known that an action of a locally compact group on a topological space can be recovered up to conjugacy from its C*-crossed product together with the corresponding dual action (see [Reference Kaliszewski, Omland and QuiggKOQ18, Proposition 4.3]), and similar results have been obtained in more specialized settings; see, for example, [Reference Giordano, Putnam and SkauGPS95, Theorem 2.4], [Reference Boyle and TomiyamaBT98, Theorem 3.6], [Reference LiLi18, Theorem 1.2], and [Reference Carlsen, Ruiz, Sims and TomfordeCRST, Corollary 7.5 and Theorem 9.1].
In recent years, a similar approach has been used to encode dynamical relations between irreducible shifts of finite type into Cuntz–Krieger algebras. Matsumoto has been a driving force in this endeavour with his characterizations of continuous orbit equivalence [Reference MatsumotoMa10] and one-sided eventual conjugacy [Reference MatsumotoMa17], among others. Together with Matui, Matsumoto characterized flow equivalence as a diagonal-preserving
$*$
-isomorphism of stabilized Cuntz–Krieger algebras using groupoids [Reference Matsumoto and MatuiMM14] (see also [Reference Carlsen, Eilers, Ortega and RestorffCEOR]), and this led the third-named author and Rout to prove similar characterizations for two-sided conjugacy of shifts of finite type [Reference Carlsen and RoutCR17]. Complementing the work of two of the authors [Reference Brix and CarlsenBC20a], Matsumoto recently proved that a one-sided conjugacy of irreducible shifts of finite type can be encoded into Cuntz–Krieger algebras using gauge actions [Reference MatsumotoMa21a]. Matsumoto’s methods immediately inspired us and helped shape the present work. Since then, Matsumoto has released three other works on related topics [Reference MatsumotoMa20, Reference MatsumotoMa21b, Reference MatsumotoMa21c].
In this paper we provide a characterization of conjugacy of a pair of Deaconu–Renault systems in terms of isomorphisms of their groupoids and their C*-algebras. Our results are summarized in Theorem 3.1. Since we work in the general framework of Deaconu–Renault systems, our work complements (and applies) the groupoid reconstruction theory of [Reference Carlsen, Ruiz, Sims and TomfordeCRST], which is based on the pioneering work of Renault [Reference RenaultRe80, Reference RenaultRe08] and Kumjian [Reference KumjianKu86]. We prove in Proposition 3.12 that a
$*$
-isomorphism of the C*-algebras of Deaconu–Renault groupoids that intertwines a sufficiently rich collection of automorphisms induces a conjugacy between the underlying systems. It is noteworthy that we do not require the
$*$
-isomorphism to be diagonal-preserving. By restricting to the case of one-sided shifts of finite type, we therefore not only recover, but also strengthen Matsumoto’s [Reference MatsumotoMa21a, Theorem 1] characterization of one-sided conjugacy (see Corollary 3.3). The proof requires a technical result (Lemma 3.10) which relates actions of the C*-algebra to cocycles on the groupoid, and we believe that this may be of independent interest.
In future work [Reference Armstrong, Brix, Carlsen and EilersABCE], we shall approach the conjugacy of directed graphs from an algorithmic and combinatorial point of view related to [Reference Eilers and RuizER].
This paper is organized as follows. In §2 we introduce the necessary notation and preliminaries and establish some basic facts about Deaconu–Renault systems, conjugacy of Deaconu–Renault systems, and Deaconu–Renault groupoids and their C*-algebras. We also provide several examples of Deaconu–Renault systems and Deaconu–Renault groupoids and their C*-algebras and relate them to previous work. In §3 we prove our main results relating conjugacy of Deaconu–Renault systems to the associated groupoids and C*-algebras. Our results are summarized in Theorem 3.1, which follows from Propositions 3.4, 3.8, and 3.12.
2 Preliminaries
Here we introduce the basic concepts and notation used throughout the paper. We denote the real numbers by
$\mathbb {R}$
, the integers by
$\mathbb {Z}$
, the non-negative integers by
$\mathbb {N}$
, and the positive integers by
$\mathbb {N}_+$
. We denote the cardinality of a set A by
$\lvert A \rvert $
. Given a locally compact Hausdorff space
$\mathsf {X}$
, we write
$C_b(\mathsf {X})$
for the set of continuous bounded functions from
$\mathsf {X}$
to the complex numbers, we write
$C_0(\mathsf {X})$
for the subset of
$C_b(\mathsf {X})$
consisting of functions that vanish at infinity, and we write
$C_c(\mathsf {X})$
for the subset of
$C_0(\mathsf {X})$
consisting of functions that have compact support. The spaces
$C_0(\mathsf {X})$
and
$C_b(\mathsf {X})$
are abelian C*-algebras, and
$C_b(\mathsf {X})$
is (isomorphic to) the multiplier algebra of
$C_0(\mathsf {X})$
(see, for instance, [Reference MurphyMur, Example 3.1.3]).
2.1 Deaconu–Renault systems
A Deaconu–Renault system is a pair
$(\mathsf {X},\sigma _{\mathsf {X}})$
consisting of a locally compact Hausdorff space
$\mathsf {X}$
and a partially defined local homeomorphism
$\sigma _{\mathsf {X}} \colon \mathrm{dom}(\sigma _{\mathsf {X}})\to \operatorname {\mathrm {ran}}(\sigma _{\mathsf {X}})$
, where both
$\operatorname {\mathrm {dom}}(\sigma _{\mathsf {X}})$
and
$\operatorname {\mathrm {ran}}(\sigma _{\mathsf {X}})$
are open subsets of
$\mathsf {X}$
. Let
, and inductively define
for
$k \in \mathbb {N}$
. Then, for every
$k \in \mathbb {N}$
, the map
$\sigma _{\mathsf {X}}^k \colon \mathrm{dom}(\sigma _{\mathsf {X}}^k) \to \operatorname {\mathrm {ran}}(\sigma _{\mathsf {X}}^k)$
defined by
is a local homeomorphism onto an open subset of
$\mathsf {X}$
. Whenever we write
$\sigma _{\mathsf {X}}^k(x)$
it is to be understood that
$x \in \operatorname {\mathrm {dom}}(\sigma _{\mathsf {X}}^k)$
. The orbit of a point
$x \in \mathsf {X}$
is the subset
and a pair of points
$x, y \in \mathsf {X}$
are in the same orbit if and only if
$\sigma _{\mathsf {X}}^k(x) = \sigma _{\mathsf {X}}^l(y)$
for some
$k, l \in \mathbb {N}$
. A point
$x \in \mathsf {X}$
is periodic with period
$p \in \mathbb {N}_+$
if
$x = \sigma _{\mathsf {X}}^p(x)$
, it is eventually periodic if
$\sigma _{\mathsf {X}}^n(x)$
is periodic for some
$n\in \mathbb {N}$
, and it is aperiodic if it is not eventually periodic. We say that a Deaconu–Renault system
$(\mathsf {X},\sigma _{\mathsf {X}})$
is topologically free if the set
$\{ x \in \mathsf {X} : x \text { is not periodic} \}$
is dense in
$\mathsf {X}$
, and that the system is second-countable if
$\mathsf {X}$
is second-countable.
Similar systems were studied independently by Deaconu in [Reference DeaconuD95] and by Renault in [Reference RenaultRe00] (as singly generated dynamical systems). Here we follow the terminology of [Reference Carlsen, Ruiz, Sims and TomfordeCRST, §8].
Definition 2.1. Let
$(\mathsf {X},\sigma _{\mathsf {X}})$
and
$(\mathsf {Y},\sigma _{\mathsf {Y}})$
be Deaconu–Renault systems. We call a homeomorphism
$h \colon \mathsf {X} \to \mathsf {Y}$
a conjugacy if
$h(\sigma _{\mathsf {X}}(x)) = \sigma _{\mathsf {Y}}(h(x))$
and
$h^{-1}(\sigma _{\mathsf {Y}}(y)) = \sigma _{\mathsf {X}}(h^{-1}(y))$
for all
$x \in \operatorname {\mathrm {dom}}(\sigma _{\mathsf {X}})$
and
$y \in \operatorname {\mathrm {dom}}(\sigma _{\mathsf {Y}})$
. We say that the systems
$(\mathsf {X},\sigma _{\mathsf {X}})$
and
$(\mathsf {Y},\sigma _{\mathsf {Y}})$
are conjugate if there exists a conjugacy
$h \colon \mathsf {X} \to \mathsf {Y}$
.
Example 2.2. Let E be a directed graph, let
$\partial E$
be the boundary-path space of E introduced in [Reference WebsterWe14], and let
$\sigma _E \colon \partial E^{\geqslant 1}\to \partial E$
be the shift map described in [Reference Brownlowe, Carlsen and WhittakerBCW17, §2.2]. Then
$(\partial E,\sigma _E)$
is a Deaconu–Renault system (see [Reference Brownlowe, Carlsen and WhittakerBCW17, §2.2]). In [Reference Brownlowe, Carlsen and WhittakerBCW17, §6.1], two directed graphs E and F are defined to be conjugate precisely when the corresponding Deaconu–Renault systems
$(\partial E,\sigma _E)$
and
$(\partial F,\sigma _F)$
are conjugate; cf. Lemma 2.6.
Example 2.3. Let
$\mathcal {A}$
be an infinite countable set, let
$(\Sigma _{\mathcal {A}},\sigma )$
be the one-sided full shift over
$\mathcal {A}$
defined in [Reference Ott, Tomforde and WillisOMW14, Definitions 2.1 and 2.22], and let
$\sigma _{\Sigma _{\mathcal {A}}}$
be the restriction of
$\sigma $
to
$\Sigma _{\mathcal {A}}\setminus \{\vec {0}\}$
. It follows from [Reference Ott, Tomforde and WillisOMW14, Propositions 2.5 and 2.23] that
$(\Sigma _{\mathcal {A}},\sigma _{\Sigma _{\mathcal {A}}})$
is a Deaconu–Renault system.
If
$\mathcal {A}$
and
$\mathcal {B}$
are infinite countable sets and
$\phi \colon \Sigma _{\mathcal {A}}\to \Sigma _{\mathcal {B}}$
is a conjugacy as defined in [Reference Ott, Tomforde and WillisOMW14, Definition 4.8], then it follows from [Reference Ott, Tomforde and WillisOMW14, Proposition 4.2 and Remark 4.9] that
$\phi $
is also a conjugacy between the Deaconu–Renault systems
$(\Sigma _{\mathcal {A}},\sigma _{\Sigma _{\mathcal {A}}})$
and
$(\Sigma _{\mathcal {B}},\sigma _{\Sigma _{\mathcal {B}}})$
.
Example 2.4. Let
$\mathcal {G}$
be an ultragraph satisfying the condition (RFUM) introduced in [Reference Gonçalves and RoyerGR19], let
$(\mathsf {X}_{\mathcal {G}},\sigma _{\mathcal {G}})$
be the one-sided edge shift of
$\mathcal {G}$
constructed in [Reference Gonçalves and RoyerGR19], and let
$\sigma _{\mathsf {X}_{\mathcal {G}}}$
be the restriction of
$\sigma _{\mathcal {G}}$
to
$\mathsf {X}_{\mathcal {G}}\setminus \mathfrak {p}^0$
, where
$\mathfrak {p}^0$
is the set of ultrapaths of length
$0$
(see [Reference Gonçalves and RoyerGR19, §2.1]). It follows from [Reference Gonçalves and RoyerGR19, Propositions 3.7, 3.12, and 3.16] that
$(\mathsf {X}_{\mathcal {G}},\sigma _{\mathsf {X}_{\mathcal {G}}})$
is a Deaconu–Renault system.
If
$\mathcal {G}_1$
and
$\mathcal {G}_2$
are two ultragraphs satisfying condition (RFUM), then a map
$\phi \colon \mathsf {X}_{\mathcal {G}_1} \to \mathsf {X}_{\mathcal {G}_2}$
is a conjugacy between the Deaconu–Renault systems
$(\mathsf {X}_{\mathcal {G}_1},\sigma _{\mathsf {X}_{\mathcal {G}_1}}{\kern-1.2pt})$
and
$(\mathsf {X}_{\mathcal {G}_2},\sigma _{\mathsf {X}_{\mathcal {G}_2}}{\kern-1.2pt})$
if and only if it is a length-preserving conjugacy, as defined in [Reference Gonçalves and RoyerGR19, Definition 3.19].
The following is an example of a homeomorphism
$h \colon \mathsf {X} \to \mathsf {Y}$
between two Deaconu–Renault systems
$(\mathsf {X},\sigma _{\mathsf {X}})$
and
$(\mathsf {Y},\sigma _{\mathsf {Y}})$
that is not a conjugacy, even though
$h(\sigma _{\mathsf {X}}(x)) = \sigma _{\mathsf {Y}}(h(x))$
for all
$x \in \operatorname {\mathrm {dom}}(\sigma _{\mathsf {X}})$
.
Example 2.5. Consider the graph E consisting of a single vertex, and the graph F consisting of a single loop. The boundary-path spaces
$\partial E$
and
$\partial F$
are both singletons, and so there is a homeomorphism
$h \colon \partial E \to \partial F$
that trivially satisfies
$h(\sigma _E(x)) = \sigma _F(h(x))$
for all
$x \in \operatorname {\mathrm {dom}}(\sigma _E)$
(since
$\operatorname {\mathrm {dom}}(\sigma _E) = \varnothing $
). However,
$(\partial E, \sigma _E)$
and
$(\partial F, \sigma _F)$
are not conjugate systems, because
$\operatorname {\mathrm {dom}}(\sigma _F) = \partial F$
, whereas
$\operatorname {\mathrm {dom}}(\sigma _E) = \varnothing $
.
It will be convenient later to have slight reformulations of the conjugacy condition at our disposal. Note that the conditions in item (3) below are set equalities.
Lemma 2.6. Let
$(\mathsf {X},\sigma _{\mathsf {X}})$
and
$(\mathsf {Y},\sigma _{\mathsf {Y}})$
be Deaconu–Renault systems, and let
$h \colon \mathsf {X} \to \mathsf {Y}$
be a homeomorphism. The following statements are equivalent.
-
(1)
$h \colon \mathsf {X} \to \mathsf {Y}$
is a conjugacy. -
(2)
$h(\operatorname {\mathrm {dom}}(\sigma _{\mathsf {X}})) = \operatorname {\mathrm {dom}}(\sigma _{\mathsf {Y}})$
, and
$h \circ \sigma _{\mathsf {X}} = \sigma _{\mathsf {Y}} \circ h$
on
$\operatorname {\mathrm {dom}}(\sigma _{\mathsf {X}})$
. -
(3)
$h(\sigma _{\mathsf {X}}^{-1}(x)) = \sigma _{\mathsf {Y}}^{-1}(h(x))$
and
$h^{-1}(\sigma _{\mathsf {Y}}^{-1}(y)) = \sigma _{\mathsf {X}}^{-1}(h^{-1}(y))$
, for all
$x \in \mathsf {X}$
and
$y \in \mathsf {Y}$
.
In particular, if the two systems have globally defined dynamics (i.e. if
$\operatorname {\mathrm {dom}}(\sigma _{\mathsf {X}}) = \mathsf {X}$
and
$\operatorname {\mathrm {dom}}(\sigma _{\mathsf {Y}}) = \mathsf {Y}$
), then the condition
$h \circ \sigma _{\mathsf {X}} = \sigma _{\mathsf {Y}} \circ h$
is equivalent to h being a conjugacy.
Proof. (1)
$\iff $
(2): Assume first that
$h \colon \mathsf {X} \to \mathsf {Y}$
is a conjugacy. If
$x \in \operatorname {\mathrm {dom}}(\sigma _{\mathsf {X}})$
, then
$h(\sigma _{\mathsf {X}}(x)) = \sigma _{\mathsf {Y}}(h(x))$
, and so
$h(\operatorname {\mathrm {dom}}(\sigma _{\mathsf {X}})) \subseteq \operatorname {\mathrm {dom}}(\sigma _{\mathsf {Y}})$
. For the reverse inclusion, fix
$y \in \operatorname {\mathrm {dom}}(\sigma _{\mathsf {Y}})$
. Then
$\sigma _{\mathsf {X}}(h^{-1}(y)) = h^{-1}(\sigma _{\mathsf {Y}}(y))$
, and so
$y \in h(\operatorname {\mathrm {dom}}(\sigma _{\mathsf {X}}))$
.
For the converse, we need to verify that
$h^{-1} \circ \sigma _{\mathsf {Y}} = \sigma _{\mathsf {X}} \circ h^{-1}$
on
$\operatorname {\mathrm {dom}}(\sigma _{\mathsf {Y}})$
. Fix
$y \in \operatorname {\mathrm {dom}}(\sigma _{\mathsf {Y}})$
, and let
. Then
$h(\sigma _{\mathsf {X}}(x)) = \sigma _{\mathsf {Y}}(h(x)) = \sigma _{\mathsf {Y}}(y)$
, and so
$h^{-1}(\sigma _{\mathsf {Y}}(y)) = \sigma _{\mathsf {X}}(x) = \sigma _{\mathsf {X}}(h^{-1}(y))$
, as required.
(1)
$\iff $
(3): Assume first that h is a conjugacy, and fix
$x \in \mathsf {X}$
. Suppose that
$\sigma _{\mathsf {X}}^{-1}(x)$
is non-empty, and fix
$z \in \sigma _{\mathsf {X}}^{-1}(x)$
. Then
$\sigma _{\mathsf {Y}}(h(z)) = h(\sigma _{\mathsf {X}}(z)) = h(x)$
, and thus
$h(z) \in \sigma _{\mathsf {Y}}^{-1}(h(x))$
. It follows that
$h(\sigma _{\mathsf {X}}^{-1}(x)) \subseteq \sigma _{\mathsf {Y}}^{-1}(h(x))$
. For the reverse inclusion, fix
$w \in \sigma _{\mathsf {Y}}^{-1}(h(x))$
. Then
$\sigma _{\mathsf {X}}(h^{-1}(w)) = h^{-1}(\sigma _{\mathsf {Y}}(w)) = x$
, and so
$w \in h(\sigma _{\mathsf {X}}^{-1}(x))$
. Therefore,
$\sigma _{\mathsf {Y}}^{-1}(h(x)) \subseteq h(\sigma _{\mathsf {X}}^{-1}(x))$
. Suppose instead that
$\sigma _{\mathsf {X}}^{-1}(x)$
is empty. We claim that
$\sigma _{\mathsf {Y}}^{-1}(h(x))$
is also empty. Suppose for contradiction that there exists
$w \in \sigma _{\mathsf {Y}}^{-1}(h(x))$
. Then
$\sigma _{\mathsf {X}}(h^{-1}(w)) = h^{-1}(\sigma _{\mathsf {Y}}(w)) = x$
, and thus
$h^{-1}(w) \in \sigma _{\mathsf {X}}^{-1}(x)$
, which contradicts the hypothesis that
$\sigma _{\mathsf {X}}^{-1}(x) = \varnothing $
. A similar argument shows that if h is a conjugacy, then
$h^{-1}(\sigma _{\mathsf {Y}}^{-1}(y)) = \sigma _{\mathsf {X}}^{-1}(h^{-1}(y))$
for all
$y \in \mathsf {Y}$
.
For the converse, fix
$x \in \operatorname {\mathrm {dom}}(\sigma _{\mathsf {X}})$
, and let
.Then
$$ \begin{align*} x \in \sigma_{\mathsf{X}}^{-1}(\sigma_{\mathsf{X}}(x)) = \sigma_{\mathsf{X}}^{-1}(h^{-1}(w)) = h^{-1}(\sigma_{\mathsf{Y}}^{-1}(w)) \end{align*} $$
by hypothesis, and so
$\sigma _{\mathsf {Y}}(h(x)) = w = h(\sigma _{\mathsf {X}}(x))$
. A similar argument shows that
$h^{-1}(\sigma _{\mathsf {Y}}(y)) = \sigma _{\mathsf {X}}(h^{-1}(y))$
for all
$y \in \operatorname {\mathrm {dom}}(\sigma _{\mathsf {Y}})$
, and so h is a conjugacy.
Remark 2.7. As Example 2.5 shows, there are some subtleties involved in the definition of a conjugacy of arbitrary Deaconu–Renault systems: it is important that we have conditions on both h and its inverse
$h^{-1}$
. However, if the two systems have globally defined dynamics (i.e. if
$\operatorname {\mathrm {dom}}(\sigma _{\mathsf {X}}) = \mathsf {X}$
and
$\operatorname {\mathrm {dom}}(\sigma _{\mathsf {Y}}) = \mathsf {Y}$
), then Lemma 2.6 implies that the condition
$h \circ \sigma _{\mathsf {X}} = \sigma _{\mathsf {Y}} \circ h$
is sufficient. In the case of directed graphs, the condition of having globally defined dynamics is equivalent to there being no singular vertices.
We now introduce two maps
$$ \begin{align*} (\sigma _{\mathsf {X}})^* \colon C_0(\mathsf {X}) \to C_b(\operatorname {\mathrm {dom}}(\sigma _{\mathsf {X}}))\quad \mathrm{and} \quad (\sigma _{\mathsf {X}})_* \colon C_c(\operatorname {\mathrm {dom}} (\sigma _{\mathsf {X}})) \to C_c(\mathsf {X})\end{align*} $$
that we will use in Theorem 3.1 and Proposition 3.4 to characterize the conjugacy of Deaconu–Renault systems.
Suppose that
$(\mathsf {X},\sigma _{\mathsf {X}})$
is a Deaconu–Renault system. We define the map
$(\sigma _{\mathsf {X}})^* \colon C_0(\mathsf {X}) \to C_b(\operatorname {\mathrm {dom}}(\sigma _{\mathsf {X}}))$
by
for all
$f \in C_0(\mathsf {X})$
and
$x \in \operatorname {\mathrm {dom}}(\sigma _{\mathsf {X}})$
. The following example shows that the range of
$(\sigma _{\mathsf {X}})^*$
is in general larger than the collection of functions vanishing at infinity.
Example 2.8. Let E be the graph with two vertices v and w such that v emits infinitely many edges
$\{e_n : n \in \mathbb {N}\}$
to w. Then
$1_{Z(w)} \in C_0(\partial E)$
, and
$1_{Z(w)} \circ \sigma _E$
is defined and non-zero (and bounded) on the entire non-compact set
$\operatorname {\mathrm {dom}}(\sigma _E) = \{ e_n : n \in \mathbb {N} \}$
.
Since
$\sigma _{\mathsf {X}}$
is a local homeomorphism, there is a map
$(\sigma _{\mathsf {X}})_* \colon C_c(\operatorname {\mathrm {dom}}(\sigma _{\mathsf {X}})) \to C_c(\mathsf {X})$
given by
for all
$f \in C_c(\operatorname {\mathrm {dom}}(\sigma _{\mathsf {X}}))$
and
$x \in \mathsf {X}$
.
2.2 Deaconu–Renault groupoids
Every Deaconu–Renault system
$(\mathsf {X},\sigma _{\mathsf {X}})$
gives rise to a Deaconu–Renault groupoid
with composable pairs
(cf. [Reference Carlsen, Ruiz, Sims and TomfordeCRST, §8], [Reference Kumjian and LiKL17, Definition 5.4], and [Reference RenaultRe00, Definition 2.4]). Multiplication is defined on
$\mathcal {G}_{\mathsf {X}}^{(2)}$
by
, and inversion is defined on
$\mathcal {G}_{\mathsf {X}}$
by
. The range and source maps of
$\mathcal {G}_{\mathsf {X}}$
are
$r \colon (x, p, y) \mapsto x$
and
$s \colon (x, p, y) \mapsto y$
, respectively. The unit space of
$\mathcal {G}_{\mathsf {X}}$
is
$\mathcal {G}_{\mathsf {X}}^{(0)} = \{ (x, 0, x) \in \mathcal {G}_{\mathsf {X}} : x \in \mathsf {X}\}$
, and we identify it with
$\mathsf {X}$
via the map
$(x, 0, x) \mapsto x$
. Given
$m, n \in \mathbb {N}$
and open subsets U and V of
$\mathsf {X}$
, we define
and the collection of all such sets forms a basis for a topology on
$\mathcal {G}_{\mathsf {X}}$
. Equivalently, the topology is generated by sets of the form (2.1), where, in addition,
$\sigma _{\mathsf {X}}^m\vert _{U}$
and
$\sigma _{\mathsf {X}}^n\vert _{V}$
are homeomorphisms onto their images, and
$\sigma _{\mathsf {X}}^m(U) = \sigma _{\mathsf {X}}^n(V)$
. Under this topology,
$\mathcal {G}_{\mathsf {X}}$
is an amenable locally compact Hausdorff groupoid which is étale, in the sense that the range and source maps are local homeomorphisms. A set
$B \subseteq \mathcal {G}_{\mathsf {X}}$
is called a bisection of
$\mathcal {G}_{\mathsf {X}}$
if there is an open subset U of
$\mathcal {G}_{\mathsf {X}}$
such that
$B \subseteq U$
, and
$r\vert _{U}$
and
$s\vert _{U}$
are homeomorphisms onto open subsets of
$\mathcal {G}_{\mathsf {X}}^{(0)}$
. Every étale groupoid has a basis consisting of open bisections, and by choosing
$U, V \subseteq \mathsf {X}$
sufficiently small, the sets of the form (2.1) become open bisections of
$\mathcal {G}_{\mathsf {X}}$
. Moreover,
$\mathcal {G}_{\mathsf {X}}$
is second-countable when
$\mathsf {X}$
is second-countable, and
$\mathcal {G}_{\mathsf {X}}$
is ample (meaning it has a basis of compact open bisections) when
$\mathsf {X}$
is totally disconnected. Given Deaconu–Renault groupoids
$\mathcal {G}_{\mathsf {X}}$
and
$\mathcal {G}_{\mathsf {Y}}$
and a map
$\psi \colon \mathcal {G}_{\mathsf {X}} \to \mathcal {G}_{\mathsf {Y}}$
, we write
$\psi ^{(0)} \colon \mathsf {X} \to \mathsf {Y}$
for the map induced by the restriction
$\psi \vert _{\mathcal {G}_{\mathsf {X}}^{(0)}} \colon \mathcal {G}_{\mathsf {X}}^{(0)} \to \mathcal {G}_{\mathsf {Y}}^{(0)}$
.
The isotropy of a groupoid
$\mathcal {G}$
is the subgroupoid
. If
$\mathcal {G}$
is a second-countable locally compact Hausdorff étale groupoid, then so is the interior
$\operatorname {\mathrm {Iso}}(\mathcal {G})^\circ $
of the isotropy of
$\mathcal {G}$
. Since the unit space of an étale groupoid is open, we have
$\mathcal {G}^{(0)} \subseteq \operatorname {\mathrm {Iso}}(\mathcal {G})^\circ $
if
$\mathcal {G}$
is étale.
We now prove a well-known result that we were unable to find in the literature.
Lemma 2.9. If
$(\mathsf {X},\sigma _{\mathsf {X}})$
is a topologically free Deaconu–Renault system, then
$\operatorname {\mathrm {Iso}}(\mathcal {G}_{\mathsf {X}})^\circ =~\mathsf {X}$
.
Proof. Suppose for contradiction that there exist
$x \in \mathsf {X}$
and
$k,l \in \mathbb {N}$
with
$k \ne l$
and
$\sigma _{\mathsf {X}}^k(x)=\sigma _{\mathsf {X}}^l(x)$
such that
$(x,k-l,x)\in \operatorname {\mathrm {Iso}}(\mathcal {G}_{\mathsf {X}})^\circ $
. Then there are non-empty open subsets
$U,V \subseteq \mathsf {X}$
such that
$\sigma _{\mathsf {X}}^k\vert _{U}$
and
$\sigma _{\mathsf {X}}^l\vert _{V}$
are homeomorphisms onto their images,
$\sigma _{\mathsf {X}}^k(U) = \sigma _{\mathsf {X}}^l(V)$
, and
$Z(U,k,l,V) \subseteq \operatorname {\mathrm {Iso}}(\mathcal {G}_{\mathsf {X}})$
. We therefore have that
$\sigma _{\mathsf {X}}^k(x') = \sigma _{\mathsf {X}}^l(x')$
for any
$x' \in U$
. It follows that any element of the open subset
$\sigma _{\mathsf {X}}^k(U)$
is periodic with period
$\lvert k-l \rvert $
, but this contradicts the assumption that
$(\mathsf {X},\sigma _{\mathsf {X}})$
is topologically free. Thus,
$\operatorname {\mathrm {Iso}}(\mathcal {G}_{\mathsf {X}})^\circ = \mathsf {X}$
.
Given a group
$\Gamma $
and a function
$f \colon \mathsf {X} \to \Gamma $
, for each
$k \in \mathbb {N}$
and
$x \in \operatorname {\mathrm {dom}}(\sigma ^{k}_{\mathsf {X}})$
, we write
where it is understood that
$f^{(0)} = 0$
. We use additive notation because in all of our examples of interest
$\Gamma $
will be abelian, but of course a similar expression using multiplicative notation makes sense.
We call a continuous groupoid homomorphism from
$\mathcal {G}_{\mathsf {X}}$
into a topological group
$\Gamma $
a continuous cocycle. Any continuous map
$f \colon \mathsf {X} \to \Gamma $
gives rise to a continuous cocycle
$c_f \colon \mathcal {G}_{\mathsf {X}} \to \Gamma $
defined by
for
$(x, m - n, y) \in \mathcal {G}_{\mathsf {X}}$
satisfying
$\sigma _{\mathsf {X}}^m(x) = \sigma _{\mathsf {X}}^n(y)$
. When
$\Gamma = \mathbb {Z}$
and
$f \equiv 1$
, we obtain the canonical continuous cocycle
$c_f \colon (x,p,y) \mapsto p$
, which we denote by
$c_{\mathsf {X}}$
.
2.3 Deaconu–Renault C*-algebras
Given a locally compact Hausdorff étale groupoid
$\mathcal {G}$
, there are associated full and reduced groupoid C*-algebras
$C^*(\mathcal {G})$
and
$C_r^*(\mathcal {G})$
encoding the structure of
$\mathcal {G}$
; see, for instance, [Reference RenaultRe80, Reference Sims and PereraS20] for details. An argument similar to the one used in [Reference Sims and WilliamsSW16, Lemma 3.5] shows that Deaconu–Renault groupoids are amenable, so the two C*-algebras
$C^*(\mathcal {G}_{\mathsf {X}})$
and
$C_r^*(\mathcal {G}_{\mathsf {X}})$
are canonically
$*$
-isomorphic, and we shall not distinguish between them: we let
$C^*(\mathcal {G}_{\mathsf {X}})$
denote the C*-algebra associated to
$\mathcal {G}_{\mathsf {X}}$
. Since
$\mathcal {G}_{\mathsf {X}}$
is étale, the unit space
$\mathcal {G}_{\mathsf {X}}^{(0)} \cong \mathsf {X}$
is open in
$\mathcal {G}_{\mathsf {X}}$
, and we view the diagonal subalgebra
$C_0(\mathsf {X})$
as a subalgebra of
$C^*(\mathcal {G}_{\mathsf {X}})$
. Note that
$C_0(\mathsf {X})$
need not be a C*-diagonal (in the sense of Kumjian [Reference KumjianKu86]), nor a Cartan subalgebra (in the sense of Renault [Reference RenaultRe08]).
The Pontryagin dual of a locally compact abelian group
$\Gamma $
is the locally compact group
$\widehat {\Gamma }$
consisting of continuous group homomorphisms from
$\Gamma $
to the circle group
$\mathbb {T}$
, endowed with the compact-open topology. A continuous cocycle
$c \colon \mathcal {G}_{\mathsf {X}} \to \Gamma $
induces an action
$\gamma ^c \colon \widehat {\Gamma } \curvearrowright C^*(\mathcal {G}_{\mathsf {X}})$
satisfying
$$ \begin{align} \gamma^c_\chi(\xi)(\eta) = \chi(c(\eta)) \, \xi(\eta) \end{align} $$
for
$\chi \in \widehat {\Gamma }$
,
$\xi \in C_c(\mathcal {G})$
, and
$\eta \in \mathcal {G}$
; cf. [Reference RenaultRe80, Ch. 2, §5]. In particular, there is a weighted action
$\gamma ^{\mathsf {X},f} \colon \widehat {\Gamma } \curvearrowright C^*(\mathcal {G}_{\mathsf {X}})$
associated to each
$f \in C(\mathsf {X},\Gamma )$
, satisfying
$$ \begin{align} \gamma_\chi^{\mathsf{X}, f}(\xi)(x,m - n, y) = \chi(f^{(m)}(x) - f^{(n)}(y)) \, \xi(x, m - n, y) \end{align} $$
for
$\chi \in \widehat {\Gamma }$
,
$\xi \in C_c(\mathcal {G}_{\mathsf {X}})$
, and
$(x,m - n, y) \in \mathcal {G}_{\mathsf {X}}$
satisfying
$\sigma _{\mathsf {X}}^m(x) = \sigma _{\mathsf {X}}^n(y)$
. The canonical gauge action
$\gamma ^{\mathsf {X}} \colon \mathbb {T}\curvearrowright C^{*} (\mathcal {G}_{\mathsf {X}})$
is induced by the canonical continuous cocycle
$c_{\mathsf {X}}$
on
$\mathcal {G}_{\mathsf {X}}$
.
Example 2.10. Let
$\mathsf {X}$
be a locally compact Hausdorff space, and let
$\sigma \colon \mathsf {X} \to \mathsf {X}$
be a homeomorphism. Then
$(\mathsf {X},\sigma )$
is a Deaconu–Renault system. The Deaconu–Renault groupoid
$\mathcal {G}_{\mathsf {X}}$
of
$(\mathsf {X},\sigma )$
is isomorphic to the transformation groupoid
$\mathsf {X}\times _\sigma \mathbb {Z}$
(see, for instance, [Reference RenaultRe80, Examples I.1.2(a)]), and
$C^*(\mathcal {G}_{\mathsf {X}})$
is isomorphic to the crossed product
$C_0(\mathsf {X})\rtimes _{\sigma}\mathbb {Z}$
by an isomorphism that restricts to the identity map on
$C_0(\mathsf {X})$
and intertwines the canonical gauge action of
$C^*(\mathcal {G}_{\mathsf {X}})$
and the dual action of
$C_0(\mathsf {X})\rtimes _{\sigma}\mathbb {Z}$
(see, for instance, [Reference Sims and PereraS20, Example 9.2.6]).
Example 2.11. If
$\mathsf {X}$
is a locally compact Hausdorff space and
$\sigma \colon \mathsf {X} \to \mathsf {X}$
is a covering map (i.e.
$\sigma $
is continuous and surjective, and for each
$x \in \mathsf {X}$
, there is an open neighbourhood V of x such that
$T^{-1}(V)$
is a disjoint union of open sets
$(U_i)_{i \in I}$
such that
$\sigma \vert _{U_i}$
is a homeomorphism onto V for each
$i \in I$
), then
$(\mathsf {X},\sigma )$
is a Deaconu–Renault system. The Deaconu–Renault groupoid
$\mathcal {G}_{\mathsf {X}}$
of
$(\mathsf {X},\sigma )$
is the groupoid
$\Gamma $
considered in [Reference DeaconuD95]. If
$\mathsf {X}$
is compact and each
$x \in \mathsf {X}$
has exactly p preimages under
$\sigma $
, then according to [Reference Exel and VershikEV06, Theorem 9.1], the C*-algebra
$C^*(\mathcal {G}_{\mathsf {X}})$
is isomorphic to the crossed product
$C(\mathsf {X})\rtimes _{\alpha ,\mathcal {L}}\mathbb {N}$
, where
$\alpha $
is the
$*$
-homomorphism from
$C(\mathsf {X})$
to
$C(\mathsf {X})$
given by
, and
$\mathcal {L}$
is the transfer operator from
$C(\mathsf {X})$
to
$C(\mathsf {X})$
given by
. The proof of [Reference Exel and VershikEV06, Theorem 9.1] goes through with minor modifications if the assumption that each
$x \in \mathsf {X}$
has exactly p preimages under
$\sigma $
is dropped and the definition of
$\mathcal {L}(f)(x)$
is changed to
$({1}/{\lvert \sigma ^{-1}(x) \rvert }) \sum _{y \in \sigma ^{-1}(x)} f(y)$
.
Example 2.12. Let E be a directed graph. The Deaconu–Renault groupoid
$\mathcal {G}_{\partial E}$
of the Deaconu–Renault system
$(\partial E,\sigma _E)$
is the graph groupoid
$\mathcal {G}_E$
described, among other places, in [Reference Brownlowe, Carlsen and WhittakerBCW17, §2.3], and
$C^*(\mathcal {G}_{\partial E})$
is isomorphic to the graph C*-algebra
$C^*(E)$
of E by an isomorphism that maps
$C_0(\partial E)$
onto the diagonal C*-subalgebra
$\mathcal {D}(E)$
of
$C^*(E)$
and intertwines the canonical gauge action
$\gamma ^{\partial E} \colon \mathbb {T}\curvearrowright C^*(\mathcal {G}_{\partial G})$
and the gauge action
$\gamma ^E \colon \mathbb {T} \curvearrowright C^*(E)$
(see, for instance, [Reference Brownlowe, Carlsen and WhittakerBCW17, Proposition 2.2]).
In [Reference Carlsen and RoutCR17, §3] the third-named author and Rout consider generalized gauge actions. A function
$k \colon E^1\to \mathbb {R}$
extends to a function
$k \colon E^*\to \mathbb {R}$
by setting
$k\vert _{E^0} \equiv 0$
and
for
$e_1 \dotsb e_n \in E^*\setminus E^0$
. There is a continuous cocycle
$c_k \colon \mathcal {G}_E\to \mathbb {R}$
given by
, and this cocycle induces a generalized gauge action
$\gamma ^{E,k} \colon \mathbb {R} \curvearrowright C^*(\mathcal {G}_E)$
, as defined in equation (2.3). If
$f \colon \partial E \to \mathbb {R}$
is the continuous map given by
$f\vert _{Z(e)} \equiv k(e)$
for all
$e \in E^1$
, then the induced cocycle
$c_f$
defined in equation (2.2) agrees with
$c_k$
on
$\mathcal {G}_E$
, and thus our weighted actions include all generalized gauge actions.
Example 2.13. Let E be a topological graph, let
$\partial E$
be the boundary-path space of E defined in [Reference Kumjian and LiKL17, Definition 3.1], and let
$\sigma \colon \partial E{\setminus} E^0_{\operatorname {sg}}\to \partial E$
be the one-sided shift map mentioned in [Reference Kumjian and LiKL17, Lemma 6.1]. It follows from [Reference Kumjian and LiKL17, Proposition 3.6 and Lemma 6.1] and [Reference YeendYe07, Theorem 3.16 and Proposition 4.4] that
$(\partial E,\sigma )$
is a Deaconu–Renault system. The Deaconu–Renault groupoid
$\mathcal {G}_{\partial E}$
of
$(\partial E,\sigma )$
is the groupoid
$\Gamma (\partial E,\sigma )$
defined in [Reference Kumjian and LiKL17, Definition 6.6]. It follows from [Reference Kumjian and LiKL17, Theorem 6.7] that
$C^*(\mathcal {G}_{(\partial E,\sigma )})$
is isomorphic to the C*-algebra
$\mathcal {O}_E$
introduced in [Reference KatsuraKa04]. One can check that the isomorphism given in [Reference Kumjian and LiKL17, Theorem 6.7] intertwines the canonical gauge actions of
$C^*(\mathcal {G}_{\partial E})$
and
$\mathcal {O}_E$
.
Example 2.14. Let
$(\mathsf {X},\sigma _{\mathsf {X}})$
be a one-sided shift of finite type (see, for instance, [Reference Lind and MarcusLM95, §13.8]). It follows from [Reference Ito and TakahashiIT74, Theorem 1] that
$(\mathsf {X},\sigma _{\mathsf {X}})$
is a Deaconu–Renault system. The Deaconu–Renault groupoid
$\mathcal {G}_{\mathsf {X}}$
of
$(\mathsf {X},\sigma _{\mathsf {X}})$
is identical to the groupoid
$\mathcal {G}_{\mathsf {X}}$
described in [Reference Carlsen, Eilers, Ortega and RestorffCEOR, §2.6].
If A is an
$n \times n\ \{0,1\}$
-matrix and
$(\mathsf {X}_A,\sigma _{\mathsf {X}_A})$
is the one-sided topological Markov shift defined by A (see, for instance, [Reference KitchensKi98, pp. 3]), then the Deaconu–Renault groupoid
$\mathcal {G}_{\mathsf {X}_A}$
of
$(\mathsf {X}_A,\sigma _{\mathsf {X}_A})$
is the groupoid
$G_A$
described in [Reference Matsumoto and MatuiMM14, §2.2], and
$C^*(\mathcal {G}_{\mathsf {X}_A})$
is isomorphic to the Cuntz–Krieger algebra
$\mathcal {O}_A$
[Reference Cuntz and KriegerCK80] with generators
$s_1, \dotsc , s_n$
, via an isomorphism that maps
$C(\mathsf {X}_A)$
onto the C*-subalgebra
$\mathcal {D}_A$
generated by the projections
$s_is_i^*$
, and intertwines the canonical gauge action
$\gamma ^{\mathsf {X}_A} \colon \mathbb {T}\curvearrowright C^*(\mathcal {G}_{\mathsf {X}_A})$
and the gauge action
$\unicode{x3bb} \colon \mathbb {T} \curvearrowright \mathcal {O}_A$
(see, for instance, [Reference Matsumoto and MatuiMM14, §2.3]). Moreover, the isomorphism between
$C^*(\mathcal {G}_{\mathsf {X}_A})$
and
$\mathcal {O}_A$
can be constructed such that it has the property that if
$g\in C(\mathsf {X}_A,\mathbb {Z})$
, then it intertwines the weighted gauge action
$\gamma ^{\mathsf {X}_A,g} \colon \mathbb {T} \curvearrowright C^*(\mathcal {G}_{\mathsf {X}_A})$
and the action
$\rho ^{A,g} \colon \mathbb {T} \curvearrowright \mathcal {O}_A$
considered in [Reference MatsumotoMa21a].
The map
$(\sigma _A)^* \colon C(\mathsf {X}_A) \to C(\mathsf {X}_A)$
coincides with the map
$\phi _A \colon \mathcal {D}_A \to \mathcal {D}_A$
given by
for
$x \in \mathcal {D}_A$
. This map
$\phi _A$
appeared in Cuntz and Krieger’s original paper as an invariant of one-sided conjugacy; cf. [Reference Cuntz and KriegerCK80, Proposition 2.17]. On the other hand, the map
$(\sigma _A)_* \colon C(\mathsf {X}_A) \to C(\mathsf {X}_A)$
coincides with the adjacency operator
$\unicode{x3bb} _A$
on
$\mathcal {D}_A$
, given by
for
$x \in \mathcal {D}_A$
. Proposition 3.4 shows that these maps can be used to characterize conjugacy.
Example 2.15. Let
$(\mathsf {X},\sigma _{\mathsf {X}})$
be a one-sided shift space, and let
$(\widetilde {\mathsf {X}},\sigma _{\widetilde {\mathsf {X}}})$
be the cover of
$(\mathsf {X},\sigma _{\mathsf {X}})$
constructed in [Reference Brix and CarlsenBC20b, §2.1]. It follows from [Reference Brix and CarlsenBC20b, Lemma 2.3] that
$(\widetilde {\mathsf {X}},\sigma _{\widetilde {\mathsf {X}}})$
is a Deaconu–Renault system. If two one-sided shift spaces
$(\mathsf {X},\sigma _{\mathsf {X}})$
and
$(\mathsf {Y},\sigma _{\mathsf {Y}})$
are conjugate, then the corresponding Deaconu–Renault systems
$(\widetilde {\mathsf {X}},\sigma _{\widetilde {\mathsf {X}}})$
and
$(\widetilde {\mathsf {Y}},\sigma _{\widetilde {\mathsf {Y}}})$
are conjugate (see [Reference Brix and CarlsenBC20b, Lemma 4.1]). However, there are examples of non-conjugate one-sided shift spaces
$(\mathsf {X},\sigma _{\mathsf {X}})$
and
$(\mathsf {Y},\sigma _{\mathsf {Y}})$
for which
$(\widetilde {\mathsf {X}},\sigma _{\widetilde {\mathsf {X}}})$
and
$(\widetilde {\mathsf {Y}},\sigma _{\widetilde {\mathsf {Y}}})$
are conjugate (e.g. consider a one-sided strictly sofic shift
$(\mathsf {X},\sigma _{\mathsf {X}})$
and the one-sided edge shift
$(\mathsf {Y},\sigma _{\mathsf {Y}})$
of its left Krieger cover; cf. [Reference KitchensKi98, Exercise 6.1.9]).
The Deaconu–Renault groupoid
$\mathcal {G}_{\widetilde {\mathsf {X}}}$
of
$(\widetilde {\mathsf {X}},\sigma _{\widetilde {\mathsf {X}}})$
is the groupoid
$\mathcal {G}_{\mathsf {X}}$
described in [Reference Brix and CarlsenBC20b, §2.2]. It is shown in [Reference CarlsenC04] that there is an isomorphism from
$C^*(\mathcal {G}_{\widetilde {\mathsf {X}}})$
to the C*-algebra
$\mathcal {O}_{\mathsf {X}}$
studied in [Reference CarlsenC08] that maps
$C_0(\widetilde {\mathsf {X}})$
onto the C*-subalgebra
$\mathcal {D}_{\mathsf {X}}$
and intertwines the canonical gauge actions of
$C^*(\mathcal {G}_{\widetilde {\mathsf {X}}})$
and
$\mathcal {O}_{\mathsf {X}}$
.
Example 2.16. Let
$\mathsf {X}$
be a compact metrizable space, let
$\phi \colon \mathsf {X} \to \mathsf {X}$
be a continuous locally injective surjection, and let
$(\widehat {D},\psi )$
be the canonical extension of
$(\mathsf {X},\phi )$
constructed in [Reference ThomsenTh11, §4]. It follows from [Reference ThomsenTh11, Proposition 4.1] that
$(\widehat {D},\psi )$
is a Deaconu–Renault system. If two continuous locally injective surjective maps
$\phi \colon \mathsf {X} \to \mathsf {X}$
and
$\phi ' \colon \mathsf {X}' \to \mathsf {X}'$
between compact metrizable spaces are conjugate, then the corresponding Deaconu–Renault systems
$(\widehat {D},\psi )$
and
$(\widehat {D}',\psi ')$
are conjugate (see [Reference ThomsenTh11, §4]), but there are, as in Example 2.14, examples of non-conjugate maps
$\phi \colon \mathsf {X} \to \mathsf {X}$
and
$\phi ' \colon \mathsf {X}' \to ~\mathsf {X}'$
for which
$(\widehat {D},\psi )$
and
$(\widehat {D}',\psi ')$
are conjugate.
The Deaconu–Renault groupoid
$\mathcal {G}_{\widehat {D}}$
of
$(\widehat {D},\psi )$
is the groupoid
$\Gamma _\psi $
studied in [Reference ThomsenTh11]. It therefore follows from [Reference ThomsenTh11, Theorem 5.4] that there is an isomorphism from
$C^*(\mathcal {G}_{\widehat {D}})$
to the C*-algebra
$C_r^*(\Gamma _\phi )$
constructed in [Reference ThomsenTh10] that maps
$C(\widehat {D})$
onto the C*-subalgebra
$D_{\Gamma _\phi }$
.
3 Characterizing conjugacy via groupoids and C*-algebras
In this section, we investigate the conditions that must be imposed on isomorphisms of Deaconu–Renault groupoids or their C*-algebras in order to ensure that the underlying Deaconu–Renault systems are conjugate. Our results are summarized in the following theorem.
Theorem 3.1. Let
$(\mathsf {X},\sigma _{\mathsf {X}})$
and
$(\mathsf {Y},\sigma _{\mathsf {Y}})$
be second-countable Deaconu–Renault systems. The following statements are equivalent.
-
(1) The systems
$(\mathsf {X},\sigma _{\mathsf {X}})$
and
$(\mathsf {Y},\sigma _{\mathsf {Y}})$
are conjugate. -
(2) There exists a
$*$
-isomorphism
$\varphi \colon C_0(\mathsf {X}) \to C_0(\mathsf {Y})$
satisfying the following three equivalent conditions:-
(i) there is a conjugacy
$h \colon \mathsf {X} \to \mathsf {Y}$
satisfying
$\varphi (f) = f\circ h^{-1}$
for
$f\in C_0(\mathsf {X})$
; -
(ii)
$\varphi ( (\sigma _{\mathsf {X}})^*(f) g ) = (\sigma _{\mathsf {Y}})^*( \varphi (f) ) \varphi (g)$
for all
$f, g \in C_0(\mathsf {X})$
; -
(iii)
$\varphi (C_c(\operatorname {\mathrm {dom}}(\sigma _{\mathsf {X}}))) = C_c(\operatorname {\mathrm {dom}}(\sigma _{\mathsf {Y}}))$
, and
$\varphi \circ (\sigma _{\mathsf {X}})_* = (\sigma _{\mathsf {Y}})_* \circ \varphi \vert _{C_c(\operatorname {\mathrm {dom}}(\sigma _{\mathsf {X}}))}$
.
-
-
(3) There exists a groupoid isomorphism
$\psi \colon \mathcal {G}_{\mathsf {X}} \to \mathcal {G}_{\mathsf {Y}}$
satisfying the following three equivalent conditions:-
(i) there is a conjugacy
$h \colon \mathsf {X}\to \mathsf {Y}$
such that
$\psi (x,p,y)=(h(x),p,h(y))$
for
$(x,p,y)\in \mathcal {G}_{\mathsf {X}}$
; -
(ii)
$c_{g\circ \psi ^{(0)}} = c_g \circ \psi $
for all
$g \in C(\mathsf {Y},\mathbb {R})$
; -
(iii) there is a homeomorphism
$h \colon \mathsf {X}\to \mathsf {Y}$
that satisfies
$c_{g\circ h} = c_g \circ \psi $
for all
$g \in C(\mathsf {Y},\mathbb {R})$
.
-
-
(4) There is a
$*$
-isomorphism
$\varphi \colon C^*(\mathcal {G}_{\mathsf {X}}) \to C^*(\mathcal {G}_{\mathsf {Y}})$
satisfying the following two equivalent conditions:-
(i)
$\varphi (C_0(\mathsf {X}))= C_0(\mathsf {Y})$
, and there is a conjugacy
$h \colon \mathsf {X} \to \mathsf {Y}$
such that
$\varphi (f)=f\circ h^{-1}$
for
$f\in C_0(\mathsf {X})$
and
$\varphi \circ \gamma _t^{\mathsf {X}, g\circ h} = \gamma _t^{\mathsf {Y}, g} \circ \varphi $
for all
$t \in \mathbb {R}$
and
$g \in C(\mathsf {Y},\mathbb {R})$
; -
(ii) there is a homeomorphism
$h \colon \mathsf {X} \to \mathsf {Y}$
(which is not necessarily a conjugacy) such that
$\varphi \circ \gamma _t^{\mathsf {X}, g\circ h} = \gamma _t^{\mathsf {Y}, g} \circ \varphi $
for all
$t \in \mathbb {R}$
and
$g \in C(\mathsf {Y},\mathbb {R})$
.
-
Remark 3.2. Theorem 3.1 follows from Propositions 3.4, 3.8, and 3.12, which we prove below (Proposition 3.4 gives us that the three conditions in Theorem 3.1(2) are equivalent, and that (1) and (2) are equivalent; Proposition 3.8 gives us that the three conditions in Theorem 3.1(3) are equivalent, and that (1) and (3) are equivalent; and Proposition 3.12 gives us that the two conditions in Theorem 3.1(4) are equivalent, and that (1) and (4) are equivalent).
It follows from Propositions 3.8 and 3.12 that in (3) and (4) in Theorem 3.1 we can replace
$\mathbb {R}$
by any group that is separating for
$\mathsf {X}$
and
$\mathsf {Y}$
, in the sense of Definition 3.5. In particular, if
$\mathsf {X}$
and
$\mathsf {Y}$
are totally disconnected, then we can replace
$\mathbb {R}$
by
$\mathbb {Z}$
. We therefore obtain the following corollary, which is a generalization and a strengthening of [Reference MatsumotoMa21a, Theorem 1].
Corollary 3.3. Let E and F be countable directed graphs. If there exist a homeomorphism
$h \colon \partial E \to \partial F$
and a
$*$
-isomorphism
$\varphi \colon C^*(E) \to C^*(F)$
satisfying
$$ \begin{align*} \varphi\circ \gamma_z^{E, g\circ h} = \gamma_z^{F, g}\circ \varphi \end{align*} $$
for all
$z\in \mathbb {T}$
and
$g\in C(\partial F, \mathbb {Z})$
, then the boundary-path spaces
$(\partial E, \sigma _E)$
and
$(\partial F, \sigma _F)$
are conjugate. Conversely, if
$h \colon \partial E \to \partial F$
is a conjugacy, then there is a
$*$
-isomorphism
$\varphi \colon C^*(E) \to C^*(F)$
satisfying
$\varphi (\mathcal {D}(E))=\mathcal {D}(F)$
,
$\varphi (f)=f\circ h^{-1}$
for
$f\in \mathcal {D}(E)$
, and
$$ \begin{align*} \varphi\circ \gamma_z^{E, g\circ h} = \gamma_z^{F, g}\circ \varphi \end{align*} $$
for all
$z\in \mathbb {T}$
and
$g\in C(\partial F, \mathbb {Z})$
.
We now prove Proposition 3.4, from which it follows that the three conditions (i), (ii) and (iii) in Theorem 3.1(2) are equivalent, and that (1) and (2) in Theorem 3.1 are equivalent.
Proposition 3.4. Let
$(\mathsf {X},\sigma _{\mathsf {X}})$
and
$(\mathsf {Y},\sigma _{\mathsf {Y}})$
be Deaconu–Renault systems, and let
$h \colon \mathsf {X} \to \mathsf {Y}$
be a homeomorphism. The map
$\varphi \colon f \mapsto f \circ h^{-1}$
is a
$*$
-isomorphism from
$C_0(\mathsf {X})$
to
$C_0(\mathsf {Y})$
, and the following statements are equivalent.
-
(1)
$h \colon \mathsf {X} \to \mathsf {Y}$
is a conjugacy. -
(2) For all
$f, g \in C_0(\mathsf {X})$
, (3.1)
$$ \begin{align} \varphi( (\sigma_{\mathsf{X}})^*(f) g ) = (\sigma_{\mathsf{Y}})^*( \varphi(f) ) \varphi(g). \end{align} $$
-
(3)
$\varphi (C_c(\operatorname {\mathrm {dom}}(\sigma _{\mathsf {X}}))) = C_c(\operatorname {\mathrm {dom}}(\sigma _{\mathsf {Y}}))$
and (3.2)
$$ \begin{align} \varphi \circ (\sigma_{\mathsf{X}})_* = (\sigma_{\mathsf{Y}})_* \circ \varphi\vert_{C_c(\operatorname{\mathrm{dom}}(\sigma_{\mathsf{X}}))}. \end{align} $$
Proof. A routine argument shows that the map
$\varphi \colon f \mapsto f \circ h^{-1}$
is a
$*$
-isomorphism from
$C_0(\mathsf {X})$
to
$C_0(\mathsf {Y})$
.
(1)
$\implies $
(2) and (3): Assume first that
$h \colon \mathsf {X} \to \mathsf {Y}$
is a conjugacy. It follows from Lemma 2.6 that
$h(\operatorname {\mathrm {dom}}(\sigma _{\mathsf {X}})) = \operatorname {\mathrm {dom}}(\sigma _{\mathsf {Y}})$
, and hence
$\varphi (C_c(\operatorname {\mathrm {dom}}(\sigma _{\mathsf {X}}))) = C_c(\operatorname {\mathrm {dom}}(\sigma _{\mathsf {Y}}))$
.
Fix
$f, g \in C_0(\mathsf {X})$
. Since h is a conjugacy, we have
$$ \begin{align*} f(\sigma_{\mathsf{X}}(h^{-1}(y))) \, g(h^{-1}(y)) = f(h^{-1}(\sigma_{\mathsf{Y}}(y))) \, g(h^{-1}(y)) \end{align*} $$
for all
$y \in \operatorname {\mathrm {dom}}(\sigma _{\mathsf {Y}})$
, and equation (3.1) follows. By Lemma 2.6, we have
$\sigma _{\mathsf {X}}^{-1}(h^{-1}(y)) = h^{-1}(\sigma _{\mathsf {Y}}^{-1}(y))$
for all
$y \in \mathsf {Y}$
, and hence
$$ \begin{align*} \varphi((\sigma_{\mathsf{X}})_*(f))(y) \,=\, \sum_{z \in \sigma_{\mathsf{X}}^{-1}(h^{-1}(y))} f(z) \,=\, \sum_{w \in \sigma_{\mathsf{Y}}^{-1}(y)} f(h^{-1}(w)) \,=\, (\sigma_{\mathsf{Y}})_*(\varphi(f))(y), \end{align*} $$
and so equation (3.2) holds.
(2)
$\implies $
(1): Suppose that equation (3.1) holds. Fix
$y \in \operatorname {\mathrm {dom}}(\sigma _{\mathsf {Y}})$
. We claim that
$\sigma _{\mathsf {X}}(h^{-1}(y)) = h^{-1}(\sigma _{\mathsf {Y}}(y))$
. To see this, first choose
$g \in C_0(\mathsf {X})$
such that
$g(h^{-1}(y)) = 1$
. Then, for all
$f \in C_0(\mathsf {X})$
, we have
$$ \begin{align*} f(\sigma_{\mathsf{X}}(h^{-1}(y))) = \varphi( (\sigma_{\mathsf{X}})^*(f) g ) = (\sigma_{\mathsf{Y}})^*( \varphi(f) ) \varphi(g) = f(h^{-1}(\sigma_{\mathsf{Y}}(y))), \end{align*} $$
and so
$\sigma _{\mathsf {X}}(h^{-1}(y)) = h^{-1}(\sigma _{\mathsf {Y}}(y))$
, as claimed. Since the assumption of equation (3.1) is equivalent to the assumption that
$$ \begin{align*} \varphi^{-1}((\sigma_{\mathsf{Y}})^*(f')g') = (\sigma_{\mathsf{X}})^*(\varphi^{-1}(f')) \varphi^{-1}(g') \end{align*} $$
for all
$f', g' \in C_0(\mathsf {Y})$
, a similar argument shows that
$\sigma _{\mathsf {Y}}(h(x)) = h(\sigma _{\mathsf {X}}(x))$
for all
$x \in \operatorname {\mathrm {dom}}(\sigma _{\mathsf {X}})$
. Therefore, h is a conjugacy.
(3)
$\implies $
(1): Suppose that
$\varphi (C_c(\operatorname {\mathrm {dom}}(\sigma _{\mathsf {X}}))) = C_c(\operatorname {\mathrm {dom}}(\sigma _{\mathsf {Y}}))$
and that equation (3.2) holds. We will use the implication (3)
$\implies $
(1) of Lemma 2.6 to show that h is a conjugacy. Fix
$y \in \mathsf {Y}$
. By equation (3.2), we have
$$ \begin{align} \sum_{z \in \sigma_{\mathsf{X}}^{-1}(h^{-1}(y))} f(z) \,=\, \sum_{w \in \sigma_{\mathsf{Y}}^{-1}(y)} f(h^{-1}(w)) \,=\, \sum_{t \in h^{-1}(\sigma_{\mathsf{Y}}^{-1}(y))} f(t) \end{align} $$
for all
$f \in C_c(\operatorname {\mathrm {dom}}(\sigma _{\mathsf {X}}))$
. Suppose for contradiction that
$h^{-1}(\sigma _{\mathsf {Y}}^{-1}(y)) \ne \sigma _{\mathsf {X}}^{-1}(h^{-1}(y))$
. Then there exists
$x \in \sigma _{\mathsf {X}}^{-1}(h^{-1}(y))$
such that
$x \notin h^{-1}(\sigma _{\mathsf {Y}}^{-1}(y))$
. Since
$\mathsf {X}$
is a locally compact Hausdorff space, it is regular, and thus since
$h^{-1}(\sigma _{\mathsf {Y}}^{-1}(y))$
is closed, there is an open neighbourhood
$U \subseteq \mathsf {X}$
of x such that
$U \cap h^{-1}(\sigma _{\mathsf {Y}}^{-1}(y)) = \varnothing $
. By Urysohn’s lemma, there exists a function
$f \in C_c(\mathsf {X}, [0,1])$
such that
$f(x) = 1$
and
$f(z) = 0$
for all
$z \in h^{-1}(\sigma _{\mathsf {Y}}^{-1}(y))$
. But this contradicts equation (3.3), and so we must have
$h^{-1}(\sigma _{\mathsf {Y}}^{-1}(y)) = \sigma _{\mathsf {X}}^{-1}(h^{-1}(y))$
. Since the assumption of equation (3.2) is equivalent to the assumption that
$$ \begin{align*} \varphi^{-1} \circ (\sigma_{\mathsf{Y}})_* = (\sigma_{\mathsf{X}})_* \circ \varphi^{-1}\vert_{C_c(\operatorname{\mathrm{dom}}(\sigma_{\mathsf{Y}}))}, \end{align*} $$
a similar argument shows that
$h(\sigma _{\mathsf {X}}^{-1}(x)) = \sigma _{\mathsf {Y}}^{-1}(h(x))$
for all
$x \in \mathsf {X}$
. Therefore, Lemma 2.6 implies that h is a conjugacy.
We now introduce the notion of a separating group, which we use in Propositions 3.8 and 3.12.
Definition 3.5. Let
$\mathsf {X}$
be a locally compact Hausdorff space, and let
$\Gamma $
be a locally compact group with identity element
$\operatorname {\mathrm {id}}_\Gamma $
. We say that
$\Gamma $
is separating for
$\mathsf {X}$
if, for any finite set
$F \subseteq \mathsf {X}$
and
$x \in \mathsf {X} {\setminus } F$
, there exists
$f \in C(\mathsf {X}, \Gamma )$
such that
$f(x)$
has infinite order in
$\Gamma $
and
$f\vert _{F} \equiv \operatorname {\mathrm {id}}_\Gamma $
.
Example 3.6. Urysohn’s lemma for locally compact Hausdorff spaces ensures that
$\mathbb {R}$
is separating for any locally compact Hausdorff space
$\mathsf {X}$
. If
$\mathsf {X}$
is totally disconnected, then
$\mathbb {Z}$
is separating for
$\mathsf {X}$
.
Lemma 3.7. Let
$(\mathsf {X},\sigma _{\mathsf {X}})$
be a Deaconu–Renault system and suppose that
$\Gamma $
is a locally compact group that is separating for
$\mathsf {X}$
. If
$k,l\in \mathbb {N}$
and
$$ \begin{align} \sum_{i=0}^k f(a_i) = \sum_{j=0}^l f(b_j) \end{align} $$
for some (not necessarily distinct) elements
$a_0,\dotsc ,a_k,b_0,\dotsc ,b_l\in \mathsf {X}$
and all
$f \in C(\mathsf {X}, \Gamma )$
, then
$k = l$
and
$\{ a_0, \dotsc , a_k \} = \{ b_0, \dotsc , b_k \}$
. Moreover, if
$x, x' \in \mathsf {X}$
satisfy
$\sigma _{\mathsf {X}}^k(x) = \sigma _{\mathsf {X}}^l(x')$
and
$f^{(k)}(x) = f^{(l)}(x')$
for all
$f\in C(\mathsf {X}, \Gamma )$
, then
$k = l$
and
$x=x'$
.
Proof. Let
and
. For
$x \in \mathsf {X}$
, we may choose
$f\in C(\mathsf {X}, \Gamma )$
such that
$f(x)$
has infinite order and
$f\vert _{(A\cup B)\setminus \{x\}} \equiv \operatorname {\mathrm {id}}_\Gamma $
. By equation (3.4), we then have that
$$ \begin{align*} \lvert \{i \in \{0,\dotsc,k\} : a_i = x \} \rvert = \lvert \{ j \in \{0,\dotsc,l\} : b_j = x \} \rvert. \end{align*} $$
By applying this observation for all
$x \in \mathsf {X}$
, we see that
$k = l$
and
$A = B$
.
For the second part, the hypothesis that
$f^{(k)}(x) = f^{(l)}(x')$
for all
$f \in C(\mathsf {X}, \Gamma )$
means that
$$ \begin{align*} \sum_{i=0}^{k-1} f(\sigma_{\mathsf{X}}^i(x)) = \sum_{j=0}^{l-1} f(\sigma_{\mathsf{X}}^j(x')) \end{align*} $$
for all
$f\in C(\mathsf {X}, \Gamma )$
. It follows from the first part that
$k = l$
and that
$$ \begin{align*} \{ \sigma_{\mathsf{X}}^i(x) : i = 0,\dotsc,k-1\} = \{ \sigma_{\mathsf{X}}^j(x') \colon j= 0,\dotsc,k-1\}. \end{align*} $$
This means that
$x = \sigma _{\mathsf {X}}^p(x')$
and
$x' = \sigma _{\mathsf {X}}^q(x)$
for some
$p,q\in \mathbb {N}$
. By choosing
$n \in \mathbb {N}_+$
such that
$k \leqslant n(p+q)$
, the fact that
$\sigma _{\mathsf {X}}^k(x) = \sigma _{\mathsf {X}}^k(x')$
implies that
$$ \begin{align*} x = \sigma_{\mathsf{X}}^{n(p+q)}(x) = \sigma_{\mathsf{X}}^{n(p+q)}(x') = x', \end{align*} $$
as required.
We now prove Proposition 3.8, from which it follows that the three conditions (i), (ii) and (iii) in Theorem 3.1(3) are equivalent, and that (1) and (3) in Theorem 3.1 are equivalent.
Proposition 3.8. Let
$(\mathsf {X},\sigma _{\mathsf {X}})$
and
$(\mathsf {Y},\sigma _{\mathsf {Y}})$
be Deaconu–Renault systems. A conjugacy
$h \colon \mathsf {X} \to \mathsf {Y}$
induces a groupoid isomorphism
$\psi \colon \mathcal {G}_{\mathsf {X}} \to \mathcal {G}_{\mathsf {Y}}$
satisfying
$$ \begin{align*} \psi(x, p, y) = (h(x), p, h(y)) \end{align*} $$
for
$(x,p,y)\in \mathcal {G}_{\mathsf {X}}$
. Moreover, if
$\psi \colon \mathcal {G}_{\mathsf {X}} \to \mathcal {G}_{\mathsf {Y}}$
is a groupoid isomorphism and
$\Gamma $
is a locally compact group that is separating for
$\mathsf {Y}$
, then the following three conditions are equivalent.
-
(1) There is a conjugacy
$h \colon \mathsf {X} \to \mathsf {Y}$
such that
$\psi (x, p, y) = (h(x), p, h(y))$
for
$(x,p,y)\in ~\mathcal {G}_{\mathsf {X}}$
. -
(2)
$c_{g\circ \psi ^{(0)}} = c_g \circ \psi $
for
$g \in C(\mathsf {Y}, \Gamma )$
. -
(3) There is a homeomorphism
$h \colon \mathsf {X} \to \mathsf {Y}$
that satisfies
$c_{g \circ h} = c_g \circ \psi $
for all
$g \in C(\mathsf {Y}, \Gamma )$
.
Proof. A routine argument shows that if
$h \colon \mathsf {X} \to \mathsf {Y}$
is a conjugacy, then the map
$\psi \colon \mathcal {G}_{\mathsf {X}} \to \mathcal {G}_{\mathsf {Y}}$
given by
$\psi (x, p, y) = (h(x), p, h(y))$
is a groupoid isomorphism.
We now prove the implication
$(1)\!\implies \!(2)$
. Suppose that condition
$(1)$
holds. Let
$\Gamma $
be a locally compact group, and fix
$g \in C(\mathsf {Y}, \Gamma )$
. We claim that
$c_{g \circ h} = c_g \circ \psi $
. It suffices to prove the relation for groupoid elements in
$Z(\mathsf {X}, 1, 0, \sigma _{\mathsf {X}}(\mathsf {X})) \subseteq \mathcal {G}_{\mathsf {X}}$
, so fix
$x \in \operatorname {\mathrm {dom}}(\sigma _{\mathsf {X}})$
. Then
$$ \begin{align*} c_{g\circ h}(x, 1, \sigma_{\mathsf{X}}(x)) = g(h(x)) = c_g(h(x), 1, \sigma_{\mathsf{Y}}(h(x))) = c_g(\psi(x, 1, \sigma_{\mathsf{X}}(x))), \end{align*} $$
which proves the claim. The implication
$(2)\!\implies \!(3)$
is obvious.
It remains to prove
$(3)\!\implies \!(1)$
. Suppose that
$\psi \colon \mathcal {G}_{\mathsf {X}} \to \mathcal {G}_{\mathsf {Y}}$
is a groupoid isomorphism and that
$h \colon \mathsf {X} \to \mathsf {Y}$
is a homeomorphism such that
$c_{g \circ h} = c_g \circ \psi $
for all
$g \in C(\mathsf {Y}, \Gamma )$
. Consider the homeomorphism
and note that h and
$\widetilde {h}$
need not be equal. We will show that
$\widetilde {h}$
is a conjugacy.
Since
$\Gamma $
is separating for
$\mathsf {Y}$
, it contains an element of infinite order, and this element generates a copy of
$\mathbb {Z}$
in
$\Gamma $
. By choosing
$g\in C(\mathsf {Y}, \Gamma )$
to be constantly equal to such an element, we see that
$\psi $
intertwines the canonical cocycles. Therefore,
$$ \begin{align*} \psi(x, p, y) = (\widetilde{h}(x), p, \widetilde{h}(y)) \end{align*} $$
for
$(x,p,y)\in \mathcal {G}_{\mathsf {X}}$
, and it follows from [Reference Carlsen, Ruiz, Sims and TomfordeCRST, Theorem 8.10] that
$\widetilde {h}$
and
$\widetilde {h}^{-1}$
are eventual conjugacies (cf. [Reference Carlsen, Ruiz, Sims and TomfordeCRST, Definition 8.9]). In particular,
$\widetilde {h}(\operatorname {\mathrm {dom}}(\sigma _{\mathsf {X}}))=\operatorname {\mathrm {dom}}(\sigma _{\mathsf {Y}})$
. For
$x\in \operatorname {\mathrm {dom}}(\sigma _{\mathsf {X}})$
, we let
$\widetilde {k}(x)$
be the minimal non-negative integer satisfying
$$ \begin{align} (\sigma_{\mathsf{Y}}^{\widetilde{k}(x)+1}\circ\widetilde{h})(x) = (\sigma_{\mathsf{Y}}^{\widetilde{k}(x)}\circ\widetilde{h}\circ\sigma_{\mathsf{X}})(x), \end{align} $$
noting that such an integer exists because
$\widetilde {h}$
is an eventual conjugacy. By Lemma 2.6 it only remains to show that
$\widetilde {h}(\sigma _{\mathsf {X}}(x))=\sigma _{\mathsf {Y}}(\widetilde {h}(x))$
for
$x\in \operatorname {\mathrm {dom}}(\sigma _{\mathsf {X}})$
. This is equivalent to showing that
$\widetilde {k}(x) = 0$
for
$x\in \operatorname {\mathrm {dom}}(\sigma _{\mathsf {X}})$
.
Fix
$x\in \operatorname {\mathrm {dom}}(\sigma _{\mathsf {X}})$
, and suppose for contradiction that
$\widetilde {k}(x)>0$
. The hypothesis
$c_{g \circ h} = c_g \circ \psi $
implies that
$$ \begin{align} g(h(x)) = c_g(\psi(x,1,\sigma_{\mathsf{X}}(x))) = \sum_{i=0}^{\widetilde{k}(x)} g( (\sigma_{\mathsf{Y}}^i \circ \widetilde{h})(x) ) - \sum_{j=0}^{\widetilde{k}(x)-1} g( (\sigma_{\mathsf{Y}}^j \circ \widetilde{h} \circ \sigma_{\mathsf{X}})(x) ), \end{align} $$
for any
$g\in C(\mathsf {Y}, \Gamma )$
. Since
$\Gamma $
is separating for
$\mathsf {Y}$
, it follows from Lemma 3.7 that the sets
are equal. Therefore, there exists
$i \in \{0,\dotsc , \widetilde {k}(x)\}$
such that
$$ \begin{align} (\sigma_{\mathsf{Y}}^i \circ \widetilde{h})(x) = (\sigma_{\mathsf{Y}}^{\widetilde{k}(x)-1} \circ \widetilde{h} \circ \sigma_{\mathsf{X}})(x). \end{align} $$
If
$i = \widetilde {k}(x)$
, then equation (3.7) contradicts the minimality of
$\widetilde {k}(x)$
, so we must have
$i < \widetilde {k}(x)$
.
We will now show that
$\widetilde {k}(x)=0$
. Let us first consider the case when
$\widetilde {h}(x)$
is aperiodic, that is, there is no pair of distinct non-negative integers m and n such that
$(\sigma _{\mathsf {Y}}^m \circ \widetilde {h})(x) = (\sigma _{\mathsf {Y}}^n \circ \widetilde {h})(x)$
. If
$\widetilde {k}(x)> 0$
, then
$$ \begin{align*} (\sigma_{\mathsf{Y}}^{\widetilde{k}(x)+1}\circ\widetilde{h})(x) = (\sigma_{\mathsf{Y}}^{\widetilde{k}(x)}\circ\widetilde{h}\circ\sigma_{\mathsf{X}})(x) = (\sigma_{\mathsf{Y}}^{i+1}\circ\widetilde{h})(x), \end{align*} $$
and this together with the assumption that
$\widetilde {h}(x)$
is aperiodic implies that
$i = \widetilde {k}(x)$
, which we have already seen cannot be the case. Therefore,
$\widetilde {k}(x) = 0$
when
$\widetilde {h}(x)$
is aperiodic.
We now consider the case when
$\widetilde {h}(x)$
is eventually periodic. In this case, there is a non-negative integer n such that
$(\sigma _{\mathsf {Y}}^n\circ \widetilde {h})(x)$
is periodic, and we proceed by induction on n. For
$n = 0$
(i.e.
$\widetilde {h}(x)$
is periodic), we choose i as in equation (3.7), and observe that
$(\sigma _{\mathsf {Y}}^i \circ \widetilde {h})(x) = (\sigma _{\mathsf {Y}}^{\widetilde {k}(x)-1} \circ \widetilde {h} \circ \sigma _{\mathsf {X}})(x)$
is periodic.
If p is a period of
$(\sigma _{\mathsf {Y}}^i \circ \widetilde {h})(x) = (\sigma _{\mathsf {Y}}^{\widetilde {k}(x)-1} \circ \widetilde {h} \circ \sigma _{\mathsf {X}})(x)$
, then the eventual conjugacy condition equation (3.5) implies that
$$ \begin{align*} (\sigma_{\mathsf{Y}}^{\widetilde{k}(x)} \circ \widetilde{h})(x) = (\sigma_{\mathsf{Y}}^{\widetilde{k}(x)+p} \circ \widetilde{h})(x) = (\sigma_{\mathsf{Y}}^{\widetilde{k}(x)-1+p} \circ \widetilde{h} \circ \sigma_{\mathsf{X}})(x) = (\sigma_{\mathsf{Y}}^{\widetilde{k}(x)-1} \circ \widetilde{h} \circ \sigma_{\mathsf{X}})(x), \end{align*} $$
which again contradicts the minimality of
$\widetilde {k}(x)$
. Therefore,
$\widetilde {k}(x) = 0$
when
$\widetilde {h}(x)$
is periodic.
Assume now that
$n\in \mathbb {N}$
and that
$\widetilde {k}(x')=0$
whenever
$x'\in \operatorname {\mathrm {dom}}(\sigma _{\mathsf {X}})$
and
$\sigma _{\mathsf {Y}}^n(\widetilde {h}(x'))$
is periodic. Suppose that
$x \in \operatorname {\mathrm {dom}}(\sigma _{\mathsf {X}})$
with
$\sigma _{\mathsf {Y}}^{n+1}(\widetilde {h}(x))$
periodic, and that n is the minimal non-negative integer for which
$\sigma _{\mathsf {Y}}^{n+1}(\widetilde {h}(x))$
is periodic. Assuming for contradiction that
$\widetilde {k}(x)> 0$
, we again choose i according to equation (3.7). Since
$i < \widetilde {k}(x)$
, we have
$\sigma _{\mathsf {Y}}^{i+1}(\widetilde {h}(x)) \in A = B$
. There are two cases to consider.
For the first case, suppose that
$$ \begin{align*} \sigma_{\mathsf{Y}}^{i+1}(\widetilde{h}(x)) = \sigma_{\mathsf{Y}}^j(\widetilde{h}(\sigma_{\mathsf{X}}(x))) \end{align*} $$
for some
$j \in \{0,\dotsc ,k(x)-1\}$
. From equation (3.7), we see that
$$ \begin{align*} (\sigma_{\mathsf{Y}}^j \circ \widetilde{h} \circ \sigma_{\mathsf{X}})(x) = (\sigma_{\mathsf{Y}}^{i+1} \circ \widetilde{h})(x) = (\sigma_{\mathsf{Y}}^{\widetilde{k}(x)}\circ \widetilde{h}\circ \sigma_{\mathsf{X}})(x) \end{align*} $$
is periodic. In particular,
$(\sigma _{\mathsf {Y}}^{\widetilde {k}(x) - 1} \circ \widetilde {h} \circ \sigma _{\mathsf {X}})(x)$
is periodic (because
$j\leqslant \widetilde {k}(x) - 1$
). Since
$i < \widetilde {k}(x)$
, we also see that
$(\sigma _{\mathsf {Y}}^{\widetilde {k}(x)} \circ \widetilde {h})(x)$
is periodic with the same period as
$(\sigma _{\mathsf {Y}}^{\widetilde {k}(x) - 1}\circ \widetilde {h} \circ \sigma _{\mathsf {X}})(x)$
. It now follows from equation (3.5) that if p is a common period of
$(\sigma _{\mathsf {Y}}^{\widetilde {k}(x)} \circ \widetilde {h})(x)$
and
$(\sigma _{\mathsf {Y}}^{\widetilde {k}(x) - 1} \circ \widetilde {h} \circ \sigma _{\mathsf {X}})(x)$
, then
$$ \begin{align*} (\sigma_{\mathsf{Y}}^{\widetilde{k}(x)} \circ \widetilde{h})(x) = (\sigma_{\mathsf{Y}}^{\widetilde{k}(x)+p} \circ \widetilde{h})(x) = (\sigma_{\mathsf{Y}}^{\widetilde{k}(x)-1+p} \circ \widetilde{h} \circ \sigma_{\mathsf{X}})(x) = (\sigma_{\mathsf{Y}}^{\widetilde{k}(x)-1} \circ \widetilde{h} \circ \sigma_{\mathsf{X}})(x), \end{align*} $$
which contradicts the minimality of
$\widetilde {k}(x)$
.
For the second case, suppose that
$\sigma _{\mathsf {Y}}^{i+1}(\widetilde {h}(x)) = h(x)$
. Choose
$x'\in \mathsf {X}$
such that
$\widetilde {h}(x') = h(x)$
. If
$n \geqslant i$
, then
$\sigma _{\mathsf {Y}}^{n-i}(\widetilde {h}(x'))=\sigma _{\mathsf {Y}}^{n+1}(\widetilde {h}(x))$
is periodic, and if
$n < i$
, then
$\widetilde {h}(x')=\sigma _{\mathsf {Y}}^{i+1}(\widetilde {h}(x))$
is periodic. In both cases it follows from the inductive hypothesis that
$\widetilde {k}(x') = 0$
. The assumption that
$c_{g\circ h} = c_g \circ \psi $
then implies that
$g(h(x')) = g(\widetilde {h}(x'))$
for all
$g\in C(\mathsf {Y}, \Gamma )$
, and hence
$h(x') = \widetilde {h}(x')$
. Since
$\widetilde {h}(x') = h(x)$
and h is a homeomorphism, we have
$x = x'$
. This means either that
$(\sigma _{\mathsf {Y}}^{n - i} \circ \widetilde {h})(x)$
is periodic (if
$n \geqslant i$
), or that
$\widetilde {h}(x)$
is periodic (if
$n < i$
), but this contradicts the assumption that n is the minimal non-negative integer for which
$\sigma _{\mathsf {Y}}^{n+1}(\widetilde {h}(x))$
is periodic. We conclude that
$\widetilde {k}(x) = 0$
for all
$x \in \operatorname {\mathrm {dom}}(\sigma _{\mathsf {X}})$
, and this implies that
$\widetilde {h}$
is a conjugacy.
For the proof of Proposition 3.12, we need the following two lemmas. Given an automorphism
$\gamma $
of
$C^*(\mathcal {G}_{\mathsf {X}})$
, we define
Lemma 3.9. Let
$(\mathsf {X},\sigma _{\mathsf {X}})$
be a Deaconu–Renault system, and let
$\Gamma $
be a locally compact abelian group that is separating for
$\mathsf {X}$
. Then
$$ \begin{align*} C_0(\mathsf{X}) = \bigcap_{f \in C(\mathsf{X}, \Gamma)} C^*(\mathcal{G}_{\mathsf{X}})^{\gamma^{\mathsf{X}, f}}. \end{align*} $$
Proof. Every function in
$C_0(\mathsf {X})$
is fixed by all the weighted automorphisms, so one containment is clear. For the reverse containment, take
$\xi \in C_c(\mathcal {G}_{\mathsf {X}})$
such that
$\xi $
is fixed by
$\gamma ^{\mathsf {X},f}$
for all
$f \in C(\mathsf {X}, \Gamma )$
. If
$(x, k - l, y) \in \mathcal {G}_{\mathsf {X}}$
with
$\sigma _{\mathsf {X}}^k(x) = \sigma _{\mathsf {X}}^l(y)$
and
$\xi (x, k - l, y) \ne 0$
, then
$$ \begin{align*} \xi(x, k - l, y) = \gamma_\chi^{\mathsf{X}, f}(\xi)(x, k - l, y) = \chi(f^{(k)}(x) - f^{(l)}(y)) \, \xi(x, k - l, y), \end{align*} $$
for all
$\chi \in \widehat {\Gamma }$
. Since the characters of an abelian group separate points, it follows that
$f^{(k)}(x) = f^{(l)}(y)$
for every
$f \in C(\mathsf {X}, \Gamma )$
. Since
$\Gamma $
is separating for
$\mathsf {X}$
, it follows that
$k=l$
and
$x = y$
, by Lemma 3.7. Thus
$\xi $
is only supported on the unit space of
$\mathcal {G}_{\mathsf {X}}$
, and so
$\xi \in C_0(\mathsf {X})$
, and the result follows.
The following technical lemma is actually the main bulk of the proof of Proposition 3.12 below. It uses the groupoid reconstruction theory of [Reference Carlsen, Ruiz, Sims and TomfordeCRST]. We state and prove Lemma 3.10 in a more general setting than we need here, as we believe it may be of independent interest.
Recall that if c is a cocycle from
$\mathcal {G}$
into a group G with identity element
$\operatorname {\mathrm {id}}_G$
, then
$c^{-1}(\operatorname {\mathrm {id}}_G)$
is a subgroupoid of
$\mathcal {G}$
. We refer the reader to [Reference Carlsen, Ruiz, Sims and TomfordeCRST] for relevant details on the coactions
$\delta _{c_1}$
and
$\delta _{c_2}$
. The reader is invited to let
$c_1$
and
$c_2$
be the canonical continuous cocycles on
$\mathcal {G}_{\mathsf {X}}$
and
$\mathcal {G}_{\mathsf {Y}}$
, respectively; in which case, the coaction condition (equation (3.8)) reduces to the condition that
$\varphi $
intertwines the canonical gauge actions.
Note that in the statement below, we are not assuming that h and
$\widetilde {h}$
are equal.
Lemma 3.10. Let
$(\mathsf {X},\sigma _{\mathsf {X}})$
and
$(\mathsf {Y},\sigma _{\mathsf {Y}})$
be second-countable Deaconu–Renault systems, and let
$\widetilde {h} \colon \mathsf {X} \to \mathsf {Y}$
be a homeomorphism. Let G be a discrete group with identity element
$\operatorname {\mathrm {id}}_G$
. Let
$c_1 \colon \mathcal {G}_{\mathsf {X}} \to G$
and
$c_2 \colon \mathcal {G}_{\mathsf {Y}} \to G$
be continuous cocycles such that
$\operatorname {\mathrm {Iso}}(c_1^{-1}(\operatorname {\mathrm {id}}_G))^\circ = \mathsf {X}$
and
$\operatorname {\mathrm {Iso}}(c_2^{-1}(\operatorname {\mathrm {id}}_G))^\circ = \mathsf {Y}$
. Suppose that
$\varphi \colon C^*(\mathcal {G}_{\mathsf {X}}) \to C^*(\mathcal {G}_{\mathsf {Y}})$
is a
$*$
-isomorphism such that
$\varphi (C_0(\mathsf {X})) = C_0(\mathsf {Y})$
and
$\varphi (f) = f \circ \widetilde {h}^{-1}$
for all
$f \in C_0(\mathsf {X})$
, and that
$\varphi $
satisfies the coaction condition
$$ \begin{align} \delta_{c_2} \circ \varphi = (\varphi\otimes \operatorname{\mathrm{id}}) \circ \delta_{c_1}. \end{align} $$
Then there is a groupoid isomorphism
$\psi \colon \mathcal {G}_{\mathsf {X}} \to \mathcal {G}_{\mathsf {Y}}$
satisfying
$\psi ^{(0)} = \widetilde {h}$
and
$c_1 = c_2 \circ \psi $
. Moreover, this
$\psi $
has the property that
$c_{g\circ h} = c_g \circ \psi $
whenever
$\Gamma $
is a locally compact abelian group,
$g \in C(\mathsf {Y}, \Gamma )$
,
$h \colon \mathsf {X} \to \mathsf {Y}$
is a homeomorphism, and
$$ \begin{align} \varphi \circ \gamma_\chi^{\mathsf{X}, g\circ h} = \gamma_\chi^{\mathsf{Y}, g} \circ \varphi \end{align} $$
for all
$\chi \in \widehat {\Gamma }$
.
Proof. The first part of the lemma follows from [Reference Carlsen, Ruiz, Sims and TomfordeCRST, Theorem 6.2], but since we need an explicit description of the groupoid isomorphism
$\psi \colon \mathcal {G}_{\mathsf {X}} \to \mathcal {G}_{\mathsf {Y}}$
in order to prove the second half of the lemma, we begin by recalling the construction of
$\psi $
.
For this, let us first establish some notation. The open support of
$\xi \in C_c(\mathcal {G}_{\mathsf {X}})$
is the set
The extended Weyl groupoid
of the triple
$(C^*(\mathcal {G}_{\mathsf {X}}), C_0(\mathsf {X}), \delta _{c_1})$
consists of equivalence classes
$[n,x]$
of pairs
$(n,x)$
, where n is a normalizer of
$C_0(\mathsf {X})$
in
$C^*(\mathcal {G}_{\mathsf {X}})$
and
$x \in \operatorname {\mathrm {osupp}}(n)$
; cf. [Reference Carlsen, Ruiz, Sims and TomfordeCRST, §4]. Let
be the extended Weyl groupoid of
$(C^*(\mathcal {G}_{\mathsf {Y}}), C_0(\mathsf {Y}), \delta _{c_2})$
. Let
$\theta _{\mathsf {X}} \colon \mathcal {G}_{\mathsf {X}} \to \mathcal {H}_{\mathsf {X}}$
and
$\theta _{\mathsf {Y}} \colon \mathcal {G}_{\mathsf {Y}} \to \mathcal {H}_{\mathsf {Y}}$
be the groupoid isomorphisms of [Reference Carlsen, Ruiz, Sims and TomfordeCRST, Proposition 6.5], and let
$\varphi ^* \colon \mathcal {H}_{\mathsf {X}} \to \mathcal {H}_{\mathsf {Y}}$
be the groupoid isomorphism given by
$\varphi ^*([n, x]) = [\varphi (n), \widetilde {h}(x)]$
for
$[n,x] \in \mathcal {H}_{\mathsf {X}}$
; cf. [Reference Carlsen, Ruiz, Sims and TomfordeCRST, proof of Theorem 6.2]. The composition
is then a groupoid isomorphism that satisfies
$\psi ^{(0)} = \widetilde {h}$
and
$c_1 = c_2 \circ \psi $
; cf. [Reference Carlsen, Ruiz, Sims and TomfordeCRST, proof of Theorem 6.2].
We now observe that if
$[n,x] \in \mathcal {H}_{\mathsf {Y}}$
and
$\theta _{\mathsf {Y}}(\eta ) = [n,x]$
, then
$n(\eta ) \ne 0$
. Indeed, following the proof of the fact that
$\theta _{\mathsf {Y}}$
is surjective in [Reference Carlsen, Ruiz, Sims and TomfordeCRST, proof of Proposition 6.5], there exist
$\eta ' \in \operatorname {\mathrm {Iso}}({c_2}^{-1}(\operatorname {\mathrm {id}}_G))^\circ $
and
$\gamma \in \mathcal {G}_{\mathsf {Y}}$
with
$s(\eta ') = r(\eta ') = s(\gamma ) = x$
and
$n(\gamma ) \ne 0$
such that
$\theta _{\mathsf {Y}}(\gamma (\eta ')^{-1}) = [n,x]$
. Our assumption that
$\operatorname {\mathrm {Iso}}({c_2}^{-1}(\operatorname {\mathrm {id}}_G))^\circ = \mathsf {Y}$
implies that
$\eta ' = x$
, and since
$\theta _{\mathsf {Y}}$
is injective, it follows that
$\gamma = \eta $
, and, in particular,
$n(\eta ) \ne 0$
.
Now, let
$h \colon \mathsf {X} \to \mathsf {Y}$
be a homeomorphism (which need not be the same as
$\widetilde {h}$
), let
$\Gamma $
be a locally compact abelian group, and fix
$g \in C(\mathsf {Y}, \Gamma )$
such that
$\varphi \circ \gamma _\chi ^{\mathsf {X}, g \circ h} = \gamma _\chi ^{\mathsf {Y}, g} \circ \varphi $
for all
$\chi \in \widehat {\Gamma }$
. We need to show that
$c_{g\circ h} = c_g \circ \psi $
. Since
$\mathcal {G}_{\mathsf {X}}$
is generated by elements belonging either to
$\mathcal {G}_{\mathsf {X}}^{(0)}$
or to the compact open set
$Z(\mathsf {X}, 1, 0, \sigma _{\mathsf {X}}(\mathsf {X})) = \{ (x, 1, \sigma _{\mathsf {X}}(x)) : x\in \operatorname {\mathrm {dom}}(\sigma _{\mathsf {X}})\}$
, it suffices to verify that
$$ \begin{align} (g \circ h)(r(\eta)) = c_g(\psi(\eta)), \end{align} $$
for
$\eta \in Z(\mathsf {X}, 1, 0, \sigma _{\mathsf {X}}(\mathsf {X}))$
.
Choose
$n \in C_c(\mathcal {G}_{\mathsf {X}})$
with
$n(\eta ) = 1$
such that
$\operatorname {\mathrm {osupp}}(n)$
is a bisection contained in
$Z(\mathsf {X},1,0,\sigma _{\mathsf {X}}(\mathsf {X})) \cap {c_1}^{-1}(c_1(\eta ))$
. By the construction of
$\psi $
, we have
$$ \begin{align*} \theta_{\mathsf{Y}}(\psi(\eta)) = \varphi^*(\theta_{\mathsf{X}}(\eta)) = [\varphi(n), \widetilde{h}(s(\eta))], \end{align*} $$
and so the observation above implies that
$\varphi (n)(\psi (\eta )) \ne 0$
. Moreover, since
$\operatorname {\mathrm {osupp}}(n) \subseteq Z(\mathsf {X},1,0,\sigma _{\mathsf {X}}(\mathsf {X}))$
, we have
$\gamma _\chi ^{\mathsf {X}, g\circ h}(n) = (\chi \circ g\circ h) n$
with
$\chi \circ g\circ h \in C_b(\mathsf {X})$
. Here, we view
$C_b(\mathsf {X})$
as a subalgebra of the multiplier algebra
$M(C^*(\mathcal {G}_{\mathsf {X}}))$
.
There is a
$*$
-isomorphism of multiplier algebras
$\widetilde {\varphi } \colon M(C^*(\mathcal {G}_{\mathsf {X}})) \to M(C^*(\mathcal {G}_{\mathsf {Y}}))$
which extends
$\varphi $
, and since the diagonal subalgebras contain approximate units of the ambient C*-algebras, we have
$\widetilde {\varphi }(C_b(\mathsf {X})) = C_b(\mathsf {Y})$
with
$\widetilde {\varphi }(f) = f \circ (\beta \widetilde {h})^{-1}$
, where
$\beta \widetilde {h} \colon \beta \mathsf {X} \to \beta \mathsf {Y}$
is the unique extension of
$\widetilde {h}$
to the Stone–Čech compactifications; cf., for example, [Reference PedersenPed, Propositions 3.12.10 and 3.12.12]. It now follows that
$$ \begin{align*} \varphi(\gamma_\chi^{\mathsf{X}, g \circ h}(n))(\psi(\eta)) &= (\widetilde{\varphi}(\chi \circ g \circ h) \varphi(n)) (\psi(\eta)) \\ &= \chi( (g \circ h \circ \widetilde{h}^{-1} \circ \psi^{(0)})(r(\eta))) \varphi(n)(\psi(\eta)) \\ &= \chi( (g \circ h)(r(\eta))) \varphi(n)(\psi(\eta)). \end{align*} $$
Applying this observation together with equation (3.9), we see that
$$ \begin{align*} \chi( c_g(\psi(\eta))) \varphi(n)(\psi(\eta)) &= \gamma_\chi^{\mathsf{Y}, g}(\varphi(n))(\psi(\eta)) \\ &= \varphi(\gamma_\chi^{\mathsf{X}, g\circ h}(n))(\psi(\eta)) \\ &= \chi((g\circ h)(r(\eta))) \varphi(n)(\psi(\eta)) \end{align*} $$
for all
$\chi \in \widehat {\Gamma }$
. Since
$\varphi (n)(\psi (\eta )) \ne 0$
, it follows that
$$ \begin{align*} \chi((g\circ h)(r(\eta))) = \chi(c_g(\psi(\eta))) \end{align*} $$
for all
$\chi \in \widehat {\Gamma }$
. Since the characters of an abelian group separate points, equation (3.10) follows.
Before we get to Proposition 3.12, we point out that if
$(\mathsf {X},\sigma _{\mathsf {X}})$
and
$(\mathsf {Y},\sigma _{\mathsf {Y}})$
are second-countable topologically free Deaconu–Renault systems, then the coaction condition equation (3.8) in Lemma 3.10 is superfluous. Although we do not need this fact in this paper, we believe it is worth recording in a corollary.
Corollary 3.11. Suppose that
$(\mathsf {X},\sigma _{\mathsf {X}})$
and
$(\mathsf {Y},\sigma _{\mathsf {Y}})$
are second-countable and topologically free Deaconu–Renault systems. If
$\varphi \colon C^*(\mathcal {G}_{\mathsf {X}}) \to C^*(\mathcal {G}_{\mathsf {Y}})$
is a
$*$
-isomorphism satisfying
$\varphi (C_0(\mathsf {X})) = C_0(\mathsf {Y})$
, then there is a groupoid isomorphism
$\psi \colon \mathcal {G}_{\mathsf {X}} \to \mathcal {G}_{\mathsf {Y}}$
such that
$\varphi (f)=f\circ (\psi ^{(0)})^{-1}$
, for
$f\in C_0(\mathsf {X})$
. If, moreover,
$\Gamma $
is a locally compact abelian group,
$g \in C(\mathsf {Y}, \Gamma )$
,
$h \colon \mathsf {X} \to \mathsf {Y}$
is a homeomorphism, and
$\varphi \circ \gamma _\chi ^{\mathsf {X}, g\circ h} = \gamma _\chi ^{\mathsf {Y}, g} \circ \varphi $
for all
$\chi \in \widehat {\Gamma }$
, then
$c_{g\circ h} = c_g \circ \psi $
.
Proof. By Lemma 2.9, we have
$\operatorname {\mathrm {Iso}}(\mathcal {G}_{\mathsf {X}})^\circ = \mathsf {X}$
and
$\operatorname {\mathrm {Iso}}(\mathcal {G}_{\mathsf {Y}})^\circ = \mathsf {Y}$
, and so the result follows immediately from Lemma 3.10 by letting G be the trivial group and taking
$c_1 \colon \mathcal{G}_{\mathsf {X}} \to G$
and
$c_2 \colon \mathcal {G}_{\mathsf {Y}} \to G$
to be the trivial cocycles.
Finally, we prove Proposition 3.12, from which it follows that the two conditions (i) and (ii) in Theorem 3.1(4) are equivalent, and that (1) and (4) in Theorem 3.1 are equivalent.
Proposition 3.12. Let
$(\mathsf {X},\sigma _{\mathsf {X}})$
and
$(\mathsf {Y},\sigma _{\mathsf {Y}})$
be second-countable Deaconu–Renault systems.
-
(i) If
$h \colon \mathsf {X} \to \mathsf {Y}$
is a conjugacy, then there is a
$*$
-isomorphism
$\varphi \colon C^*(\mathcal {G}_{\mathsf {X}}) \to C^*(\mathcal {G}_{\mathsf {Y}})$
satisfying
$\varphi (C_0(\mathsf {X}))= C_0(\mathsf {Y})$
,
$\varphi (f)=f\circ h^{-1}$
for all
$f \in C_0(\mathsf {X})$
, and
$\varphi \circ \gamma _\chi ^{\mathsf {X}, g\circ h} = \gamma _\chi ^{\mathsf {Y}, g} \circ \varphi $
whenever
$\Gamma $
is a locally compact abelian group,
$g \in C(\mathsf {Y},\Gamma )$
, and
$\chi \in \widehat {\Gamma }$
. -
(ii) Conversely, suppose that
$\varphi \colon C^*(\mathcal {G}_{\mathsf {X}}) \to C^*(\mathcal {G}_{\mathsf {Y}})$
is a
$*$
-isomorphism,
$h \colon \mathsf {X} \to \mathsf {Y}$
is a homeomorphism (which is not necessarily a conjugacy), and
$\Gamma $
is a locally compact abelian group that is separating for
$\mathsf {X}$
and
$\mathsf {Y}$
such that
$\varphi \circ \gamma _\chi ^{\mathsf {X}, g \circ h} = \gamma _\chi ^{\mathsf {Y}, g} \circ \varphi $
for all
$\chi \in \widehat {\Gamma }$
and
$g \in C(\mathsf {Y},\Gamma )$
. Then
$\varphi (C_0(\mathsf {X})) = C_0(\mathsf {Y})$
, and there exists a conjugacy
$\widetilde {h} \colon \mathsf {X} \to \mathsf {Y}$
such that
$\varphi (f)=f\circ \widetilde {h}^{-1}$
for all
$f \in C_0(\mathsf {X})$
and
$\varphi \circ \gamma _\chi ^{\mathsf {X}, g\circ \widetilde {h}} = \gamma _\chi ^{\mathsf {Y}, g} \circ \varphi $
for all
$\chi \in \widehat {\Gamma }$
and
$g \in C(\mathsf {Y},\Gamma )$
.
Proof. For (i), suppose that
$h \colon \mathsf {X} \to \mathsf {Y}$
is a conjugacy. By Proposition 3.8, there is a groupoid isomorphism
$\psi \colon \mathcal {G}_{\mathsf {X}} \to \mathcal {G}_{\mathsf {Y}}$
satisfying
$$ \begin{align*} \psi(x, p, y) = (h(x), p, h(y)), \end{align*} $$
for
$(x,p,y)\in \mathcal {G}_{\mathsf {X}}$
. This isomorphism induces a
$*$
-isomorphism
$\varphi \colon C^*(\mathcal {G}_{\mathsf {X}}) \to C^*(\mathcal {G}_{\mathsf {Y}})$
satisfying
$\varphi (\xi ) = \xi \circ \psi ^{-1}$
for
$\xi \in C_c(\mathcal {G}_{\mathsf {X}})$
and
$\varphi (C_0(\mathsf {X})) = C_0(\mathsf {Y})$
with
$\varphi (f) = f \circ h^{-1}$
for
$f \in C_0(\mathsf {X})$
. Suppose that
$\Gamma $
is a locally compact abelian group and
$g\in C(\mathsf {Y}, \Gamma )$
. It follows from Proposition 3.8 that
$c_{g\circ h} = c_g\circ \psi $
. (Note that the proof of the relevant part of Proposition 3.8 does not require
$\Gamma $
to be separating for
$\mathsf {Y}$
.) This implies that
$\varphi \circ \gamma _\chi ^{\mathsf {X}, g\circ h} = \gamma _\chi ^{\mathsf {Y}, g}\circ \varphi $
for all
$\chi \in \widehat {\Gamma }$
.
For (ii), suppose that
$\varphi \colon C^*(\mathcal {G}_{\mathsf {X}}) \to C^*(\mathcal {G}_{\mathsf {Y}})$
is a
$*$
-isomorphism,
$h \colon \mathsf {X} \to \mathsf {Y}$
is a homeomorphism, and
$\Gamma $
is a locally compact abelian group that is separating for
$\mathsf {X}$
and
$\mathsf {Y}$
such that
$\varphi \circ \gamma _\chi ^{\mathsf {X}, g\circ h} = \gamma _\chi ^{\mathsf {Y}, g} \circ \varphi $
for all
$\chi \in \widehat {\Gamma }$
and
$g \in C(\mathsf {Y},\Gamma )$
. Since
$\Gamma $
is separating for both
$\mathsf {X}$
and
$\mathsf {Y}$
, it follows from Lemma 3.9 that
$\varphi (C_0(\mathsf {X})) = C_0(\mathsf {Y})$
. Let
$\widetilde {h} \colon \mathsf {X} \to \mathsf {Y}$
be the induced homeomorphism satisfying
$\varphi (f) = f\circ \widetilde {h}^{-1}$
for
$f\in C_0(\mathsf {X})$
from Gelfand duality.
Since
$\Gamma $
is separating for
$\mathsf {X}$
and
$\mathsf {Y}$
, it contains an element
$\zeta $
of infinite order. Choose
$g\in C(\mathsf {Y}, \Gamma )$
to be constantly equal to
$\zeta $
. Then
$\gamma _\chi ^{\mathsf {Y}, g}=\gamma _{\chi (\zeta )}^{\mathsf {Y}}$
and
$\gamma _\chi ^{\mathsf {X}, g\circ h}=\gamma _{\chi (\zeta )}^{\mathsf {X}}$
for
$\chi \in \widehat {\Gamma }$
. Since
$\varphi \circ \gamma _\chi ^{\mathsf {X}, g\circ h} = \gamma _\chi ^{\mathsf {Y}, g} \circ \varphi $
for all
$\chi \in \widehat {\Gamma }$
, it follows that if we let
$G=\mathbb {Z}$
,
$c_1=c_{\mathsf {X}}$
, and
$c_2=c_{\mathsf {Y}}$
, then (3.8) in Lemma 3.10 holds. An application of Lemma 3.10 thus gives us a groupoid isomorphism
$\psi \colon \mathcal {G}_{\mathsf {X}} \to \mathcal {G}_{\mathsf {Y}}$
with
$\psi ^{(0)} = \widetilde {h}$
such that
$c_{g\circ h} = c_g \circ \psi $
for all
$g \in C(\mathsf {Y}, \Gamma )$
. It now follows from Proposition 3.8 that
$\widetilde {h}=\psi ^{(0)}$
is a conjugacy, and that
$c_{g\circ \widetilde {h}} = c_g \circ \psi $
for all
$g \in C(\mathsf {Y}, \Gamma )$
.
Fix
$g \in C(\mathsf {Y}, \Gamma )$
. Then
$c_{g\circ \widetilde {h}} = c_g \circ \psi = c_{g\circ h}$
. It follows that
$\gamma ^{\mathsf {X}, g \circ \widetilde {h}} = \gamma ^{\mathsf {X}, g \circ h}$
, and thus
$$ \begin{align*} \varphi \circ \gamma_\chi^{\mathsf{X}, g \circ \widetilde{h}} = \varphi \circ \gamma_\chi^{\mathsf{X}, g \circ h} = \gamma_\chi^{\mathsf{Y}, g} \circ \varphi \end{align*} $$
for all
$\chi \in \widehat {\Gamma }$
.
Remark 3.13. In [Reference Eilers, Ruiz and SimsERS20], Ruiz, Sims, and the fourth-named author show that a pair of amplified graphs (i.e. graphs in which every vertex emits either infinitely many or no edges to any other vertex) are graph-isomorphic if and only if there is a
$*$
-isomorphism of their graph C*-algebras that intertwines the canonical gauge actions. It follows from this and Proposition 3.12 that the boundary-path spaces of two amplified graphs are conjugate if and only if there is a
$*$
-isomorphism of their graph C*-algebras that intertwines the canonical gauge actions. This is an interesting result which we cannot expect to hold for larger classes of graphs. In fact, it is known that if the boundary-path spaces of two directed graphs are eventually conjugate, then there is a
$*$
-isomorphism of their graph C*-algebras that intertwines the canonical gauge actions (see [Reference Carlsen and RoutCR17, Theorem 4.1]), and [Reference Brix and CarlsenBC20a, Example 3.6] provides an example of two (finite) directed graphs (with no sinks and no sources) with boundary-path spaces that are eventually conjugate, but not conjugate.
Acknowledgements
The first-named author would like to thank the other three authors for their hospitality during a visit to the University of Copenhagen in 2019. This visit was funded by an Australian Mathematical Society Lift-Off Fellowship. The second-named author is supported by the Carlsberg Foundation through an Internationalisation Fellowship, and is grateful to the people at the University of Wollongong for providing a hospitable and stimulating environment during his stay. The third-named author is supported by Research Council Faroe Islands, and is grateful to the Department of Mathematical Sciences at the University of Copenhagen for their hospitality during a visit in 2019. The fourth-named author was supported by the DFF-Research Project 2 ‘Automorphisms and Invariants of Operator Algebras’, no. 7014-00145.
Open access
