志村多様体上の特殊点の集合のザリスキー閉包の性質は、(andré-oort conjecture)により記述される。