SHOWING G2,N IS MODULAR

The argument goes like this:

0 0
X 1 X 1
G2,N (γτ ) = 2
− N
(mγτ + n) (N mγτ + n)2
(m,n) (m,n)
0
X (cτ + d)2 N
(1) = (cτ + d)2 2
−
((ma + nc)τ + mb + nd) ((N ma + nc)τ + N mb + nd)2
(m,n)

Now, assuming that we can show that the sum in (1) is absolutely convergent (which is where I’m
stuck), we can do the following:
Since ad − bc = 1, the first part of (1) is exactly:
0
X 1
(mτ + n)2
(m,n)

Since ad − bc = 1 and c = N k for some k ∈ Z, the second part of (1) is:

0 0 0
X X N X N X 1
2
+ 2
= N
(mτ + n) n (N mτ + n)2
N | m n n (m,n)

From this we can conclude that:

G2,N (γτ ) = (cτ + d)2 G2,N (τ )

So the tricky points are the argument that the second part of (1) is exactly the sum over (m, n)
where m is a multiple of N , and then showing that (1) actually converges absolutely. Without
absolute convergence, we cannot look at the two parts of (1) separately and therefore cannot make
the argument that G2,N is modular.
Thus, the entire problem boils down to showing
0
X 1 N
2
−
(mτ + n) (N mτ + n)2
(m,n)

is absolutely convergent.