Orbifold Euler characteristics of non-orbifold groupoids

For a finitely presented discrete group Gamma$\Gamma$, we introduce two generalizations of the orbifold Euler characteristic and Gamma$\Gamma$-orbifold Euler characteristic to a class of proper topological groupoids large enough to include all cocompact proper Lie groupoids. The Gamma$\Gamma$-Euler characteristic is defined as an integral with respect to the Euler characteristic over the orbit space of the groupoid, and the Gamma$\Gamma$-inertia Euler characteristic is the usual Euler characteristic of the Gamma$\Gamma$-inertia space associated to the groupoid. A key ingredient is the application of o-minimal structures to study orbit spaces of topological groupoids. Our main result is that the Gamma$\Gamma$-Euler characteristic and Gamma$\Gamma$-inertia Euler characteristic coincide and generalize the higher order orbifold Euler characteristics of Gusein-Zade, Luengo, and Melle-Hernandez from the case of a translation groupoid by a compact Lie group and Gamma=Zl$\Gamma = \mathbb {Z}<^>\ell$. By realizing the Gamma$\Gamma$-Euler characteristic as the usual Euler characteristic of a topological space, we demonstrate that it is Morita invariant in the category of topological groupoids and satisfies familiar properties of the classical Euler characteristic. We give an additional formulation of the Gamma$\Gamma$-Euler characteristic for a cocompact proper Lie groupoid in terms of a finite covering by orbispace charts. In the case that the groupoid is an abelian extension of a translation groupoid by a bundle of groups, we relate the Gamma$\Gamma$-Euler characteristics to those of the translation groupoid and bundle of groups.