1: \begin{abstract}
2: In this paper we define $L^{2}$-homology and $L^{2}$-Betti numbers for a tracial $*$-algebra $A$ with respect to a von Neumann subalgebra $B$. When $B$ is reduced to the field of complex numbers we recover the $L^{2}$-Betti numbers of $A$ as defined by A. Connes and D. Shlyakhtenko in \cite{ConSh}, but we will show that taking into account the von Neumann subalgebra $B$ yields to a number of advantages like, for instance, a much better behavior with respect to compression and directed sums.
3:
4: Our main result is that $L^{2}$-homology and $L^{2}$-Betti numbers of discrete measured groupoids and equivalence relations as defined by D. Gaboriau \cite{GabL2} and R. Sauer \cite{Sau} coincide with those of their convolution algebras.
5:
6: We also define new invariants for inclusions of von Neumann algebras, which we call {\em residual $L^{2}$-Betti numbers}. We prove that the residual $L^{2}$-Betti numbers of a finite factor with respect to Cartan subalgebra coincide with the $L^{2}$-Betti numbers of the standard equivalence relation associated to the inclusion.
7: \end{abstract}
8: