Haar systems on locally compact groupoids

Haar systems are generalizations of Haar measures on groups to groupoids. Naturally, important research directions in the field try to generalize the well known existence of a Haar measure on a locally compact group to the existence of Haar systems in different groupoid settings. The groupoid case differs significantly from the group case, evidenced by a result of Deitmar, showing that non-existence is possible even for compact groupoids. We first present the classical theory of locally compact groups and Haar Measures on them. We motivate our investigation by constructing full C∗-algebras on locally compact groups, which uses the existence of Haar measures. Then, we cover the theory of locally compact groupoids and present Renault's result that provides a complete characterization of the existence of Haar systems for the r-discrete locally compact groupoid setting, which are precisely the ones where the range map is a local homeomorphism. We present a question from Williams that investigates if the open range map assumption is redundant for second countable, locally compact and transitive groupoids. Finally, we present Buneci's counter-example that answers this question in the negative.