Feb 1, 2008 - Abstract. Let Tk(N)new denote the Hecke algebra acting on newforms of weight k and level N. We prove that the power of p dividing the in...

2 downloads 22 Views 161KB Size

The Hecke Algebra Tk has Large Index Frank Calegari Matthew Emerton January 2, 2018 Abstract Let Tk (N )new denote the Hecke algebra acting on newforms of weight k and level N . We prove that the power of p dividing the index of Tk (N )new inside its normalisation grows at least linearly with k (for fixed N ), answering a question of Serre. We also apply our method to give heuristic evidence towards recent conjectures of Buzzard and Mazur.

1

Introduction.

Let F be a finite field of characteristic p, and let ρ : Gal(Q/Q) −→ GL2 (F) be a modular Galois representation of tame level dividing N . Let X(ρ) denote the space of global Galois deformations unramified outside primes dividing N p. (More precisely, by X(ρ) we mean the rigid analytic generic fibre of the corresponding formal deformation space of ρ.) A fundamental question first raised explicitly by Mazur is to understand the locus Ω of deformations inside X(ρ) that are crystalline at p. Assuming the Fontaine–Mazur conjecture [9, Conj. 3c, p. 49], Ω is precisely the locus of modular points of level coprime to p. The theory of the Eigencurve [5] provides a nice deformation theory of such representations, but requires extra data: in particular, the Up eigenvalue, or equivalently, a Frobenius eigenvalue of the corresponding Dieudonn´e module. The forgetful map from the eigencurve to X(ρ) is at most two to one (see [13, Thm. 6.11]), but its image is certainly complicated, consisting as it does of an infinite union of modular arcs, each crossing to form the “infinite fern” of Mazur and Gouvˆea [10]. A natural object of study is the topological closure Ω of Ω (in the space of all Qp -valued points of X(ρ), with its usual p-adic topology). Two recent conjectures shed light on the structure of Ω. For a deformation ρ ∈ X(ρ), let Qp (ρ) denote the field generated by the traces Tr(ρ(Frobℓ )), for ℓ coprime to N p. Conjecture 1.1 (Buzzard [2]) There exists a constant c depending only on N and p such that for every ρ ∈ Ω (or equivalently, every ρ ∈ Ω), [Qp (ρ) : Qp ] < c.

1

Conjecture 1.2 (Mazur) Let ρ ∈ Ω be a classical modular point. Then ρ is tamely potentially semistable at p. In other words, the local representation attached to ρ becomes semistable after restriction to a tame extension of Qp . Conjecture 1.1 rules out the possibility that Ω arises as the points of some deformation ring R, since the rigid space associated to R would have to be at least one dimensional, and hence would contain points defined over arbitrarily large extensions of Qp . This should be contrasted with the fact that one does expect the set of crystalline representations whose Hodge–Tate weights lie in some fixed finite interval to be parameterised by a corresponding deformation space; indeed, assuming the Fontaine–Mazur conjecture, the resulting set is finite and the corresponding deformation space is given by a product of twisted Hecke algebras. Likewise, one should contrast Conjecture 1.2 with the results of L. Berger [1] and forthcoming work of Berger and P. Colmez, in which it is shown that the condition of being crystalline with bounded Hodge-Tate weights is closed in local deformation space. The subtlety of both conjectures thus lies in the fact that while the level N is fixed, the weights of the modular forms that define the set Ω are arbitrary. This paper proves some results which provide theoretical evidence for Conjectures 1.1 and 1.2, and should also be of independent interest. Acknowledgments: The authors would like to thank the anonymous referee for pointing out a stupidity in the proof of Lemma 3.3.

2

Results

Let R be a finite reduced Zp -algebra. We define the index of R to be the index ˜ : R], where R ˜ is the normalisation of R. We define the discriminant of R to be [R the discriminant of the trace pairing on R over Zp . We will apply these notions when R is one of various Hecke algebras. For any level N ≥ 1 and positive integer k, let Sk (N ) denote the space of cusp forms of weight k for the congruence subgroup Γ1 (N ) defined over Qp , and let Sk (N )new denote the subspace of Sk spanned by the newforms of conductor N . Let Tk (N ) denote the finite Zp -algebra Tk (N ) := Zp [T2 , . . . , Tn , . . .] ⊆ EndC (Sk (N )) generated by Hecke operators, and let Tk (N )new denote the quotient of Tk (N ) that acts faithfully on Sk (N )new . The algebra Q⊗Tk (N )new is reduced, and has dimension dimC Sk (N )new over Qp . We denote the discriminant of Tk (N )new by ∆k (N )new , and its index by Ik (N )new . What happens to the index as the weight approaches infinity? Theorem 2.1 The p-adic valuation of the index grows at least linearly in k. Equivalently, 1 lim inf · ordp (Ik (N )new ) > 0. k→∞ k

2

Let Tk (N )′ denote the subring of Tk (N ) generated by the Hecke operators Tn for n prime to N . This is a reduced subring of Tk (N ), and so we may similarly consider its discriminant ∆k (N )′ and its index Ik (N )′ . For any divisor M of N , the Hecke action on the space Sk (M )new (thought of as a subspace Q of Sk (N )) induces a map Tk (N )′ → Tk (M )new , and the product map Tk (N )′ → M |N Tk (M )new is injective, and becomes an isomorphism after Q tensoring with Q, and hence after passing to normalisations. Thus Ik (N )′ ≥ M |N Ik (M )new , and so Theorem 2.1 implies that ordp (Ik (N )′ ) grows (at least) linearly in k. This answers positively a question that was first raised in print by Jochnowitz [12] (where she attributes the question to Serre). In that paper Jochnowitz also proves the weaker statement that ordp (Ik (N )′ ) becomes arbitrarily large as k approaches infinity. Since ∆k (N )′ (the discriminant of Tk (N )′ ) is always divisible by Ik (N )′ , Theorem 2.1 also has as a corollary that ∆k (N )′ grows (at least) linearly in k, a result which was already known from the work of Jochnowitz [12]. Our method of proving Theorem 2.1 is to first establish the following result: Theorem 2.2 Fix a level N , possibly divisible by p. Let f and g be two normalised cuspidal Qp eigenforms on Γ1 (N ) of arbitrary weight. Suppose moreover that f and g are residually congruent; that is, f ≡ g mod p, where p denotes the maximal ideal of Zp . Then there exists a rational number κ > 0 depending only on N and p such that for each n prime to p, an (f ) ≡ an (g) mod pκ Zp . The content of this theorem is the independence of κ from the weights of f and g. We view this result as some evidence towards Conjecture 1.1, since it shows that at least modulo pκ , all eigenforms of fixed level have coefficients lying in some bounded extension of Qp . The constant κ in Theorem 2.2 can be made explicit, and we use it to produce the following evidence towards Conjecture 1.2: Theorem 2.3 Assume the tame level N = 1. Let ρ : Gal(Q/Q) → GL2 (F ) be a modular point of Ω of weight k. Assume moreover that e(F ) = 1 (i.e. F/Qp is unramified). Let N (ρ) denote the conductor of ρ. If either 1. p ≥ 5,

2. p < 5, k = 2, N (ρ) 6= 27,

then ρ is tamely potentially semistable. The case p ≥ 5 of this theorem is an immediate consequence of Lemma 4.1 below (which when F = Qp was proved as statement (d) on p. 67 of [9]). It is the cases when p = 2 or 3 that are more delicate, and which depend on certain explicit versions of Theorem 2.2.

3

3

Eigenforms modulo powers of p

The main difficultly in working with the space of eigenforms over Zp reduced modulo rational powers of p is that this space has no intrinsic geometric description. The Serre–Deligne lemma guarantees that residual eigenforms of weight at least 2 automatically lift to characteristic zero. This situation fails miserably, however, for eigenforms over Artin rings. For example, let f and g be two eigenforms in Sk (Γ1 (N ), Zp ) that are congruent modulo p but distinct modulo p2 . Then there exist infinitely many distinct eigenforms (αf + βg)/(α + β) ∈ Sk (Γ1 (N ), Zp /p2 ), only finitely many of which can lift to eigenforms of weight k and characteristic zero. One way to avoid this problem is to not work directly with eigenforms at all, and to instead work with the entire space Sk of modular forms. Any congruences satisfied by Hecke operators on Sk (Γ1 (N ), Zp /pκ ) will then automatically be satisfied by eigenforms. This approach also has its difficulties, however. For example, when N = 1 and p = 2, it can be shown using Coleman’s theory [3] that elements of Sk (SL2 (Z), Z2 /2) that are the reductions mod 2 of eigenforms in characteristic zero are always killed by T2 . Let us see how close we can get to this congruence using naive arguments: It is easy to show that the Hecke operator T2 acts by zero on the space Sk (SL2 (Z), F2 ). This implies in turn that T2 induces a nilpotent operator on Sk (SL2 (Z), Z2 /2). However, the operator T2 on Sk (Z2 /2) is highly non-semisimple, and the most that one can extract from this naive analysis is that T2n = 0, for some n that increases linearly with k. Correspondingly, one can infer from this only that for eigenforms f , a2 (f ) ≡ 0 mod 21/n Z2 , a congruence which is not independent of the weight of f , and which is much weaker than the congruence cited at the beginning of the paragraph. In order to overcome the difficulties of the type that occur in the naive argument of the preceding paragraph, we adopt an approach that is suggested by the arguments of Hatada [11]: Namely, we choose a better Tk (N )-invariant lattice Λ ⊂ Sk (N ), for which the action of Tk (N ) on Zp /p ⊗ Λ can be computed. Ideally, the action of Tk (N ) on Zp /p ⊗ Λ will be semisimple, or as close to this as possible. It turns out that the space of modular symbols is well adapted to our purpose, and it is the method whereby Hatada [11] obtains congruences for modular forms of small level independent of the weight. By formalizing aspects of this argument in terms of geometry and cohomology, we prove Theorem 2.2. Proof of Theorem 2.2.TWithout loss of generality we may assume that the congruence subgroup Γ1 (N ) Γ(p) is torsion-free (by replacing N by an appropriate multiple if necessary). Let Y (N, p) be the open modular curve that classifies elliptic curves with a fixed point of order N and full level-p structure. We impose no

4

conditions on the value of the Weil pairing on the basis elements giving the levelp structure, and so Y (N, p) is typically a disconnected curve, with φ(p) connected components. Concretely, Y (N, p) is equal to the quotient Γ1 (N )\ (H × GL2 (Z/p)) , where H denotes the upper half-plane, and Γ1 (N ) acts on H through linear fractional T transformations, and on GL2 (Z/p) by left multiplication. Since Γ1 (N ) Γ(p) is torsion-free, Y (N, p) does in fact represent the appropriate moduli problem, and there exists a universal elliptic curve E over Y (N, p). On Y (N, p) we have the standard rank two local system L, corresponding to the family of relative first cohomology groups of E. Let Lk denote the kth symmetric power of L; it is local system, free of rank k + 1. If Wk denotes the kth symmetric power of the standard representation of SL2 (Z) on Z2 , then Lk has the following concrete description: Lk := Γ1 (N )\ (Wk × H × GL2 (Z/p)) . Consider the short exact sequence of sheaves: p·

0 −→ Lk −→ Lk −→ Lk /p −→ 0. Taking cohomology, and remembering that H 2 (Y (N, p), Lk ) vanishes (since its dual Hc0 (Y (N, p), Lˇk ) vanishes (here Lˇk denotes the Z-dual of the local system of free Z-modules Lk ), Y (N, p) being an open Riemann surface), we obtain an isomorphism H 1 (Y (N, p), Lk )/p ∼ = H 1 (Y (N, p), Lk /p).

This isomorphism is equivariant with respect to the prime-to-p Hecke operators. The local system Lk /p (the reduction of L modulo p) is trivial over Y (N, p), by definition of the moduli problem that Y (N, p) represents. Thus H 1 (Y (N, p), Lk /p) ∼ = Wk /p ⊗ H 1 (Y (N, p), Z/p). (The twisted coefficients Lk /p are actually untwisted, and so we can pull them out of the cohomology. The preceding concrete description of Lk shows that the k + 1dimensional Z/p-vector space Wk /p is the fibre of Lk /p over any point of Y (N, p).) Again, this isomorphism is equivariant for all the prime-to-p Hecke operators. (Where on the right hand side, these ignore the Wk /p factor, and just act on the second factor.) In particular, if n is coprime to p, and Tn is the nth Hecke operator acting on H 1 (Y (N, p), Lk )/p, then Tn satisfies (modulo p) a polynomial of degree independent of k, bounded explicitly by the dimension of H 1 (Y (N, p), Z/p). The Eichler–Shimura isomorphism guarantees that any modular eigenform f of weight k and level N corresponds to an eigenform in C ⊗ H 1 (Y (N, p), Lk ). In particular, the eigenvalues of Tn acting on f will be among the eigenvalues of Tn acting on H 1 (Y (N, p), Lk ). Since Tn (mod p) satisfies a fixed polynomial independent of k, we infer that there exists κ > 0 such that the reduction modulo pκ of any eigenvalue of Tn is determined explicitly by its residue in Fp . For example, one could take 1/κ to be the dimension of H 1 (Y (N, p), Z/p). This proves Theorem 2.2. More precise values of κ can be extracted in particular cases. For example:

5

Lemma 3.1 Assume that each connected component of X(p) has genus 0. Let f be a cuspidal eigenform of weight k and level Γ(p) (not necessarily a newform). Then for all primes ℓ ≡ ±1 mod p, aℓ (f ) ≡ 1 + ℓ mod pZp . Proof. If X(p) has genus zero, then there is an isomorphism e 0 (C(p), Z/p), H 1 (Y (p), Z/p) ≃ H where the target of this isomorphism denotes the reduced 0-dimensional cohomology of the set of cusps C(p) := X(p) \ Y (p). For ℓ ≡ ±1 mod p, the action of Tℓ on the cusps is given explicitly by 1 + ℓ. Thus Tℓ satisfies the polynomial Tℓ − 1 − ℓ = 0 on Wk /p ⊗ H 1 (Y (p), Z/p) and the result follows.

Recall that the hypothesis of Lemma 3.1 is satisfied precisely for p = 2, 3, and 5. Lemma 3.1 (phrased as a statement for these values of p) was originally proved by Hatada [11], using a mixture of techniques. Our argument shows that Hatada’s explicit computations ultimately rely on the fact that X(p) has genus zero. However, our methods prove specific congruences for larger primes as well. Lemma 3.2 Let p = 7, and let f be a cuspidal eigenform of weight k and level Γ(7) (not necessarily a newform). Then for all primes ℓ ≡ ±1 mod 7, √ aℓ (f ) ≡ 1 + ℓ mod 7 · Z7 . Proof. The curve X(7) is the union of six connected components each of genus 3. There is an exact sequence: e 0 (C(7), Z/7) → 0. 0 → H 1 (X(7), Z/7) → H 1 (Y (7), Z/7) → H The space H 1 (X(7), Z/7) is “accounted for” by the cubic twists of the √ weight 2 form corresponding to the elliptic curve of conductor 49 and CM by Z[(1 + −7)/2]. Explicitly one finds that Tℓ − 1 − ℓ is zero on H 1 (X(7), Z/7) and on the cusps. Thus (Tℓ − 1 − ℓ)2 = 0 on Wk /p ⊗ H 1 (Y (7), Z/7) and the result follows.

Serre conjectured [11] that the congruence would be satisfied with by 7, although we are not able to prove this.

√ 7 replaced

By passing to other curves of non-trivial genus, and with a certain amount of non-trivial calculation we are able to prove other congruences, such as the following:

6

Lemma 3.3 Let f be a cuspidal eigenform of weight k and level 1. Then for all primes ℓ ≡ ±1 mod 9, aℓ (f ) ≡ 1 + ℓ mod 9Z3 . Proof. Let us consider to begin with an arbitrary integer N ≥ 3; we will work on the modular curves Y (N ) and Y (N 2 ) classifying elliptic curves with full level-N structure (respectively full level-N 2 structure). We use notation analogous to that introduced in the proof of Theorem 2.2. Consider the commutative diagram Hc1 (Y (N 2 ), Lk /N 2 )

/ H 1 (Y (N 2 ), Lk /N 2 ) TTTT TTTT TTTT TTT* / H 1 (Y (N ), L /N 2 ), Hc1 (Y (N ), Lk /N 2 ) k

(1)

in which the vertical arrows exist because cohomology (with or without compact supports) has a covariant functoriality for proper maps (such as the map Y (N 2 ) → Y (N )), and in which the diagonal arrow is defined as the composite of top and right-hand (or equivalently, left-hand and bottom) arrows. Claim. For any local system F of finite Z-modules on Y (N ), the push-forward map H 1 (Y (N 2 ), F) → H 1 (Y (N ), F) is surjective. (Here we have used F also to denote the pull-back of F to Y (N 2 ).) Proof of claim. A simple d´evisage, using the fact that H 2 (Y (N ), F) = 0 (see the proof of Theorem 2.2), shows that it suffices to prove the claim in the case when F is a local system of Fℓ -modules, for some prime ℓ. The map H 1 (Y (N 2 ), F) → H 1 (Y (N ), F) is then dual to the pull-back map Hc1 (Y (N ), Fˇ ) → Hc1 (Y (N 2 ), Fˇ ) (here F denotes Fℓ -dual), and so it suffices to show that this map is injective. However, this latter map can be described in terms of modular symbols: namely, if Div0 (P1 (Q)) denotes the group of divisors of degree zero supported on the elements of P1 (Q), then there is a commutative diagram Hc1 (Y (N ), Fˇ )

H 1 (Y

(N 2 ), Fˇ )

∼

∼

/ Fℓ [π0 (Y (N ))]ˇ⊗ HomΓ(N ) (Div0 (P1 (Q)), Fˇ ) 0 1 ˇ / Fℓ [π0 (Y (N 2 ))]ˇ⊗ Hom Γ(N 2 ) (Div (P (Q)), F )

in which the horizontal arrows are isomorphisms, and the right hand vertical arrow is the tensor product of the dual of the surjection Fℓ [π0 (Y (N 2 ))] → Fℓ [π0 (Y (N ))] (induced by the map Y (N 2 ) → Y (N )) and the inclusion HomΓ(N ) (Div0 (P1 (Q)), Fˇ ) ⊂ HomΓ(N 2 ) (Div0 (P1 (Q)), Fˇ ). In particular, it is injective, and thus so is the left hand vertical arrow. The preceding claim, applied to the local system Lk /N 2 , shows that the right hand vertical arrow of diagram 1 is surjective. Let’s make the following assumption:

7

Assumption. The diagonal arrow Hc1 (Y (N 2 ), Lk /N 2 ) → H 1 (Y (N ), Lk /N 2 ) of diagram 1 vanishes. Claim. If the assumption holds, then for all primes ℓ ≡ ±1 (mod N 2 ), the operator Tℓ − (1 + ℓ) annihilates H 1 (Y (N ), Lk /N 2 ). Proof of claim. The local system Lk /N 2 is trivial on Y (N 2 ). Thus we may rewrite the map Hc1 (Y (N 2 ), Lk /N 2 ) → H 1 (Y (N 2 ), Lk /N 2 ) as Wk /N 2 ⊗ Hc1 (Y (N 2 ), Z/N 2 ) → Wk /N 2 ⊗ H 1 (Y (N 2 ), Z/N 2 ). Knowing that Tℓ − (1 + ℓ) kills the cusps of X(N 2 ), we see that its image on H 1 (Y (N 2 ), Z/N 2 ) lies in the image of Hc1 (Y (N 2 ), Z/N 2 ) in H 1 (Y (N 2 ), Z/N 2 ). Thus the image of Tℓ −(1+ℓ) on H 1 (Y (N 2 ), Lk /N 2 ) lies in the image of Hc1 (Y (N 2 ), Lk /N 2 ) in H 1 (Y (N 2 ), Lk /N 2 ). Since the right hand vertical arrow of diagram 1 is surjective, we find that the image of Tℓ − (1 + ℓ) on H 1 (Y (N ), Lk /N 2 ) is contained in the image of Hc1 (Y (N 2 ), Lk /N 2 ) by the diagonal arrow of that diagram. We are assuming that this vanishes, and so are done. We turn to deriving sufficient conditions for the assumption to hold. To this end, we suppose that each connected component of X(N ) has genus zero, and consider the exact sequence of sheaves N·

0 −→ Lk /N −→ Lk /N 2 −→ Lk /N −→ 0. Passing to cohomology, and also to cohomology with compact supports, on Y (N ), we obtain the following diagram with exact rows: 0

/ H 1 (Y (N ), L /N ) k c

/ H 1 (Y (N ), L /N 2 ) k c

/ H 1 (Y (N ), L /N ) k c

/ H 1 (Y (N ), Lk /N 2 )

/ H 1 (Y (N ), Lk /N )

H 1 (Y (N ), Lk /N )

/ 0.

(As noted in the proof of Theorem 2.2, since Y (N ) is an open Riemann surface, Hc0 and H 2 with coefficients in any local system always vanish.) Since Lk /N is trivial on Y (N ), we have isomorphisms Hc1 (Y (N ), Lk /N ) ∼ = Wk /N ⊗ Hc1 (Y (N ), Z/N ) and

H 1 (Y (N ), Lk /N ) ∼ = Wk /N ⊗ H 1 (Y (N ), Z/N ).

Since the components of X(N ) have genus zero, the natural map Hc1 (Y (N ), Z/N ) → H 1 (Y (N ), Z/N ) vanishes, and so in the preceding diagram the left-most and right-most vertical arrows both vanish. Thus the middle arrow of that diagram factors through the natural map Hc1 (Y (N ), Lk /N 2 ) → Hc1 (Y (N ), Lk /N ),

8

and so the diagonal arrow of diagram 1 factors through the composite Hc1 (Y (N 2 ), Lk /N 2 ) → Hc1 (Y (N ), Lk /N 2 ) → Hc1 (Y (N ), Lk /N ). Again, using the fact that Lk /N 2 is trivial on Y (N 2 ), and that Lk /N is trivial on Y (N ), we may rewrite this composite as Wk /N 2 ⊗ Hc1 (Y (N 2 ), Z/N 2 ) → Wk /N ⊗ Hc1 (Y (N ), Z/N ). This map is obtained by tensoring through the natural map Hc1 (Y (N 2 ), Z/N 2 ) → Hc1 (Y (N ), Z/N ) with the projection Wk /N 2 → Wk /N . Thus to verify the assumption, it suffices to show that the former map vanishes. Exploiting the isomorphism (for a Riemann surface) between Hc1 and H1 , we may rewrite this map as a direct sum over the connected components of X(N ) of the maps Γ(N 2 )ab /N 2 → Γ(N )ab /N. Thus we see that our above assumption holds if the following two conditions are met: (i) Each component of X(N ) has genus zero; (ii) the image of Γ(N 2 )ab in Γ(N )ab lies in N Γ(N )ab . For any value of N , there is a natural isomorphism Γ(N )/Γ(N 2 ) ∼ = M2 (Z/N )0 (the additive group of traceless 2 × 2 matrices). Thus the commutator subgroup Γ(N )c of Γ(N ) is contained in Γ(N 2 ), and so we have the short exact sequence 0 → Γ(N 2 )/Γ(N )c → Γ(N )ab → M2 (Z/N )0 → 0. Claim. If N is such that Γ(N ) is free on three generators, then condition (ii) above holds. Proof of claim. Since Γ(N ) is free on three generators, its abelianisation is a free Z-module of rank three, and so the kernel of the surjection Γ(N )ab → M2 (Z/N )0 must be precisely N Γ(N )ab , since M2 (Z/N )0 ≃ (Z/N Z)3 . If we note that each component of X(3) is of genus zero, and that Γ(3) is free on three generators, then we see that the preceding claim proves the lemma. This lemma allows one to prove (for example) that the eigenforms of weight 2 and level 243 attached to elliptic curves cannot be approximated by 3-adic eigenforms of level 1, since (in both cases) the coefficient a19 fails to satisfy the required congruence. As observed by Coleman and Stein [6], the congruences of Hatada can be used in a similar way to eliminate the possible 2-adic approximation by forms of level one of the unique form of weight 2 and level 32. In fact, by using Lemma 3.3 and Hatada [11], for p = 2, 3 one can show that all but one of the (finitely many) eigenforms of weight 2, level pn (for n ≥ 3) with coefficients lying in an unramified extension of Qp cannot be p-adically approximated by eigenforms of level one. (The claim that there are finitely many such eigenforms is justified in the remark following Lemma 4.2.) The exception is the unique form of level 27. This last example does not seem especially anomalous;

9

it could be dealt with by a slight strengthening of Lemma 3.3. However, just as our method fails to establish the conjecture of Serre mentioned above, it also fails to prove the desired congruence. Thus, although we are able to prove congruences for all primes p and levels N , our method does not provide a “machine” for proving any particular congruence of this form. Proof of Theorem 2.1. Let us fix the level N and the weight k, and also a maximal ideal m of Tk (N )new . We will write simply T to denote the localisation Tk (N )new m . e We write T to denote the normalisation of T; it is a product of a finite number, e into Zd say d, of finite DVR extensions of Zp . Thus we may find an embedding of T p d

such that the image of T is contained in {(x1 , . . . , xd ) ∈ Zp | x1 ≡ · · · ≡ xd mod p}, where p denotes the maximal ideal of Zp . Let T◦ denote the subring of T generated by the prime-to-p Hecke operators, let κ denote the rational number of Theorem 2.2, e denote the intersection of T e with the ideal in Zd generated by pκ . and let pκ ∩ T p

Claim: Let O denote the Zp -subalgebra of Zp obtained by projecting T◦ onto the d first factor of the product Zp . If we regard O as being embedded diagonally into the d e product Z , then there is an inclusion T◦ ⊆ O + pκ ∩ T. p

d

Proof of claim: Each of the projections of T onto one of the factors of Zp determines a normalised Hecke eigenform, and by construction, these eigenforms are all congruent modulo p. The claim thus follows from Theorem 2.2. The claim implies that e + O[Tp ], T = T◦ [Tp ] ⊆ O + pκ ∩ T κ ∩ T) e : T] is divisible by [T/(p e e : T/(pκ ∩T)]. while elementary algebra implies that [T Yet T/(pκ ∩ T) ⊆ O/(pκ ∩ O) + O[Tp ]/(pκ ∩ O[Tp ]).

The first term is manifestly finite, and Theorem 2.2 shows that it is independent of k. The theory of Coleman [3], [4] implies that the eigenforms of slope at most κ fit into finitely many analytic families. Thus the number of such forms is bounded independently of the weight, and consequently the second term is also finite and bounded independently of k. e has rank n over Zp , then a simple argument shows that On the other hand, if T κ e e has order at least pκn , and thus ordp [T e : T] > κ · n − ǫ, for some explicitly T/(p ∩ T) computable constant ǫ, independent of k. Now take the product over all maximal ideals of Tk (N )new . From a well known result of Serre–Tate–Jochnowitz, the number of modular residual representations ρ unramified outside N p is finite, and this implies that the number of such maximal ideals is bounded independently of the weight k. On the other hand, the rank n of Tk (N )new over Zp grows linearly with k, and so the same is true of the rank of its normalisation. Thus the index Ik (N )new must grow at least linearly in k, and Theorem 2.1 is proved.

10

4

Crystalline Representations

We show in this section that there do not exist any wildly potentially semistable representations into GL2 (F ) when p ≥ 5, and F is absolutely unramified. Along with the discussion after Lemma 3.3 this suffices to prove Theorem 2.3. This result and the following lemma are undoubtedly known to the experts (indeed, the case of the lemma when F = Qp and d = 2 is proved as statement (d) on p. 67 of [9]), but we include a proof for lack of a reference in the literature. We refer to [7] for a discussion of semistable p-adic representations of Gal(Qp /Qp ) (and of the associated terminology and notation), and to [8] for a discussion of the Weil-Deligne group representations attached to them. Lemma 4.1 Let ρ : Gal(Qp /Qp ) → GLd (F ) become semistable only after a wildly ramified extension. Let e denote the ramification index of F . Then p ≤ de + 1. Proof. Denote the corresponding representation by V . Let K/Qp be a minimal Galois extension such that the restriction of V to Gal(Qp /K) is semistable. Let K0 and F0 denote the maximal unramified extensions of Qp contained in K and F respectively. Without loss of generality, assume that K0 ⊆ F0 (clearly this does not affect e(F )). Let kF be the residue field of K, and O = W (kF ) the ring of integers of F0 . Let D := Dst (V |K ) = (Bst ⊗Qp V )GK . D is a free K0 ⊗Qp F module of rank d. By assumption K0 ⊆ F , and thus there is a natural isomorphism M K0 ⊗Qp F ≃ F. Hom(K0 ,F )

If elements of Hom(K0 , F ) are denoted by σi , this isomorphism is given explicitly by the map a ⊗ b 7→ [aσi (b)]i . If eσj = [δij ]i is the jth idempotent, D naturally decomposes as a product M D≃ Dσi σi

where Dσi := eσi D. Let σ ∈ Hom(K0 , F ). There is a natural action of Gal(K/Qp ) on D. This action is K0 semi-linear, and does not preserve Dσ . Following [8], however, one may adjust this action (using the crystalline Frobenius) to obtain a linear representation of the Weil group WQp . In particular, the natural action of Gal(K/K0 ) (equivalently, the inertia subgroup of WQp ) on D is linear and preserves Dσ . Since Dσ is an F vector space of dimension d, we may also consider it as an F0 vector space of dimension de. Choosing a suitable lattice inside Dσ for the action of Gal(K/K0 ) we obtain a representation ψ : Gal(K/K0 ) → GLde (O). If ψ had non-trivial kernel, it would correspond to some Galois subfield L ⊂ K such that Gal(K/L) acted trivially on D. Yet then by descent V would already be

11

semistable over L, contradicting the minimality assumption on K. In particular, there must exist an element of exact order p inside GLde (O). The lemma then follows from the following well known (and easy) result.

Lemma 4.2 Let O be a discrete valuation ring with maximal ideal generated by p. Suppose that p > n + 1. Then GLn (O) has no elements of exact order p. The preceding lemma is false if p ≤ n+1. Consequently, if p = 2 or 3, it is possible to have potentially semistable representations Gal(Qp /Qp ) → GL2 (Qp ) that become semistable only after making a wildly ramified extension. However, a slightly more refined argument allows one to bound the conductor of such a representation, and hence to bound the power of p that divides the level of a newform whose Fourier coefficients lie in Qp . The required generalisation of Lemma 4.2 is that GLn (O) contains (up to conjugacy) a finite number of finite p-groups. In particular, ρ becomes semistable after some explicitly computable extension, from which one can explicitly bound the conductor. In particular, for any fixed weight, there only finitely many newforms of p-power level with coefficients in Qp .

References [1] L. Berger, Limites de repr´esentations cristallines, Preprint. [2] K. Buzzard, Questions about slopes of modular forms, To appear in Ast´erisque. [3] R. Coleman, Classical and overconvergent modular forms, Invent. Math. 124 (1996) no. 1–3, 215–241. [4]

, Classical and overconvergent modular forms, Invent. Math. 127 (1997) no. 3, 417–479.

[5]

, B. Mazur, The eigencurve, Galois representations in algebraic geometry (Durham, 1996), 1–113, London Math Soc. Lecture Note Ser. 254, Cambridge Univ. Press, Cambridge, 1998.

[6]

, W. Stein, Approximation of Infinite Slope Modular Eigenforms By Finite Slope Eigenforms, Dwork Proceedings (2002).

[7] J.-M. Fontaine, Repr´esentations p-adiques semi-stables, P´eriodes p-adique, Ast´erisque 223, Soc. Math. de France, Paris, 1994, 113–184 [8]

, Repr´esentations l-adiques potentiallement semi-stables, P´eriodes padique, Ast´erisque 223, Soc. Math. de France, Paris, 1994, 321–347

[9]

, B. Mazur, Geometric Galois representations, Conference on Elliptic curves and modular forms (Hong Kong, 1993), International Press, Cambridge, MA, 1995, 41–78

[10] F. Gouvˆea, B. Mazur, Families of modular eigenforms, Math. Comp. 58 (1992), no. 198, 793–805.

12

[11] K. Hatada, Eigenvalues of Hecke Operators on SL(2, Z), Math. Ann. 239, 1979, 75–96. [12] N. Jochnowitz, The Index of the Hecke Ring, Tk , in the Ring of Integers of Tk ⊗ Q. Duke, 46, 1979, no. 4, 861–869.

[13] M. Kisin, Overconvergent modular forms and the Fontaine-Mazur conjecture, Invent. Math. 153 (2003), 373–454. Email addresses: [email protected] [email protected]

13