Soient $M$ une variété de Shimura, $Z\subset M$ fermée et irréductible et $S\subset Z(\mathbb {C})$ un ensemble Zariski dense de points spéciaux. Selon la conjecture d'André–Oort, $Z$ est une sous-variété de type Hodge. Par exemple, si $M$ est un espace de modules de variétés abéliennes, $S$ est un ensemble de points correspondant à des variétés de type CM et $Z$ doit paramétrer des variétés abéliennes munies de certaines es de Hodge. En utilisant les actions de l'algèbre de Hecke et du groupe de Galois, Edixhoven et Yafaev montrent certains cas de la conjecture.