The Manin-Mumford conjecture and the Tate-Voloch conjecture for a product of Siegel moduli spaces

We use perfectoid spaces associated to abelian varieties and Siegel moduli spaces to study torsion points and ordinary CM points. We reprove the Manin-Mumford conjecture i.e. Raynaud’s theorem. We also prove the Tate-Voloch conjecture for a product of Siegel moduli spaces namely ordinary CM points outside a closed subvariety can not be p-adically too close to it.