Vandiver's conjecture (about class numbers) can be tackled through algebraic $K$-theory,
which is defined via algebraic topology: the conjecture is equivalent to $K_n(\mathbb{Z}) =0$ 
when $n$ is a multiple of $4$.  But that is a really hard problem.