Critical p-adic L-functions and applications to CM forms Goa, India. August 16, 2010
|
|
- Corey Chapman
- 5 years ago
- Views:
Transcription
1 Critical p-adic L-functions and applications to CM forms Goa, India Joël Bellaïche August 16, 2010
2 Objectives Objectives: 1. To give an analytic construction of the p-adic L-function of a modular form in the missing cases (critical cases) (cf. critical p-adic L-function on my webpage or Arxiv)
3 Objectives Objectives: 1. To give an analytic construction of the p-adic L-function of a modular form in the missing cases (critical cases) (cf. critical p-adic L-function on my webpage or Arxiv) 2. To compute and study these L-functions, especially in the CM case (work in progress)
4 A. Previous constructions of p-adic L-functions of modular forms, and their reformulation by Stevens
5 A. Previous constructions of p-adic L-functions of modular forms, and their reformulation by Stevens We start with a modular form f (z) = a n q n, n=0 q = e 2iπz of weight k + 2 (k 0), level Γ 1 (N), nebentypus ɛ. We assume that f is normalized (a 1 = 1), and an eigenform for the Hecke operators (T l for l N and the diamond operators).
6 A. Previous constructions of p-adic L-functions of modular forms, and their reformulation by Stevens We start with a modular form f (z) = a n q n, n=0 q = e 2iπz of weight k + 2 (k 0), level Γ 1 (N), nebentypus ɛ. We assume that f is normalized (a 1 = 1), and an eigenform for the Hecke operators (T l for l N and the diamond operators). Let p be a prime not dividing N. To define a p-adic L-function for f, we need first to refine (or p-stabilize) it. Define α and β the roots of X 2 a p X + p k+1 ɛ(p). One has 0 v p (α), v p (β) k + 1 and v p (α) + v p (β) = k + 1.
7 There are two forms of level Γ := Γ 1 (N) Γ 0 (p) attached to f that are eigenforms for all Hecke operators (T l for l Np, U p, and the diamond operators): f α (z) = f (z) βf (pz), U p f α = αf α f β (z) = f (z) αf (pz), U p f β = βf β
8 There are two forms of level Γ := Γ 1 (N) Γ 0 (p) attached to f that are eigenforms for all Hecke operators (T l for l Np, U p, and the diamond operators): f α (z) = f (z) βf (pz), U p f α = αf α f β (z) = f (z) αf (pz), U p f β = βf β To refine f is to choose one of those forms. The forms f α and f β are called refinements of f.
9 There are two forms of level Γ := Γ 1 (N) Γ 0 (p) attached to f that are eigenforms for all Hecke operators (T l for l Np, U p, and the diamond operators): f α (z) = f (z) βf (pz), U p f α = αf α f β (z) = f (z) αf (pz), U p f β = βf β To refine f is to choose one of those forms. The forms f α and f β are called refinements of f.
10 Theorem (Mazur, Swinnerton-Dyer, Manin, Amice-Vélu, Visik (70 s)) Let f be as above, and assume that a. f is cuspidal.
11 Theorem (Mazur, Swinnerton-Dyer, Manin, Amice-Vélu, Visik (70 s)) Let f be as above, and assume that a. f is cuspidal. b. v p (α) < k + 1 (non-critical slope)
12 Theorem (Mazur, Swinnerton-Dyer, Manin, Amice-Vélu, Visik (70 s)) Let f be as above, and assume that a. f is cuspidal. b. v p (α) < k + 1 (non-critical slope) Then there exists a unique analytic p-adic L-function L p (f α, σ), σ W(C p ) = Hom(Z p, C p) such that
13 Theorem (Mazur, Swinnerton-Dyer, Manin, Amice-Vélu, Visik (70 s)) Let f be as above, and assume that a. f is cuspidal. b. v p (α) < k + 1 (non-critical slope) Then there exists a unique analytic p-adic L-function L p (f α, σ), σ W(C p ) = Hom(Z p, C p) such that (INTERPOLATION) For every σ of the form σ(t) = ψ(t)t i, ψ finite image, 0 i k, L p (f α, σ) = e p (f, α, σ) L(f, ψ 1, i + 1). Period (GROWTH) The function L p (f α ) has order at most v p (α), that is L p (f α,.) = O( log vp(α) p ).
14 I will now explain Stevens beautiful and conceptual proof of this theorem.
15 I will now explain Stevens beautiful and conceptual proof of this theorem. Classical Modular Symbols:
16 I will now explain Stevens beautiful and conceptual proof of this theorem. Classical Modular Symbols: Let 0 be the group of divisors of degree 0 on P 1 (Q). GL 2 (Q) acts on it.
17 I will now explain Stevens beautiful and conceptual proof of this theorem. Classical Modular Symbols: Let 0 be the group of divisors of degree 0 on P 1 (Q). GL 2 (Q) acts on it. Let Γ be a congruence subgroup, and V a Γ-module. We define the abelian group of V -valued modular symbols by Symb Γ (V ) := Hom Γ ( 0, V ). This is a functor in V, obviously left-exact.
18 I will now explain Stevens beautiful and conceptual proof of this theorem. Classical Modular Symbols: Let 0 be the group of divisors of degree 0 on P 1 (Q). GL 2 (Q) acts on it. Let Γ be a congruence subgroup, and V a Γ-module. We define the abelian group of V -valued modular symbols by Symb Γ (V ) := Hom Γ ( 0, V ). This is a functor in V, obviously left-exact. Suppose that V is acted upon by a subgroup (or submonoid) H of GL 2 (Q) larger than Γ. Then Symb Γ (V ) inherits an action of the Hecke operators [ΓhΓ], h H, since it is a group of Γ-invariants in an H-module.
19 I will now explain Stevens beautiful and conceptual proof of this theorem. Classical Modular Symbols: Let 0 be the group of divisors of degree 0 on P 1 (Q). GL 2 (Q) acts on it. Let Γ be a congruence subgroup, and V a Γ-module. We define the abelian group of V -valued modular symbols by Symb Γ (V ) := Hom Γ ( 0, V ). This is a functor in V, obviously left-exact. Suppose that V is acted upon by a subgroup (or submonoid) H of GL 2 (Q) larger than Γ. Then Symb Γ (V ) inherits an action of the Hecke operators [ΓhΓ], h H, since it is a group of Γ-invariants in an H-module. Theorem (Ash-Stevens (80 s)) For every Γ-module V, Symb Γ (V ) H 1 c (Γ, V ) functorially in V and as Hecke-modules.
20 I will now explain Stevens beautiful and conceptual proof of this theorem. Classical Modular Symbols: Let 0 be the group of divisors of degree 0 on P 1 (Q). GL 2 (Q) acts on it. Let Γ be a congruence subgroup, and V a Γ-module. We define the abelian group of V -valued modular symbols by Symb Γ (V ) := Hom Γ ( 0, V ). This is a functor in V, obviously left-exact. Suppose that V is acted upon by a subgroup (or submonoid) H of GL 2 (Q) larger than Γ. Then Symb Γ (V ) inherits an action of the Hecke operators [ΓhΓ], h H, since it is a group of Γ-invariants in an H-module. Theorem (Ash-Stevens (80 s)) For every Γ-module V, Symb Γ (V ) H 1 c (Γ, V ) functorially in V and as Hecke-modules. Idea of proof: long exact sequence of cohomology for X (Γ), Y (Γ); observe that X (Γ) Y (Γ) = P 1 (Q)/Γ
21 classical modular symbols Now we begin to feed the modular-symbols machine with interesting Γ-modules V. Let k 0. P k = space of polynomials of degree k or less, with its action of GL 2 (Q). V k = dual of P k.
22 classical modular symbols Now we begin to feed the modular-symbols machine with interesting Γ-modules V. Let k 0. P k = space of polynomials of degree k or less, with its action of GL 2 (Q). V k = dual of P k. The ( space ) Symb Γ (V k ) has actions of Hecke operators, and if 1 0 normalizes Γ (which we shall assume), an involution ι 0 1 given by this matrix.
23 classical modular symbols Now we begin to feed the modular-symbols machine with interesting Γ-modules V. Let k 0. P k = space of polynomials of degree k or less, with its action of GL 2 (Q). V k = dual of P k. The ( space ) Symb Γ (V k ) has actions of Hecke operators, and if 1 0 normalizes Γ (which we shall assume), an involution ι 0 1 given by this matrix. Theorem (Eichler-Shimura, Manin-Shokurov) Symb Γ (V k ) = S k+2 (Γ) M k+2 (Γ)
24 classical modular symbols Now we begin to feed the modular-symbols machine with interesting Γ-modules V. Let k 0. P k = space of polynomials of degree k or less, with its action of GL 2 (Q). V k = dual of P k. The ( space ) Symb Γ (V k ) has actions of Hecke operators, and if 1 0 normalizes Γ (which we shall assume), an involution ι 0 1 given by this matrix. Theorem (Eichler-Shimura, Manin-Shokurov) Symb Γ (V k ) = S k+2 (Γ) M k+2 (Γ) = S k+2 (Γ) S k+2 (Γ) E k+2 (Γ)
25 classical modular symbols Now we begin to feed the modular-symbols machine with interesting Γ-modules V. Let k 0. P k = space of polynomials of degree k or less, with its action of GL 2 (Q). V k = dual of P k. The ( space ) Symb Γ (V k ) has actions of Hecke operators, and if 1 0 normalizes Γ (which we shall assume), an involution ι 0 1 given by this matrix. Theorem (Eichler-Shimura, Manin-Shokurov) Symb Γ (V k ) = S k+2 (Γ) M k+2 (Γ) = S k+2 (Γ) S k+2 (Γ) E k+2 (Γ) Symb + Γ (V k) = S k+2 (Γ) E + k+2 (Γ) Symb Γ (V k) = S k+2 (Γ) E k+2 (Γ).
26 classical modular symbols Theorem (Eichler-Shimura, Manin-Shokurov) Symb Γ (V k ) = S k+2 (Γ) S k+2 (Γ) E k+2 (Γ) Symb + Γ (V k) = S k+2 (Γ) E + k+2 (Γ) Symb Γ (V k) = S k+2 (Γ) E k+2 (Γ).
27 classical modular symbols Theorem (Eichler-Shimura, Manin-Shokurov) Symb Γ (V k ) = S k+2 (Γ) S k+2 (Γ) E k+2 (Γ) Symb + Γ (V k) = S k+2 (Γ) E + k+2 (Γ) Symb Γ (V k) = S k+2 (Γ) E k+2 (Γ). (One idea from the proof: construct S k+2 (Γ) Symb Γ (V k ), f φ f with φ f ({a} {b}) = b a f (z)p(z)dz. The RHS is a linear form of P(z) P k, so is in V k. The modularity of f implies that φ f is a modular symbol. Note: this RHS is sums of special values of L(f, ψ, i + 1) for various finite-order characters ψ and integers 0 i k.)
28 Stevens Overconvergent Modular Symbols
29 Stevens Overconvergent Modular Symbols Define A as the Frechet space of analytic functions g(x) = a n x n, a n Q p that converge on a ball of center 0 and some radius > 1 (depending of g).
30 Stevens Overconvergent Modular Symbols Define A as the Frechet space of analytic functions g(x) = a n x n, a n Q p that converge on a ball of center 0 and some radius > 1 (depending of g). For every k Z, one can define an action of the monoid ( ) a b S 0 (p) = { γ = on A, by setting c d (γ k g)(x) = (a + cx) k g } M 2 (Z p ) GL 2 (Q), p a, p c, ( ) b + dx. a + cx
31 Stevens Overconvergent Modular Symbols Define A as the Frechet space of analytic functions g(x) = a n x n, a n Q p that converge on a ball of center 0 and some radius > 1 (depending of g). For every k Z, one can define an action of the monoid ( ) a b S 0 (p) = { γ = on A, by setting A k = A with this action. c d (γ k g)(x) = (a + cx) k g } M 2 (Z p ) GL 2 (Q), p a, p c, ( ) b + dx. a + cx
32 Stevens Overconvergent Modular Symbols Define A as the Frechet space of analytic functions g(x) = a n x n, a n Q p that converge on a ball of center 0 and some radius > 1 (depending of g). For every k Z, one can define an action of the monoid ( ) a b S 0 (p) = { γ = on A, by setting c d (γ k g)(x) = (a + cx) k g A k = A with this action. D k = dual of A k. } M 2 (Z p ) GL 2 (Q), p a, p c, ( ) b + dx. a + cx
33 Stevens Overconvergent Modular Symbols Define A as the Frechet space of analytic functions g(x) = a n x n, a n Q p that converge on a ball of center 0 and some radius > 1 (depending of g). For every k Z, one can define an action of the monoid ( ) a b S 0 (p) = { γ = on A, by setting c d (γ k g)(x) = (a + cx) k g } M 2 (Z p ) GL 2 (Q), p a, p c, ( ) b + dx. a + cx A k = A with this action. D k = dual of A k. For Γ Γ 0 (p) S 0 (p), the space of overconvergent modular symbols is Symb Γ (D k ). This space has an action of the Hecke operators (T l, U p, diamonds, ι). It is very big, but
34 overconvergent modular symbols Theorem (Stevens (90 s)) For any h 0, is finite dimensional. Symb Γ (D k ) slope h (Idea: compacity of U p ) For k 0, obvious exact sequence of Γ-modules: 0 P k A k d k+1 dx k+1 A 2 k 0.
35 overconvergent modular symbols Theorem (Stevens (90 s)) For any h 0, is finite dimensional. Symb Γ (D k ) slope h (Idea: compacity of U p ) For k 0, obvious exact sequence of Γ-modules: d k+1 dx 0 P k A k+1 k A 2 k 0. This is even an exact sequence of Σ 0 (p)-module if we twist the action on A 2 k by det k+1.)
36 overconvergent modular symbols Theorem (Stevens (90 s)) For any h 0, is finite dimensional. Symb Γ (D k ) slope h (Idea: compacity of U p ) For k 0, obvious exact sequence of Γ-modules: d k+1 dx 0 P k A k+1 k A 2 k 0. This is even an exact sequence of Σ 0 (p)-module if we twist the action on A 2 k by det k+1.) Dual exact sequence: 0 D 2 k D k V k 0.
37 overconvergent modular symbols Theorem (Stevens-Pollack) The induced 0 Symb Γ (D 2 k ) Symb Γ (D k ) Symb Γ (V k ) 0. is still exact. This is an Hecke-sequence if we twist the action of T l, U p on Symb Γ (D 2 k ) by (1 + l) k+1, p k+1.
38 overconvergent modular symbols Theorem (Stevens-Pollack) The induced 0 Symb Γ (D 2 k ) Symb Γ (D k ) Symb Γ (V k ) 0. is still exact. This is an Hecke-sequence if we twist the action of T l, U p on Symb Γ (D 2 k ) by (1 + l) k+1, p k+1. Idea of proof: Ash-Stevens, long exact sequence of cohomology, and computation of H 2 c (Γ, D 2 k ), which is 0.
39 overconvergent modular symbols Theorem (Stevens-Pollack) The induced 0 Symb Γ (D 2 k ) Symb Γ (D k ) Symb Γ (V k ) 0. is still exact. This is an Hecke-sequence if we twist the action of T l, U p on Symb Γ (D 2 k ) by (1 + l) k+1, p k+1. Idea of proof: Ash-Stevens, long exact sequence of cohomology, and computation of H 2 c (Γ, D 2 k ), which is 0. Corollary (Stevens control theorem (90 s)) The induced map is an isomorphism. Symb Γ (D k ) slope<k+1 Symb Γ (V k ) slope<k+1
40 End of Stevens Construction:
41 End of Stevens Construction: Start with f cuspidal, v p (α) < k + 1. Choose a sign ±.
42 End of Stevens Construction: Start with f cuspidal, v p (α) < k + 1. Choose a sign ±. Let φ fα Symb ± Γ (V k) be the modular symbol corresponding to f α by Eichler-Shimura.
43 End of Stevens Construction: Start with f cuspidal, v p (α) < k + 1. Choose a sign ±. Let φ fα Symb ± Γ (V k) be the modular symbol corresponding to f α by Eichler-Shimura. Lift φ fα uniquely to Φ fα Symb ± Γ (D k) by the control theorem (possible since v p (α) < k + 1).
44 End of Stevens Construction: Start with f cuspidal, v p (α) < k + 1. Choose a sign ±. Let φ fα Symb ± Γ (V k) be the modular symbol corresponding to f α by Eichler-Shimura. Lift φ fα uniquely to Φ fα Symb ± Γ (D k) by the control theorem (possible since v p (α) < k + 1). Set µ fα = Φ fα ({0} { }) D.
45 End of Stevens Construction: Start with f cuspidal, v p (α) < k + 1. Choose a sign ±. Let φ fα Symb ± Γ (V k) be the modular symbol corresponding to f α by Eichler-Shimura. Lift φ fα uniquely to Φ fα Symb ± Γ (D k) by the control theorem (possible since v p (α) < k + 1). Set µ fα = Φ fα ({0} { }) D. Define L ± p (f α, ) as the Mellin transform of the destribition µ fα.
46 End of Stevens Construction: Start with f cuspidal, v p (α) < k + 1. Choose a sign ±. Let φ fα Symb ± Γ (V k) be the modular symbol corresponding to f α by Eichler-Shimura. Lift φ fα uniquely to Φ fα Symb ± Γ (D k) by the control theorem (possible since v p (α) < k + 1). Set µ fα = Φ fα ({0} { }) D. Define L ± p (f α, ) as the Mellin transform of the destribition µ fα. One gets this way one-half of the p-adic L-function (the values on characters σ such that σ( 1) = ±1). One uses the other sign for the other half.
47 End of Stevens Construction: Start with f cuspidal, v p (α) < k + 1. Choose a sign ±. Let φ fα Symb ± Γ (V k) be the modular symbol corresponding to f α by Eichler-Shimura. Lift φ fα uniquely to Φ fα Symb ± Γ (D k) by the control theorem (possible since v p (α) < k + 1). Set µ fα = Φ fα ({0} { }) D. Define L ± p (f α, ) as the Mellin transform of the destribition µ fα. One gets this way one-half of the p-adic L-function (the values on characters σ such that σ( 1) = ±1). One uses the other sign for the other half. Proving the interpolation property is a simple computation using the way φ fα is defined. The growth property results easily from Φ fα being an eigenform for U p of slope v p (α).
48 End of Stevens Construction: Start with f cuspidal, v p (α) < k + 1. Choose a sign ±. Let φ fα Symb ± Γ (V k) be the modular symbol corresponding to f α by Eichler-Shimura. Lift φ fα uniquely to Φ fα Symb ± Γ (D k) by the control theorem (possible since v p (α) < k + 1). Set µ fα = Φ fα ({0} { }) D. Define L ± p (f α, ) as the Mellin transform of the destribition µ fα. One gets this way one-half of the p-adic L-function (the values on characters σ such that σ( 1) = ±1). One uses the other sign for the other half. Proving the interpolation property is a simple computation using the way φ fα is defined. The growth property results easily from Φ fα being an eigenform for U p of slope v p (α). Remark: One can do this with f Eisenstein as well (still with v p (α) < k + 1, so v p (α) = 0), at least for one choice of ±. Get a non-zero µ fα, but the p-adic L-function is 0.
49 B. The missing p-adic L-functions
50 B. The missing p-adic L-functions Recall the map θ : M k (Γ) M k+2 (γ) which is (q d dq )k+1 on q-developements.
51 B. The missing p-adic L-functions Recall the map θ : M k (Γ) M k+2 (γ) which is (q d dq )k+1 on q-developements. Theorem (Stevens-Pollack (00 s)) If v p (α) = k + 1 but f α is not in the image of θ, one can still lift φ fα to Φ fα uniquely and define the p-adic L-function.
52 B. The missing p-adic L-functions Recall the map θ : M k (Γ) M k+2 (γ) which is (q d dq )k+1 on q-developements. Theorem (Stevens-Pollack (00 s)) If v p (α) = k + 1 but f α is not in the image of θ, one can still lift φ fα to Φ fα uniquely and define the p-adic L-function. Such an f α is called non-critical (a slightly weaker condition than non-critical slope). What happens in the critical case?
53 B. The missing p-adic L-functions Recall the map θ : M k (Γ) M k+2 (γ) which is (q d dq )k+1 on q-developements. Theorem (Stevens-Pollack (00 s)) If v p (α) = k + 1 but f α is not in the image of θ, one can still lift φ fα to Φ fα uniquely and define the p-adic L-function. Such an f α is called non-critical (a slightly weaker condition than non-critical slope). What happens in the critical case? Notations: if M is a space on which the Hecke operators acts, M[f α ]= eigenspace for the Hecke operators with same eigenvalues as f α. M (fα) = generalized eigenspace for the Hecke operators with same eigenvalues as f α.
54 B. The missing p-adic L-functions Recall the map θ : M k (Γ) M k+2 (γ) which is (q d dq )k+1 on q-developements. Theorem (Stevens-Pollack (00 s)) If v p (α) = k + 1 but f α is not in the image of θ, one can still lift φ fα to Φ fα uniquely and define the p-adic L-function. Such an f α is called non-critical (a slightly weaker condition than non-critical slope). What happens in the critical case? Notations: if M is a space on which the Hecke operators acts, M[f α ]= eigenspace for the Hecke operators with same eigenvalues as f α. M (fα) = generalized eigenspace for the Hecke operators with same eigenvalues as f α. Conjecture (Stevens-Pollack) Assume f is cuspidal, new. Then Symb ± Γ (D k)[f α ] has dimension 1.
55 Conjecture (Stevens-Pollack) Assume f is cuspidal, new. Then Symb ± Γ (D k)[f α ] has dimension 1.
56 Conjecture (Stevens-Pollack) Assume f is cuspidal, new. Then Symb ± Γ (D k)[f α ] has dimension 1. Theorem This is true for f cuspidal, and also for f Eisenstein if v p (α) > 0. More precisely, if e is the degree of the eigencurve at f α over W, the algebra H fα generated by the Hecke operators in End(Symb ± Γ (D k) (fα)) is isomorphic to Q p [T ]/T e, and Symb ± Γ (D k) (fα) is free of rank 1 over H fα
57 Conjecture (Stevens-Pollack) Assume f is cuspidal, new. Then Symb ± Γ (D k)[f α ] has dimension 1. Theorem This is true for f cuspidal, and also for f Eisenstein if v p (α) > 0. More precisely, if e is the degree of the eigencurve at f α over W, the algebra H fα generated by the Hecke operators in End(Symb ± Γ (D k) (fα)) is isomorphic to Q p [T ]/T e, and Symb ± Γ (D k) (fα) is free of rank 1 over H fα This result offers a natural definition of the p-adic L-function of f α in all cases, including the critical ones: start with a generator Φ fα of Symb ± Γ (D k)[f α ], take the distribution µ fα := Φ fα ({0} { }), and define L(f α, σ) as the Mellin transform of µ fα.
58 This definition coincide with the classical one in the cuspidal, non-critical slope case, and with the definition of Stevens-Pollack in the cuspidal, non-critical case.
59 This definition coincide with the classical one in the cuspidal, non-critical slope case, and with the definition of Stevens-Pollack in the cuspidal, non-critical case. This p-adic L-function has all expected properties: it has order of growth at most k + 1, it satisfies a functional equation, etc. Also one can construct a two-variables p-adic L-function, the first variable being a point of the eigencurve (in a neighborhood of f α ), the second being σ, that interpolates the one-variable p-adic L-functions, critical or not.
60 We now give a sketch of the proof of this theorem.
61 We now give a sketch of the proof of this theorem. Construction of the eigencurve through modular symbols (developing unwritten ideas of Stevens):
62 We now give a sketch of the proof of this theorem. Construction of the eigencurve through modular symbols (developing unwritten ideas of Stevens): Fix W an affinoid subset of W. I construct an adequate module D W of distributions over W, with action of S 0 (p) such that for all h 0
63 We now give a sketch of the proof of this theorem. Construction of the eigencurve through modular symbols (developing unwritten ideas of Stevens): Fix W an affinoid subset of W. I construct an adequate module D W of distributions over W, with action of S 0 (p) such that for all h 0 1. Symb Γ (D W ) slope h is a finite projective W -module.
64 We now give a sketch of the proof of this theorem. Construction of the eigencurve through modular symbols (developing unwritten ideas of Stevens): Fix W an affinoid subset of W. I construct an adequate module D W of distributions over W, with action of S 0 (p) such that for all h 0 1. Symb Γ (D W ) slope h is a finite projective W -module. 2. If k Z, k W, the fiber at k of that module is Symb Γ (D k ) slope h, except when k = 0, h 1.
65 We now give a sketch of the proof of this theorem. Construction of the eigencurve through modular symbols (developing unwritten ideas of Stevens): Fix W an affinoid subset of W. I construct an adequate module D W of distributions over W, with action of S 0 (p) such that for all h 0 1. Symb Γ (D W ) slope h is a finite projective W -module. 2. If k Z, k W, the fiber at k of that module is Symb Γ (D k ) slope h, except when k = 0, h 1. We can now construct the eigencurve C Symb. We need only construct the open part of the eigencuve that lies over W and on which the slope v p (U p ) h, which we call C h Symb,W. We define it as the rigid spectrum of the affinoid algebra generated by the Hecke operators in End W (Symb Γ (D W ) slope h ).
66 We now give a sketch of the proof of this theorem. Construction of the eigencurve through modular symbols (developing unwritten ideas of Stevens): Fix W an affinoid subset of W. I construct an adequate module D W of distributions over W, with action of S 0 (p) such that for all h 0 1. Symb Γ (D W ) slope h is a finite projective W -module. 2. If k Z, k W, the fiber at k of that module is Symb Γ (D k ) slope h, except when k = 0, h 1. We can now construct the eigencurve C Symb. We need only construct the open part of the eigencuve that lies over W and on which the slope v p (U p ) h, which we call C h Symb,W. We define it as the rigid spectrum of the affinoid algebra generated by the Hecke operators in End W (Symb Γ (D W ) slope h ). Since this algebra is an algebra over W, and is torsion-free, C h Symb,W has a flat map toward W. To construct the full eigencurve C Symb, glue those open parts according to the standard procedure, axiomatized by Buzzard.
67 Using a theorem of Chenevier, one can prove: Theorem There is a canonical isomorphism between the usual eigengurve C and C Symb.
68 Using a theorem of Chenevier, one can prove: Theorem There is a canonical isomorphism between the usual eigengurve C and C Symb. Recall from Fabrizio s talk that he has constructed with Iovita and Stevens a natural map Symb Γ (D k ) slope h (M k+2 (Γ) S k+2 (Γ))slope h, and that they hope/conjecture that for every k Z it is surjective, or even an isomorphism.
69 Using a theorem of Chenevier, one can prove: Theorem There is a canonical isomorphism between the usual eigengurve C and C Symb. Recall from Fabrizio s talk that he has constructed with Iovita and Stevens a natural map Symb Γ (D k ) slope h (M k+2 (Γ) S k+2 (Γ))slope h, and that they hope/conjecture that for every k Z it is surjective, or even an isomorphism. I know nothing of this map, but with the ideas above, I can prove: Theorem If k Z, k 0, the source and target of this map have the same semi-simplication as H-modules, and in particular have the same dimension. If k = 0, the semi-simplification of the source is a line plus the semi-simplification of the target. Remark: I have no idea why this should be true without semi-simplification in general (especially when k = 1).
70 Geometry of the eigencurve:
71 Geometry of the eigencurve: Theorem (Bellaïche-Chenevier (2003), Chenevier (2004)) Let f be as in theorem. The eigencurve is smooth at f α.
72 Geometry of the eigencurve: Theorem (Bellaïche-Chenevier (2003), Chenevier (2004)) Let f be as in theorem. The eigencurve is smooth at f α. Ingredients of proof: Galois deformations, Galois cohomology, pseudocharacters.
73 Geometry of the eigencurve: Theorem (Bellaïche-Chenevier (2003), Chenevier (2004)) Let f be as in theorem. The eigencurve is smooth at f α. Ingredients of proof: Galois deformations, Galois cohomology, pseudocharacters. Remark: this is false if k = 1, i.e. f of weight 1. (work in progress with Mladen Dimitrov).
74 Geometry of the eigencurve: Theorem (Bellaïche-Chenevier (2003), Chenevier (2004)) Let f be as in theorem. The eigencurve is smooth at f α. Ingredients of proof: Galois deformations, Galois cohomology, pseudocharacters. Remark: this is false if k = 1, i.e. f of weight 1. (work in progress with Mladen Dimitrov).
75 End of the proof
76 End of the proof We study the module Symb ± Γ (D W ) as a module over the eigencurve C slope h Symb,W in a neighborhood of f α (we choose h > v p (α))
77 End of the proof We study the module Symb ± Γ (D W ) as a module over the eigencurve C slope h Symb,W in a neighborhood of f α (we choose h > v p (α)) Lemma This module is free of rank one in a neighborhood of f α. Ingredients : commutative algebra using the smoothness; theory of newforms and new components over the eigencurve.
78 End of the proof We study the module Symb ± Γ (D W ) as a module over the eigencurve C slope h Symb,W in a neighborhood of f α (we choose h > v p (α)) Lemma This module is free of rank one in a neighborhood of f α. Ingredients : commutative algebra using the smoothness; theory of newforms and new components over the eigencurve. Corollary The fiber over the weight space of the eigencurve at f α is the spectrum of the algebra H f,α. Results from the definitions and a commutation of End with taking the fiber which is not tautological really needs the lemma. Also, needs to deal with the exceptional case when k = 0.
79 End of the proof We study the module Symb ± Γ (D W ) as a module over the eigencurve C slope h Symb,W in a neighborhood of f α (we choose h > v p (α)) Lemma This module is free of rank one in a neighborhood of f α. Ingredients : commutative algebra using the smoothness; theory of newforms and new components over the eigencurve. Corollary The fiber over the weight space of the eigencurve at f α is the spectrum of the algebra H f,α. Results from the definitions and a commutation of End with taking the fiber which is not tautological really needs the lemma. Also, needs to deal with the exceptional case when k = 0. Lemma (Riemann) One can find a uniformizer T on the eigencurve at f α, and a uniformiser Y of W at k, such that locally near f α, the eigencurve has equation T e Y
80 Lemma This module is free of rank one in a neighborhood of f α. Corollary The fiber over the weight space of the eigencurve at f α is the spectrum of the algebra H f,α. Lemma (Riemann) One can find a uniformizer T on the eigencurve at f α, and a uniformiser Y of W at k, such that locally near f α, the eigencurve has equation T e Y
81 Lemma This module is free of rank one in a neighborhood of f α. Corollary The fiber over the weight space of the eigencurve at f α is the spectrum of the algebra H f,α. Lemma (Riemann) One can find a uniformizer T on the eigencurve at f α, and a uniformiser Y of W at k, such that locally near f α, the eigencurve has equation T e Y Theorem H f,α is isomorphic to Q p [T ]/T e and Symb ± Γ (D k) (fα) is free of rank 1 on it.
82 C. Study of critical p-adic L-functions
83 C. Study of critical p-adic L-functions Note that for a refined form f α to be of critical slope, we need v p (β) = 0 since v p (α) + v p (β) = k + 1, so we need f ordinary at p. Below we shall assume that v p (α) v p (β).
84 C. Study of critical p-adic L-functions Note that for a refined form f α to be of critical slope, we need v p (β) = 0 since v p (α) + v p (β) = k + 1, so we need f ordinary at p. Below we shall assume that v p (α) v p (β). Classification of forms of critical slope:
85 C. Study of critical p-adic L-functions Note that for a refined form f α to be of critical slope, we need v p (β) = 0 since v p (α) + v p (β) = k + 1, so we need f ordinary at p. Below we shall assume that v p (α) v p (β). Classification of forms of critical slope: Case 1: f Eisenstein. Such a form is always ordinary. Then v p (α) = k + 1, and f α is of critical slope, and actually is critical (that is not in the image of θ).
86 C. Study of critical p-adic L-functions Note that for a refined form f α to be of critical slope, we need v p (β) = 0 since v p (α) + v p (β) = k + 1, so we need f ordinary at p. Below we shall assume that v p (α) v p (β). Classification of forms of critical slope: Case 1: f Eisenstein. Such a form is always ordinary. Then v p (α) = k + 1, and f α is of critical slope, and actually is critical (that is not in the image of θ). Case 2: f cuspidal CM by a imaginary quadratic field K. The ordinarity of f forces p to be split in K. In this case again, f α is critical.
87 C. Study of critical p-adic L-functions Note that for a refined form f α to be of critical slope, we need v p (β) = 0 since v p (α) + v p (β) = k + 1, so we need f ordinary at p. Below we shall assume that v p (α) v p (β). Classification of forms of critical slope: Case 1: f Eisenstein. Such a form is always ordinary. Then v p (α) = k + 1, and f α is of critical slope, and actually is critical (that is not in the image of θ). Case 2: f cuspidal CM by a imaginary quadratic field K. The ordinarity of f forces p to be split in K. In this case again, f α is critical. Case 3: f cuspidal non CM, p-ordinary. Then f α is of critical slope, and is conjectured to be non-critical.
88 The case of CM forms Take f CM by K, and assume that p splits in K. Let g M k (Γ) be the companion form of f α : θg = f α. It is an ordinary overconvergent modular form, whose p-adic L-function is defined since the nineties by work of Greenberg-Stevens and Kitagawa. Since g is CM, one can also use Katz construction.
89 The case of CM forms Take f CM by K, and assume that p splits in K. Let g M k (Γ) be the companion form of f α : θg = f α. It is an ordinary overconvergent modular form, whose p-adic L-function is defined since the nineties by work of Greenberg-Stevens and Kitagawa. Since g is CM, one can also use Katz construction. To describe our formula, we need to introduce the analytic function log p [k] on the weight space W(C p ) = Hom(Z p, C p).
90 The case of CM forms Take f CM by K, and assume that p splits in K. Let g M k (Γ) be the companion form of f α : θg = f α. It is an ordinary overconvergent modular form, whose p-adic L-function is defined since the nineties by work of Greenberg-Stevens and Kitagawa. Since g is CM, one can also use Katz construction. To describe our formula, we need to introduce the analytic function log p [k] on the weight space W(C p ) = Hom(Z p, C p). Let us choose a generator γ of 1 + pz p. Set s = σ(γ), so s is in the open ball of center 1 and radius 1 in C p. Set log [k] p (σ) = k i=0 log p(γ j s) (log p γ) k+1
91 The case of CM forms Take f CM by K, and assume that p splits in K. Let g M k (Γ) be the companion form of f α : θg = f α. It is an ordinary overconvergent modular form, whose p-adic L-function is defined since the nineties by work of Greenberg-Stevens and Kitagawa. Since g is CM, one can also use Katz construction. To describe our formula, we need to introduce the analytic function log p [k] on the weight space W(C p ) = Hom(Z p, C p). Let us choose a generator γ of 1 + pz p. Set s = σ(γ), so s is in the open ball of center 1 and radius 1 in C p. Set log [k] p (σ) = k i=0 log p(γ j s) (log p γ) k+1 It is easy to see that log p [k] is independent of the choice of γ. This function vanishes at order 1 on every character of the form σ(t) = ψ(t)t i, ψ of finite image, 0 i k.
92 Theorem L p (f α, σ) = log [k] (σ)l p (g, σ/t k ). Corollary L p (f α, σ) vanishes on every special character. It is a function of order exactly k + 1.
93 The case of an Eisenstein series If f is an Eisenstein series, and v p (α) = k + 1, one expects a somewhat similar formula for L p (f α, ), namely a product of log [k] p and two p-adic Dirichlet L-functions.
94 The case of an Eisenstein series If f is an Eisenstein series, and v p (α) = k + 1, one expects a somewhat similar formula for L p (f α, ), namely a product of log [k] p and two p-adic Dirichlet L-functions. This was conjectured in a special case back in the nineties by Stevens and Pasol (for a critical p-adic L-function that whose existence was only conjectural). This is much harder that in the CM case, probably because of the poles that may have the p-adic Dirichlet L-functions.
95 The case of an Eisenstein series If f is an Eisenstein series, and v p (α) = k + 1, one expects a somewhat similar formula for L p (f α, ), namely a product of log [k] p and two p-adic Dirichlet L-functions. This was conjectured in a special case back in the nineties by Stevens and Pasol (for a critical p-adic L-function that whose existence was only conjectural). This is much harder that in the CM case, probably because of the poles that may have the p-adic Dirichlet L-functions. What I can prove is just Theorem If f is an Eisenstein series, and v p (α) = k + 1, then L p (f α, σ) is non zero.
96 The case of an Eisenstein series If f is an Eisenstein series, and v p (α) = k + 1, one expects a somewhat similar formula for L p (f α, ), namely a product of log [k] p and two p-adic Dirichlet L-functions. This was conjectured in a special case back in the nineties by Stevens and Pasol (for a critical p-adic L-function that whose existence was only conjectural). This is much harder that in the CM case, probably because of the poles that may have the p-adic Dirichlet L-functions. What I can prove is just Theorem If f is an Eisenstein series, and v p (α) = k + 1, then L p (f α, σ) is non zero. This is in contrast with the case of Eisenstein series with their ordinary refinements.
97 The case of an Eisenstein series If f is an Eisenstein series, and v p (α) = k + 1, one expects a somewhat similar formula for L p (f α, ), namely a product of log [k] p and two p-adic Dirichlet L-functions. This was conjectured in a special case back in the nineties by Stevens and Pasol (for a critical p-adic L-function that whose existence was only conjectural). This is much harder that in the CM case, probably because of the poles that may have the p-adic Dirichlet L-functions. What I can prove is just Theorem If f is an Eisenstein series, and v p (α) = k + 1, then L p (f α, σ) is non zero. This is in contrast with the case of Eisenstein series with their ordinary refinements. Recently a student of Stevens has made an important progress toward this conjecture. It is possible that using this progress, Stevens and Pollack will be able to prove the conjecture soon.
98 Other constructions of p-adic L-function What we constructed was the analytic p-adic L-function of f α. One can also attach to f α an algebraic p-adic L-function:
99 Other constructions of p-adic L-function What we constructed was the analytic p-adic L-function of f α. One can also attach to f α an algebraic p-adic L-function: We consider the Galois representation ρ f of G Q attached to f, together with its refinement attached to α, that is the line L α in D crys ((ρ f ) GQp ) on which the crystalline Frobenius acts by α.
100 Other constructions of p-adic L-function What we constructed was the analytic p-adic L-function of f α. One can also attach to f α an algebraic p-adic L-function: We consider the Galois representation ρ f of G Q attached to f, together with its refinement attached to α, that is the line L α in D crys ((ρ f ) GQp ) on which the crystalline Frobenius acts by α. Note: in the case of an Eisenstein f, the natural representation ρ f to consider here, and in many other situations, is not the obvious semi-simple sum of two characters, but the only indecomposable, crystalline at p representation with the same trace.
101 To (ρ f, L α ) one can attach an algebraic p-adic L-function. Greenberg was the first to define it in a big generality, but this generality is not sufficient here as for our critical f α, (ρ f, L) does not satisfy Panchiskin s condition. Instead we can use either Perrin-Riou s very abstract construction, or Pottharst s more recent (2010) construction using (φ, Γ)-modules. It is not yet known if the two algebraic p-adic L-functions are the same.
102 To (ρ f, L α ) one can attach an algebraic p-adic L-function. Greenberg was the first to define it in a big generality, but this generality is not sufficient here as for our critical f α, (ρ f, L) does not satisfy Panchiskin s condition. Instead we can use either Perrin-Riou s very abstract construction, or Pottharst s more recent (2010) construction using (φ, Γ)-modules. It is not yet known if the two algebraic p-adic L-functions are the same. It is natural to make an Iwasawa main conjecture, stating the equality, up to a function with no zeros and no poles, of the analytic p-adic L-function of f α and the algebraic p-adic L-function of (ρ f, L α ).
103 To (ρ f, L α ) one can attach an algebraic p-adic L-function. Greenberg was the first to define it in a big generality, but this generality is not sufficient here as for our critical f α, (ρ f, L) does not satisfy Panchiskin s condition. Instead we can use either Perrin-Riou s very abstract construction, or Pottharst s more recent (2010) construction using (φ, Γ)-modules. It is not yet known if the two algebraic p-adic L-functions are the same. It is natural to make an Iwasawa main conjecture, stating the equality, up to a function with no zeros and no poles, of the analytic p-adic L-function of f α and the algebraic p-adic L-function of (ρ f, L α ). Theorem Assuming the conjectural computation of the p-adic L-function of an Eisenstein series, the Iwasawa s conjecture (version Pottharst) is true for Eisenstein series. Ingredients of the proof: use the Mazur-Wiles main conjecture for the Dirichlet characters, and account for the extra zeros of log [k] using Colmez comutations on the cohomology of (φ, Γ)-module.
104 This theorem confirms that Potthart s definition of the algebraic L-function is correct. (or perhaps confirms that my definition of the analytic L-function is, that s a matter of point of view)
105 This theorem confirms that Potthart s definition of the algebraic L-function is correct. (or perhaps confirms that my definition of the analytic L-function is, that s a matter of point of view) I ignore if the same results is true with Perrin-Riou s definition of the p-adic L-function. I actually even ignore if this definition make sense for a reducible Galois representation like ρ f.
106 This theorem confirms that Potthart s definition of the algebraic L-function is correct. (or perhaps confirms that my definition of the analytic L-function is, that s a matter of point of view) I ignore if the same results is true with Perrin-Riou s definition of the p-adic L-function. I actually even ignore if this definition make sense for a reducible Galois representation like ρ f. There is also a construction of a p-adic L-function of the third type, which is in some sense intermediate between the analytical and algebraic p-adic L-function, which is often easier to compare to both. I mean the construction with an Euler system like Rubin s in the CM case an Kato s in general. This has led to Kato s proof of one-half of the main conjecture in the ordinary case.
107 This theorem confirms that Potthart s definition of the algebraic L-function is correct. (or perhaps confirms that my definition of the analytic L-function is, that s a matter of point of view) I ignore if the same results is true with Perrin-Riou s definition of the p-adic L-function. I actually even ignore if this definition make sense for a reducible Galois representation like ρ f. There is also a construction of a p-adic L-function of the third type, which is in some sense intermediate between the analytical and algebraic p-adic L-function, which is often easier to compare to both. I mean the construction with an Euler system like Rubin s in the CM case an Kato s in general. This has led to Kato s proof of one-half of the main conjecture in the ordinary case. In the non-critical slope case, one knows that Kato s p-adic L-function is the same as the classical analytic p-adic L-function of Mazur et al. This results would be easily to generalized to any refined form f α if we know that Kato s construction can be put in family, and that Kato s p-adic L-function of f α is non zero. I believe the first point is a work in progress of a student of Colmez. The second point seems harder, especially in the critical case.
CRITICAL p-adic L-FUNCTIONS. Contents
CRITICAL p-adic L-FUNCTIONS JOËL BELLAÏCHE Abstract. We attach p-adic L-functions to critical modular forms and study them. We prove that those L-functions fit in a two-variables p-adic L-function defined
More informationQuestion 1: Are there any non-anomalous eigenforms φ of weight different from 2 such that L χ (φ) = 0?
May 12, 2003 Anomalous eigenforms and the two-variable p-adic L-function (B Mazur) A p-ordinary p-adic modular (cuspidal) eigenform (for almost all Hecke operators T l with l p and for the Atkin-Lehner
More informationHecke Operators for Arithmetic Groups via Cell Complexes. Mark McConnell. Center for Communications Research, Princeton
Hecke Operators for Arithmetic Groups via Cell Complexes 1 Hecke Operators for Arithmetic Groups via Cell Complexes Mark McConnell Center for Communications Research, Princeton Hecke Operators for Arithmetic
More informationPseudo-Modularity and Iwasawa Theory
Pseudo-Modularity and Iwasawa Theory Preston Wake and Carl Wang Erickson April 11, 2015 Preston Wake and Carl Wang Erickson Pseudo-Modularity and Iwasawa Theory April 11, 2015 1 / 15 The Ordinary Eigencurve
More informationA p-adic Birch and Swinnerton-Dyer conjecture for modular abelian varieties
A p-adic Birch and Swinnerton-Dyer conjecture for modular abelian varieties Steffen Müller Universität Hamburg joint with Jennifer Balakrishnan and William Stein Rational points on curves: A p-adic and
More informationp-adic gauge theory in number theory K. Fujiwara Nagoya Tokyo, September 2007
p-adic gauge theory in number theory K. Fujiwara Nagoya Tokyo, September 2007 Dirichlet s theorem F : totally real field, O F : the integer ring, [F : Q] = d. p: a prime number. Dirichlet s unit theorem:
More informationRing theoretic properties of Hecke algebras and Cyclicity in Iwasawa theory
Ring theoretic properties of Hecke algebras and Cyclicity in Iwasawa theory Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555, U.S.A. A talk in June, 2016 at Banff conference center.
More informationVARIATION OF IWASAWA INVARIANTS IN HIDA FAMILIES
VARIATION OF IWASAWA INVARIANTS IN HIDA FAMILIES MATTHEW EMERTON, ROBERT POLLACK AND TOM WESTON 1. Introduction Let ρ : G Q GL 2 (k) be an absolutely irreducible modular Galois representation over a finite
More informationMATH G9906 RESEARCH SEMINAR IN NUMBER THEORY (SPRING 2014) LECTURE 1 (FEBRUARY 7, 2014) ERIC URBAN
MATH G9906 RESEARCH SEMINAR IN NUMBER THEORY (SPRING 014) LECTURE 1 (FEBRUARY 7, 014) ERIC URBAN NOTES TAKEN BY PAK-HIN LEE 1. Introduction The goal of this research seminar is to learn the theory of p-adic
More informationReciprocity maps with restricted ramification
Reciprocity maps with restricted ramification Romyar Sharifi UCLA January 6, 2016 1 / 19 Iwasawa theory for modular forms Let be an p odd prime and f a newform of level N. Suppose that f is ordinary at
More informationIntroductory comments on the eigencurve
Introductory comments on the eigencurve Handout # 5: March 8, 2006 (These are brief indications, hardly more than an annotated list, of topics mentioned in my lectures. ) 1 The basic Hecke diagram As before
More informationModularity of Galois representations. imaginary quadratic fields
over imaginary quadratic fields Krzysztof Klosin (joint with T. Berger) City University of New York December 3, 2011 Notation F =im. quadr. field, p # Cl F d K, fix p p Notation F =im. quadr. field, p
More informationTriple product p-adic L-functions for balanced weights and arithmetic properties
Triple product p-adic L-functions for balanced weights and arithmetic properties Marco A. Seveso, joint with Massimo Bertolini, Matthew Greenberg and Rodolfo Venerucci 2013 Workshop on Iwasawa theory and
More informationNEW EXAMPLES OF p-adically RIGID AUTOMORPHIC FORMS
NEW EXAMPLES OF p-adically RIGID AUTOMORPHIC FORMS JOËL BELLAÏCHE Abstract. In this paper, we prove two p-adic rigidity results for automorphic forms for the quasi-split unitary group in three variables
More informationThe Birch & Swinnerton-Dyer conjecture. Karl Rubin MSRI, January
The Birch & Swinnerton-Dyer conjecture Karl Rubin MSRI, January 18 2006 Outline Statement of the conjectures Definitions Results Methods Birch & Swinnerton-Dyer conjecture Suppose that A is an abelian
More informationEigenvarieties, families of Galois representations, p-adic L-functions. Incomplete notes from a Course at Brandeis university given in Fall 2010
Eigenvarieties, families of Galois representations, p-adic L-functions Incomplete notes from a Course at Brandeis university given in Fall 2010 1 Contents Introduction 9 Part 1. The eigen construction
More information15 Elliptic curves and Fermat s last theorem
15 Elliptic curves and Fermat s last theorem Let q > 3 be a prime (and later p will be a prime which has no relation which q). Suppose that there exists a non-trivial integral solution to the Diophantine
More informationTWO-VARIABLE p-adic L-FUNCTIONS
TWO-VARIABE p-adic -FUNCTIONS PAYMAN KASSAEI 1. Introduction This is a write-up of my talk in the Stanford reading group on the work of Bertolini- Darmon. The objective of my talk is to present a construction
More informationNon CM p-adic analytic families of modular forms
Non CM p-adic analytic families of modular forms Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555, U.S.A. The author is partially supported by the NSF grant: DMS 1464106. Abstract:
More informationFORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS
Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ
More informationOn the equality case of the Ramanujan Conjecture for Hilbert modular forms
On the equality case of the Ramanujan Conjecture for Hilbert modular forms Liubomir Chiriac Abstract The generalized Ramanujan Conjecture for unitary cuspidal automorphic representations π on GL 2 posits
More informationPossibilities for Shafarevich-Tate Groups of Modular Abelian Varieties
Possibilities for Shafarevich-Tate Groups of Modular Abelian Varieties William Stein Harvard University August 22, 2003 for Microsoft Research Overview of Talk 1. Abelian Varieties 2. Shafarevich-Tate
More informationA p-adic Birch and Swinnerton-Dyer conjecture for modular abelian varieties
A p-adic Birch and Swinnerton-Dyer conjecture for modular abelian varieties Steffen Müller Universität Hamburg joint with Jennifer Balakrishnan (Harvard) and William Stein (U Washington) Forschungsseminar
More informationAppendix A. Application to the three variable Rankin-Selberg p-adic L-functions. A corrigendum to [Ur14].
Appendix A. Application to the three variable Rankin-Selberg p-adic L-functions. A corrigendum to [r14]. A.1. Introduction. In [r14], the author introduced nearly overconvergent modular forms of finite
More informationAbstracts of papers. Amod Agashe
Abstracts of papers Amod Agashe In this document, I have assembled the abstracts of my work so far. All of the papers mentioned below are available at http://www.math.fsu.edu/~agashe/math.html 1) On invisible
More informationEndomorphism algebras of semistable abelian varieties over Q of GL(2)-type
of semistable abelian varieties over Q of GL(2)-type UC Berkeley Tatefest May 2, 2008 The abelian varieties in the title are now synonymous with certain types of modular forms. (This is true because we
More informationp-adic L-functions for Galois deformation spaces and Iwasawa Main Conjecture Tadashi Ochiai (Osaka University)
p-adic L-functions for Galois deformation spaces and Iwasawa Main Conjecture Tadashi Ochiai (Osaka University) January 2006 Main Reference [1] A generalization of the Coleman map for Hida deformation,
More informationp-adic Modular Forms: Serre, Katz, Coleman, Kassaei
p-adic Modular Forms: Serre, Katz, Coleman, Kassaei Nadim Rustom University of Copenhagen June 17, 2013 1 Serre p-adic modular forms Formes modulaires et fonctions zêta p-adiques, Modular Functions of
More informationp-adic iterated integrals, modular forms of weight one, and Stark-Heegner points.
Stark s Conjecture and related topics p-adic iterated integrals, modular forms of weight one, and Stark-Heegner points. Henri Darmon San Diego, September 20-22, 2013 (Joint with Alan Lauder and Victor
More informationTwists and residual modular Galois representations
Twists and residual modular Galois representations Samuele Anni University of Warwick Building Bridges, Bristol 10 th July 2014 Modular curves and Modular Forms 1 Modular curves and Modular Forms 2 Residual
More informationClass groups and Galois representations
and Galois representations UC Berkeley ENS February 15, 2008 For the J. Herbrand centennaire, I will revisit a subject that I studied when I first came to Paris as a mathematician, in 1975 1976. At the
More informationResidual modular Galois representations: images and applications
Residual modular Galois representations: images and applications Samuele Anni University of Warwick London Number Theory Seminar King s College London, 20 th May 2015 Mod l modular forms 1 Mod l modular
More informationTables of elliptic curves over number fields
Tables of elliptic curves over number fields John Cremona University of Warwick 10 March 2014 Overview 1 Why make tables? What is a table? 2 Simple enumeration 3 Using modularity 4 Curves with prescribed
More informationProblems on Growth of Hecke fields
Problems on Growth of Hecke fields Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555, U.S.A. A list of conjectures/problems related to my talk in Simons Conference in January 2014
More informationHecke eigenforms in the Cuspidal Cohomology of Congruence Subgroups of SL(3, Z)
Hecke eigenforms in the Cuspidal Cohomology of Congruence Subgroups of SL(3, Z) Bert van Geemen, Wilberd van der Kallen, Jaap Top and Alain Verberkmoes October 25, 1996 Abstract In this paper, Hecke eigenvalues
More informationEKNATH GHATE AND VINAYAK VATSAL. 1. Introduction
ON THE LOCAL BEHAVIOUR OF ORDINARY Λ-ADIC REPRESENTATIONS EKNATH GHATE AND VINAYAK VATSAL 1. Introduction In this paper we study the local behaviour of the Galois representations attached to ordinary Λ-adic
More informationComputer methods for Hilbert modular forms
Computer methods for Hilbert modular forms John Voight University of Vermont Workshop on Computer Methods for L-functions and Automorphic Forms Centre de Récherche Mathématiques (CRM) 22 March 2010 Computer
More informationVerification of the Birch and Swinnerton-Dyer Conjecture for Specific Elliptic Curves
Verification of the Birch and Swinnerton-Dyer Conjecture for Specific Elliptic Curves William Stein University of California, San Diego http://modular.fas.harvard.edu/ Bremen: July 2005 1 This talk reports
More informationMAZUR TATE ELEMENTS OF NON-ORDINARY MODULAR FORMS
MAZUR TATE ELEMENTS OF NON-ORDINARY MODULAR FORMS ROBERT POLLACK AND TOM WESTON Abstract. We establish formulae for the Iwasawa invariants of Mazur Tate elements of cuspidal eigenforms, generalizing known
More informationRIMS. Ibukiyama Zhuravlev. B.Heim
RIMS ( ) 13:30-14:30 ( ) Title: Generalized Maass relations and lifts. Abstract: (1) Duke-Imamoglu-Ikeda Eichler-Zagier- Ibukiyama Zhuravlev L- L- (2) L- L- L B.Heim 14:45-15:45 ( ) Title: Kaneko-Zagier
More informationFamilies of modular forms.
Families of modular forms. Kevin Buzzard June 7, 2000 Abstract We give a down-to-earth introduction to the theory of families of modular forms, and discuss elementary proofs of results suggesting that
More informationON TRIVIAL p-adic ZEROES FOR ELLIPTIC CURVES OVER KUMMER EXTENSIONS. Daniel Delbourgo (Received 30 October, 2014)
NEW ZEALAND JOURNAL OF MATHEMATICS Volume 45 2015), 33-38 ON TRIVIAL p-adic ZEROES FOR ELLIPTIC CURVES OVER KUMMER EXTENSIONS Daniel Delbourgo Received 30 October, 2014) Abstract. We prove the exceptional
More informationUPPER BOUNDS FOR CONSTANT SLOPE p-adic FAMILIES OF MODULAR FORMS
UPPER BOUNDS FOR CONSTANT SLOPE p-adic FAMILIES OF MODULAR FORMS JOHN BERGDALL Abstract. We study p-adic families of eigenforms for which the p- th Hecke eigenvalue a p has constant p-adic valuation (
More informationOn the cohomology of congruence subgroups of SL 4 (Z)
On the cohomology of congruence subgroups of SL 4 (Z) Paul E. Gunnells UMass Amherst 19 January 2009 Paul E. Gunnells (UMass Amherst) Cohomology of subgroups of SL 4 (Z) 19 January 2009 1 / 32 References
More information(www.math.uni-bonn.de/people/harder/manuscripts/buch/), files chap2 to chap
The basic objects in the cohomology theory of arithmetic groups Günter Harder This is an exposition of the basic notions and concepts which are needed to build up the cohomology theory of arithmetic groups
More informationL-functions and Arithmetic. Conference Program. Title: On the conjecture of Birch and Swinnerton-Dyer for elliptic curves with complex multiplication
Monday, June 13 9:15-9:30am Barry Mazur, Harvard University Welcoming remarks 9:30-10:30am John Coates, University of Cambridge Title: On the conjecture of Birch and Swinnerton-Dyer for elliptic curves
More informationA GENERALIZATION OF THE COLEMAN MAP FOR HIDA DEFORMATIONS
A GENERALIZATION OF THE COLEMAN MAP FOR HIDA DEFORMATIONS TADASHI OCHIAI Abstract. In this paper, we give a Coleman/Perrin-Riou type map for an ordinary type deformation and construct a two variable p-adic
More informationOVERCONVERGENT MODULAR SYMBOLS
OVERCONVERGENT MODULAR SYMBOLS ROBERT POLLACK 1. Introduction The theory of overconvergent modular symbols was created by Glenn Stevens over 20 years ago, and since then the subject has had many generalizations
More informationSéminaire BOURBAKI Novembre ème année, , n o p-adic FAMILIES OF MODULAR FORMS [after Hida, Coleman, and Mazur]
Séminaire BOURBAKI Novembre 2009 62ème année, 2009-2010, n o 1013 p-adic FAMILIES OF MODULAR FORMS [after Hida, Coleman, and Mazur] by Matthew EMERTON INTRODUCTION The theory of p-adic families of modular
More informationKleine AG: Travaux de Shimura
Kleine AG: Travaux de Shimura Sommer 2018 Programmvorschlag: Felix Gora, Andreas Mihatsch Synopsis This Kleine AG grew from the wish to understand some aspects of Deligne s axiomatic definition of Shimura
More informationArtin Conjecture for p-adic Galois Representations of Function Fields
Artin Conjecture for p-adic Galois Representations of Function Fields Ruochuan Liu Beijing International Center for Mathematical Research Peking University, Beijing, 100871 liuruochuan@math.pku.edu.cn
More informationThe p-adic Jacquet-Langlands correspondence and a question of Serre
The p-adic Jacquet-Langlands correspondence and a question of Serre Sean Howe University of Chicago CNTA 2016, 2016-06-24 Outline Serre s mod p Jacquet-Langlands A p-adic Jacquet-Langlands Proof (highlights)
More informationArithmetic of certain integrable systems. University of Chicago & Vietnam Institute for Advanced Study in Mathematics
Arithmetic of certain integrable systems Ngô Bao Châu University of Chicago & Vietnam Institute for Advanced Study in Mathematics System of congruence equations Let us consider a system of congruence equations
More informationSERRE S CONJECTURE AND BASE CHANGE FOR GL(2)
SERRE S CONJECTURE AND BASE CHANGE OR GL(2) HARUZO HIDA 1. Quaternion class sets A quaternion algebra B over a field is a simple algebra of dimension 4 central over a field. A prototypical example is the
More informationp-adic FAMILIES OF MODULAR FORMS AND p-adic ABEL-JACOBI MAPS
p-adic FAMILIES OF MODULAR FORMS AND p-adic ABEL-JACOBI MAPS MATTHEW GREENBERG AND MARCO ADAMO SEVESO Abstract We show that p-adic families of modular forms give rise to certain p-adic Abel-Jacobi maps
More informationComputing the image of Galois
Computing the image of Galois Andrew V. Sutherland Massachusetts Institute of Technology October 9, 2014 Andrew Sutherland (MIT) Computing the image of Galois 1 of 25 Elliptic curves Let E be an elliptic
More informationRaising the Levels of Modular Representations Kenneth A. Ribet
1 Raising the Levels of Modular Representations Kenneth A. Ribet 1 Introduction Let l be a prime number, and let F be an algebraic closure of the prime field F l. Suppose that ρ : Gal(Q/Q) GL(2, F) is
More informationEXTENSIONS AND THE EXCEPTIONAL ZERO OF THE ADJOINT SQUARE L-FUNCTIONS
EXTENSIONS AND THE EXCEPTIONAL ZERO OF THE ADJOINT SQUARE L-FUNCTIONS HARUZO HIDA Take a totally real field F with integer ring O as a base field. We fix an identification ι : Q p = C Q. Fix a prime p>2,
More informationp-adic families of modular forms
April 3, 2009 Plan Background and Motivation Lecture 1 Background and Motivation Overconvergent p-adic modular forms The canonical subgroup and the U p operator Families of p-adic modular forms - Strategies
More informationMod p Galois representations attached to modular forms
Mod p Galois representations attached to modular forms Ken Ribet UC Berkeley April 7, 2006 After Serre s article on elliptic curves was written in the early 1970s, his techniques were generalized and extended
More informationA SHORT NOTE ON P-ADIC FAMILIES OF HILBERT MODULAR FORMS
A SHORT NOTE ON P-ADIC FAMILIES OF HILBERT MODULAR FORMS AFTAB PANDE Abstract. We extend previous work of the author using an idea of Buzzard and give an elementary construction of non-ordinary p-adic
More informationTHE ARITHMETIC OF ELLIPTIC CURVES AN UPDATE
AJSE Mathematics Volume 1, Number 1, June 2009, Pages 97 106 THE ARITHMETIC OF ELLIPTIC CURVES AN UPDATE BENEDICT H. GROSS Abstract. We survey the progress that has been made on the arithmetic of elliptic
More informationp-adic iterated integrals and rational points on curves
Rational points on curves p-adic and computational aspects p-adic iterated integrals and rational points on curves Henri Darmon Oxford, September 28, 2012 (Joint with Alan Lauder and Victor Rotger ) Also
More informationHecke fields and its growth
Hecke fields and its growth Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555, U.S.A. Kyushu university talk on August 1, 2014 and PANT talk on August 5, 2014. The author is partially
More informationThe arithmetic of elliptic curves An update. Benedict H. Gross. In 1974, John Tate published The arithmetic of elliptic curves in
The arithmetic of elliptic curves An update Benedict H. Gross In 1974, John Tate published The arithmetic of elliptic curves in Inventiones. In this paper [Ta], he surveyed the work that had been done
More informationProof. We omit the proof of the case when f is the reduction of a characteristic zero eigenform (cf. Theorem 4.1 in [DS74]), so assume P (X) has disti
Some local (at p) properties of residual Galois representations Johnson Jia, Krzysztof Klosin March 5, 26 1 Preliminary results In this talk we are going to discuss some local properties of (mod p) Galois
More informationLecture 4: Examples of automorphic forms on the unitary group U(3)
Lecture 4: Examples of automorphic forms on the unitary group U(3) Lassina Dembélé Department of Mathematics University of Calgary August 9, 2006 Motivation The main goal of this talk is to show how one
More informationOVERCONVERGENT MODULAR SYMBOLS AND p-adic L-FUNCTIONS
OVERCONVERGENT MODULAR SYMBOLS AND p-adic L-FUNCTIONS ROBERT POLLACK AND GLENN STEVENS Abstract. Cet article est exploration constructive des rapports entre les symboles modulaires classique et les symboles
More informationGalois representations and automorphic forms
Columbia University, Institut de Mathématiques de Jussieu Yale, November 2013 Galois theory Courses in Galois theory typically calculate a very short list of Galois groups of polynomials in Q[X]. Cyclotomic
More informationHECKE ALGEBRAS ASSOCIATED TO Λ-ADIC MODULAR FORMS
HECKE ALGEBRAS ASSOCIATED TO Λ-ADIC MODULAR FORMS PRESTON WAKE Abstract. We show that if an Eisenstein component of the p-adic Hecke algebra associated to modular forms is Gorenstein, then it is necessary
More informationHAS LARGE INDEX. Frank Calegari and Matthew Emerton
Mathematical Research Letters 11, 125 137 (2004) THE HECKE ALGEBRA T k HAS LARGE INDEX Frank Calegari and Matthew Emerton Abstract. Let T k (N) new denote the Hecke algebra acting on newformsof weight
More informationOn the generation of the coefficient field of a newform by a single Hecke eigenvalue
On the generation of the coefficient field of a newform by a single Hecke eigenvalue Koopa Tak-Lun Koo and William Stein and Gabor Wiese November 2, 27 Abstract Let f be a non-cm newform of weight k 2
More informationGalois groups with restricted ramification
Galois groups with restricted ramification Romyar Sharifi Harvard University 1 Unique factorization: Let K be a number field, a finite extension of the rational numbers Q. The ring of integers O K of K
More informationComputing coefficients of modular forms
Computing coefficients of modular forms (Work in progress; extension of results of Couveignes, Edixhoven et al.) Peter Bruin Mathematisch Instituut, Universiteit Leiden Théorie des nombres et applications
More informationThe Galois Representation Associated to Modular Forms (Part I)
The Galois Representation Associated to Modular Forms (Part I) Modular Curves, Modular Forms and Hecke Operators Chloe Martindale May 20, 2015 Contents 1 Motivation and Background 1 2 Modular Curves 2
More informationComputing Hilbert modular forms
Computing Hilbert modular forms John Voight Dartmouth College Curves and Automorphic Forms Arizona State University 10 March 2014 Hilbert modular forms Let F be a totally real field with [F : Q] = n and
More informationGALOIS REPRESENTATIONS WITH CONJECTURAL CONNECTIONS TO ARITHMETIC COHOMOLOGY
GALOIS REPRESENTATIONS WITH CONJECTURAL CONNECTIONS TO ARITHMETIC COHOMOLOGY AVNER ASH, DARRIN DOUD, AND DAVID POLLACK Abstract. In this paper we extend a conjecture of Ash and Sinnott relating niveau
More informationAppendix by Brian Conrad: The Shimura construction in weight 2
CHAPTER 5 Appendix by Brian Conrad: The Shimura construction in weight 2 The purpose of this appendix is to explain the ideas of Eichler-Shimura for constructing the two-dimensional -adic representations
More informationMODULAR EIGENFORMS AT THE BOUNDARY OF WEIGHT SPACE. Contents. Introduction
MODULAR EIGENFORMS AT THE BOUNDARY OF WEIGHT SPACE JAN VONK Abstract. Andreatta, Iovita, and Pilloni recently introduced F p((t))-banach spaces of overconvergent t-adic modular forms, whose weight may
More informationAnti-cyclotomic Cyclicity and Gorenstein-ness of Hecke algebras
Anti-cyclotomic Cyclicity and Gorenstein-ness of Hecke algebras Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555, U.S.A. A talk in June, 2016 at Rubinfest at Harvard. The author
More informationAre ζ-functions able to solve Diophantine equations?
Are ζ-functions able to solve Diophantine equations? An introduction to (non-commutative) Iwasawa theory Mathematical Institute University of Heidelberg CMS Winter 2007 Meeting Leibniz (1673) L-functions
More informationA Version of the Grothendieck Conjecture for p-adic Local Fields
A Version of the Grothendieck Conjecture for p-adic Local Fields by Shinichi MOCHIZUKI* Section 0: Introduction The purpose of this paper is to prove an absolute version of the Grothendieck Conjecture
More informationNotes on p-divisible Groups
Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
More informationp-adic families of modular forms II
April 5, 2009 Leftovers from last time Lemma Proof. We have G k = (1 pk 1 V p )G k p d np d k 1 = p k 1 d n d k 1 So equality holds in all coefficients except possibly the constant. But then G k (1 pk
More informationTheta divisors and the Frobenius morphism
Theta divisors and the Frobenius morphism David A. Madore Abstract We introduce theta divisors for vector bundles and relate them to the ordinariness of curves in characteristic p > 0. We prove, following
More informationON THE EIGENVARIETY OF HILBERT MODULAR FORMS AT CLASSICAL PARALLEL WEIGHT ONE POINTS WITH DIHEDRAL PROJECTIVE IMAGE. 1.
ON THE EIGENVARIETY OF HILBERT MODULAR FORMS AT CLASSICAL PARALLEL WEIGHT ONE POINTS WITH DIHEDRAL PROJECTIVE IMAGE SHAUNAK V. DEO Abstract. We show that the p-adic eigenvariety constructed by Andreatta-
More informationdenote the Dirichlet character associated to the extension Q( D)/Q, that is χ D
January 0, 1998 L-SERIES WITH NON-ZERO CENTRAL CRITICAL VALUE Kevin James Department of Mathematics Pennsylvania State University 18 McAllister Building University Park, Pennsylvania 1680-6401 Phone: 814-865-757
More informationUniversität Regensburg Mathematik
Universität Regensburg Mathematik On projective linear groups over finite fields as Galois groups over the rational numbers Gabor Wiese Preprint Nr. 14/2006 On projective linear groups over finite fields
More informationThe Galois Representation Attached to a Hilbert Modular Form
The Galois Representation Attached to a Hilbert Modular Form Gabor Wiese Essen, 17 July 2008 Abstract This talk is the last one in the Essen seminar on quaternion algebras. It is based on the paper by
More informationNumber Theory Seminar Spring, 2018: Modularity
Number Theory Seminar Spring, 2018: Modularity Motivation The main topic of the seminar is the classical theory of modularity à la Wiles, Taylor Wiles, Diamond, Conrad, Breuil, Kisin,.... Modularity grew
More informationModularity of Abelian Varieties
1 Modularity of Abelian Varieties This is page 1 Printer: Opaque this 1.1 Modularity Over Q Definition 1.1.1 (Modular Abelian Variety). Let A be an abelian variety over Q. Then A is modular if there exists
More informationTATE CONJECTURES FOR HILBERT MODULAR SURFACES. V. Kumar Murty University of Toronto
TATE CONJECTURES FOR HILBERT MODULAR SURFACES V. Kumar Murty University of Toronto Toronto-Montreal Number Theory Seminar April 9-10, 2011 1 Let k be a field that is finitely generated over its prime field
More informationElliptic curves and modularity
Elliptic curves and modularity For background and (most) proofs, we refer to [1]. 1 Weierstrass models Let K be any field. For any a 1, a 2, a 3, a 4, a 6 K consider the plane projective curve C given
More informationThe Galois representation associated to modular forms pt. 2 Erik Visse
The Galois representation associated to modular forms pt. 2 Erik Visse May 26, 2015 These are the notes from the seminar on local Galois representations held in Leiden in the spring of 2015. The website
More informationUp to twist, there are only finitely many potentially p-ordinary abelian varieties over. conductor
Up to twist, there are only finitely many potentially p-ordinary abelian varieties over Q of GL(2)-type with fixed prime-to-p conductor Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555,
More informationON LIFTING AND MODULARITY OF REDUCIBLE RESIDUAL GALOIS REPRESENTATIONS OVER IMAGINARY QUADRATIC FIELDS
ON LIFTING AND MODULARITY OF REDUCIBLE RESIDUAL GALOIS REPRESENTATIONS OVER IMAGINARY QUADRATIC FIELDS TOBIAS BERGER 1 AND KRZYSZTOF KLOSIN 2 Abstract. In this paper we study deformations of mod p Galois
More informationThe special L-value of the winding quotient of level a product of two distinct primes
The special L-value of the winding quotient of level a product of two distinct primes Amod Agashe Abstract Let p and q be two distinct primes and let J e denote the winding quotient at level pq. We give
More informationCusp forms and the Eichler-Shimura relation
Cusp forms and the Eichler-Shimura relation September 9, 2013 In the last lecture we observed that the family of modular curves X 0 (N) has a model over the rationals. In this lecture we use this fact
More informationKIDA S FORMULA AND CONGRUENCES
University of Massachusetts Amherst ScholarWorks@UMass Amherst Mathematics and Statistics Department Faculty Publication Series Mathematics and Statistics 2005 KIDA S FORMULA AND CONGRUENCES R Pollack
More informationTHE OVERCONVERGENT SHIMURA LIFTING. Nick Ramsey
THE OVERCONVERGENT SHIMURA LIFTING by Nick Ramsey Contents 1. Introduction..................................................... 1 2. Modular forms of half-integral weight............................ 2
More information