arxiv:math/ v2 [math.nt] 1 Nov 2006

Transcription

1 TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages S XX) P-ADIC FAMILY OF HALF-INTEGRAL WEIGHT MODULAR FORMS VIA OVERCONVERGENT SHINTANI LIFTING JEEHOON PARK arxiv:math/ v [math.nt] 1 Nov 006 Abstract. The classical Shintani map see [Shn]) is the Hecke-equivariant map from the space of cusp forms of integral weight to the space of cusp forms of half-integral weight. In this paper, we will construct a Hecke-equivariant overconvergent Shintani lifting which interpolates the classical Shintani lifting p-adically, following the idea of G. Stevens in [St1]. In consequence, we get a formal q-expansion Θ whose q-coefficients are in an overconvergent distribution ring, which can be thought of p-adic analytic family of overconvergent modular forms of half-integral weight, since the specializations of Θ at the arithmetic weights are the classical cusp forms of half-integral weight. Contents 3.. Slope h overconvergent p-adic Hecke algebra and p-adic families of overconvergent Hecke eigenforms 3.4. p-adic family of overconvergent half-integral weight Hecke eigenforms via local overconvergent Shintani li 0.1. Introduction Cohomological approach to Coleman s p-adic family of overconvergent modular forms Overconvergent modular symbols p-adic interpolation of overconvergent modular symbols 7. Overconvergent Shintani Lifting 8.1. Classical Shintani lifting and its cohomological interpretation 8.. Overconvergent Shintani Lifting and a universal overconvergent half-integral weight modular forms Connection to the eigencurve and p-adic family of half-integral weight modular forms Slope h decompositions of overconvergent modular symbols Overconvergent Hecke eigensymbol References Introduction. The space of modular forms of half-integral weight see [Shm] for the precise definition) have been studied by many people. One of the main reasons for this would be the facts that their fourier coefficients are rich in arithmetic. For example, the representation numbers of positive definite integral quadratic forms of odd dimensions arise as fourier coefficients of theta functions of half-integral weights. H. Cohen showed that his generalized class numbers are the fourier coefficients of Eisenstein series of half-integral weight see [Coh]). Moreover, J. Waldspurger had shown see [Wa]) that the square of the fourier coefficients of new cusp forms of half integral weight see [Koh] for the theory of new forms in the half-integral case) are closely connected to the special values of L-function of corresponding integral weight cusp forms under the Shimura correspondence. It was Shimura who initiated the program which relates modular forms of integral weight with modular forms of half-integral weight. He defined the Hecke actions on half-integral weight modular 1 c 1997 American Mathematical Society

2 forms and constructed integral weight modular forms from half-integral modular forms by using Hecke operators and functional equations of Dirichlet L-functions associated to concerning halfintegral and integral weight modular forms, which comes from explicit transformation formulas of some theta functions. After Shimura s work, Shintani [Shn]) gave an inverse construction to the Shimura s map, where he used the Weil representation to construct the half-integral weight cusp form θf) from an integral weight cusp form f. Furthermore, he expressed the fourier coefficients of θf) as some period integrals of f, hence can be described in terms of a certain cohomology class associated to f as in Shimura s work see the chapter 8 of [Shm1]). G. Stevens realized that if we have a Λ-adic cohomology class which interpolates the p-stabilized ordinary newforms then it gives rise to a Λ-adic version of Shintani lifting for Hida s universal ordinary Λ-adic modular forms see [St1]). The main goal of this paper is to generalize his result to the finite slope non-ordinary case, i.e. Robert Coleman s p-adic analytic family of overconvergent cuspidal eigenforms of finite slope. In section 1, we recall the definition of overconvergent modular symbols which is a compact supported group cohomology of a congruence subgroup of SL Z) with values in overconvergent distribution and explain how it interpolates the classical cusp forms by the specialization maps at arithmetic weights, i.e. how a cohomological approach to p-adic family of modular forms works. The more precise dictionary between Robert Coleman s p-adic family of overconvergent eigenforms and overconvergent Hecke eigensymbol see the theorem 3.17) will be given in section 3. Note that before the final section 3, we won t concentrate on Hecke eigenforms; instead, we deal with modular forms which are not necessarily Hecke eigenforms. In section, we give a purely cohomological formulation of the Shintani lifting following G. Stevens work [St1]), after reviewing the Shimura correspondence, especially the Shintani s construction of half-integral weight cusp forms from integral weight cusp forms. Then p-adic lifting of the cohomological Shintani lifting will be given see the definition.10), which we call overconvergent Shintani lifting. Its p-adic interpolation property essentially asserts that the following diagram commutes: H 1 cγ 0 Np),D N ) Θ DZ p,n )[[q]] φ κ, H 1 c Γ 0Np m ),L k,χ R κ )) Θ k,χ R κ [[q]] Tp m 1 κ where all the notations will be provided in the paper. Furthermore, we describe how the natural Hecke action on overconvergent modular symbol is transformed under the overconvergent Shintani lifting see the theorem.11). The main theorem of section.11 implies that we can define Hecke actions see the definitions.1) and.)) on the space of formal q-expansions with coefficients in an overconvergent distribution ring so that the overconvergent Shintani lifting is Hecke-equivariant. The important feature of the cohomological overconvergent) Shintani lifting is that it s purely cohomological and algebraic which depends only on the arithmetic of integral indefinite binary quadratic forms. In section 3, we state and prove our main theorem the theorem 3.8) which asserts the existence of formal q-expansion Θ R [[q]] whose specializations to classical arithmetic points are, up to multiplication by scalars, the q-expansions of Hecke eigenforms of half-integral weight in the sense of Shimura [Shm]), which is obtained via the classical Shintani s map from the cuspidal Hecke eigenforms of tame conductor N with finite slope h. In contrast to the ordinary case, the existence ofhecke eigensymbol inh 1 c Γ 0Np),D N )over thewholeweight spacex N is not guaranteed in

3 the non-ordinary situation. But if we shrink the weight space small enough, then we can prove the existence of Hecke eigensymbol over that small affinoid domain. More precisely, G. Stevens proved that there exists an affinoid subdomain B in X N such that H 1 cγ 0 Np),D B ) admits a slope h decomposition see the theorem 3.7) and we prove the existence of Hecke eigensymbol in the slope h part H 1 cγ 0 Np),D B ) h) see the theorem 3.17). After introducing overconvergent p-adic Hecke algebra for the slope h part H 1 c Γ 0Np),D B ) h), we define a local overconvergent Shintani lifting over B and prove its Hecke-equivariance and the main theorem as a simple application of tools developed in the paper. It should be mentioned that H. Hida constructed a Λ-adic Shimura lifting in [Hi] which is an inverse to G. Stevens Λ-adic Shintani lifting in [St1]) which we are generalizing to the finite slope non-ordinary case in our paper. Also, Nick Ramsey constructed half-integral weight eigencurve and studied overconvergent Shimura lifting in [Ram1] and [Ram]. The overconvergent Shintani lifting here can be thought of an inverse to overconvergent Shimura lifting. It would be worthwhile to write down a local possibly global) rigid analytic map from Coleman-Mazur integral weight eigencurve see [Col-Mz] for the tame level 1 and [Buz] for the higher tame level N) to half-integral weight eigencurve see [Ram]), in the rigid analytic geometric language used in N. Ramsey s paper [Ram], though, in some sense, our overconvergent Shintani lifting answers what it should be. It s worthwhile to note that the recent work of Bertolini, Darmon, and Tornaria about Hida families and Shimura lifts see [BDT]) tells us that the p-adic derivative of a certain linear combination of the fourier coefficients of a Λ-adic cusp form of half-integral weight, evaluated at some arithmetic point, are closely connected to the Stark-Heegner points on the elliptic curve attached to a weight cusp form which moves p-adically in the corresponding Λ-adic cusp form of integral weight under Λ-adic Shimura lifting. The fourier coefficients of the universal overconvergent half-integral weight modular forms see the definitions.13 and 3.4) might subject to the similar story so that the p-adic derivative of their certain linear combination could be closely related to the Heegner cycles in the non-ordinary and higher weight > case. It would certainly be a good project to develop an analogous theory in the non-ordinary and higher weight > case, following them. The author thanks his thesis advisor G. Stevens for suggesting this problem and for many invaluable conversations and help on the subject, and Robert Pollack for helpful comments. 1. Cohomological approach to Coleman s p-adic family of overconvergent modular forms Throughout the paper, we fix a prime p 5 and a positive integer N with p,n) = 1; the quadratic residue symbol a b ) has the same meaning as in [Shm]. We use the notations N and Z/NZ) interchangeably. Let K be any finite extension field of Q p and be the complete nonarchimedean absolute value of K normalized by p = p 1. Let C p denote the p-adic completion of an algebraic closure of Q p. We fix, once and for all, a field isomorphism between C and C p. Robert Coleman constructed a p-adic family of overconvergent modular forms in [Col1]. It seems to be hard at the moment to define an overconvergent Shintani lifting directly from the Coleman s way of describing the p-adic family. But if we approach Coleman s p-adic family in a cohomological way using overconvergent modular symbols) as developed by G. Stevens, then there is a natural way to get an overconvergent Shintani lifting which interpolates the classical Shintani θ-lifts in [Shn]. We start from a locally analytic distribution space which will be the coefficient ring of our compact supported cohomology for an arithmetic group and then we describe overconvergent 3

4 modular symbols with Hecke action on them and how they interpolate classical modular forms by the specialization maps Overconvergent modular symbols. The goal of this section is to introduce overconvergent modular symbols and the Hecke action on them. Let S beacompact subsetof Q p or Q p Q p. We defineas) as the space of K-valued locally analytic functions on S. We also define DS) as the space of K-valued locally analytic distributions on S, i.e. DS) := Hom cts AS),K) with the strong topology. We will use the notation A and D, when S = Z p Z p, i.e. A = AZ p Z p) and D = DZ p Z p). Then A is a reflexive and complete Hausdorff locally convex K-vector space whose strong dual D is a Fréchet space. We refer to 16 of [Sch] for the detailed definitions. For any positive integer M, let ) a b Γ 0 M) := { SL c d Z) c 0 modm)} be the congruence subgroup of SL Z). Then Γ 0 Np) acts on Z p Z p by matrix multiplication on the right, viewing the elements of Z p Z p as row vectors. So it induces a left action on A by γ f)x,y) := fx,y) γ) where x,y) Z p Z p and f A. Consequently it induces a right action of Γ 0 Np) on D which is uniquely characterized by the following integration formula: 1.1) fx,y)dµ γ)x,y) = γ f)x,y)dµx,y). Z p Z p Z p Z p We refer to this action on D as the dual action induced from action on A. The scalar action of Z p on Z p Z p induces a left action of DZ p ) on A by 1.) ν f)x,y) := fx λ,y λ)dνλ) Z p for ν DZ p ) and f A. Hence this induces a right action of DZ p ) on D by the dual action, i.e. by the following formula: 1.3) fx,y)dµ ν)x,y) = ν f)x,y)dµx,y) Z p Z p Z p Z p for µ D and ν DZ p ). The action of Γ 0 Np) clearly commutes with the action of DZ p). Henceforth we may consider D as a DZ p )[Γ 0 Np)]-module. Now we define the group of D-valued modular symbols over Γ 0 Np) whose elements we will call overconvergent modular symbols over Γ 0 Np)). Definition 1.1. We define the group of D-valued modular symbol over Γ 0 Np) to be 1.4) Symb Γ0 Np)D) := Hom Γ0 Np) 0,D) where 0 := Div 0 P 1 Q)) is the group of divisors of degree 0 supported on the rational cusps P 1 Q) of the upper half plane. Inother words, Φ Symb Γ0 Np)D) is anadditive homomorphismφ : 0 D for whichφ γ = Φ for all γ Γ 0 Np) where the action of γ Γ 0 Np) on Hom 0,D) is given by 1.5) for D 0. Φ γ)d) := Φγ D) γ 4

5 We refer to [Shm1] or the appendix of [Hi] for the definition of compactly supported cohomology H 1 cγ 0 Np),D). 1.6) It turns out there exists a canonical isomorphism see [A-S1] for the proof) H 1 cγ 0 Np),D) = Symb Γ0 Np)D). Henceforth we will use the terms D-valued degree one compactly supported cohomology and overconvergent modular symbol interchangeably. Consider the natural map H 1 cγ 0 Np),D) H 1 Γ 0 Np),D) defined by sending a overconvergent modular symbol ϕ to the cohomology class represented by the 1-cocycle γ ϕ{γx} {x}) for any fixed x P 1 Q p ) it is independent of the choice of fixed element x). Then the parabolic cohomology see [Shm1] or the appendix of [Hi] for the definition of parabolic cohomology) is canonically isomorphic to the image of the above natural map: 1.7) H 1 c Γ 0Np),D) H 1 par Γ 0Np),D) H 1 Γ 0 Np),D). Remark 1.. If we replace Np and D by any positive integer M and any right Z[Γ 0 M)]-module respectively, 1.4)-1.7) still remains valid. We now give the Hecke-module structure of these cohomology groups. Let S 0 M) denote the semi-group a b S 0 M) := { c d ) M + Z) c 0 modm), a,m) = 1} where M is a positive integer and M + Z) is the semi-group of integral matrices with positive determinant. Let RΓ 0 M),S 0 M)) be the Z-module generated by the double cosets Γ 0 M)αΓ 0 M),α S 0 M). This can be equipped with a ring structure by defining multiplication between two double cosets. RΓ 0 M),S 0 M)) with this multiplication law extended Z-linearly, becomes a commutative ring with Γ 0 M) = Γ 0 M) 1 Γ 0 M) as the unit element. It is called a Hecke ring with respect to a Hecke pair Γ 0 M),S 0 M)). For each positive integer n, denote by T n the formal sum of all double cosets Γ 0 M)αΓ 0 M) with α S 0 M) ) n := {α S 0 M) detα) = n} in RΓ 0 M),S 0 M)). For example, T p = 1 0 Γ 0 M) Γ 0 p 0 M) for every prime p. For primes p satisfying p,m) = 1, let 1.8) p 0 T p,p = Γ 0 M) 0 p ) Γ 0 M). The structure of RΓ 0 M),S 0 M)) is given by the following theorem [Shm1, Theorem 3.34]: Proposition ) RΓ 0 M),S 0 M)) is a polynomial ring over Z in the variables T p,p for all primes p not dividing M and T p for all primes p. ) RΓ 0 M),S 0 M)) Z Q p is a polynomial ring over Q p in the variables T n for all n > 0, i.e. 1.9) RΓ 0 M),S 0 M)) Z Q p = Q p [T n : n N] 5

6 WewillcallR Qp := RΓ 0 M),S 0 M)) Z Q p theabstractheckealgebraoverq p forγ 0 M),S 0 M)). If p M, then we use the notation U p instead of T p. If A is a right S 0 M)-module, then A Γ 0M) has a natural action by the Hecke operators T n induced by, for a A Γ 0M) and α S 0 M) n, 1.10) a Γ 0 M)αΓ 0 M) := i a α i, where {α i } is the set of representatives for Γ 0 M)\Γ 0 M)αΓ 0 M). Since the action of Γ 0 M) on D extends to an action of S 0 M) on D by the same formula 1.1), Hom 0,D) is a right S 0 M)- module. Therefore Hc 1Γ 0M),D) = Hom Γ0 M) 0,D) can be viewed as R K -module by the action described above, where R K = RΓ 0 M),S 0 M)) Z K. In particular, if p M, then U p acts on Hc 1Γ 0M),D) by 1.11) Φ U p = for Φ H 1 cγ 0 M),D). p i=1 1 i Φ 0 p Because D has an action of S 0 M) by the same formula 1.1), we can also define the R K -actions on H 1 Γ 0 M),D) and Hpar 1 Γ 0M),D). In fact the maps in the sequence 1.7) are R K -module homomorphisms, i.e. Hecke-equivariant ) homomorphism. 1 0 The matrix ι := induces natural involutions on H 0 1 c 1Γ 0M),D) and H 1 Γ 0 M),D). The involution ι decomposes each of cohomology groups as ± eigenspaces: 1.1) H = H + H. We know that each cohomology class ϕ decomposes as ϕ = ϕ + +ϕ where ϕ ± := 1 ϕ±ϕ ι) and ϕ ± ι = ±ϕ. Let R be any commutative ring with unity. We recall the definition of L k,χ R) and L k,χ R), where χ is an R-valued Dirichlet character of Z/MZ) for some positive integer M, from 4.1 of [St1]. For any integer k 0 we define Sym k R ) respectively, Sym k R ) ) as the free R-module generated by the divided powers monomials Xn Y n! k n k n)! respectively, the monomials Xn Y k n ) for 0 k n. Then L k,χ R) respectively, L k,χ R)) is R[Γ 0M)]-module whose underlying R- module is Sym ) k R ) respectively, Sym k R ) ) equipped with the following action of S 0 M): for a b γ = S c d 0 M), χa) FX,Y) γ ) for F L k,χ R) F γ)x,y) := whereγ = d b c a ), χd) FX,Y) γ ) for F L k,χ R) ). ThereisauniqueperfectR-linearpairing, : Sym k R ) Sym k R ) R satisfying X i Y k i i!k i)!,xk j Y j = 1) j δ ij where δ ij is the Kronecker delta. In particular, we have 1.13) for every a,b) R and P Sym k R ). ay bx) k,px,y) = Pa,b) k! 6

7 Let S k+ Γ 0 M),χ) respectively M k+ Γ 0 M),χ)) bethe space of weight k+ cusprespectively modular) forms of level Γ 0 M) with nebentype character χ and S k+ Γ 0 M),χ;R) the subspace of S k+ Γ 0 M),χ) whose Fourier coefficient lie in R where R is a subfield of C. We recall the Eichler-Shimura isomorphism see [Shm1]) S k+ Γ 0 M),χ) H 1 parγ 0 M),L k,χ C)) ±. f Ψ ± f for a positive integer M and Dirichlet character χ defined modulo M. By the Manin-Drinfeld principle, there is a Hecke-equivariant section to the natural map 1.7): H 1 parγ 0 M),L k,χ R)) H 1 cγ 0 M),L k,χ R)), Ψ ψ forapositiveintegerm anddirichlet characterχdefinedmodulom, ifristhefieldofcharacteristic 0. Henceforth we can consider the element of parabolic cohomology H 1 parγ 0 M),L k,χ R)) as a modular symbol with values in L k,χ R). 1.. p-adic interpolation of overconvergent modular symbols. In this section we review how overconvergent modular symbols can be understood as p-adic families of modular forms see [St3]). For that we recall the definition of arithmetic) weights and introduce the specialization map for an arithmetic weight. We refer to an element of Hom cts Z p,n,c p ) as a weight. For t Z p,n we let t p and t N be the coordinates of t under the canonical decomposition Z p,n = Z p Z/NZ). Let Λ N = Z p [[Z p,n ]]. Then there is a natural identification between 1.14) Hom cts Λ N,C p ) and Hom cts Z p,n,c p ). where the first Hom denotes continuous algebra homomorphisms and second denotes continuous group homomorphisms. Definition 1.4. A characterweight) κ Hom cts Z p,n,c p ) is called arithmetic of signature of k,χ), if it satisfies κt) = χt) t k p for some χ, a finite order character of Z p,n, and k Z 0. Note that we have a natural isomorphism between DZ p,n ) and DZ p )[ N ]. Accordingly, we refer to them interchangeably. Let s define where γ S 0 Np) acts on D N as follows: 1.15) D N := D DZ p ) DZ p,n ), µ DZ p ) ν) γ) := µ γ DZ p ) [aγ)] N ν, for µ D, ν DZ p,n ) and [aγ)] N N here aγ) is the upper left entry of γ). So D N can be thought as DZ p,n )[Γ 0Np)]-module and H 1 c Γ 0Np),D N ) is defined and has a natural DZ p,n )- module structure. Definition 1.5. We define the abstract overconvergent Hecke algebra of tame conductor N to be the free polynomial algebra H := DZ p,n )[T n : n N] 7

8 generated by over DZ p,n ) by T n RΓ 0 Np),S 0 Np)) for n N. Note that H = RΓ 0 Np),S 0 Np)) Z DZ p,n ). If κ Hom ctsz p,n,k ) is any arithmetic point of signature k,χ), then let R κ := κdz p,n )) where κr) := rκ) for r DZ p,n ). We can define a R κ -linear map, called a specialization map for κ, 1.16) by φ κ : D N = D DZ p ) DZ p,n ) L k,χr κ ) 1.17) xy yx)k φ κ µ r) := κr) χ p x) dµx, y) Z p Zp k! for µ D and r DZ p,n ), where we factor χ = χ N χ p with χ N defined modulo N and χ p defined modulo a power of p and κr) := rκ). A simple computation confirms that if χ is defined modulo Np m then φ κ is a Γ 0 Np m )-module homomorphism, and hence induces a homomorphism on cohomology groups: 1.18) φ κ, : H 1 cγ 0 Np),D N ) H 1 cγ 0 Np m ),L k,χ R κ )). The map φ κ, is Hecke-equivariant. Since 1-cocycles in H 1 c Γ 0Np m ),L k,χ R κ )) can be viewed as classical modular forms via the Manin-Drinfeld principle and the Eichler-Shimura isomorphism, we can interpret an overconvergent modular symbol as a p-adic analytic family of modular forms by varying k and χ.. Overconvergent Shintani Lifting We first review the original Shintani lifting in [Shn] and its cohomological realization in [St1]. Then we give an overconvergent version of these constructions. We will prove the Hecke-equivariance of our overconvergent Shintani lifting and decribe the Hecke action explicitly on formal q-expansions with coefficient in DZ p,n ) := DZ p,n ) DZ DZ p,n ),σ p,n ) see.14)), which is given as the image of the overconvergent Shintani lifting. This formal q-expansion can be viewed as the p-adic family of overconvergent half-integral weight modular forms..1. Classical Shintani lifting and its cohomological interpretation. We briefly summarize Shintani s construction in [Shn] of a Hecke-equivariant map from integral weight cusp forms to half-integral weight cusp forms. We then review its cohomological version which is well-suited to p-adic variation of Shintani map, following [St1] whose results we generalize to the non-ordinary case. Let Q = QX,Y) = ax +bxy +cy bean integral meaning a,b,c Z) binary quadratic form. We define the discriminant of Q as δ Q := b 4ac. We call Q an indefinite quadratic form if δ Q > 0. Let F be the space of integral indefinite binary quadratic forms. Definition.1. For M N, we define the set F M as follows: {QX,Y) = ax +bxy +cy F a,m) = 1, M b,m c} if M is odd F M := {QX,Y) = ax +bxy +cy F a,m) = 1, M b,m c} if M is even If QX,Y) = ax +bxy +cy F satisfies a,b,c) = 1, we call Q a primitive quadratic form. The congruence subgroup Γ 0 M) acts on F M by the following formula:.1) Q γ)x,y) := QX,Y) γ 1 ) for Q F M and γ Γ 0 M). It is easy to check that this action of Γ 0 M) preserves F M. If a binary quadratic form Q is allowed to have rational coefficients, then we define the action of GL Q) on 8

9 Q by the same formula.1). Now we associate a pair of points ω Q,ω Q P1 R) = R i ) to each integral indefinite binary quadratic form Q F M following [Shn]: b+ δq c, b δ Q c ) if c 0 ω Q,ω Q) := i, a b ) if c = 0 and b > 0 a b,i ) if c = 0 and b < 0 Definition.. We define the oriented geodesic path C Q in the upper half plane h following [Shn]: the oriented geodesic path joining ω Q to ω Q if δ Q is a perfect square C Q := the oriented geodesic path joining ω to γ Q ω) otherwise, ) r s where ω is an arbitrary point in P 1 Q) and γ Q = is the unique generator satisfying t u r tω Q > 1) of Γ 0 M) + Q which is the index subgroup consisting of matrices with positive traces) of the stabilizer of Q F M in Γ 0 M). See [Shn] and [St1] for more details. For a given Dirichlet character χ defined modulo M, we define a new Dirichlet character χ modulo 4M by 1) χ k+1 M ).) d) := χd), d Z/4MZ). d For each quadratic form Q = QX,Y) = ax +bxy +cy F M and a Dirichlet character χ defined modulo M, we define.3) χq) := χa). Now we re ready to construct the classical Shintani θ-lifting. We define θ k,χ f) = θ k,χ f,z) := Q F M /Γ 0 M) I k,χf,q)q δ Q/M if M is odd, Q F M /Γ 0 M) I k,χf,q)q δ Q/4M if M is even. for f S k+ Γ 0 M),χ ) and z h the upper half plane), where q := e πiz and the coefficient in the q-expansion I k,χ f,q) is defined by.4) I k,χ f,q) := χq) fτ)q1, τ) k dτ. C Q The integral I k,χ f,q) converges for cusp forms f S k+ Γ 0 M),χ ) and depends only on the Γ 0 M)-orbit of Q in F M. Recall that S k+ 3Γ 0 4M),χ ) is the space of cusp forms of level 4M, weight k+ 3, and nebentype character χ a Dirichlet character modulo 4M). We refer to [Shm] for detailed definitions of halfintegral weight modular forms. Shintani proved the following theorem Theorem in [Shn]). Theorem.3. Let k 0 and χ be a Dirichlet character defined modulo M. Then for each f S k+ Γ 0 M),χ ), the series θ k,χ f,z) is the q-expansion of a half-integral weight cusp form in 9

10 S k+ 3Γ 0 4M),χ ). Moreover, the map.5) is a Hecke-equivariant C-linear map, i.e..6) for any positive odd prime number l. θ k,χ : S k+ Γ 0 M),χ ) S k+ 3Γ 0 4M),χ ) θ k,χ f T l ) = θ k,χ f) T l We recall the definition of the Hecke operator T p on S k+ 3Γ 0 4M),χ ) when p M. It is given on q-expansions by β n q n).7) T p := β pn q n. Proposition 1.5 of [Shm] tells us that T p with p M induces a map T p : S k+ 3Γ 0 4M),χ ) S k+ 3 Γ0 4M),χ p )) So T p preserves the level but multiplies the nebentype character by the quadratic character p ). For a rational prime l which doesn t divide 4M, the Hecke operator T l on S k+ 3Γ 0 4M),χ ) preserves the space S k+ 3Γ 0 4M),χ ). Theorem 1.7 of [Shm] tells us that.8) β n q n) T l := βl n +χ l) 1 l ) k+1 n) l k β n +χ l )l k+1 ) β n q n. l l Now let s turn to cohomological Shintani liftings. For each Q F M, let {ω Q } {ω Q } if δ Q is a perfect square D Q := C Q = {γ Q ω)} {ω} otherwise. Note that D Q 0. Definition.4. Let R be a commutative Z[ 1 6 ]-algebra. Let k 0 be an integer and χ be an R-valued Dirichlet character defined modulo M. We define.9) J k,χ φ,q) := χq) φd Q ),Q k R for φ H 1 c Γ 0M),L k,χ R)) = Hom Γ0 M) 0,L k,χ R)) and Q F M so Q k Sym k R) ), where φd Q ) is the value of any 1-cocycle representing φ. Note that the definition of J k,χ φ,q) is independent of the choice of a representative cocycle and depends only on the Γ 0 M)-orbit of Q in F M. Definition.5. Wedefinethecohomological ShintaniliftingΘ k,χ : H 1 cγ 0 M),L k,χ R)) R[[q]] by Θ k,χ φ) := for each cohomology class φ H 1 c Γ 0M),L k,χ R)). Q F M /Γ 0 M) J k,χφ,q)q δ Q/M R[[q]] if M is odd, Q F M /Γ 0 M) J k,χφ,q)q δ Q/4M R[[q]] if M is even. Note that Θ k,χ is an R-linear map. The following result was proved in [St1] Proposition 4.3.3)). 10

11 Proposition.6. Let R be a commutative Z[ 1 6 ]-algebra. Let k 0 be an integer and χ be an R-valued Dirichlet character defined modulo M. ) 1 0 a) For ϕ HcΓ 1 0 M),L k,χ R)) and ι = ) Θ k,χ ϕ ι) = Θ k,χ ϕ). b) For f S k+ Γ 0 M),χ ) and ψ f H 1 c Γ 0M),L k,χ C)) which is the image of f under the composition of the Eichler-Shimura map and the Manin-Drinfeld section,.11) Θ k,χ ψ f ) = Θ k,χ ψ f ) = θ k,χf) where θ k,χ f) is defined in.4) and ψ f := 1 ψ f ψ f ι). c) If R is the field of characteristic 0 for example R = K) and ϕ H 1 cγ 0 M),L k,χ R)) is the image of ψ H 1 par Γ 0M),L k,χ R)) under the Manin-Drinfeld section, then.1) where χ is defined in.). Θ k,χ ϕ) S k+ 3Γ 0 4M),χ ;R).. Overconvergent Shintani Lifting and a universal overconvergent half-integral weight modular forms. In this section we define the Hecke-equivariant overconvergent Shintani lifting see [St1] for Λ- adic Shintani liftings) and describe the Hecke-action explicitly on the image of the lifting which we define to be the universal overconvergent half-integral weight modular form. Let σ : Z p,n Z p,n be the ring homomorphism sending t to t. We use the same notation for the ring homomorphism.13) σ : DZ p,n ) DZ p,n ) induced from σ : Z p,n Z p,n, i.e. σµ)ft)) = µft )) for µ DZ p,n ) and f AZ p,n ). We define the space of metaplectic locally analytic distributions on Z p,n by.14) DZ p,n ) := DZ p,n ) DZ p,n ),σ DZ p,n ) where the tensor product is taken with respect to σ : DZ p,n ) DZ p,n ). We regard DZ p,n ) as a DZ p,n )-algebra by the structure homomorphism.15) given by r r DZ 1. ),σ p,n DZ p,n ) DZ p,n ) The following definition is the key step to construct overconvergent Shintani liftings. Definition.7. For each Q F Np we define a map J Q : D DZ p ) by the following integration formula: fz)d J Q µ) ).16) z) = fqx,y))dµx,y) Z p Z p Z p for a given µ D and a locally analytic function f AZ p ). This is well defined, since QX,Y) Z p for Q F Np. We note that J Q is not a DZ p )-linear map. In order to make it DZ p )-linear, we twist the target space by σ see.14)). Then we extend J Q to J Q : D N DZ p,n ) by J Q ν DZ p ) r) := 1 DZ p,n ),σ J Qν) σr) [Q] N DZ p,n ) 11

12 for ν DZ p ) r D DZ p ) DZ p,n ) = D N. Here [Q] N := [a] N N for each quadratic form QX,Y) = ax +bxy +cy F Np. Proposition.8. Let Q F Np. The map J Q : D N DZ p,n ) is the unique DZ p,n )-module homomorphism such that for all arithmetic κ Hom cts Z p,n,c p ) of signature k,χ) and the associated arithmetic κ Hom cts Z p,n,c p ) by σ : Z p,n Z p,n, i.e. κ := κ σ so κ has a signature k,χ )), we have.17) κ J Q µ)) = χq) φ κ µ),q k for µ D N. Here φ κ is the specialization map in 1.17) and, is the pairing defined by 1.13). Proof. Because of the construction, DZ p,n )-linearity is clear. If the interpolation property.17) at arithmetic points is proven, then the uniqueness follows. So we concentrate on proving.17). Let µ = ν r D DZ N = D p ) DZ DZ p ) p,n ), and let κ Hom ctsz p,n,c p ) of signature k,χ) associated to an arithmetic κ Hom cts Z p,n,c p ) by σ : DZ p,n ) DZ p,n ) so κ has a signature k,χ )). We then calculate κ J Q µ)) = κr) κ [Q] N J Q ν) ) = κ[q] N ) κr) κz)dj Q ν)z) This completes the proof. Z p = χ N Q) κr) κqx,y))dνx,y) Z p Z p = χ N Q) κr) χ p Qx,y)) Qx,y) k dνx,y) Z p Z p because Qx,y) Z p for x,y) Z p Z p ) xy yx) = χ N Q)χ p a)κr) χ p x k ),QX,Y) k dνx,y) Z p Z p k)! by the equality 1.13) and Q F Np ) xy yx)k = χ N Q)χ p Q) κr) χ px) dνx,y),q Z p k Zp k)! = χq) φ κ µ),q k. Now we are ready to define the overconvergent Shintani lifting following the definition in [St1]. Definition.9. For each Φ H 1 c Γ 0Np),D N ) = Hom Γ0 Np) 0,D N ) and each Q F Np we define.18) JΦ,Q) := J Q ΦD Q )) DZ p,n ) where ΦD Q ) is the value of the cocycle representing Φ on D Q. Note that this definition of JΦ, Q) does not depend on the representative cocycle. A simple calculation confirms that J Q ΦDQ ) ) = J Q γ ΦDQ γ ) ), 1

13 for γ Γ 0 Np) and D Q = C Q as in Definition.. Thus JΦ,Q) depends only on the Γ 0 Np)- equivalence class of Q and the following definition makes sense. Definition.10. Wedefinetheoverconvergent ShintaniliftingΘ : Hc 1Γ 0Np),D N ) DZ p,n )[[q]] by Q F Np /Γ 0 Np) JΦ,Q)qδ Q/Np if Np is odd, ΘΦ) := Q F Np /Γ 0 Np) JΦ,Q)qδ Q/4Np if Np is even. We have seen that Hc 1Γ 0Np),D N ) is an H-module but DZ p,n )[[q]] doesn t have an H-action a priori. We will put a H-module structure on DZ p,n )[[q]] so that Θ is H-equivariant. In order to do so, we need an explicit description of ΘΦ Tl ) for all primes l and ΘΦ Tl,l ) for all primes l Np in terms of the coefficients of the q-expansion of ΘΦ) see the 1.8) for the definition of T l,l ) since H is generated by these Hecke operators over DZ p,n ). For Φ H1 cγ 0 Np),D) and m N, we define the notation Φ m Hc 1Γ 0Np),D N ) as follows: Φ m)d) = ΦD) DZ p ) m D DZ p ) DZ p,n ) =: D N for any D 0. Even though we state the theorem for Φ 1 for simplicity, the formula for general Φ HcΓ 1 0 Np),D N ) is also straightforward as Θ is DZ p,n )-linear map. Theorem.11. First, Θ is a DZ p,n )-linear map. Also, if Φ = Φ 1 Hc 1Γ 0Np),D N ) is an overconvergent modular symbol and we write Θ Φ) = 1 DZ an)) q n DZ p,n ),σ p,n )[[q]], then we have the following explicit formula for T l on the q-expansion of Θ Φ): Θ Φ.19) T l ) = 1 DZ anl )+ Np n )[l] N δ l an)+l[l ] N δ p,n ),σ l l a n l ))) q n for any odd prime l. Here δ s DZ p ) is the Dirac distribution at s N we put δ s = 0, if p divides s), is the convolution product in DZ p ), and we put a n ) = 0 for n not divisible by l. We also l have the formula for T l,l for any prime number l Np.0) Θ Φ T l,l ) = with the same notation as above. 1 DZ p,n ),σ [l ] N δ l an) ) q n Proof. TheDZ p,n )-linearity of Θ follows from Proposition.8. We firstconcentrate on the explicit description of Θ Φ Tl ). The description of T l,l for l Np will be much easier. For Np odd resp. even) denote by d n the discriminant of the number field K = Q Np n) resp. K = Q 4Np n)) andputnp n = d n c n resp. 4Np n = d nc n ). Thepositivenumberc n definedbytheaboveequations is a positive integer or a positive half integer but we will consider only the positive integer c n if c n is not an integer, the terms appearing below are 0). We let {Q = ax +bxy +cy F Np a,b,c) = 1, δq = Np s} if Np is odd L s Np) = {Q = ax +bxy +cy F Np a,b,c) = 1, δq = 4Np s} if Np is even 13

14 for s N. Then, from the construction of Θ, we have Θ Φ) = m c n,m>0 m,np)=1 Q belongs to L n m Np)/Γ 0Np) ))) 1 J DZ mqφd Q )) [mq] N q n. p,n ),σ Notice that D Q = D mq for m N satisfying m,np) = 1 see the Lemma.7. iii) of [Shn]). Put s, Φ,m) ) := J mq ΦD Q )) [mq] N. Q belongs to L snp)/γ 0 Np) InordertogetthedesireddescriptionofT l onθ Φ), wewillfirstderiveaformulafor s, Φ T l,m). Lemma.1. Notations being as above, for s N, we have sl, Φ,m)+ 1+ ds l )) [l] N δ l s, Φ,m) if l,c s ) = 1 s, Φ Tl,m) = sl, Φ,m)+ l ds l )) [l ] N δ l s, Φ,m) if l,c l s ) = l sl, Φ,m)+l[l ] N δ l s, Φ,m) if l,c l s ) = l where δ l and δ l are defined in the theorem.11 and we put s l, Φ,m) = 0 for s not divisible by l. Proof. Let Then, for T l H, α 0 = l ) and α j = Φ Tl = 1 j 0 l l Φ α j. j=0 ) for 1 j l Having in mind the action of α j on D DZ p ) DZ p,n ) = D N, we have s, Φ Tl,m) = l Q belongs to j=0 L snp)/γ 0 Np) J mq α 1Φα j D Q )) [mq] N [aα j ) ] N, j where aα j ) is the upper left entry of α j. Assume d s > 1 and we have K = Q d s ) = Q d s c s) remember that d s is the discriminant of K). In this case Q L s Np) has a non-perfect square discriminant and so D Q = {γ Q ω} {ω} for any point ω h by the Lemma.7 i) of [Shn], where γ Q was given in the Definition.. Let Q 1,Q,...,Q h be a complete set of representatives of Γ 0 Np)-equivalence classes of quadratic forms in L s Np). Let Q i X,Y) = a i X +b i XY +c i Y 1 i h). Also put ω i 1 = bi +c s ds and ω i = ci and denote by L i the lattice in K generated by ω i 1 and ωi. If we denote by L i = L i X,Y) the primitive integral binary quadratic form with discriminant d s c s associated to L i look at the Lemma. of [Shn] for the precise dictionary between the lattices in K and quadratic forms.). In fact it s easy to see L i X,Y) = Q i X,Y) 1 i h). 14

15 It follows from the Lemma. and Lemma.6 of [Shn] that {L 1,L,...,L h } forms a complete set of representatives of equivalence classes of lattices in K with conductor c s see the page 110 of [Shn] for the defintion of the equivalence relation and the conductor of L i ). Put Q i,j := Q i α 1 j 1 i h and 0 j l) e 1 = [O c s : O c sl ] and e = [O c s /c s,l) : O c s ] where the definition of O c s is given on the page 111 of [Shn]. Having in mind that we get Define [Q i,j ] N = [Q i ] N 1 j l) and [Q i,j ] N = [l ] N [Q i ] N j = 0), s, Φ Tl,m) = = h l i=0 j=0 h i=0 e 1 1 J mqi,j Φ {α j γ Qi α 1 j ω} {ω} )) [mq i,j ] N l j=0 J mqi,j Φ {α j γ e 1 Q i α 1 j ω} {ω} )) [mq i,j ] N. lω L i,j 1 iz+ωi Z if j = 0 := ω1 i +jωi )Z+lωi Z if 1 j l. Then L i,0,l i,1,...,l i,l are mutually distinct sublattices of L i with index l. Let L i,j be the quadratic form corresponding to L i,j. Then we have L i,j X,Y) if the conductor of L i,j = c s l Q i,j X,Y) = ll i,j X,Y) if the conductor of L i,j = c s and α j γ e 1 Q i α 1 j = l L i,j X,Y) if the conductor of L i,j = cs l γ L i,j γ e 1 L i,j γ e 1e L i,j if the conductor of L i,j = c s l if the conductor of L i,j = c s if the conductor of L i,j = cs l Now our Lemma.1 can be derived from Lemma.5, Lemma.7 and Lemma. of [Shn]. For example, if l,c s ) = 1, then Lemma.5, Lemma.7 and Lemma. of [Shn] implies the following: s, Φ Tl,m) = e 1 e 1 1 L i,j belongs to L sl Np)/Γ 0 Np) J ml i,jφd L i,j))[ml i,j ] N + 1+ d s l )) = sl, Φ,m)+ 1+ d s l )) [l] N δ l s, Φ,m). L i,j belongs to L snp)/γ 0 Np) J lml i,jφd i,j ))[lml i,j ] N The cases l,c s ) = l and l,c s ) = l also can be checked in the similar way. If d s = 1, the proof is similar and much simpler. This completes the proof of Lemma.1. 15

16 Now we will use the Lemma.1 to prove the theorem. We can express Θ Φ) as follows: Θ Φ) = 1 DZ an)) q n = 1 p,n ),σ DZ α p,n ),σ Np n Φ,m)) ) m, q n. m c n,m>0 m,np)=1 If we apply T l, then we have Θ Φ T l ) = 1 DZ α p,n ),σ Np n m, Φ T l,m)) ) q n. m c n,m>0 m,np)=1 Let bn) := n m, Φ Tl,m). m c n,m>0 m,np)=1 Note that we can assume c n is an integer. Let s analyze the q n -coefficient case by case. If l is a factor of Np, we have, by Lemma.1, bn) = = m c n,m>0 m,np)=1 m c nl,m>0 m,np)=1 = anl ), nl m, Φ,m) nl m, Φ,m) since l p implies δ l = 0 δ l = 0) and l N implies [l] N = 0 [l ] N = 0). Next we examine the case that l is prime to both Np and c n. Then Lemma.1 implies that bn) = = = m c n,m>0 m,np)=1 m c n,m>0 m,np)=1 m c nl =lc n,m>0 m,np)=1 = anl )+ Np n l αnp nl m, Φ,m)+ 1+ d n l m ) ) [l] N δ l n ) m, Φ,m) nl d n m, Φ,m)+ 1+ l )) [l] N δ l n m, Φ,m) m c n,m>0 m,np)=1 nl m, Φ,m)+ ) [l]n δ l an). m c n,m>0 m,np)=1 Np n) [l]n δ l α l Np n m, Φ,m) Finally consider the case that l is prime to Np but is a factor of c n. Set c n = c n lk, where c n is prime to l. Then we get n bn) = m l i, Φ T l,m l i ). m c n,m >0 m,np)=1 0 i k or m =,i=0 16

17 Since Lemma.1 shows that nl, Φ,t)+l[l n ] m n l i N δ l, Φ,t) m l i+ m l i, Φ T l,t) = for any t N, we can conclude that bn) = m c nl =lc n,m>0 m,np)=1 0 i k ) nl m l i, Φ,t)+ l dn l )) [l ] N δ l n m l i+, Φ,t) i = k 1) nl m l i, Φ,t)+ 1+ dn l )) [l] N δ l n m l i, Φ,t) i = k) nl m = anl )+l[l ] N δ l a n l )., Φ,m)+ m c n l =cn l,m>0 m,np)=1 l[l n ] N δ l m l, Φ,m) This completes the proof of the description of T l -action in the theorem.11. ) Theformula T l,l -action for l Np is easily derived, because T l,l -action on Φ l 0 is the same as -action on it. 0 l Now we define the action of T l for any rational prime l and T l,l for l Np on formal q-expansions as follows:.1).) Θ Tl = Θ = an) DZ p,n ),σ bn)) q n DZ p,n )[[q]] an) DZ bnl )+ Np n )[l] N δ l bn)+l[l ] N δ p,n ),σ l l b n l ))) q n Θ Tl,l = ) an) [l ] DZ N δ l p,n ),σ bn) q n. Then we can conclude that the overconvergent Shintani lifting Θ is H-linear map by Theorem.11 except for operators containing T. But if N is even, then even ΘΦ T ) = ΘΦ) T is true so that Θ is actually H-linear. Because we will show that our overconvergent Shintani lifting Θ interpolates the classical Shintani liftings, it is reasonable to define the image of Θ to be a universal overconvergent half-integral weight modular form. Definition.13. We say that Θ DZ p,n )[[q]] is a universal overconvergent half-integral weight modular form if for some Φ H 1 cγ 0 Np),D N ). Θ = ΘΦ) A universal overconvergent half-integral weight modular form will be viewed as a p-adic family of overconvergent half-integral weight modular forms. Finally we give a definition of an overconvergent half-integral weight modular form of weight κ Hom cts Z N,p,K ). 17

18 Definition.14. We say that θ C p [[q]] is an overconvergent half-integral weight modular form of weight κ Hom cts Z N,p,K ) if it can be written as whereθ = 1 DZ modular form. p,n ),σα n θ = Θκ) = 1 DZ p,n ),σ α nκ) ) q n ) q n DZ p,n )[[q]] isauniversaloverconvergent half-integral weight 3. Connection to the eigencurve and p-adic family of half-integral weight modular forms Since points on the half-integral) eigencurve correspond to half-integral) overconvergent Hecke eigenforms, the existence of a Hecke eigensymbol in H 1 cγ 0 Np),D N ) which interpolates overconvergent Hecke eigenforms and a local version of overconvergent Shintani lifting will give us a local piece of the half-integral eigencurve see [Ram]). So we will construct a Hecke eigensymbol and a local version of lifting whose meaning will be precise later Slope h decompositions of overconvergent modular symbols. The goal of this section is to review the result of G. Stevens in [St3] which guarantees the existence of slope h decomposition of overconvergent modular symbols over some K-affinoid space. In order to make a connection to the half-integral) eigencurve, we need an appropriate p-adic Hecke algebra over Z p [[Z p,n ]], but unlike the ordinary case slope 0 case), it is impossible to define a global p-adic Hecke algebra finite over Z p [[Z p,n ]] which parametrizes all overconvergent Hecke eigenforms of arbitrary finite slope. Instead we can define a local p-adic Hecke algebra finite over AB), where B is some affioid subdomain of the weight space X N, using slope h decomposition. We first review some background knowledge on rigid spaces, especially weight space, and state the theorem of G. Stevens in [St3]. Let Λ be the completed group algebra Z p [[Z p ]] and let Λ N be the completed group algebra Z p [[Z p,n ]] where Z p,n := Z p Z/NZ) = Z p N. Then Z p [[Z p,n ]] = Z p [[Z p ]][Z/NZ) ] = χ Z p[[z p ]] where the direct product is taken over the Dirichlet characters of Z/NZ). Now consider the category AF Zp whose objects are SpfA) where A is an adic and noetherian ring which is Z p -algebra and A/J J is the biggest ideal of definition) is a finitely generated F p - algebra and morphisms are locally ringed space morphisms. Let Rig K be the category of K-rigid analytic varieties.k-rigid analytic variety is a locally G-ringed space and a morphism is a locally G-ringed morphism.- A locally G-ringed space is a pair X,O X ), where X is a set equipped with a saturated Grothendieck topology and O X is a sheaf of rings such that all stalks are local rings.) P.Berthelot had constructed a functor from AF Zp to Rig K. We refer to [Col-Mz] and [De] for this construction. Note that SpfZ p [[1+pZ p ]]) belongs to AF Zp. So we can construct a K-rigid analytic variety associated to Z p [[1+pZ p ]]. This turns out to be the open unit disk B0,1) K defined over K. Since Λ and Λ N are finite direct sums of Z p [[1+pZ p ]], we can apply P. Bertholet s contruction to Λ and Λ N. We denote the resulting K-rigid analytic varieties by X and X N respectively. In this case X respectively X N ) is the finite union of ϕp) respectively ϕpn)) open unit disks and each component corresponds to the Dirichlet character of Z/pZ) respectively Z/pNZ) ). We call X respectively X N ) weight space respectively weight space of tame conductor N). So X = X 1. 18

19 For any K-rigid analytic variety X respectively any K-affinoid variety X) we define AX) to be the ring of K-rigid analytic functions on X respectively K-affinoid functions on X). Then there is a natural ring homomorphism 3.1) Λ N AX N ) for N 1. In the case that X is a K-affinoid variety over X N, the R-valued points of X, for any commutative Q p -algebra R, are given by continuous homomorphisms from AX) to R, i.e. The R-valued points of X N are given by XR) := Hom cts AX),R). X N R) = Hom cts Λ N,R). for N 1. Recall that there is a natural bijection between 3.) Hom cts Λ N,C p ) and Hom cts Z p,n,c p ). So in particular, the C p -points of the weight space X N is Hom cts Z p,n,c p ). Definition 3.1. A character κ : 1+pZ p C p is called arithmetic if κt) = t k for some k Z 0 and for all t sufficiently close to 1 in 1+pZ p. Definition 3.. Let κ XC p ) be a C p -point of a K-affinoid variety X over X N or X N itself. We call κ an arithmetic point of signature of k,χ), if the associated group character κ : Z p,n C p, via the natural homomorphism 3.1) and the correspondence 3.), satisfies κt) = χt) t k p where t = t p,t N ) Z p Z/NZ) and for some χ, a finite character of Z p,n, and k Z 0. We use the following notation: for any K-affinoid variety X or X N ) and any commutative Q p -algebra R, X arith R) := {κ XR) κ is arithmetic.}. Now westatetheconnection between locally analytic distributionsdz p,n ) andax N), thek-rigid analytic functions on X N. Recall that there is a topological K-algebra isomorphism as K-Fréchet spaces) 3.3) 3.4) F : DZ p,n ) AX N) µ f µ where f µ κ) := Z κx)dµx) which is the p-adic Fourier transform of Amice see the [Ami1] and p,n [Ami]). Definition 3.3. We define 3.5) D B := D AX) AB) whereb is any K-affinoidsubdomainof X N andab) is theassociated K-affinoidalgebra, endowed with the spectral norm AB). 19

20 Let S 0 Np) act on D B by the formula µ AX) λ) γ := µ γ AX) [a] N λ for B X N where ) a b γ = and [a] c d N is the image of a in Z/NZ) Λ N. Since the action of AB) on D B commutes with the action of Γ 0 Np) on D B, HcΓ 1 0 Np),D B ) inherits an action of AB). Indeed HcΓ 1 0 Np),D B ) is equipped with an AB)[T n : n N]-module structure. In particular, U p acts on Hc 1Γ 0N),D B ). In fact we have an AB)-linear endomorphism U p : Hc 1Γ 0Np),D B ) HcΓ 1 0 Np),D B ). G. Stevens proved the following theorem in [St3] which is essential to prove the existence of slope h decompostion. Theorem ) H 1 c Γ 0Np),D B ) is orthonormalizable as an AB)-module. ) The U p -action on H 1 c Γ 0Np),D B ) is completely continuous. The above theorem enables us to apply the Fredholm-Riesz-Serre theory, and in particular, we have the Fredholm series det1 U p T H 1 cγ 0 Np),D B )) AB)[[T]] which is entire in T. For details see [St3] and [Ser]. Now we recall the definition of slope h decomposition over B from [A-S]. Definition 3.5. x H 1 c Γ 0Np),D B ) is said to be have slope h with respect to U p for some h R, if there is a polynomial Q AB)[T] with the following properties: 1)Q U p ) x = 0 where Q T) := T d Q1/T) with d = degq); ) the leading coefficient of Q is a multiplicative unit with respect to AB) ; and 3) every slope of Q is h, where the slopes of Q are the slopes of the Newton polygon of Q see [A-S] for the definition of the Newton polygon and its slope). H 1 cγ 0 Np),D B ) h) is defined as the set of all elements of H 1 cγ 0 Np),D B ) having slope h. Then H 1 c Γ 0Np),D B ) h) is an AB)-submodule of H 1 c Γ 0Np),D B ). Definition 3.6. A slope h decomposition of H 1 cγ 0 Np),D B ) over B is an AB)[U p ]-module decomposition H 1 c Γ 0Np),D B ) = H 1 c Γ 0Np),D B ) h) H 1 c Γ 0Np),D B ) h) such that 1) H 1 c Γ 0Np),D B ) h) is a finitely generated AB)-module; and ) for every polynomial Q AB)[T] of slope h, the map Q U p ) : H 1 cγ 0 Np),D B ) h) is an isomorphism of AB)-modules. Then the following theorem is due to G. Stevens[St3]). H 1 cγ 0 Np),D B ) h) Theorem 3.7. Let x 0 X N K) be any K-point and let h be a fixed nonnegative rational number. Then there exists a K-affinoid subdomain B X N containing x 0 such that H 1 cγ 0 Np),D B ) admits a slope h decomposition over B. H 1 c Γ 0Np),D B ) h will play a central role to define the p-adic overconvergent Hecke algebra with slope h whose maximum spectrum associated K-affinoid variety) can be thought of as a local piece of the eigencurve. 0

21 3.. Slope h overconvergent p-adic Hecke algebra and p-adic families of overconvergent Hecke eigenforms. Note that the Hecke operators T n for all n N preserves H 1 cγ 0 Np),D B ) h). Definition 3.8. We define the universal overconvergent p-adic Hecke algebra of tame conductor N with slope h 3.6) R := ImH B H End AB )H 1 c Γ 0Np),D B ) h) )) where H B := AB )[T n : n N] is the abstract overconvergent Hecke algebra over B of tame conductor N. It is known that AB ) is a principal ideal domain and we have the following proposition. Proposition 3.9. We have that 1) R is a finite, flat and torsion-free AB )-algebra. ) R is a K-affinoid algebra. Proof. 1) Since H 1 cγ 0 Np),D Bh ) h) is a finitely generated AB )-module, R should be a finitely generated AB )-module by the definition. The AB )-torsion-freeness of R is clear from the definition. Since AB ) is a PID, torsion-freeness implies the freeness. So in particular R is flat over AB ). ) This part follows from [BGR]Proposition 5 on page 3) since, by 1), R is finitely generated as an AB )-module. Let Ω h := SpR h ) respectively, Ω := SpR )) be the K-affinoid space associated to R h respectively, R ) - See 7.1 of [BGR]. Then we have AΩ h ) = R h and AΩ ) = R. So we get the following commutative diagrams: R R h Ω Ω h AB ) AB h ) B B h AX N ) AX) X N X Λ N Λ Definition We define the universal overconvergent Hecke eigenform of tame conductor N with slope h to be 3.7) f := α n q n R [[q]] where α n is the image of T n in End AB )H 1 cγ 0 Np),D B ) h) ) under the map H. We recall that S k+ Γ 0 Np m ),χ;r) is thesubspaceof S k+ Γ 0 Np m ),χ) consisting of cusp forms whose Fourier coefficients belong to R where R is any subfield of C p. The following theorem was proven by R. Coleman [Col, 0.1]. 1

22 Theorem Let κ Ω arith K) be an arithmetic K-point of signature k,χ) with k 0. If h < k+1 or if h = k+1, and f κ) := α nκ)q n is not in the image of the map Θ k+1 where Θ is the operator which acts as q d dq on formal q-expansions, then f κ) := α n κ)q n M k+ Γ 0 Np m ),χ;k) where α n κ) := κα n ) and χ is defined modulo Np m and moreover, f κ) is an Hecke eigenform. Furthermore, the U p -eigen value of f κ) has p-adic valuation called the slope of f κ)) h. We will use the following notations: B classical Ω classical K) := {κ : R K f κ) is a classical Hecke eigenform.}. K) := {ˆκ : AB ) K κ Ω classical K) such that κ is lying above ˆκ}. κ R K ˆκ AB ) The elements of Ω classical K) will be referred to as classical K-points of Ω classical. We can view f as an analytic function on Ω which interpolates the q-expansions of Hecke eigenforms at classical points Overconvergent Hecke eigensymbol. In this section we will prove the existence of an overconvergent Hecke eigensymbol. Definition 3.1. For κ Ω classical K) and Φ Hc 1Γ 0Np),D B ), we define 3.8) Φ κ := φ κ, Φ) where the map φ κ, is given in 1.18). For κ Ω classical K) of signature k,χ), we also define ϕ ± κ := ϕ ± f κ) := 1 3.9) Ω ± f κ)ψ ± f κ) where we fix, once and for all, complex periods Ω ± f 3.10) 1 Ω ± f κ) for each Hecke eigenform f so that ψ ± f κ) H1 par Γ 0Np m ),L k,χ R κ )) For details see 4.3.4) of [St1] about the existence of these complex periods. Once we fix complex periods for each f, we can give an algebraic version of the classical Shintani θ-lifting. Define θk,χ ) f) := Ω θ k,χ f) f for f S k+ Γ 0 M),χ ), a Hecke eigenform. Then, by theorem 4.3.6) of [St1], under the assumption of the proposition.6, 3.1) where ϕ f := 1 ψ Ω f. Note that θ k,χ f on Hecke eigenforms. Θ k,χ ϕ f ) = θ k,χ f) depends on the choice of complex periods and is defined only