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.