The bipolar filtration of Cochran, Harvey and Horn initiated the study of deeper structures of the smooth concordance group of the topologically slice knots. We show that the graded quotient of the bipolar filtration has infinite rank at each stage greater than one. To detect nontrivial elements in the quotient, the proof uses higher order amenable Cheeger-Gromov $L^2$ $\rho$-invariants and infinitely many Heegaard Floer correction term $d$-invariants simultaneously. This is joint work with Jae Choon Cha.

Developments in geometry and low dimensional topology have given renewed vigour to the following classical question: to what extent do the finite images of a finitely presented group determine the group? I'll survey what we know about this question in the context of 3-manifolds, and I shall present recent joint work with McReynolds, Reid and Spitler showing that the fundamental groups of certain hyperbolic orbifolds are distingusihed from all other finitely generated groups by their finite quotients.