The weakly special closure conjecture for canonical-lift torsion loci

Let ${\mathcal X}_{\mathbb C}$ be the complex universal abelian variety considered in the paper, let $Y\subseteq {\mathcal X}_{\mathbb C}$ be an irreducible subvariety, and let $\Psi_m$ denote the locus defined earlier in the paper. A subvariety is weakly special when it is a weakly special subvariety in the sense used for the universal abelian variety. Weakly special closure conjecture. If $Y(\mathbb C)\cap\Psi_m$ is Zariski dense in $Y$, then $Y$ is weakly special. The paper has proved the analogous special-subvariety result but leaves this stronger description of the intersections with $\Psi_m$ as a conjecture.