$p$-adic Equidistribution of Special Loci in a Product of Modular Curves

Let $C\subset X(1)\times X(1)$ be a smooth curve defined over ${\mathbb{C}}_p$ with irreducible reduction. We study the intersection loci of $C$ with the modular subvarieties $Y_0(n)$. If the curve $C$ avoids points where both coordinates have supersingular reduction, or if a sequence $Y_0(a_n)$ is taken where the numbers $a_n$ have increasing divisibility by $p$, then these loci equidistribute to the unique canonical point of the analytification, $C^{\text{Berk}}$. If neither condition is satisfied, we expect equidistribution to fail and give a family of examples whose behaviour is believed to be typical. We also study the accumulation points of the set $C\cap {\bigcup }_n{Y}_0(n)$ and show that this set is always non-discrete.