O-minimality and the Andre-Oort conjecture for C-n

We give an unconditional proof of the Andŕe-Oort conjecture for arbitrary products of modular curves. We establish two generalizations. The first includes the Manin-Mumford conjecture for arbitrary products of elliptic curves defined over Q̄ as well as Lang's conjecture for torsion points in po...