− E Zeros of the Modular Form E E

advertisement
Zeros of the Modular Form Ek El − Ek+l
Sarah Reitzes and Polina Vulakh
Tufts University, Bard College
pvulakh@gmail.com
July 23, 2015
Sarah Reitzes and Polina Vulakh (Tufts University, Bard College)
Eisenstein Series
July 23, 2015
1/1
Zeros of Modular Forms
Sarah Reitzes and Polina Vulakh (Tufts University, Bard College)
Eisenstein Series
July 23, 2015
2/1
Zeros of Modular Forms
A complex-valued function f is a modular form if:
Sarah Reitzes and Polina Vulakh (Tufts University, Bard College)
Eisenstein Series
July 23, 2015
2/1
Zeros of Modular Forms
A complex-valued function f is a modular form if:
1
a b
for all z ∈ H ∪ {∞}, γ =
∈ SL2 (Z)
c d
az+b
we have f (γ(z)) = f ( cz+d ) = (cz + d)k f (z). Then k is called the
weight of f . (Transformation Law)
Sarah Reitzes and Polina Vulakh (Tufts University, Bard College)
Eisenstein Series
July 23, 2015
2/1
Zeros of Modular Forms
A complex-valued function f is a modular form if:
1
2
a b
for all z ∈ H ∪ {∞}, γ =
∈ SL2 (Z)
c d
az+b
we have f (γ(z)) = f ( cz+d ) = (cz + d)k f (z). Then k is called the
weight of f . (Transformation Law)
f is holomorphic (complex differentiable) for every point z ∈ H ∪ {∞},
so f can be expanded in a power series in z around any point z0 ∈ H
Sarah Reitzes and Polina Vulakh (Tufts University, Bard College)
Eisenstein Series
July 23, 2015
2/1
Zeros of Modular Forms
A complex-valued function f is a modular form if:
1
2
a b
for all z ∈ H ∪ {∞}, γ =
∈ SL2 (Z)
c d
az+b
we have f (γ(z)) = f ( cz+d ) = (cz + d)k f (z). Then k is called the
weight of f . (Transformation Law)
f is holomorphic (complex differentiable) for every point z ∈ H ∪ {∞},
so f can be expanded in a power series in z around any point z0 ∈ H
We look at modular forms of positive, even weight.
Sarah Reitzes and Polina Vulakh (Tufts University, Bard College)
Eisenstein Series
July 23, 2015
2/1
Zeros of Modular Forms
A complex-valued function f is a modular form if:
1
2
a b
for all z ∈ H ∪ {∞}, γ =
∈ SL2 (Z)
c d
az+b
we have f (γ(z)) = f ( cz+d ) = (cz + d)k f (z). Then k is called the
weight of f . (Transformation Law)
f is holomorphic (complex differentiable) for every point z ∈ H ∪ {∞},
so f can be expanded in a power series in z around any point z0 ∈ H
We look at modular forms of positive, even weight.
The valence formula tells us how many zeros f has.
X
k
1
1
= vi (f ) + vρ (f ) +
vz (f )
12
2
3
z6=i,ρ
z∈H
Sarah Reitzes and Polina Vulakh (Tufts University, Bard College)
Eisenstein Series
July 23, 2015
2/1
Zeros of the Eisenstein Series in F
Eisenstein series of weight k:
∞
1 X
1
2k X
Ek (z) =
=
1
−
σk−1 (n)e 2πinz
2
Bk
(cz + d)k
(c,d)=1
n=1
c,d∈Z
It has been proven that the zeros of the Eisenstein series lie on the arc of
the fundamental domain F = {z = x + iy ∈ H : x ∈ (− 12 , 21 ), |z| ≥ 1}
(RSD, 1970).
Figure: F
Sarah Reitzes and Polina Vulakh (Tufts University, Bard College)
Eisenstein Series
Figure: Zeros of E70
July 23, 2015
3/1
Zeros of Ek El − Ek+l
Conjecture:
The zeros of Ek El − Ek+l , a modular form of weight k + l, lie on the
boundary of F.
2
Figure: Zeros of E50
− E100
Figure: Zeros of E60 E8 − E68
Conjecture:
The zeros of Ek2 − E2k , a modular form of weight 2k, lie on the lines
x = ± 12 in F.
Sarah Reitzes and Polina Vulakh (Tufts University, Bard College)
Eisenstein Series
July 23, 2015
4/1
Proving the zeros of Ek2 − E2k
Since Ek ( 12 + iy ) is real-valued, we prove the desired number of zeros
(b k6 c − (1 + n)) via IVT using points of the form 12 + iym where
m)
k
k
for θm = mπ
ym = tan(θ
2
k where m ∈ Z such that d 3 e ≤ m < 2 − n..
Why −n?
√
We run into problems for y ≥ √c0logkk , so n is the number of zeros with y
past this range.
However, there exists a method involving the√Fourier expansion that
proves the location of zeros for which y > c1 k log k, so we lose very few
zeros altogether.
Sarah Reitzes and Polina Vulakh (Tufts University, Bard College)
Eisenstein Series
2
July 23, 2015
5/1
Approximating Ek2 − E2k
Write Ek ( 21 + iy ) = Mk ( 12 + iy ) + Rk ( 12 + iy ) where Mk corresponds to
c 2 + d 2 ≤ 1 - except for (c, d) = (1, 1) - and Rk corresponds to all other
(c, d).
Then
Ek2 ( 12 + iy ) − E2k ( 12 + iy ) = (Mk ( 12 + iy ) + Rk ( 12 + iy ))2
− (M2k ( 12 + iy ) + R2k ( 12 + iy ))
= Mk ( 12 + iy )2 + 2Mk ( 12 + iy )Rk ( 21 + iy )
+ Rk ( 12 + iy )2 − M2k ( 21 + iy ) − R2k ( 12 + iy )
9+12y
k , which is decreasing in k, and since
9
( 4 +y 2 ) 2
1
+ 1 1 k , we know |Mk ( 12 + iy )| ≤ 3. Then
1
( 2 +iy )k
(− 2 +iy )
We know |Rk ( 12 + iy )| <
Mk ( 12 + iy ) = 1 +
we want to show
|Mk ( 21 + iym )2 − M2k ( 12 + iym )| > 8
Sarah Reitzes and Polina Vulakh (Tufts University, Bard College)
Eisenstein Series
9+12ym
k
9
2)2
( 4 +ym
July 23, 2015
6/1
Approximating Ek2 − E2k (cont.)
For our points
1
2
+ iym , we have a lower bound
k
|Mk ( 21
2
+ iym ) −
M2k ( 12
4( 1 + y 2 ) 2 − 2
+ iym )| ≥ 4 1 m 2 k
( 4 + ym )
so we want to show
2 ) k2 − 2
4( 14 + ym
9+12ym
>
8
k
9
2 )k
2)2
( 4 +ym
( 41 + ym
√
For large y , this is not true: specifically for y ≥ c0 √logk k where c0 ≤
so we work with ym <
√
c0 √logk k .
By simplifying further, we have
9 +y 2 k
4 m
1
2
4 +ym
2
> c2 ym where c2 =
38
√
3
√1 ,
8
+ 24.
This is true for k ≥ c2 , so we have proved
m
.
|Mk ( 12 + iym )2 − M2k ( 12 + iym )| > 8 9+12y
k
9
2)2
( 4 +ym
Sarah Reitzes and Polina Vulakh (Tufts University, Bard College)
Eisenstein Series
July 23, 2015
7/1
Sign changes from Mk ( 21 + iym )2 − M2k ( 12 + iym )
If we rewrite
1
2
+ iym = re iθm , we have
Mk (re iθm )2 − M2k (re iθm ) =
4r k (−1)m + 2
r 2k
k
k
For θm = mπ
k where m ∈ Z such that d 3 e ≤ m < 2 − n, this yields
b k6 c − n sign changes corresponding to b k6 c − n − 1 zeros by IVT.
Sarah Reitzes and Polina Vulakh (Tufts University, Bard College)
Eisenstein Series
July 23, 2015
8/1
Extending this to general Ek El − Ek+l
Recall that Bk,l =number of zeros of Ek El − Ek+l for which x = 12 .
Conjecture:
(k ≥ l) The number of zeros Ek El − Ek+l for which x =
of El2 − E2l . In other words, Bk,l ≥ Bl,l .
Sarah Reitzes and Polina Vulakh (Tufts University, Bard College)
Eisenstein Series
1
2
is at least that
July 23, 2015
9/1
Example: Ek E34 − Ek+34
Figure: k=34
Figure: k=40
Figure: k=44
Figure: k=50
Sarah Reitzes and Polina Vulakh (Tufts University, Bard College)
Eisenstein Series
July 23, 2015
10 / 1
Extending this to general Ek El − Ek+l (cont.)
Our main term becomes
Mk (re iθ )Ml (re iθ ) − Mk+l (re iθ ) =
r 2l+k 2 cos(θk)+r 2k+l 2 cos(θl)+r k+l 2 cos(θ(k−l))
r 2(k+l)
If we rewrite k = l + d and let θm =
mπ
l
for d 3l e ≤ m < 2l ,
3l+2d 2(−1)m + r 2l+d 2 cos( mπ d)
r 3l+d 2(−1)m cos( mπ
l d) + r
l
r 4l+2d
as our main term instead.
By splitting this up into three cases for d ≡ 0, 2, 4 (mod 6), we follow a
similar method to show that Ek El − Ek+l has at least b 6l c − n − 1 zeros or
which x = 21 .
Sarah Reitzes and Polina Vulakh (Tufts University, Bard College)
Eisenstein Series
July 23, 2015
11 / 1
Download