Pro-p groups and towers of rational homology spheres

In the preceding paper, Calegari and Dunfield exhibit a sequence of hyperbolic 3-manifolds which have increasing injectivity radius, and which, subject to some conjectures in number theory, are rational homology spheres. We prove unconditionally that these manifolds are rational homology spheres, and give a sufficient condition for a tower of hyperbolic 3-manifolds to have first Betti number 0 at each level. The methods involved are purely pro-p group theoretical.
Comment: This is the version published by Geometry & Topology on 2 April 2006