Robin J. Deeley,Rufus Willett
Abstract:We prove the rational HK-conjecture for a large class of transformation
groupoids in the case when the relevant action has torsion-free stabilizers. A
revised version of the rational HK-conjecture in the case of (possibly) torsion
stabilizers is introduced and proved for a large class of transformation
groupoids. In particular, this revised version holds for Scarparo's
counterexamples to the original rational HK-conjecture. The key tools used are
the Baum-Connes conjecture and a Chern character defined by Raven.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the validity of the HK conjecture (i.e., the isomorphism relationship between K - theory and homology) under specific conditions. Specifically, the authors aim to prove:
1. **Rational HK Conjecture**: For a large class of transformation groupoids with torsion - free stabilizers, prove that the rational HK conjecture holds.
2. **Revised Rational HK Conjecture**: Introduce and prove a new revised version of the rational HK conjecture, which is applicable to cases where there may be torsion stabilizers. This new version of the conjecture not only covers the content of the original conjecture but can also explain the counterexamples provided by Scarparo.
The following is a more detailed explanation:
### Problem Background
The HK conjecture was proposed by Matui, which predicts that there is an isomorphism relationship between the K - theory of a sufficiently good groupoid C* - algebra and its defined groupoid homology (defined by Crainic and Moerdijk). Although there are some positive results, Scarparo et al. also gave counterexamples, indicating that the original conjecture does not always hold.
### Main Objectives of the Paper
1. **Prove the Rational HK Conjecture**: For a class of transformation groupoids obtained from group actions on the Cantor set, when the actions of these groups have torsion - free stabilizers, prove that the rational HK conjecture holds. The key tools here are the Baum - Connes conjecture and the Chern character defined by Raven.
2. **Propose the Revised Rational HK Conjecture**: For cases where there may be torsion stabilizers, propose a revised version of the rational HK conjecture and prove that it holds for a large class of transformation groupoids. This new version of the conjecture is the same as the original conjecture when the groupoid is principal and sufficient, but is different when there are torsion elements in the anisotropic groups of the groupoid.
### Main Results
- **Theorem 0.2**: If the groupoid \(G\) is a transformation groupoid and satisfies the Baum - Connes conjecture, then the revised rational HK conjecture holds. In particular, this verifies that the original rational HK conjecture holds for those transformation groupoids that satisfy the Baum - Connes conjecture and are related to torsion - free stabilizers.
### Method Overview
To prove these results, the authors used the following key tools:
- **Baum - Connes Conjecture**: Used to establish the required isomorphism relationship.
- **Raven's Chern Character**: Defines a mapping from K - theory to homology theory and proves that it is an isomorphism.
Through these tools, the authors not only proved that the rational HK conjecture holds in some cases but also proposed a more widely applicable revised version of the conjecture, making it applicable to more types of groupoids.
### Conclusion
This paper solves the problem that the original conjecture does not hold in some cases by introducing the revised rational HK conjecture and provides a more widely applicable framework for studying the relationship between the K - theory and homology theory of groupoids.