Universal Coefficients and Mayer-Vietoris Sequence for Groupoid Homology
This paper establishes a homology theory for ample groupoids using compactly supported Moore complexes, proving functoriality and Kakutani invariance, deriving Mayer-Vietoris sequences, and demonstrating that a universal coefficient theorem holds for discrete coefficients while identifying specific obstructions for non-discrete ones.