25.03.2013 Views

Shimura lifts of half-integral weight modular forms - Department of ...

Shimura lifts of half-integral weight modular forms - Department of ...

Shimura lifts of half-integral weight modular forms - Department of ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

6 DAVID HANSEN AND YUSRA NAQVI<br />

3. Pro<strong>of</strong>s <strong>of</strong> Theorems 1.1 and 1.2<br />

We begin by presenting the pro<strong>of</strong> <strong>of</strong> the formula for the lift in Theorem 1.1. From the<br />

definition <strong>of</strong> F (z), we have F (z) = ∞ n=0 b(n)qn with<br />

(3.1) b(n) = <br />

n − m2 <br />

χr(m)a ,<br />

4r<br />

m∈Z<br />

where f(z) = ∞ n=0 a(n)qn is as in the statement <strong>of</strong> Theorem 1.1. As above, the <strong>Shimura</strong><br />

lift is given by<br />

∞<br />

(3.2) S1(F ) = A(n)q n<br />

with the coefficients A(n) defined by<br />

(3.3)<br />

∞<br />

n=1<br />

n=1<br />

A(n)n −s = L(s − k + 1, χrψχ 2k<br />

4 )<br />

We also need the coefficients defined by<br />

∞<br />

(3.4)<br />

cd(n)q n := f(dz)f(rz/d) =<br />

n=0<br />

n=0 m∈Z<br />

∞<br />

b(n 2 )n −s .<br />

n=1<br />

∞ <br />

n − dm<br />

<br />

a(m)a q<br />

r/d<br />

n .<br />

Throughout the pro<strong>of</strong>, we use the convention that a <strong>modular</strong> form coefficient is zero if its<br />

argument is negative or not <strong>integral</strong>. From (3.1) it is easy to see that<br />

(3.5) b(n 2 ) = <br />

(n − m)(n + m)<br />

<br />

χr(m)a<br />

.<br />

4r<br />

m∈Z<br />

This is a finite sum with non-zero coefficients whenever (n − m)(n + m)/(4r) ∈ N. Note<br />

that n + m and n − m must both be even for n and m to be integers with 4|(n 2 − m 2 ). Let<br />

gcd((n − m)/2, r) = d. Thus, m ≡ n (mod 2d) and m ≡ −n (mod 2r/d). Now suppose<br />

gcd(d, r/d) = d ′ > 1. This implies that m ≡ n ≡ −n ≡ 0 (mod 2d ′ ), so d| gcd(m, r) and<br />

so χr(m) = 0. Therefore, we only consider the cases in which gcd(d, r/d) = 1. We have<br />

m = n + 2dm ′ for some m ′ ∈ Z, so n − m = −2dm ′ and n + m = 2n + 2dm ′ . Thus,<br />

(3.6)<br />

(n − m)(n + m)<br />

4r<br />

= −m′ (n + dm ′ )<br />

.<br />

r/d<br />

Also, since m ≡ n (mod d) and m ≡ −n (mod r/d), we have that<br />

= χd(m)χ r/d(m)<br />

= χ r/d(−1)χd(n)χ r/d(n)<br />

χr(m)<br />

= χd(n)χ r/d(−n)<br />

= χ r/d(−1)χr(n),

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!