arxiv: v1 [math.nt] 20 Aug 2012

Transcription

1 PREIMAGES FOR THE SHIMURA MAP ON HILBERT MODULAR FORMS ARIEL PACETTI AND NICOLÁS SIROLLI arxiv: v1 [math.nt] 20 Aug 2012 Abstract. In this article we explain a method to construct preimages for the Shimura correspondence on Hilbert modular forms of square-free level. The method relies in the ideas presented for the rational case in [PT07], which generalize the original method of Gross (see [Gro87]). Introduction First of all, we warn the reader that this is a survey article, so almost no proofs are given. Most of the general results are stated with a reference to the literature, while the details and missing proofs of the method itself will appear in an article of the second author. To our knowledge the only construction of preimages for the Shimura map on Hilbert modular forms is given in [Xue11], which only works when the level involved is a power of a prime ideal, and follows Gross original construction. We start this article by recalling the definition of a Hilbert modular form. We present the classical definition in the first section, wherewe state the basic facts we will need along the article. In the second section, we give the adelic definition of Hilbert modular forms, and state the relation between Hilbert automorphic forms and r-tuples of classical Hilbert modular forms, where r is the ray class number of the base field (see Theorem 2.2). Some good references for the theory of Hilbert modular forms are Garrett s book[gar90] and Van Der Geer s book [vdg88] (see also Gebhardt s dissertation [Geb09]). In the third section we recall how, given a totally definite quaternion algebra B and an Eichler order R in it, one can define Hecke operators acting on the space M(R) generated by left ideal classes representatives for R. We state the main properties of these operators and show that, away from the discriminant of the order, they satisfy the same relations as the Hecke operators on Hilbert modular forms. We state a Jacquet-Langlands-type result that assures that for every newform of non-square level, there is a vector in M(R) having the same eigenvalues for the Hecke operators, if we choose B and R appropriately (see Theorem 3.2). In the fourth section, we recall the definition of half-integral weight Hilbert modular forms, following [Shi87]. We also state the main properties of the Hecke operators acting on them, and at the end of the section we recall Shimura s Theorem relating the space of Hilbert modular forms of parallel weight 3/2 with the space of Hilbert modular forms of parallel weight 2 (see Theorem 4.2). In the fifth section, we show how certain ternary theta series associated to the left ideal classes of a given order R can be used to produce Hilbert modular forms of parallel weight Both authors were partially supported by the research projects CONICET PIP , UBACyT X113 and FonCyT BID-PICT

2 2 ARIEL PACETTI AND NICOLÁS SIROLLI 3/2. This construction actually gives a Hecke linear map θ from the space M(R) to the space of Hilbert modular forms of parallel weight 3/2 (see Theorem 5.2). In the sixth section we show how the results of the previous sections can be used to constructpreimages oftheshimuramap, at least inthecase wherethelevel of themodular form is square-free. We state some conjectures and remarks regarding this construction, which include a relation between the Fourier coefficients of the preimages and central values of twisted L-functions (see Conjecture 6.2). Inthefinalsection weconsiderthespaceofhilbert modularcuspformsover F = Q[ 5], with level (6 + 5). This space is 1-dimensional, and it is spanned by a newform that corresponds to an elliptic E curve over F. We apply our method to this cusp form to construct a parallel weight 3/2 modular form in Shimura correspondence with it, and compare its zero coefficients with the ranks of imaginary quadratic twists of E. 1. Hilbert modular forms Let F be a totally real number field of degree d over Q. We let a denote the set of all embeddings τ : F R, and for ξ F and τ a, we denote τ(ξ) = ξ τ. We let F + denote the set of ξ F such that ξ τ > 0 for all τ a. Let G denote the group scheme SL 2 and G the group scheme GL 2. Also, let G + (F) = {γ G(F) : detγ F + }. Let H denote the Poincaré upper-half plane. Then GL + 2 (R)a acts on H a componentwise, and G + (F) also acts on H a via the natural embedding G + (F) GL + 2 (R)a. If γ GL + 2 (R)a, with γ τ = ( a τ b τ c τ d τ ), we let j(γ,z) denote the cocycle j(γ,z) = τ a(c τ z τ +d τ ). Again, this also makes sense for γ G + (F). Given a function g : H a C and γ G + (F), we denote by g γ the function given by (g γ)(z) = N F/Q (detγ)j(γ,z) 2 g(γz). For simplicity, wewillconsideronlyformsofweight2 = (2,...,2), alsocalled ofparallel weight 2, but everything can be done for arbitrary weights by introducing spherical polynomials. Let Γ G + (F) be a congruence subgroup (we will consider only certain congruence subgroups defined below, see [Shi78, page 639] for a general definition). The space of Hilbert modular forms of weight 2 for Γ, which we denote by M 2 ( Γ), is the space of holomorphic functions g : H a C such that g γ = g γ Γ. If d = 1, g(z) is holomorphic at the cusps. The holomorphicity condition at the cusps is automatic for totally real fields other than Q. This is the so called Koecher principle (see [Gar90] for a proof). Let O be the ring of integers of F. Given fractional ideals r, n, we will be mainly interested in the groups Γ[r,n] = { γ = ( a b c d) G+ (F) : a,d O,b r 1,c rn,detγ O }, Γ[r,n] = G(F) Γ[r,n]. Note that the group Γ[r,n] is conjugate over G + (F) to Γ[r,ξn] for any ξ F +.

3 PREIMAGES FOR THE SHIMURA MAP ON HILBERT MODULAR FORMS 3 Let e F : F H a C be the exponential function given by e F (ξ,z) = exp ( 2πi τ aξ τ z τ ). For a fractional ideal a, let a + = a F +, and denote by a its dual with respect to the trace form. If g M 2 ( Γ[r,n]), since g(z + ξ) = g(z) for every ξ r 1 (where z +ξ = (z τ +ξ τ ) τ H a ), the form g has a Fourier series expansion ( ) g(z) = c(ξ,g)e F ξ,z. ξ ((r 1 ) ) + {0} We say that g is cuspidal if c(0,g γ) = 0 for all γ G + (F). The subspace of such g is denoted by S 2 ( Γ[r,n]). So far Hilbert modular forms are just a natural generalization of classical modular forms. This is indeed the case if F has narrow class number equal to 1, but it becomes more technical in general due to the fact that the Hecke operators do not preserve levels defined in this way when the narrow class group Cl + (F) of F is not trivial, as we will see below. 2. Automorphic Hilbert modular forms Let F A be the ring of adeles of F, and denote by F and F f its archimedean and non-archimedean parts respectively, so F A = F F f. Let F A be the group of ideles of F. For a fractional ideal a, denote by [a] its class in Cl + (F). Take b 1,...,b r O representatives for Cl + (F), which we fix from now on. Let t l F f be such that the ideal corresponding to t l is b l. Denote by Ô = p O p, where the subscript p denotes the completion at p, and let F + F denote the connected component of the identity. We have a decomposition r (1) F A = F t l (F + Ô ). l=1 Let G(F f ) be the archimedean part of G(F A ). Strong approximation for G asserts that G(F)SL 2 (R) a is dense in G(A F ). This implies that if K is an open subgroup of G(F f ), then the natural map G(F)\ G(F A )/(GL + 2 (R)a K) F \F A /(F+ det(k)) is a bijection. This fact together with decomposition (1) gives the following theorem. Theorem 2.1. Let K be an open subgroup of G(F f ). If det(k) = Ô, then r G(F A ) = G(F) ( ) t l (GL + 2 (R) a K). l=1 Example. Given c O, an important case is the open subgroup K 0 (c) { (a K 0 (c) = b ) } c d GL 2 (O p ) : c p c p p. p G(Ô) given by

4 4 ARIEL PACETTI AND NICOLÁS SIROLLI The following definition generalizes the notion of automorphic forms over Q to totally real fields. Definition. A map φ : G(F A ) C is a Hilbert automorphic form of weight 2 for K 0 (c) if it satisfies (H.1) φ(γx) = φ(x) for all γ G(F). (H.2) Consider the diagonal embedding F + GL + 2 (R)a. Then, φ(tx) = φ(x) for all t F. + ( ) (H.3) For θ R a cos(θτ) sin(θ, let r(θ) = τ) sin(θ τ) cos(θ SO τ) 2(R) a. Then, τ φ(xr(θ)k) = e 2i τ a θτ φ(x), r(θ) SO 2 (R) a,k K 0 (c). (H.4) φ is slowly increasing. (H.5) As a function of GL 2 (R) a, φ is smooth. (H.6) φ is an eigenfunction of the Casimir operator τ, with eigenvalue 0, for all τ a. We say that φ is cuspidal if it also satisfies (H.7) F A /F φ(( 1 y 0 1) x ) dy = 0 for almost every y G(FA ). Implicit in (H.2) and (H.3) lays the fact that we only consider forms with trivial character, whichareenoughforourpurposes. For aprecisestatement of (H.4) and(h.6), werefer to [Gel75, Chapter 3]. We remark that if φ is cuspidal, then φ L 2 (F A G(F)\ G(F A )). Denote i = (i,...,i) H a. Then GL + 2 (R)a acts transitively on H a, with the stabilizer of i being SO 2 (R) a. Using this it is not hard to prove part of the following result (we refer to [Gel75, Proposition 3.1] or [Geb09, Theorem 2.3.7]). Theorem 2.2. Let φ be a Hilbert automorphic form of weight 2 for K 0 (c). For l = 1,...,r let g l : H a C be given by g l (z) = j(x,i) 2 φ( ( t l ) x ), where x GL + 2 (R)a is any element satisfying x i = z. Then g l M 2 ( Γ[b l,c]). Furthermore, g l is a cusp form if φ is a cusp form. Conversely, given g l M 2 ( Γ[b l,c]) for l = 1,...,r, define φ : G(F A ) C by φ(γ ( t l ) x k 0 ) = j(x,i) 2 g l (x i), for γ G(F),x GL + 2 (R)a,k 0 K 0 (c). Then φ is an automorphic Hilbert modular form of weight 2 for K 0 (c). Furthermore, φ is a cusp form if every g l is a cusp form. If we denote M 2 (c) = r M 2 ( Γ[b l,c]), S 2 (c) = l=1 r S 2 ( Γ[b l,c]), then this theorem says there is a bijection between M 2 (c) and the space of automorphic Hilbert modularforms for K 0 (c) (which dependson theparticular choice of representatives b l ), sending r-tuples of cusp forms to automorphic cusp forms. In particular, if r = 1 we have a bijection between Hilbert modular forms for Γ[O,c] and automorphic Hilbert modular forms for K 0 (c), as in the rational case. l=1

5 PREIMAGES FOR THE SHIMURA MAP ON HILBERT MODULAR FORMS 5 To every g M 2 (c) we can associate a q-expansion indexed by integral ideals. Letting ( ǫ 0 0 1) act on gl, with ǫ O + = O F +, it is easy to see that c(ξ,g l ) depends only on ξo. Then given 0 m O, we let c(m,g) = c(ξ,g l ), for ξ b + l such that m = ξb 1 l. These Fourier coefficients can be obtained in terms of the automorphic form corresponding to g, and do not depend on the representatives b l chosen. The action of the Hecke operators T p on M 2 (c) is naturally defined in the adelic setting, for which we refer to [Shi78]. This action is such that if g l M 2 ( Γ[b l,c]), then T p (g l ) M 2 ( Γ[b l,c]), where l is such that [pb l ] = [b l ]. Note in particular that the Hecke operators do not preserve the spaces M 2 ( Γ[b l,c]), which explains why we need to consider r-tuples as above. We denote by T 0 the algebra generated by the Hecke operators T p with p c. These are self-adjoint withrespect tothepetersson innerproductons 2 (c), whichintheautomorphic setting is given by the inner product of L 2 (F G(F)\ G(F A A )). The subspace of oldforms of S 2 (c), which we define in the adelic setting, is the space generated by the functions x φ(x ( t ) ), with φ a cusp form of level b with b c,b c, and t F A such that the ideal corresponding to t divides b 1 c. This space is stable under the action of T 0, and hence the same property holds for its orthogonal complement, which we denote by S2 new (c). The forms in S2 new (c) which are eigenfunctions for all the operators in T 0 are called newforms. The following is the multiplicity one theorem for (Hilbert) automorphic forms, due to Miyake (see [Miy71]). Theorem 2.3. Let g be a newform in S new 2 (c). If h S 2 (c) is an eigenfunction for all the operators in T 0, with the same eigenvalues as g, then h is a multiple of g. 3. Quaternionic modular forms We refer to [Vig80] for the definitions and basic results concerning the arithmetic of quaternion algebras. Let B a totally ramified quaternion algebra over F, i.e. such that B τ = B F F τ is a ramified quaternion algebra over F τ for every τ a. We fix an Eichler order R in B of discriminant D, and we let I(R) denote the set of invertible left R-ideals. Two ideals I,J I(R) are equivalent if there exists x B such that I = Jx. We denote by we denote [I] the equivalence class of I under this relation. We fix I 1,...,I n I(R) representing the left ideals equivalence classes. The problem of calculating such representatives has been considered in [DV10] and in [PS12]. Let M(R) denote the vector space over C spanned by the ideal classes [I 1 ],...,[I n ]. On M(R) we consider the inner product defined by { 0, i j, [I i ],[I j ] = [R r (I i ) : O ], i = j. We let e 0 = n i=1 1 [I i ],[I i ] [I i] M(R), and we denote by S(R) the orthogonal complement of Ce 0 in M(R). Then S(R) = {v M(R) : degv = 0}, where deg : M(R) C is the linear map defined by deg([i i ]) = 1.

6 6 ARIEL PACETTI AND NICOLÁS SIROLLI Let m O be a non-zero ideal. For I I(R) denote t m (I) = {J I(R) : J I,[I : J] = m 2 }, where [I : J] denotes the index of J in I. Let T m be the m-th Hecke operator acting on M(R), defined by T m ([I]) = [J]. J t m(i) This definition agrees with the action of Hecke operators on quaternionic modular forms given in [DV10]. There is an action of the group of fractional ideals on M(R). Given a fractional ideal n and I I(R), the ideal ni I(R) is locally given by (ni) p = R p (x p ξ p ), if n and I are locally given by n p = O p ξ p, and I p = R p x p, respectively. This action, which is trivial if Cl(F) is trivial, commutes with the action of the Hecke operators. The Hecke operators are normal with respect to,, but not necessarily self-adjoint if Cl(F) is non trivial; more precisely, the adjoint of T m is m 1 T m. Since e 0 is an eigenvector for T m and for Cl(F) (it corresponds to the Eisenstein series), the Hecke operators preserve the space S(R). The Hecke operators on M(R) satisfy the following equalities, which are also satisfied by the Hecke operators on Hilbert modular forms. Proposition 3.1. Let k 0, and let p be a prime ideal in O. The Hecke operators on M(R) satisfy (1) T m T n = T mn, if (m : n) = 1. (2) T p k+2 = T p k+1t p N(p)T p k, if p D. (3) T mp +N(p)T m/p = T m T p, if p m. Proof. Theproofis the sameas theone given in [PT07, Proposition 1.3], whereit is proved in the case F = Q. Since the Hecke operators are normal operators, M(R) (and also S(R)) has a basis of simultaneous eigenvectors for the whole Hecke algebra. However, since the operators T p k with p D do not satisfy the same relations as the Hecke operators on Hilbert modular forms, we will be interested only in the algebra of operators T 0 generated by the T p with p D. The following result is a generalization of the solution to the basis problem studied by Eichler, vastly generalized by Jacquet-Langlands (see for example [Hid81, Proposition 2.12]). Theorem 3.2. Let B be a quaternion algebra, and let R be an Eichler order in B of discriminant c. Then there is an injective map of T 0 -modules S(R) S 2 (c), whose image contains all the newforms. 4. Hilbert modular forms of half-integral weight We follow [Shi87] closely, though omitting and avoiding most of the technical details. As in the rational case, half-integral weight Hilbert modular forms are defined in terms of the theta function θ(z) = ξ Oe F (ξ 2,z/2).

7 PREIMAGES FOR THE SHIMURA MAP ON HILBERT MODULAR FORMS 7 ( ) θ(γz) We let J(γ,z) = j(γ,z) for γ G(F). θ(z) Given an ideal b O divisible by 4, let ψ be a Hecke character of F with conductor dividing b, and denote by ψ the character on ideals prime to b induced by ψ. Denote by d the different ideal of F. A Hilbert modular form of weight 3/2 = (3/2,...,3/2) (also called of parallel weight 3/2), level b and character ψ, is an holomorphic function f on H a satisfying f(γz) = ψ b (a)j(γ,z)f(z) for all γ Γ[2 1 d,b], where we denote ψ b = p b ψ p. The space of such f is denoted by M 3/2 (b,ψ). It is trivial unless ψ ( 1) = ( 1) d, where we denote ψ = τ a ψ τ. This definition is slightly different from the definition used in the rational case, in the cocycle given by ( θ(γz) θ(z) ) 3 was used. However both definitions are equivalent. If F = Q and f M 3/2 (NZ,ψ), where ψ is the Hecke character induced by the Dirichlet character ψ, then ) f(z) = f(2z) is a classical modular form of weight 3/2, level N and character ψ ( 1. Hecke operators in this setting are defined in [Shi87]. We use the classical notation, so that in this survey T p 2 equals the operator T p considered in that article. In particular, as in the classical case, we have that T p = 0. The adelic counterpart of half-integral weight Hilbert modular forms is more involved than in the integral weight case, since the former correspond to functions on the metaplectic covering of G(F A ). Note that working with unimodular matrices is enough, as opposed to the integral weight case. This is due to the following two facts, which allow to define an action of the Hecke operators in the metaplectic covering of G(F A ): The Hecke operators T n are zero ( if) n is not a perfect square. 1 0 Instead of using the matrix 0 πp 2 for defining T p 2, we can use the unimodular ( matrix 1/πp 0 0 π p ), since these matrices are conjugate. In particular, using strong approximation over G(F A ) we get that that an automorphic form of half-integral weight corresponds to a single function on H a, instead of the r-tuple of functions that we need to consider in the integral weight case. Given f M 3/2 (b,ψ), there is a Fourier series attached to each cusp in F. More precisely, forevery ξ F andevery fractional ideal mthereisacomplex numberλ(ξ,m,f), such that f(z) = ξ F λ(ξ,o,f)e F (ξ,z/2) (the q-expansion at O), and satisfying λ(ξb 2,m,f) = N F/Q (b)ψ (b)λ(ξ,bm,f) b F, λ(ξ,m,f) = 0, unless ξ (m 2 ) + {0}. The Fourier coefficients λ(ξ,m,f) for non-principal m are harder to describe, but this can be done explicitly in the case of forms given by theta series, which we will consider below. The Kohnen plus space M 3/2 (b,ψ),

8 8 ARIEL PACETTI AND NICOLÁS SIROLLI Proposition 4.1. If p b, then for every f M 3/2 (b,ψ), λ(ξ,o,t p 2(f)) = λ(ξ,p,f)+ψ (p)n(p) 1( ξ ) λ(ξ,o,f)+ψ (p 2 )N(p) 1 λ(ξ,p 1,f), p where ( p) denotes the quadratic residue symbol modulo p. The following result is based on the generalization of the Shimura correspondence for Hilbert modular forms. It follows from [Shi87, Theorems 5.5 and 6.1]. For n O, we introduce a formal symbol M(n) such that M(nm) = M(n)M(m) for all n,m O. Theorem 4.2. For each ξ O +, there is a T 0 -linear map Shim ξ : M 3/2 (b,ψ) M 2 (b/2,ψ 2 ), characterized by the following property. Write ξo = q 2 r with q,r O and r square-free, and let ǫ ξ be the Hecke character corresponding to F( ξ)/f. Let P be a set of primes of O. If 0 f M 3/2 (b,ψ) is a cusp form such that T p 2(f) = ω p f for all p P, then (formally) c(m,shim ξ (f))m(m) m O = ( 1 ωp M(p)+ψ (p) 2 N(p) 1 M(p 2 ) ) 1 ( 1 (ψ ǫ ξ )(p)n(p) 1 M(p) ) p/ P p P λ(ξ,q 1 m,f)m(m), m where the last sum is over all integral ideals m such that m is prime to p for every p P. Note that the formula implies that Shim ξ (f) 0 if ξ is such that λ(ξ,q 1 O,f) 0. Remark. 5. Ternary theta series Theta series of totally definite ternary quadratic forms can be used to construct Hilbert modular forms of weight 3/2. Sincethe numberof variables of these quadratic forms is not even, they are not considered in the classical literature. Transformation formulas in this (and much more) generality are studied in [Shi87, Section 11], where the results needed to prove Proposition 5.1 below can be found. Let B be as before. For x B, denote (x) = Tr(x) 2 4N(x). Then determines an integral, totally negative definite quadratic form on V = B/F. For I I(R), we consider R r (I)/O as a lattice in V, which we denote by L I. From here on, let ψ be the Hecke character corresponding to the quadratic extension F( 1)/F. This quadratic character has conductor dividing 4O, and the corresponding ideal character satisfies ψ (p) = ( 1 p ) for p 2. By local class field theory, ψ satisfies the equality ψ ( 1) = ( 1) d. Hence, the space M 3/2 (4D,ψ) is not trivially zero. Proposition 5.1. Given I I(R), let ϑ I (z) = x L I e F ( (x) z 2).

9 PREIMAGES FOR THE SHIMURA MAP ON HILBERT MODULAR FORMS 9 Then ϑ I M 3/2 (4D,ψ). Furthermore, the Fourier coefficients of ϑ I are given by λ(ξ,a,ϑ I ) = N(a) 1 #{[x] a 1 L I : (x) = ξ }. Remark. The last equality follows from the definition of ϑ I for a = O, but it is not trivial for non-principal a. It is crucial for proving the Hecke linearity in Theorem 5.2 below. For ξ F + {0}, a fractional ideal a and I I(R), denote a(ξ,a,[i]) = #{[x] al I : (x) = ξ }. Let e ξ = a(ξ,o,[j]) [J],[J] [J] M(R). [J] Cl(R) This agrees with our previous definition of e 0. Theorem 5.2. Given v M(R), let θ(v)(z) = ( ) ( e ξ,v e F ξ, z 2 = deg(v)+ e ξ,v e F ξ, z 2), z H a. ξ O + ξ O + {0} Then, θ(v) M 3/2 (4D,ψ). Furthermore, for every ideal m prime to 4D, T m (θ(v)) = θ(t m (v)). Proof. θ([i]) = ϑ I, which implies the first claim. Hecke linearity follows as in [PT07], using Propositions 4.1 and Computing preimages The main application of what has been explained in the previous sections is to construct preimages of the Shimura map; that is given a newform g S2 new (c), to construct f S 3/2 (4c,ψ) such that Shim(f) = g. Here is a naive solution to the problem: given a level c, let B be a totally definite quaternion algebra, having an Eichler order R of discriminant c (such B exists if d is even, or if d is odd and c is not a square). We have the following diagram of T 0 -linear maps S(R) J-L S 2 (c), θ Shim S 3/2 (4c,ψ) since for every v S(R), the level of Shim(θ(v)) is actually c, instead of the level 2c claimed by Theorem 4.2. So given a newform g S2 new (c), there is a T 0 -eigenvector v g S(R) with the same eigenvalues as g. So if θ(v g ) 0, then θ(v g ) is a weight 3/2 form whose image under the Shimura map is a cusp form which has the same eigenvalues as g, and so by multiplicity one (Theorem 2.3) it corresponds to g itself. The main issue is to know whether there exists a quaternion algebra B and an Eichler order R such that θ(v g ) 0. The following two conjectures are just naive generalizations to Hilbert modular forms of results due to Böcherer and Schulze-Pillot for modular forms of odd and square-free level (see [BSP90]).

10 10 ARIEL PACETTI AND NICOLÁS SIROLLI Conjecture 6.1. The form θ(v g ) is non zero if and only if L(g,1) 0 and the quaternion algebra B ramifies at all primes p dividing c where the Atkin-Lehner involution w p acts on g with eigenvalue 1. If this conjecture is true, then it implies that the choice of the quaternion algebra B and the Eichler order R is unique, up to isomorphism. The relation between Fourier coefficients and central values of twisted L-series is given by the following conjecture. Conjecture 6.2. Let g S new 2 (c,ψ 2 ) be a newform such that f = θ(v g ) S 3/2 (4c,ψ) is a non-zero cusp form. Let ξ O + be such that ξ is a fundamental discriminant. Let ǫ ξ be the Hecke character corresponding to F( ξ)/f. Then λ(ξ,o,f) 2 = κl(g,ǫ ξ,1) p c (c(p,g) ǫ ξ (p)), where κ is a non-zero constant, and L(g,ǫ ξ,s) is the twist of the L-series of g by ǫ ξ. Remark. This conjecture is true for classical forms (see [BSP90, page 378]), and is true for Hilbert modular forms when the level c is a prime power (see [Xue11]), or for forms which have multiplicity one for the Hecke algebra T 0 (see [Shi93, Theorem 3.6]). Unfortunately, our construction does not satisfy this last hypothesis. In particular, under the above assumptions, this conjecture states that L(g,ǫ ξ,1) = 0 if and only if λ(ξ,o,f) = 0, if ξ is such that the product on the right hand side is non-zero. This sort of results are important for obtaining (under the Birch and Swinnerton-Dyer conjecture) information about the rank of twists of elliptic curves, as in the congruent number problem. Remark. The hypothesis on c being square-free was used in two different contexts. First of all, not all modular forms appear in definite quaternion algebras (one needs the automorphic representation not to belong to the principal series at the primes ramified in B). So for using Jacquet-Langlands, one needs some information on the level of the parallel weight 2 form g one starts with. The second place where we used the hypothesis was when we chose R such that θ(v g ) 0. If the primes where the Atkin-Lehner involutions acting on g have eigenvalue equal to 1 divide c exactly, then one can take R to be an Eichler order in the definite quaternion algebra ramified at such primes, and the same results should hold. For a general form g, the theory is more involved. See for example [PT07] for the case F = Q and c = p 2 Z. 7. An example We let F = Q( 5), which has trivial narrow class group, and we denote ω = We let E be the elliptic curve over F given by E : y 2 +xy +ωy = x 3 (1+ω)x 2. This curve has prime conductor, equal to c = (5 + 2ω), so in particular Conjeture 6.1 and Conjecture 6.2 are known to be true in this case. The space M 2 (c) has dimension 2, and it is generated by an Eisenstein series and a newform g which corresponds to E. Its first eigenvalues are given in [Dem05]; we only state that c(c,g) = 1. We choose B to be the unramified totally definite algebra over F, i.e. the algebra generated by 1,i,j,k, where i 2 = j 2 = 1,ij = k = ji. If R is an Eichler order of discriminant c in B, then

11 PREIMAGES FOR THE SHIMURA MAP ON HILBERT MODULAR FORMS 11 Theorem 3.2 asserts that there exists v S(R) which is an eigenvector for T 0 with the same eigenvalues as g. Using the algorithm presented in [PS12], with the aid of SAGE ([S + 11]), we obtain the desired order, which is given by 1 (ω +1)j (ω +10)k i ωj + (ω +21)k R =,,j 5k,(5ω 3)k. 2 2 O This order has class number equal to 2, and hence there is no need to compute the Brandt matrices in this example, since S(R) is 1-dimensional. A set of representatives for the set of R-ideal classes is given by R and the ideal I given by 1 (ω +1)j (ω +38)k I =, 2 i ωj + (ω +49)k,j +3k,(5ω 3)k 2 We have that v = [R] [I] must be an eigenvector for the whole Hecke algebra, since deg(v) = 0. In particular, the cusp eigenform f = θ(v) maps to g under the Shimura map. It is not zero, which was already known since L(E,1) 0 and the involution w c has eigenvalue equal to 1. We consider L R and L I as lattices of dimension 6 over Z, and use LLL on the integral, positivedefinitequadraticformtr F/Q ( )tocomputethefouriercoefficientsλ(ξ,o,f), with Tr F/Q (ξ) 100 and ξ a fundamental discriminant. The zero coefficients split into two families, which we consider below. The trivial zeros are the ones such that λ(ξ,o,θ([r])) = λ(ξ,o,θ([i])) = 0. For this zeros Conjecture 6.2 is easy to prove. The local-global principle for quadratic forms implies that the non existence of points x L R L I with (x) = ξ is equivallent to the equality ǫ ξ (c) = 1, so in this case both sides of the formula vanish trivially. The non-trivial zerosaretheonessuchthatλ(ξ,o,θ([r])) = λ(ξ,o,θ([i])) 0. The totally positive elements ξ with ξ being a fundamental discriminant and Tr F/Q (ξ) 100 are 35+8w,39+15w,47 9w,51 5w,62 27w. For such ξ, Conjecture 6.2 (together with the Birch and Swinnerton-Dyer conjecture) claims that the rank of the quadratic twist of E by ξ should be positive (and even, because the sign of the functional equation equals 1). We verified using 2-descent that all these curves have rank equal to 2. References [BSP90] Siegfried Böcherer and Rainer Schulze-Pillot. On a theorem of Waldspurger and on Eisenstein series of Klingen type. Math. Ann., 288(3): , [Dem05] Lassina Dembélé. Explicit computations of Hilbert modular forms on Q( 5). Experiment. Math., 14(4): , [DV10] Lassina Dembélé and John Voight. Explicit methods for Hilbert modular forms [Gar90] Paul B. Garrett. Holomorphic Hilbert modular forms. The Wadsworth & Brooks/Cole Mathematics Series. Wadsworth & Brooks/Cole Advanced Books & Software, Pacific Grove, CA, [Geb09] Ute Gebhardt. Explicit construction of spaces of Hilbert modular cusp forms using quaternionic theta series Thesis (Ph.D.) Universitat des Saarlandes. [Gel75] Stephen S. Gelbart. Automorphic forms on adèle groups. Princeton University Press, Princeton, N.J., Annals of Mathematics Studies, No. 83. O.

12 12 ARIEL PACETTI AND NICOLÁS SIROLLI [Gro87] Benedict H. Gross. Heights and the special values of L-series. In Number theory (Montreal, Que., 1985), volume 7 of CMS Conf. Proc., pages Amer. Math. Soc., Providence, RI, [Hid81] Haruzo Hida. On abelian varieties with complex multiplication as factors of the Jacobians of Shimura curves. Amer. J. Math., 103(4): , [Miy71] Toshitsune Miyake. On automorphic forms on GL 2 and Hecke operators. Ann. of Math. (2), 94: , [PS12] Ariel Pacetti and Nicolás Sirolli. Computing ideal classes representatives in quaternion algebras [PT07] Ariel Pacetti and Gonzalo Tornaría. Shimura correspondence for level p 2 and the central values of L-series. J. Number Theory, 124(2): , [S + 11] W.A. Stein et al. Sage Mathematics Software (Version 4.7). The Sage Development Team, [Shi78] Goro Shimura. The special values of the zeta functions associated with Hilbert modular forms. Duke Math. J., 45(3): , [Shi87] Goro Shimura. On Hilbert modular forms of half-integral weight. Duke Math. J., 55(4): , [Shi93] Goro Shimura. On the Fourier coefficients of Hilbert modular forms of half-integral weight. Duke Math. J., 71(2): , [vdg88] Gerard van der Geer. Hilbert modular surfaces, volume 16 of Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)]. Springer-Verlag, Berlin, [Vig80] Marie-France Vignéras. Arithmétique des algèbres de quaternions, volume 800 of Lecture Notes in Mathematics. Springer, Berlin, [Xue11] Hui Xue. Central values of L-functions and half-integral weight forms. Proc. Amer. Math. Soc., 139(1):21 30, address: apacetti@dm.uba.ar Departamento de Matemática, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires y IMAS, CONICET. Ciudad Universitaria (1428), Buenos Aires, Argentina address: nsirolli@dm.uba.ar Departamento de Matemática, Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires. Ciudad Universitaria (1428), Buenos Aires, Argentina