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 ...
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),