We consider the homology theory of étale groupoids introduced by Crainic and Moerdijk [A homology theory for étale groupoids. J. Reine Angew. Math. 521 (2000), 25–46], with particular interest to groupoids arising from topological dynamical systems. We prove a Künneth formula for products of groupoids and a Poincaré-duality type result for principal groupoids whose orbits are copies of an Euclidean space. We conclude with a few example computations for systems associated to nilpotent groups such as self-similar actions, and we generalize previous homological calculations by Burke and Putnam for systems which are analogues of solenoids arising from algebraic numbers. For the latter systems, we prove the HK conjecture, even when the resulting groupoid is not ample.

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 compute the homology groups of transformation groupoids associated with odometers and show that certain $(\mathbb{Z}\rtimes \mathbb{Z}_{2})$-odometers give rise to counterexamples to the HK conjecture, which relates the homology of an essentially principal, minimal, ample groupoid $G$ with the K-theory of $C_{r}^{\ast }(G)$. We also show that transformation groupoids of odometers satisfy the AH conjecture.