In a previous article, we constructed an entire power series over p-adic weight space (the 'ghost series') and conjectured, in the Γ 0 (N )-regular case, that this series encodes the slopes of overconvergent modular forms of any p-adic weight. In this paper, we construct 'abstract ghost series' which can be associated to various natural subspaces of overconvergent modular forms. This abstraction allows us to generalize our conjecture to, for example, the case of slopes of overconvergent modular forms with a fixed residual representation that is locally reducible at p. Ample numerical evidence is given for this new conjecture. Further, we prove that the slopes computed by any abstract ghost series satisfy a distributional result at classical weights (consistent with conjectures of Gouvêa) while the slopes form unions of arithmetic progressions at all weights not in Zp.
Abstract ghost seriesThe data needed for an abstract ghost series is two functions d, d new : Z −→ Z and an integer k 0 with 0 ≤ k 0 < δ. For notation, if n is an integer then set k n = k 0 + nδ and also define d p = 2d + d new . By the end of this section, we will make three assumptions (G), (LG), and (ND) on d and d new . (In Section 4 we introduce a fourth axiom (QL) which implies (G) and (LG).) We first assume: (G) lim n→∞ d(n) = ∞ and lim n→−∞ d(n) + d new (n) = −∞.