Structure and -theory of uniform Roe algebras
It turns out that uniform Roe algebras are easier to classify than Roe algebras.
1. Uniform Roe algebra of a space
See Wright’s talk for the definition: this is the closure (in operator norm on ) of finite propagation operators, on a bounded geometry locally finite metric space. It contains as diagonal matrices.
Theorem 1 (Brodski-Niblo-Wright 2007) For coarsely equivalent spaces, URAs get isomorphic once tensored with . The converge holds for spaces with property (A) (Spakula-Willett 2013).
Need to tensor with arises because coarse equivalences are not bijections. Bijective coarse equivalences lead to isomorphisms of URAs.
Proposition 2 (Willett) For bijectively coarsely equivalent spaces, URAs with their lead to equivalent Cartan pairs.
Question. If groups have isomorphic URAs, can one conclude that they are bijectively coarsely equivalent ?
Answer is positive for non-amenable exact, or property (A) countable groups, by Spakula-Willett’s result combined with Whyte’s upgrading procedure.
Answer is positive for finite groups. Indeed, for finite metric spaces , is the full matrix algebra .
With my office-mate Liao, we treat the locally finite case (every finitely generated subgroup is finite). Indeed, in this case, the URA is locally AF (Willett). Locally AF algebras are classified by their groups (Elliott’s theorem).
Theorem 3 (Li-Liao) Two countable locally finite groups are bijectively coarsely equivalent iff they have isomorphic URAs.
2. Supernatural numbers
Definition 4 For prime, let be the largest integer such that divides the order of some finite subgroup of . Define the supernatural numberof by (formal product).
For instance, , .
Theorem 5 (Protasov 2002) Two countable locally finite groups are bijectively coarsely equivalent iff they have the same supernatural number.
Theorem 6 For a countable group , the following are equivalent.
- is AF (i.e. an inductive limit of finite dimensional algebras).
- is locally AF (i.e. every finite subset is arbitrarily close to some finite dimensional sub algebra).
- is finite ().
- is locally finite.
The last equivalence is due to Scarparo (2016).
Note that Smith showed in 2006 that is locally finite iff , so we investigate a metric version of previous theorem.
Theorem 7 (Li-Willett 2017) Let be a locally finite bounded geometry metric space. Then the following are equivalent.
- is AF.
- is locally AF.
These properties imply that is finite, but the converse need not hold.
2. Nuclear dimension
In 2010, Winter and Zacharias showed that for arbitrary algebras, iff is locally AF. More generally, . Does equality hold ? Answer is positive for dimensions 0 and 1.
3. Asymptotic dimension 1
For non-amenable metric spaces of , , hence does not help. There exist non coarsely equivalent groups with (eg and with finite.
In 2016, Elliott and Sierakowski asked wether this would hold in general. Answer is negative. With Willett, we show that for a genus 2 surface group, .