Given a discrete and countable inverse semigroup $S$ one can study, in analogy to the group case, its geometric aspects. In particular, we can equip $S$ with a natural metric, given by the path metric in the disjoint union of its Schützenberger graphs. This graph, which we denote by $Λ_S$, inherits much of the structure of $S$. In this article we compare the C*-algebra $\mathcal{R}_S$, generated by the left regular representation of $S$ on $\ell^2(S)$ and $\ell^\infty(S)$, with the uniform Roe algebra over the metric space, namely $C^*_u(Λ_S)$. This yields a chacterization of when $\mathcal{R}_S = C^*_u(Λ_S)$, which generalizes finite generation of $S$. We have termed this by finite labeability (FL), since it holds when the $Λ_S$ can be labeled in a finitary manner.
The graph $Λ_S$, and the FL condition above, also allow to analyze large scale properties of $Λ_S$ and relate them with C*-properties of the uniform Roe algebra. In particular, we show that domain measurability of $S$ (a notion generalizing Day's definition of amenability of a semigroup, cf., [5]) is a quasi-isometric invariant of $Λ_S$. Moreover, we characterize property A of $Λ_S$ (or of its components) in terms of the nuclearity and exactness of the corresponding C*-algebras. We also treat the special classes of F-inverse and E-unitary inverse semigroups from this large scale point of view.
It was shown recently by M. Lorentz and R. Willett that all bounded derivations of the uniform Roe algebras of metric spaces of bounded geometry are inner. Here we calculate the space of outer derivations of the uniform Roe algebras with coefficients in uniform Roe bimodules related to various metrics on the two copies of the given space. We also give some results on the higher Hochschild cohomology with coefficients in uniform Roe bimodules.
We work on $\ell_p$ uniform Roe algebras associated to metric spaces, and on their mutual embedding. We generalize results of I. Farah and the authors to mutual embeddings of uniform Roe algebras of operators on $\ell_p$ spaces. Simultaneously, we obtain rigidity results for the classic uniform Roe $\mathrm{C}^*$-algebras which depend only on their Banach algebra structure.
In this paper we study structural and uniqueness questions for Cartan subalgebras of uniform Roe algebras. We characterise when an inclusion $B\subseteq A$ of $\mathrm{C}^*$-algebras is isomorphic to the canonical inclusion of $\ell^\infty(X)$ inside a uniform Roe algebra $C^*_u(X)$ associated to a metric space of bounded geometry. We obtain uniqueness results for `Roe Cartans' inside uniform Roe algebras up to automorphism when $X$ coarsely embeds into Hilbert space, and up to inner automorphism when $X$ has property A.
In this paper, we study embeddings of uniform Roe algebras. Generally speaking, given metric spaces $X$ and $Y$, we are interested in which large scale geometric properties are stable under embedding of the uniform Roe algebra of $X$ into the uniform Roe algebra of $Y$.
We show that if $C_u^*(X)$ is a uniform Roe algebra associated to a bounded geometry metric space X, then all bounded derivations on $C^*_u(X)$ are inner.
In Rufus Willett's and the authors paper "Bounded Derivations on Uniform Roe Algebras" we showed that all bounded derivations on a uniform Roe algebra $C^*_u(X)$ associated to a bounded geometry metric space $X$ are inner. This naturally leads to the question of whether or not the higher dimensional Hochschild cohomology groups of the uniform Roe algebra vanish also. While we cannot answer this question completely, we are able to give necessary and sufficient conditions for the vanishing of $H^n_c(C_u^*(X),C_u^*(X))$. Lastly, we show that if the norm continuous Hochschild cohomology of a unifo…
We introduce a generalization of expander graphs, which is called a weak expander sequence. It is proved that a uniform Roe algebra of a weak expander sequence is not locally reflexive. It follows that uniform Roe algebras of expander graphs are not exact. We introduce the notion of a generalized box space to discuss box spaces and expander sequences in a unified framework. Key tools for the proof are amenable traces and measured groupoids associated to generalized box spaces.
We generalize all known results on rigidity of uniform Roe algebras to the setting of arbitrary uniformly locally finite coarse spaces. For instance, we show that isomorphism between uniform Roe algebras of uniformly locally finite coarse spaces whose uniform Roe algebras contain only compact ghost projections implies that the base spaces are coarsely equivalent. Moreover, if one of the spaces has property A, then the base spaces are bijectively coarsely equivalent. We also provide a characterization for the existence of an embedding onto hereditary subalgebra in terms of the underlying spaces…
Generalizing the case of an infinite discrete metric space of finite diameter, we say that a discrete metric space $(X,d)$ is a Kuiper space, if the group of invertible elements of its uniform Roe algebra is norm-contractible. Various sufficient conditions on $(X,d)$ to be or not to be a Kuiper space are obtained.
We prove that uniform Roe C*-algebras associated to some expander graphs coming from discrete groups with property (τ) are not K-exact. In particular, we show that this is the case for the expander obtained as Cayley graphs of a sequence of alternating groups (with appropriately chosen generating sets).
In this paper, we study the rigidity of uniform Roe algebras via the ideal structures. We showed that for given metric spaces X and Y with bounded geometry, if their uniform Roe algebras are isomorphic, then they are coarse equivalent.
We show that if $X$ and $Y$ are uniformly locally finite metric spaces whose uniform Roe algebras, $\cstu(X)$ and $\cstu(Y)$, are isomorphic as \cstar-algebras, then $X$ and $Y$ are coarsely equivalent metric spaces. Moreover, we show that coarse equivalence between $X$ and $Y$ is equivalent to Morita equivalence between $\cstu(X)$ and $\cstu(Y)$. As an application, we obtain that if $Γ$ and $Λ$ are finitely generated groups, then the crossed products $\ell_\infty(Γ)\rtimes_rΓ$ and $ \ell_\infty(Λ)\rtimes_rΛ$ are isomorphic if and only if $Γ$ and $Λ$ are bi-Lipschitz equivalent.
For two discrete metric spaces, $X$ and $Y$ we consider metrics on $X\sqcup Y$ compatible with the metrics on $X$ and $Y$. As morphisms from $X$ to $Y$ we consider the Roe bimodules, i.e. the norm closures of bounded finite propagation operators from $l^2(X)$ to $l^2(Y)$. We study the corresponding category $\mathcal M$, which is also a 2-category. We show that almost isometries determine morphisms in $\mathcal M$. We also consider the case $Y=X$, when there is a richer algebraic structure on the set of morphisms of $\mathcal M$: it is a partially ordered semigroup with the neutral element, wi…
A uniform Roe corona is the quotient of the uniform Roe algebra of a metric space by the ideal of compact operators. Among other results, we show that it is consistent with ZFC that isomorphism between uniform Roe coronas implies coarse equivalence between the underlying spaces, for the class of uniformly locally finite metric spaces which coarsely embed into a Hilbert space. Moreover, for uniformly locally finite metric spaces with property A, it is consistent with ZFC that isomorphism between the uniform Roe coronas is equivalent to bijective coarse equivalence between some of their cofinite…
Let $Γ$ be a countable discrete group. We show that $Γ$ has the approximation property if and only if $Γ$ is exact and for any operator space $S \subseteq \K(H)$ we have $\Cu(Γ)^Γ \otimes S = (\Cu(Γ) \otimes S)^Γ$, where $\Cu(Γ)$ is the uniform Roe algebra with the right adjoint $Γ$-action. This answers a question of J. Zacharias. We also show that characterisations of several properties of $Γ$ in terms of the reduced group \cast-algebra apply to the invariant uniform Roe algebra $\Cu(Γ)^Γ$.
Given a coarse space $(X,\mathcal{E})$, one can define a $\mathrm{C}^*$-algebra $\mathrm{C}^*_u(X)$ called the uniform Roe algebra of $(X,\mathcal{E})$. It has been proved by J. Špakula and R. Willett that if the uniform Roe algebras of two uniformly locally finite metric spaces with property A are isomorphic, then the metric spaces are coarsely equivalent to each other. In this paper, we look at the problem of generalizing this result for general coarse spaces and on weakening the hypothesis of the spaces having property A.
We study the uniform Roe algebras associated to locally finite groups. We show that for two countable locally finite groups $Γ$ and $Λ$, the associated uniform Roe algebras $C^*_u(Γ)$ and $C^*_u(Λ)$ are $*$-isomorphic if and only if their $K_0$ groups are isomorphic as ordered abelian groups with units. This can be seen as a non-separable non-simple analogue of the Glimm-Elliott classification of UHF algebras. To the best of our knowledge, this is the first classification result for a class of non-separable unital $C^*$-algebras. Along the way we also obtain a rigidity result: two countable lo…
We study property A for metric spaces $X$ with bounded geometry introduced by Guoliang Yu. Property A is an amenability-type condition, which is less restrictive than amenability for groups. The property has a connection with finite-dimensional approximation properties in the theory of operator algebras. It has been already known that property A of a metric space $X$ with bounded geometry is equivalent to nuclearity of the uniform Roe algebra C$^*_u(X)$. We prove that exactness and local reflexivity of C$^*_u(X)$ also characterize property A of $X$.
We study embeddings of uniform Roe algebras which have "large range" in their codomain and the relation of those with coarse quotients between metric spaces. Among other results, we show that if $Y$ has property A and there is an embedding $Φ:\mathrm{C}^*_u(X)\to \mathrm{C}^*_u(Y)$ with "large range" and so that $Φ(\ell_\infty(X))$ is a Cartan subalgebra of $\mathrm{C}^*_u(Y)$, then there is a bijective coarse quotient $X\to Y$. This shows that the large scale geometry of $Y$ is, in some sense, controlled by the one of $X$. For instance, if $X$ has finite asymptotic dimension, so does $Y$.
The goal of this paper is to study when uniform Roe algebras have certain $C^*$-algebraic properties in terms of the underlying space: in particular, we study properties like having stable rank one or real rank zero that are thought of as low dimensional, and connect these to low dimensionality of the underlying space in the sense of the asymptotic dimension of Gromov. Some of these results (for example, on stable rank one, cancellation, strong quasidiagonality, and finite decomposition rank) give definitive characterizations, while others (on real rank zero) are only partial and leave a lot o…
Gong, Wang and Yu introduced a maximal, or universal, version of the Roe C*-algebra associated to a metric space. We study the relationship between this maximal Roe algebra and the usual version, in both the uniform and non-uniform cases. The main result is that if a (uniformly discrete, bounded geometry) metric space X coarsely embeds in a Hilbert space, then the canonical map between the maximal and usual (uniform) Roe algebras induces an isomorphism on K-theory. We also give a simple proof that if X has property A, then the maximal and usual (uniform) Roe algebras are the same. These two re…
Very recently, Špakula and Tikuisis provide a new characterisation of (uniform) Roe algebras via quasi-locality when the underlying metric spaces have straight finite decomposition complexity. In this paper, we improve their method to deal with the $L^p$-version of (uniform) Roe algebras for any $p\in [1,\infty)$. Due to the lack of reflexivity on $L^1$-spaces, some extra work is required for the case of $p=1$.
Amenability for groups can be extended to metric spaces, algebras over commutative fields and $C^*$-algebras by adapting the notion of Følner nets. In the present article we investigate the close ties among these extensions and show that these three pictures unify in the context of the uniform Roe algebra $C_u^*(X)$ over a metric space $(X,d)$ with bounded geometry. In particular, we show that the following conditions are equivalent: (1) $(X,d)$ is amenable; (2) the translation algebra generating $C_u^*(X)$ is algebraically amenable (3) $C_u^*(X)$ has a tracial state; (4) $C_u^*(X)$ is not pro…
In this paper, we investigate the ideal structure of uniform Roe algebras for general metric spaces beyond the scope of Yu's property A. Inspired by the ideal of ghost operators coming from expander graphs and in contrast to the notion of geometric ideal, we introduce a notion of ghostly ideal in a uniform Roe algebra, whose elements are locally invisible in certain directions at infinity. We show that the geometric ideal and the ghostly ideal are respectively the smallest and the largest element in the lattice of ideals with a common invariant open subset of the unit space of the coarse group…
$K$-Theoretic Comparison of Roe and Quasi-Local Algebras via Projections
Centre for Mathematical Sciences, Lund University（隆德大学数学中心）；School of Mathematical Sciences, Fudan University（复旦大学数学科学学院）；College of Data Science, Jiaxing University（嘉兴大学数据科学学院）
It was noticed recently that, given a metric space $(X,d_X)$, the equivalence classes of metrics on the disjoint union of the two copies of $X$ coinciding with $d_X$ on each copy form an inverse semigroup $M(X)$ with respect to concatenation of metrics. Now put this inverse semigroup construction in a more general context, namely, we define, for a C*-algebra $A$, an inverse semigroup $S(A)$ of Hilbert C*-$A$-$A$-bimodules. When $A$ is the uniform Roe algebra $C^*_u(X)$ of a metric space $X$, we construct a map $M(X)\to S(C^*_u(X))$ and show that this map is injective, but not surjective in gen…
We prove the following two results for a given uniformly locally finite metric space with Yu's property A: 1) The group of outer automorphisms of its uniform Roe algebra is isomorphic to its group of bijective coarse equivalences modulo closeness. 2) The group of outer automorphisms of its Roe algebra is isomorphic to its group of coarse equivalences modulo closeness. The main difficulty lies in the latter. To prove that, we obtain several uniform approximability results for maps between Roe algebras and use them to obtain a theorem about the `uniqueness' of Cartan masas of Roe algebras. We fi…
We study which von Neumann algebras can be embedded into uniform Roe algebras and quasi-local algebras associated to a uniformly locally finite metric space $X$. Under weak assumptions, these $\mathrm{C}^*$-algebras contain embedded copies of $\prod_{k}\mathrm{M}_{n_k}(\mathbb C)$ for any \emph{bounded} countable (possibly finite) collection $(n_k)_k$ of natural numbers; we aim to show that they cannot contain any other von Neumann algebras. One of our main results shows that $L_\infty[0,1]$ does not embed into any of those algebras, even by a not-necessarily-normal $*$-homomorphism. In partic…
In this paper, we connect the rigidity problem and the coarse Baum-Connes conjecture for Roe algebras. In particular, we show that if $X$ and $Y$ are two uniformly locally finite metric spaces such that their Roe algebras are $*$-isomorphic, then $X$ and $Y$ are coarsely equivalent provided either $X$ or $Y$ satisfies the coarse Baum-Connes conjecture with coefficients. It is well-known that coarse embeddability into a Hilbert space implies the coarse Baum-Connes conjecture with coefficients. On the other hand, we provide a new example of a finitely generated group satisfying the coarse Baum-C…
We define the concept of a partial translation structure T on a metric space X and we show that there is a natural C*-algebra C*(T) associated with it which is a subalgebra of the uniform Roe algebra C*_u(X). We introduce a coarse invariant of the metric which provides an obstruction to embedding the space in a group. When the space is sufficiently group-like, as determined by our invariant, properties of the Roe algebra can be deduced from those of C*(T). We also give a proof of the fact that the uniform Roe algebra of a metric space is a coarse invariant up to Morita equivalence.
Let $X$ be a discrete metric space with bounded geometry. We show that if $X$ admits an "A-by-CE coarse fibration", then the canonical quotient map $λ: C^*_{\max}(X)\to C^*(X)$ from the maximal Roe algebra to the Roe algebra of $X$, and the canonical quotient map $λ: C^*_{u, \max}(X)\to C^*_u(X)$ from the maximal uniform Roe algebra to the uniform Roe algebra of $X$, induce isomorphisms on $K$-theory. A typical example of such a space arises from a sequence of group extensions $\{1\to N_n\to G_n\to Q_n\to 1\}$ such that the sequence $\{N_n\}$ has Yu's property A, and the sequence $\{Q_n\}$ adm…
The rigidity problem for uniform Roe algebras was recently positively solved. Before its solution was found, there were positive solutions under the assumption of certain technical geometric conditions. In this paper, we introduce weaker versions of the operator norm localization property (ONL) which turn out to characterize those technical geometric conditions. We use this to obtain new rigidity results for nonmetrizable coarse spaces. As an application, we provide a novel partial answer to a question of White and Willett about Cartan subalgebras of uniform Roe algebras. We also study embeddi…
We investigate the rigidity of the $\ell^p$ analog of Roe-type algebras. In particular, we show that if $p\in[1,\infty)\setminus\{2\}$, then an isometric isomorphism between the $\ell^p$ uniform Roe algebras of two metric spaces with bounded geometry yields a bijective coarse equivalence between the underlying metric spaces, while a stable isometric isomorphism yields a coarse equivalence. We also obtain similar results for other $\ell^p$ Roe-type algebras. In this paper, we do not assume that the metric spaces have Yu's property A or finite decomposition complexity.
Let X be a proper metric space, which has finite asymptotic dimension in the sense of Gromov (or more generally, straight finite decomposition complexity of Dranishnikov and Zarichnyi). New descriptions are provided of the Roe algebra of X: (i) it consists exactly of operators which essentially commute with diagonal operators coming from Higson functions (that is, functions on X whose oscillation tends to 0 at infinity) and (ii) it consists exactly of quasi-local operators, that is, ones which have finite epsilon propogation (in the sense of Roe) for every epsilon>0. These descriptions hold bo…
The goal of this paper is to study band-dominated operators on Banach spaces with Schauder basis with respect to uniformly locally finite metric spaces as well as the Banach algebras generated by them: the so called uniform Roe algebras. We investigate several kinds of isomorphisms between those Banach spaces (e.g., isomorphisms preserving norm, order, algebraic structure, etc) and prove several rigidity results on when a certain kind of isomorphism between the uniform Roe algebras implies that the base metric spaces are (bijectively) coarsely equivalent.
We analyze the dichotomy amenable/paradoxical in the context of (discrete, countable, unital) semigroups and corresponding semigroup rings. We consider also Følner's type characterizations of amenability and give an example of a semigroup whose semigroup ring is algebraically amenable but has no Følner sequence. In the context of inverse semigroups $S$ we give a characterization of invariant measures on $S$ (in the sense of Day) in terms of two notions: $domain$ $measurability$ and $localization$. Given a unital representation of $S$ in terms of partial bijections on some set $X$ we define a n…
