\(p\)-adic equidistribution of CM points (Q2693157)

Summary: Let \(X\) be a modular curve and consider a sequence of Galois orbits of CM points in \(X\), whose \(p\)-conductors tend to infinity. Its equidistribution properties in \(X(\mathbf{C})\) and in the reductions of \(X\) modulo primes different from \(p\) are well understood. We study the equidistribution problem in the Berkovich analytification \(X^{\mathrm{an}}_p\) of \(X_{\mathbf{Q}_p}\). We partition the set of CM points of sufficiently high conductor in \(X_{\mathbf{Q}_p}\) into finitely many explicit \textit{basins} \(B_V\), indexed by the irreducible components \(V\) of the \(\bmod\)-\(p\) reduction of the canonical model of \(X\). We prove that a sequence \(z_n\) of local Galois orbits of CM points with \(p\)-conductor going to infinity has a limit in \(X^{\mathrm{an}}_p\) if and only if it is eventually supported in a single basin \(B_V\). If so, the limit is the unique point of \(X^{\mathrm{an}}_p\) whose \(\bmod\)-\(p\) reduction is the generic point of \(V\). The result is proved in the more general setting of Shimura curves over totally real fields. The proof combines Gross's theory of quasi-canonical liftings with a new formula for the intersection numbers of CM curves and vertical components in a Lubin-Tate space.