On the André-Oort conjecture for Hilbert modular surfaces, Moduli of abelian varieties

In order to state the conjecture mentioned in the title, we need to recall some terminology and results on Shimura varieties; as a general reference for these, we use [19, Sections 1–2]. So let be the algebraic group over obtained by restriction of scalars fro