We prove that if $G$ is a countable discrete group with property (T) over an infinite subgroup $H<G$ which contains an infinite Abelian subgroup or is normal, then $G$ has continuum many orbit inequivalent measure preserving a.e. free ergodic actions on a standard Borel probability space. Further, we obtain that the measure preserving a.e. free ergodic actions of such a $G$ cannot be classified up to orbit equivalence be a reasonable assignment of countable structures as complete invariants. We also obtain a strengthening and a new proof of a non-classification result of Foreman and Weiss for conjugacy of measure preserving ergodic, a.e. free actions of discrete countable groups.
We study asymptotic continuous orbit equivalence of Smale spaces. We prove that two irreducible Smale spaces are flip conjugate if and only if there exists a periodic point preserving homeomorphism giving an asymptotic continuous orbit equivalence between them. We introduce a notion of asymptotic topological conjugacy and asymptotic flip conjugacy in Smale spaces and characterize them in terms of the associated Ruelle algebras with dual actioons. We finally characterize the flip conjugacy classes of irreducible two-sided topological Markov shifts in terms of the associated Ruelle algebras with…
We introduce the notion of balanced strong shift equivalence between square nonnegative integer matrices, and show that two finite graphs with no sinks are one-sided eventually conjugate if and only if their adjacency matrices are conjugate to balanced strong shift equivalent matrices. Moreover, we show that such graphs are eventually conjugate if and only if one can be reached by the other via a sequence of out-splits and balanced in-splits; the latter move being a variation of the classical in-split move introduced by Williams in his study of shifts of finite type. We also relate one-sided e…
Building on work of Popa, Ioana, and Epstein--Törnquist, we show that, for every nonamenable countable discrete group $Γ$, the relations of conjugacy, orbit equivalence, and von Neumann equivalence of free ergodic (or weak mixing) measure preserving actions of $Γ$ on the standard atomless probability space are not Borel, thus answering questions of Kechris. This is an optimal and definitive result, which establishes a neat dichotomy with the amenable case, since any two free ergodic actions of an amenable group on the standard atomless probability space are orbit equivalent by classical result…
Let $H$ be a complex Hilbert space of dimension not less than $3$ and let ${\mathcal C}$ be a conjugacy class of compact self-adjoint operators on $H$. Suppose that the dimension of the kernels of operators from ${\mathcal C}$ not less than the dimension of their ranges. In the case when ${\mathcal C}$ is formed by operators of finite rank $k$ and $\dim H=2k$, we assume that $k\ge 4$. We show that every bijective transformation of C preserving the commutativity in both directions is induced by a unitary or anti-unitary operator up to a permutation of eigenspaces of the same dimension.
We provide the rigorous foundations for a categorical approach to the classification of C*-dynamics up to cocycle conjugacy. Given a locally compact group $G$, we consider a category of (twisted) $G$-C*-algebras, where morphisms between two objects are allowed to be equivariant maps or exterior equivalences, which leads to the concept of so-called cocycle morphisms. An isomorphism in this category is precisely a cocycle conjugacy in the known sense. We show that this category allows sequential inductive limits, and that some known functors on the usual category of $G$-C*-algebras extend. After…
We show that the unitary conjugacy relation for unitary representations of a second countable locally compact group on a separable Hilbert space is a Borel equivalence relation.
We consider several weaker versions of the notion of conjugacy and orbit equivalence of measure preserving actions of countable groups on probability spaces, involving equivalence of the ultrapower actions and asymptotic intertwining conditions. We compare them with the other existing equivalence relations between group actions, and study the usual type of rigidity questions around these new concepts (superrigidity, calculation of invariants, etc).
We establish criteria for turbulence in certain spaces of C*-algebra representations and apply this to the problem of nonclassifiability by countable structures for group actions on a standard atomless probability space (X,μ) and on the hyperfinite II_1 factor R. We also prove that the conjugacy action on the space of free actions of a countably infinite amenable group on R is turbulent, and that the conjugacy action on the space of ergodic measure-preserving flows on (X,μ) is generically turbulent.
We will introduce a notion of strongly continuous orbit equivalence in one-sided topological Markov shifts. Strongly continuous orbit equivalence yields a topological conjugacy between their two-sided topological Markov shifts $(\bar{X}_A, \barσ_A)$ and $(\bar{X}_B, \barσ_B)$. We prove that one-sided topological Markov shifts $(X_A, σ_A)$ and $(X_B, σ_B)$ are strongly continuous orbit equivalent if and only if there exists an isomorphism bewteen the Cuntz-Krieger algebras ${\mathcal{O}}_A$ and ${\mathcal{O}}_B$ preserving their maximal commutative $C^*$-subalgebras $C(X_A)$ and $C(X_B)$ and gi…
We prove that ample groupoids with sigma-compact unit spaces are equivalent if and only if they are stably isomorphic in an appropriate sense, and relate this to Matui's notion of Kakutani equivalence. We use this result to show that diagonal-preserving stable isomorphisms of graph C*-algebras or Leavitt path algebras give rise to isomorphisms of the groupoids of the associated stabilised graphs. We deduce that the Leavitt path algebras $L_Z(E_2)$ and $L_Z(E_{2-})$ are not stably *-isomorphic.
For an irreducible non-permutation matrix $A$, the triplet $({\mathcal{O}_A},{\mathcal{D}_A},ρ^A)$ for the Cuntz-Krieger algebra ${\mathcal{O}_A}$, its canonical maximal abelian $C^*$-subalgebra ${\mathcal{D}_A}$, and its gauge action $ρ^A$ is called the Cuntz-Krieger triplet. We introduce a notion of strong Morita equivalence in the Cuntz-Krieger triplets, and prove that two Cuntz-Krieger triplets $({\mathcal{O}_A},{\mathcal{D}_A},ρ^A)$ and $({\mathcal{O}_B},{\mathcal{D}_B},ρ^B)$ are strong Morita equivalent if and only if $A$ and $B$ are strong shift equivalent. We also show that the general…
A $λ$-graph system $\frak L$ is a labeled Bratteli diagram with shift operation. It is a generalized notion of finite labeled graph and presents a subshifts. We will study continuous orbit equivalence of one-sided subshifts and topological conjugacy of two-sided subshifts from the view points of groupoids and $C^*$-algebras constructed from $λ$-graph systems.
We initiate the program of extending to higher-rank graphs ($k$-graphs) the geometric classification of directed graph $C^*$-algebras, as completed in the 2016 paper of Eilers, Restorff, Ruiz, and Sorensen [ERRS16]. To be precise, we identify four "moves," or modifications, one can perform on a $k$-graph $Λ$, which leave invariant the Morita equivalence class of its $C^*$-algebra $C^*(Λ)$. These moves -- insplitting, delay, sink deletion, and reduction -- are inspired by the moves for directed graphs described by Sorensen [S\o13] and Bates-Pask [BP04]. Because of this, our perspective on $k$-g…
In the first part of the paper, we introduce notions of asymptotic continuous orbit equivalence and asymptotic conjugacy in Smale spaces and characterize them in terms of their asymptotic Ruelle algebras with their dual actions. In the second part, we introduce a groupoid $C^*$-algebra which is an extended version of the asymptotic Ruelle algebra from a Smale space and study the extended Ruelle algebras from the view points of Cuntz--Krieger algebras. As a result, the asymptotic Ruelle algebra is realized as a fixed point algebra of the extended Ruelle algebra under certain circle action.
We study the classification of group actions on C*-algebras up to equivariant KK-equivalence. We show that any group action is equivariantly KK-equivalent to an action on a simple, purely infinite C*-algebra. We show that a conjecture of Izumi is equivalent to an equivalence between cocycle conjugacy and equivariant KK-equivalence for actions of torsion-free amenable groups on Kirchberg algebras. Let G be a cyclic group of prime order. We describe its actions up to equivariant KK-equivalence, based on previous work by Manuel Köhler. In particular, we classify actions of G on stabilised Cuntz a…
We prove that for a countable discrete group $Γ$ containing a copy of the free group $\F_n$, for some $2\leq n\leq\infty$, as a normal subgroup, the equivalence relations of conjugacy, orbit equivalence and von Neumann equivalence of the ergodic a.e. free actions of $Γ$ are analytic non-Borel equivalence relations in the Polish space of probability measure preserving $Γ$ actions. As a consequence we obtain that the isomorphism relation in the spaces of separably acting factors of type $\II_1$, $\II_\infty$ and $\III_λ$, $0\leqλ\leq 1$, are analytic and not Borel when these spaces are given the…
Let $G$ be a countable group. We introduce several equivalence relations on the set ${\rm Sub}(G)$ of subgroups of $G$, defined by properties of the quasi-regular representations $λ_{G/H}$ associated to $H\in {\rm Sub}(G)$ and compare them to the relation of $G$-conjugacy of subgroups. We define a class ${\rm Sub}_{\rm sg}(G)$ of subgroups (these are subgroups with a certain spectral gap property) and show that they are rigid, in the sense that the equivalence class of $H\in {\rm Sub}_{\rm sg}(G)$ for any one of the above equivalence relations coincides with the $G$-conjugacy class of $H$. Nex…
We take the first steps towards a better understanding of continuous orbit equivalence, i.e., topological orbit equivalence with continuous cocycles. First, we characterise continuous orbit equivalence in terms of isomorphisms of C*-crossed products preserving Cartan subalgebras. This is the topological analogue of the classical result by Singer and Feldman-Moore in the measurable setting. Secondly, we turn to continuous orbit equivalence rigidity, i.e., the question whether for certain classes of topological dynamical systems, continuous orbit equivalence implies conjugacy. We show that this …
We show that the class $\mathscr{B}$, of discrete groups which satisfy the conclusion of Popa's Cocycle Superrigidity Theorem for Bernoulli actions, is invariant under measure equivalence. We generalize this to the setting of discrete p.m.p. groupoids, and as a consequence we deduce that any nonamenable lattice in a product of two noncompact, locally compact second countable groups, must belong to $\mathscr{B}$. We also introduce a measure-conjugacy invariant called Weak Pinsker entropy and show that, if G is a group in the class $\mathscr{B}$, then Weak Pinsker entropy is an orbit-equivalence…
In this short note we construct two countable, infinite conjugacy class groups which admit free, ergodic, probability measure preserving orbit equivalent actions, but whose group von Neumann algebras are not (stably) isomorphic.
