Isomorphisms in K-theory from isomorphisms in groupoid homology theories

Alistair Miller
2024-10-10
Abstract:We prove that for torsion-free amenable ample groupoids, an isomorphism in groupoid homology induced by an étale correspondence yields an isomorphism in the K-theory of the associated $\mathrm{C}^\ast$-algebras. We apply this to extend X. Li's K-theory formula for left regular inverse semigroup $\mathrm{C}^\ast$-algebras. These results are obtained by developing the functoriality of the ABC spectral sequence.
K-Theory and Homology,Operator Algebras
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: **How to transform isomorphisms in groupoid homology into isomorphisms in K - theory, especially in the case induced by étale correspondences**. Specifically, the author studied whether for torsion - free, measurable ample groupoids, the isomorphisms induced by étale correspondences in groupoid homology can also induce isomorphisms in the K - theory of the associated C* - algebras. ### Main problems and background 1. **The importance of groupoids and their C* - algebras**: - Groupoids (especially étale groupoids) and their associated C* - algebras play a central role in the field of operator algebras and occur naturally in non - commutative geometry and topological dynamics. - The homology invariants and K - theory invariants of groupoids contain crucial information, which plays an important role in classification programs. 2. **Challenges and motivations**: - Computing the operator K - theory \( K_*(C^*_r(G)) \) associated with an étale groupoid \( G \) can be very challenging. - In order to make progress, it is often possible to relate the operator K - theory to the more easily computable groupoid homology or topological K - theory. 3. **Main contributions**: - The author proved that under certain conditions, isomorphisms in groupoid homology can be transformed into isomorphisms in K - theory. - Specifically, for torsion - free ample groupoids, the isomorphisms induced by étale correspondences in groupoid homology can also induce isomorphisms in the K - theory of the associated C* - algebras. ### Key theorems - **Theorem A** (see Corollary 7.3): Let \( G \) and \( H \) be second - countable Hausdorff ample groupoids with torsion - free isotropy groups and satisfy the Baum - Connes conjecture. Suppose \( \Omega: G\rightarrow H \) is a proper second - countable Hausdorff étale correspondence, which induces an isomorphism \( H_*(\Omega): H_*(G)\rightarrow H_*(H) \) in homology. Then \( \Omega \) also induces an isomorphism \( K_*(C^*_r(G))\cong K_*(C^*_r(H)) \) in K - theory. ### Applications and generalizations - **Corollary B** (see Corollary 7.4): For a countable inverse semigroup \( S \), its universal groupoid is Hausdorff and satisfies the Baum - Connes conjecture. If the stabilizer group \( S_e=\{ s\in S\mid s^*s = ss^* = e\} \) of each non - zero idempotent \( e\in E^\times \) is torsion - free, then \( K_*(C^*_\lambda(S))\cong \bigoplus_{\text{orb}(e)\in S\backslash E^\times} K_*(C^*_\lambda(S_e)) \). ### Technical means - The author achieved this goal by studying the functorial properties of the ABC spectral sequence, with particular attention to the influence of étale correspondences on these spectral sequences. - By introducing appropriate localizations and derived functors, the author was able to relate the isomorphisms in groupoid homology to those in K - theory. In conclusion, the main purpose of this paper is to provide a new method to understand and compute the K - theory of C* - algebras associated with groupoids by studying the relationship between groupoid homology and K - theory, especially under the action of étale correspondences.