1: \begin{abstract}

2: In this paper, we use homological techniques to study the homological finiteness of  $\BDiff(M, \text{rel }\partial)$ when $M$ is a reducible $3$-manifold with a non-empty boundary. Kontsevich (\cite[Problem 3.48]{kirby1995problems}) conjectured that $\BDiff(M, \text{rel }\partial)$ has the  homotopy type of a finite CW complex for all $3$-manifolds with non-empty boundary. Hatcher-McCullough (\cite{MR1486644}) proved this conjecture when $M$ is irreducible. We prove the homological version of Kontsevich's conjecture which is to show that  $\BDiff(M, \text{rel }\partial)$ has finitely many nonzero homology groups which are each finitely generated.

3: \end{abstract}

4: