The eigencurve over the boundary of weight space

Abstract

We prove that the eigencurve associated to a definite quaternion algebra over $\mathbb{Q}$ satisfies the following properties, as conjectured by Coleman and Mazur as well as Buzzard and Kilford: (a) over the boundary annuli of weight space, the eigencurve is a disjoint union of (countably) infinitely many connected components, each finite and flat over the weight annuli; (b) the $U_p$-slopes of points on each fixed connected component are proportional to the $p$-adic valuations of the parameter on weight space; and (c) the sequence of the slope ratios forms a union of finitely many arithmetic progressions with the same common difference. In particular, as a point moves toward the boundary on an irreducible connected component of the eigencurve, the slope converges to zero.