Abstract. There are notions of L 2 -Betti numbers for discrete groups (CheegerGromov, Lück), for type II 1 -factors (recent work of Connes-Shlyakhtenko) and for countable standard equivalence relations (Gaboriau). Whereas the first two are algebraically defined using Lück's dimension theory, Gaboriau's definition of the latter is inspired by the work of Cheeger and Gromov. In this work we give a definition of L 2 -Betti numbers of discrete measured groupoids that is based on Lück's dimension theory, thereby encompassing the cases of groups, equivalence relations and holonomy groupoids with an invariant measure for a complete transversal. We show that with our definition, like with Gaboriau's, the L 2 -Betti numbers bn (R) of the orbit equivalence relation R of a free action of G on a probability space. This yields a new proof of the fact the L 2 -Betti numbers of groups with orbit equivalent actions coincide.
Introduction and Statement of Results
Inn (G) of a group G can be read off from the group homology asMore recently, in an influential paper of Gaboriau [Gab02] the notion of L 2 -Betti numbers for countable standard equivalence relations was introduced. Their construction is motivated by the one of Cheeger and Gromov. This article provides an homological-algebraic definition of L 2 -Betti numbers for countable standard equivalence relations and, more generally, for discrete measured groupoids. In section 3 we will introduce algebraic objects for a discrete measured groupoid G like the groupoid ring CG which are analogous to the group case, and we define theHere G 0 ⊂ G denotes the subset of objects in the groupoid. Denote the source and target maps by s resp. t. We show in 5.3 the following formula for the restriction.2000 Mathematics Subject Classification. Primary: 37A20 Secondary: 46L85.