Homology and K-theory of dynamical systems. I. torsion-free ample groupoids
Valerio Proietti, Makoto Yamashita
备注：
v4: 23 pages, post-publication notes; v3: 23 pages, new title, Smale space part is split off as arXiv:2104.10938, to appear in Ergodic Theory Dynam. Systems; v2: 38 pages, some remarks and appendix expanded; v1: 34 pages
发表信息：
Ergodic Theory and Dynamical Systems 42-8 (2022), 2630-2660
Given an ample groupoid, we construct a spectral sequence with groupoid homology with integer coefficients on the second sheet, converging to the K-groups of the (reduced) groupoid C*-algebra, provided the groupoid has torsion-free stabilizers and satisfies a strong form of the Baum-Connes conjecture. The construction is based on the triangulated category approach to the Baum-Connes conjecture developed by Meyer and Nest. We also present a few applications to topological dynamics and discuss the HK conjecture of Matui.
We study a Going-Down (or restriction) principle for ample groupoids and its applications. The Going-Down principle for locally compact groups was developed by Chabert, Echterhoff and Oyono-Oyono and allows to study certain functors, that arise in the context of the topological K-theory of a locally compact group, in terms of their restrictions to compact subgroups. We extend this principle to the class of ample Hausdorff groupoids using Le Gall's groupoid equivariant version of Kasparov's bivariant KK-theory. Moreover, we provide an application to the Baum-Connes conjecture for ample groupoid…
This paper investigates the $\mathrm{K}$-theory of twisted groupoid $\mathrm{C}^*$-algebras. It is shown that a homotopy of twists on an ample groupoid satisfying the Baum-Connes conjecture with coefficients gives rise to an isomorphism between the $\mathrm{K}$-theory groups of the respective twisted groupoid $\mathrm{C}^*$-algebras. The results are also interpreted in an inverse semigroup setting and applied to generalized Renault-Deaconu groupoids and $P$-graph algebras.
We investigate the homology of ample Hausdorff groupoids. We establish that a number of notions of equivalence of groupoids appearing in the literature coincide for ample Hausdorff groupoids, and deduce that they all preserve groupoid homology. We compute the homology of a Deaconu{Renault groupoid associated to k pairwisecommuting local homeomorphisms of a zero-dimensional space, and show that Matui's HK conjecture holds for such a groupoid when k is one or two. We specialise to k-graph groupoids, and show that their homology can be computed in terms of the adjacency matrices, using a chain co…
We give an example of a locally compact effective Hausdorff, minimal ample groupoid such that its rational homology differs from the $K$-theory of its reduced groupoid $C^*$-algebra. Moreover, we prove that such example satisfies Matui's AH-conjecture.
It is proven that Matui's AH~conjecture is true for Katsura--Exel--Pardo groupoids $\mathcal{G}_{A,B}$ associated to integral matrices $A$ and $B$. This conjecture relates the topological full group of an ample groupoid with the homology groups of the groupoid. We also give a criterion under which the topological full group $[[\mathcal{G}_{A,B}]]$ is finitely generated.
We prove that Matui's AH conjecture holds for graph groupoids of infinite graphs. This is a conjecture which relates the topological full group of an ample groupoid with the homology of the groupoid. Our main result complements Matui's result in the finite case, which makes the AH conjecture true for all graph groupoids covered by the assumptions of said conjecture. Furthermore, we observe that for arbitrary graphs, the homology of a graph groupoid coincides with the $K$-theory of its groupoid $C^*$-algebra.
Scarparo has constructed counterexamples to Matui's HK-conjecture. These counterexample and other known counterexamples are essentially principal but not principal. In the present paper, a counterexample to the HK-conjecture that is principal is given. Like Scarparo's original counterexample, our counterexample is the transformation groupoid associated to a particular odometer. However, the relevant group is the fundamental group of a flat manifold (and hence is torsion-free) and the associated odometer action is free. The examples discussed here do satisfy the rational version of the HK-conje…
