The Andre-Oort conjecture for the moduli space of Abelian Surfaces

We provide an unconditional proof of the Andr'e-Oort conjecture for the coarse moduli space ${\mathcal{A}}_{2,1}$ of principally polarized Abelian surfaces, following the strategy outlined by Pila-Zannier.