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.
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.