Modular forms and Dirichlet series (Mathematics lecture note series)

MODULAR FORMS AND DIRICHLET SERIES MATH-STAT, Copyright© 1969 by W. A. Benjamin, Inc. All rights reserved Library of C...

Author: Andrew Ogg

27 downloads 901 Views 3MB Size Report

This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
Report copyright / DMCA form

DOWNLOAD PDF

MODULAR FORMS AND DIRICHLET SERIES

MATH-STAT,

Copyright© 1969 by W. A. Benjamin, Inc. All rights reserved Library of Congress Catalog Card Number 69-17031 Manufactured In the United States of America 12345K21098

The manuscript was pur mro productiOn November, 1968; this volume was published on January 2, 1969

W. A. BENJAMIN, INC. New York, New York 10016

A Note from the Publisher This volume Willi prinlal 0

to

These two equations

sa~

where the square root is defined on be real on the real axis. that

"('t)

is a modular form of dimension

for the group •

4

-1/~,

generated by

0(2)

and

"

Js

't ~ •

-~

+ 2,

up to a constant multiple

the only solution of these equations.

(These fact

have been known for ages, and will be proved later In these notes.)

C(s)

The funr.t1onal equation for

ts now a consequence of that for TT-S

r(s) (:(2s)

"(~):

INTRODUCTION

-~-_l_

2s

1 - 2s '

s ~

visibly invariant under

t- s;

the integral is entire, since c > 0.

for some

furthermore,

~(it) - ~

= O(e-ct),

On the other hand, by Mellin

inversion we have

c >

for sufficiently large

o,

and by similar rea-

soning (carried out in detail below in a more general situation) the functional equation for can be derived from that for proof that

'(s)

'(s);

8( 0.

The theorem then says there is a one-

one correspondence between elements of

~(>..,k,C)

and Dirichlet series satlsfylng (A); note that '(s)

is regular at

t.e.

f(~)

signature ~.

"vanishes at (>..,k,C)

If'

s = k

'(s)

"""

We say

~(s)

a0 hns

tf (A) holds. 5

C(K 1 s)

of an algebraic number field equation is that

if end only if

is the zeta-function

K,

its functional

01

INTRODUCTION

XV

is invariant tmder discriminant of

s

~

1 - s,

K and

where

r 1 rasp. r 2

of real rasp. complex primes of

K.

d

is the

is the number Note this falls

within the scope or the theorem only when there is only one

r-rtmction, i.e.

nary quadratic. ~(s)

then

If

K is rational or imagi-

K is imaginary quadratic, (~ 1 k,C)

has signature ~(s)

1t turns out that

1s determined by 1ts sig-

d = -3,-4

nature when

= CJTdT,l,l);

but not for

d < -4.

The other part of Heeke's theory concerns the question of whether i.e.

(s),

is the

mCl,k,C)

unless

= i k,

and

Suppose for concreteness that

=r k

= ~(l,k,C),

'i(s)

It

and this

is an even integer

~

4,

and the only possible Euler product of signature

(l,k,tk),

is

11(1 p

<ji(s)

and

modular~·

has this Euler product if and only if

the associated modular form

f

is an eigenfunction

xvi

INTRODUCTION

for a certain ring of operators on ~

ooerators.

mCl,k,ik),

the

The question of the existence

of Euler products is of course

fundament~l

ber theory, since in practice the numbers

for numan

will

be the number of solutions of some number-theoretic problem and the knowledge of an Euler product reduces knowledge of all primes

p.

an

to knowledge of the

ap

for

REFERENCES 1.

L. Ahlfors, Complex analysis, McGraw-Hill, New York, 1953.

2.

D. Der1ow1tz, "Extensions of a theorem of Hardy", forthcoming.

3.

R. Gunning, Lectures

modular .[Qm, AnAAls

Qn

of Mathematics Studies No. 48, Princeton University Press, Princeton, 1962.

4.

H. Hamburger, "tlber die Rlemannsche Funktlona1gle1chung der

C-Funktlon" I, IT,

III, Math. Zeitschr. 10(1921), 11(1922),

13(1922). ~.

E. Heeke, Mathematlsche

6.

E. Heeke, Vorlesuog

~.

Vandenhoeck

und Ruprecht, G6tt1ngen, 1959.

algebratschan

~ ~

~.

Theorie

~

Chelsea, New York,

1'}48.

7.

L. Mordell, "On Mr. Ramanujan's empirical expansions of modular

function::~",

Proc.

Camb. Phil. Soc. 19(1917). 8.

H. Petersson, "Konstruktlon der sllmtlichon WsungPn etner Rlemannschen Funktionalglcichung durch D1rtchlet-Rethen rntt


R-2

Eu1erscher Produktentwtcklung" I, II, III, Math. Ann. 116(1939), 117(1940). 9.

B. Riemann, "Uber die Anzahl dar Prtmzahlen unter einer gegebenen Grllsse", Monetsber. dar Berliner Akad.,

10.

W. Rudin,

E&al

~

lB~y.

comolex analvsls, Mc-Graw-

Hill, 1966. 11.

B. Schoeneberg, "Dns Verhn1ton von mohrfachon

Thetareihen bet Modulsubstitutlonen", Math. Ann. 1160939) • 12.

G. Shimura, "The zeta-function of an algebraic

variety and automorphic functions", AMS conference on algebraic geometry, Woods Hole, 1964.

13·

C. Siegel, "A simple proof of '1(-1/1;)

lit.

= 'IC'tlfi?f",

Mathflmatika l(l9Sio).

A. We11, "Uber die Bestimmung D1richletscher Reihen durch Funkt1onelgle1chungen", Math. Ann. 168(1967).

CHAPTER I

DIRICHLET SERIES WITH FUNCTIONAL EQUATION

All that we need about Dirichlet series is then converges absolutely and uniformly in c + 1 + E, uniformly by

Re(s)

~

since it 1s dominated term-by-term '; -1-E .. n < "'• and hence <jJ(S) n=l

defines a holomorphic function in Cat least) the lle(s) > c + 1.

hall' plane converges at

" 0 = a0 • 1 t 0 ,

s1nce the general term .,(s) !.f

= I~

Conversely, i f

1 ann-s

ann

-s

a

ve :see

"n

tends to

an = O(nc).

r(s)

a

o.

O(n o) Thus

converges somewhere it' and only

As to the gamma-function, we need: a)

ljl(S)

= J~ts-le-tdt,

for

0 1

Re(s) > 0


I-2 b)

res + 1)= sr(s)'

c)

r(s)

ls never

O,

n!

d)

'

= .fo •

and ls entire except

for simple poles at

~

nt>

r(l) = 1,

s

-n

~

of residue

n = 0, 1, 2, ... ,

Stirling's formula (cr., e.g., Ah1fors [l,p.l66].) i)

where ~(s) ~

0

as

half plane

~ ~,

lsi

c0 >

a~

uniformly ln a

u,

wnere

s = a + it. 11)

l(s) -

J2U

_.!!:It I

c-l. t

uniformly in

2 e 2

c1

~

lows from i) when

a

~

a1

as

,

~ ~,

t

a2 •

(This fol-

> 0,

and then in

general from b).) e)

Mellin 1nvorpion formulq.

e-x

= ...l... 2Tri

I

o~c>O

x- 9 I'(s)ds,

for

x

> 0,

the

integral taken upwards on a vertical line.

In fact, by the calculus of residues, the right side is E res x-s r(s) n=O s=-n

~

tlt:--

n=o n!

e

-x

•

This being sRid, let us begin the baste theorem.


A > 0.

fixed

We have already noted that the growth

cond1t1on on the some~here;

for

grows only

AS

I-3

an f(~)

means that

it means that

pnwPr nf

A

on the growth of

f(r)

~(sl

y as

f(x + 1y)

y- D,

as ~

converges a conditiQn

approaches the real

ax1s, the boundary of the upper half plane.

More

precisely:

PROPOSITION 1.

Given

with the series converging in the upper half plane. a)

b)

If

an~ O(ncl, ~

0,

uniformly in all real

as

y

If

f(x + iy) ~ O(y-c)

uniformly in fl:.2Qf..

f(x + iy) ~ O(y-c-ll

then

Dy Stlrllug',;

x,

then

rurmula

we see that

(-l)n(-~-1 )=

(c+ll ·n·!· (c+u) J'(c+ru rCc+l) (n+ll

- (const.) nc,

as

x.

y ~ 0,

an= O(nc).

rCxl -

x-l J2ii x 2 e-x,


l-It

so if

an= O(nc),

then

f(x + iy)

is dominated

term-by-term by

Conversely, if

lfCx + iy)( ~ Hy-c,

tnen

1 -2TTln(x~)/'l-.

1

II f(x

+ n)e

0

I

For future convenience, we state our theorem for two functions instead of one. given two sequences

a 0 , a 1 , a 2 , •••

of complex numbers,

bo' bl, b2' for some

c > o, and ').. > o,

need not be real.)

.

We form

q>(s) " I:n_l a n-s n f(s)

= r.""n=l

~(s)

-k

is EBV, and

ol>(s)

c

Cf(k-s);

g(-1/'r).

~(s) = ~wn=l Jwa (ZEn)-sts-le-tdt n

0

>..

~m

Jma ts-le-2nnt/>..~t n-1 0 u

for

Re(s)

sufficiently large, the interchange of

integral and summation being justified by absolute convergence. but since some

The integral is improper at both ends,

f(lt) - a 0

c > O,

we see

-

O(e-ct)

as

t ~

m

Jmts-l(f(tt) - a 0 )dt

for con-

1

verges untformly on verticAl strips, and so 1s

EBV.

1-6

MODULAR FORMS AND DIRICIILET SERIES

Now assume (B).

Then

I 1 t 5 - 1 (f(1t) -_a 0 )dt

0

-a s

= ----!2 ...

Cb -

__Q_

k-s

Thus Cb

a

(s) + ~ + ~ I~[t 5 - 1 (f(1t) - a 0 )

1

is EBV, with

(s)

= Cf(k-

s) 1

which is (A).

Slmlla!·ly 1 by Mellin invO

f(lx) - a 0 for

x > 0,

where

_L -s ( ) 2 i I x ol> s ~s,

u o=c

o = Re(s),

and

c

ls

ct~s~n

large enough to be in the domain of ubsolute

DIRICHLET SERIES WITH FUNCTIONAL EQUATION ~(~).

convergence of

Asst~ing

1-7

now (A), we can

push the line of integration to the left, past picking up residues of at

s

= 0.

Cb0 x-k

al

s

=k

and

o, -a 0

Then

f(ix) - Cb x-k 0

=~ "

I

a~c 2,

If

we can cover the arc at the bottom or

n•C>..l,

i.e. the Intersection of

B•().),

unit circle,

the

and the upper half plane, by reflecting tn the sides

•

or

and hence assume

ll (>..),

the result 1s clear.

(

or

0(2)

8

d~•) c

c

is a substitution SL(2,Z)

higher than

y'

I

then

~,

1-.;1

).. = 2,

If

'r

I

.s.

;:

~

if

dl 2 < 1,

1:

since

valent to

T

then

T 1

c, d c

~.

If -.;•

and maximally high, and

c B().)

1

I

1s

and there

nro only Cin1tcly many po:s:sibil!Llus ror

given -r,

and with

+ d

C'f

= --...L~~· lc-r .. dl21 IC'f ...

c < 1,

then an element

ts

c 1 d1

0(2)-oqui1Re('r 1ll .S.

t•

2, where

~(). 1 k,C)

for every value of

k and

has Infinite dimension C.

Roughly speaking,

tho great number of solutions Is because we can


I-10

solve our problem in the upper half plane with arbitrary singularities in the lover half plane, H(~)

since

extends into the lower half plane. ~

Given

of

B·(~)

> 2, let z = g(~) map the interior

one-one conformally on the upper half

planA, SO that

g

~,

i, -i

~

o,

1,

s·(~)

defineS a homeomorphism Of

onto the closed upper half ~.

normalized by

plan~,

For the existence of

g(~),

one can appeal to a strong form of the Riemann mapping theorem (cf.[lO,p. 281]), or a generalized Schwarz-Christoffel transformation.

By the reflec-

tion principle, and Proposition 2, we extend

to

g

a function defined on the upper half plane and invariant under

G(),).

'l'he only corner of

tn the upper half plane ts at ls en 11ngle uf

ll.

2'

~

= t,

:so the extended

B"'(),)

where there g

is

nnalyt.lr

on the upper half plane, single-valued by the monodromy theorem.

g

plane since

ls

g

lt is clear that not equivalent to ~·curter

oxpansion

is bounded on the upper half G(~)-1nvnriant

g(~)

is one-one or

"''·

At.

nnd

g(-1)

n~ar

points

""

= ~

we have the

DIRICHLET SERIES WITH FUNCTIONAL EQUATION with

a1 I 0

since

function of T

=i

dim

fgn

=~

since for

n

tr r I

= 0,

g(~)

~

as a

has a double zero at

= -1.

To show ~(~ 1 k 1 C)

lt suffices to show

is one such function, so is

0

1, ~ ••.• ,

independent since T

is one-one near

and a double pole at T

io(~,k,C)

I o,

g

e 2 "i~/~;

I-ll

gn

and they are linearly

has a pole of order

2n

at

= -1. Thus wo only have to construct one non-zero

function

f

£ ~C~,k,C).

We have already noted

g

ls locally one-one except at points equivalent to or Since

m,

g'(T) I 0

so

g(T)

except at those points.

has a double

fine a function

~

~ero

at

in the upper hRlf plane,

since it is simply connected; since

a 1 e 2 niT/~ + ••• , a 1 I

0,

neRr Since

g(-1~)

= g(~),

WA

"'

havo

Jd-r:

so

'

we get

-1,

so substituting Now let

h(T)

T

~

1

g(T)

~ + ~)

Jg(-ljT)

~

1 +

=1

+

= Ji[rr. = ~ ~;

Jgrr) = ~ ~

the minus sign .is correct, for where

we can de-

1,

J£(-1/T) _

./iftT -

t·

g 1 (1:), g](-l~) - gl (T)

= 1. g' (T) ~(g(-.:) - 1)

analytic


I-12 and never (g 1 (~)

0

in the upper half plane and at

has simple zeroes at

and at

i

m, can-

ce111ng zeroes of the denominator; the zero at z = e 2 wi~l~.)

ts measured 1n h(~),

and

g(-l~l

g I (-1/'t)•

-\-o

so

=

= g(~l

Then

g I(~)

gives

~

h(-1~) ~ -~ 2 h(~)

~

Thus

h c

never

01

~(~ 1 2,1).

[

k

(!.) h(~)k/2

we see

't

t2 =

l.

to obtain the (g(T) -

f

t 1 h(~)k1 2 ,

= "" • we see

l)n,

£

t ~(~,k,l),

n

and at

IJl(>..,k,l).

and to show

which is true since Invariant under

at

~),

B(~)

0(~)

= 1,

~

1-'inally,

f(~)

= h(~)k/ 2 .

is an integer ) k/2; f

satisfies the

condition, 1t suffices to show that

tton of

evnlua-

[1' E21

0-condition, consider where

we

~;

h(-l~)k/2

1,

[1 hk/2

ThUS

is

=

for some constants

2 1

ting at

=

h.

k > 0. kSince h k/2 2log h(7:) h(~) e

we can define

h(~

have

2

Now let

HnHlytic in the upper half plane and at + ~)k/ 2

m

h(~ + ~)

lyg

1

0-

g 1 (x+tvl Jg(x + ly)

(x + ly) + ty)

Jg(x

then

Its

and bounded in the tntersec-

and the upper half plane (vanishes

and so bounded in thA upper half plane.

I.HRICHLEI' SERIES WITH t'UNCTIONAL ~UATION

Thus

f

E ~(A,k,l),

and

fJi

I-13

~(A,k,-1),

£

which

proves: THEOREM 2. ntte

A > 2,

If

k > 01

for every

~tmenston

~(A 1 k 1 C)

then

We con:dder next the case

C 1..

has lnfi-

=~

.. 1 k 1 C) 1

1TU) I

m

>1

ze1·o of order 2 m - 1 > n,., at

EXAMPLE.

t(s)

l

1

The zeta function of

and

- a) 1

> 1\..1

r 1 1 • • • ,rm "" 1

has a

and so vanishes 1

proves~).

and ts known to have signature u =

[~(~

then a suitable non-

trivial linear combination of

by al; this

+

dim "11.(./J 1 1 1 1) .S: 1

Q(j:])

is

(./J 1 1 1 ll.

Here

by the above.

is determined by its functional equation.

lienee


1-111

At this point we digress briefly for some general considerations.

~ : ~. where ( ~ ~)

A substitution

1s ellintic if

c SL(2 ,i\)

lt llas two non-real fixed points Im ' l

> 0.

L(•) =

T1 ,

where

-.: 1 ,

cT 1 2 + (d - a>• 1 - b = 0,

Since

L

is elliptic ~ (d - a) 2 < -~be ~ (d + a) 2

< 4 the eigenvalues of L, i.e. the roots or x2 - (a+ d)x

+

= 0,

1

are non-real.

We now prove

a very useful result:

PROPOSITION ). point

'1

Let

L be elliptic, with fixed

in the upper llalf plane.

ts a non-zero holomorphic function Im • > 0

f(T)

on

such that

a)

f('t .,.

b)

f(-ll~)

k) =

for some constants L is periodic,

~.

Suppose there

r k

£(~) f(T) ).

) o,

o, and

k )

Then

£.

i.e. Its eigenvalues are roots or

In the variable

t

= T - ~l, T

-

L is a

T}

(complex) linear fractional transformation fixing 0

and

""

'

i.e.

L(t) = P•t,

and we want

p

to

1.

DIRICHLET SERIES WITH FUNCTIONAL EQUATION be a root of Let

I-17

1.

g(-r)

= (-r

k

- T1 l ,

for

Im(-r) > 0.

Then

g(L(d)

~-k

( for some constant

i

g(-r)'l

evaluating at

'1;

Now let

we see Then

l

h(L(T))

en I 0

= t'lh(•l,

h(-r)

and writing

for two distinct values of

f(T +A)= f(-r), hence

p

and

pn

is a root of

the order of zero of

-r 1 = L(-r 1 l 1

K

at

n,

since en~ 0;

whPn

-r 1 ,

f(-r)g(-r).

h(tl

Furth~rmore,

1.

f

~£

~

if

n1

is

we have the for-

mula As an incidental result, if then applying this last formula to • 1 = 1,

= C:

we have cleRrly

p = -1,

0

If

t

L(•l 50

(-1)

llt(A,k,C),

-1/T, n1 =

E

MODULAR FORMS AND DlRICIILm' SERIES

I-18 PROPOSITION~.

f

at

i,

~.

For arbitrary

rn 2, by the mapping

theorem there exists a homeomorphism B•(A): -~ ~ Re(r) ~ 0 1

the

q - 2'

smallest possible value for

~·

~,

k = j_

k =

c

and

j'l:j 21,

Im

g 1:

of

>0

onto the

closed upper half plnne, mapping the interior of

s•(A)

conformally onto the open upper half plane,

normalized by r 0 g('l:)

1,

w ~

0 1 1,

~.

We continue

to the upper hAlf plane by repeated reflections

in the sides of tion

,

g(T)

D•(A),

obtaining an analytic func-

on the upper half plane by Proposition 2,

the simple connectivity of the upper half plane, and

SERIES WITH FUNCTIONAL EQUATION

DIRICHL~~

I-21

s•ch>

tho fact that the angles at the corners of .!!: q

are of

T

at

the corners.

i,

at

The

B(h).

lent under

g(T)

Thus

G(A),

invariant under

made

2

an integral fraction

which makes the extended

"'•

or

JT

and

0

T

is analytic for

> o,

lm T

and one-one on the interior

oppo~ite

~

analytic at

g

sides or

T + h and

T

~

H/G().) = H U ["'}/G(A),

~

are equiva-

B(A)

-1/T.

Thus we have

II: Im T > o,

where

Into a flielllllnn surr.. ce or t;t!UUS z;ero, ln ract so

~-" g: H/G().) -> ~;

= Riemann

fundamental~

is

D().)

sphere.

G().).

for

J

g

called the elliotlc 1/lU!ll!l!.U: 1Dl1ill:li1Dl 2,

=0

as follows. lnT + mj-k

m,n~

converges in sets.

Im

~

> 0,

uniformly on compact sub-

(The prime on the summation symbol means

the term for For

~.

(m,n) ~

= (0,0)

in a compact set, there exists

B >0

with

x, y.

Stnce there are only

lnl + lml

1~ +

= r,

ls omitted.)

Yl

~

B(lxl

+

4r

IYP

fo1· till red

pairs

which is finite for for

with

our series is dominated term-by-

term by

Hen~::e

(n,m)

k

k > 2.

= 4,

6, B,

... ,

the

MODULAR FOHMS AND DIRICIILET SERIES

I-26 Eisenstein

~

r•

(nr + m)-k

n,mcL is holomorphic on

Gk(~~

:g) = (cT

(The

g2

and

g 2 ~ 6~,

g3

PROPOSITION

~.

Im -r

d)k Gk(T)

+

= 140G6 .)

a

v

Clearly 2

Now ~ ;;1n ,,..

for

(~ ~)

£

SL(2,Z).

The Fourier expansion is:

(n) "'

Gk(-r) = 2C(k) + E~=l

= mtL 1: (m

entire, or period

and satisfies

of Weierstrass theory are

g3

where

~.

> 0,

+

1,

-rl- 2 ,

1: (m + n-r)-k. mel:

for the rltfference is

even, and-+ 0

as

Thus: (2nll 2 z 0-z) 2

Im r -•

~.

DIRICIILET SERIES WITH FUNCTTONAL EQUATION

~c~

D1fferent1at1ng wlth respect to

I-27

= 2wiz):

~ (m ~ ~)-k ~ C-2n1~k ~~ nk-1 n '

mtl:

~n=l

Ck-1 !

z •

Thus q.e.d. Ok

Thus

k = 4, 6, ••• , b(l)

=1

lws signature

(l,k,C-l)k/2 )

and satisfies the

for

0-condltlon, so

tn the notation of Theorum ]

1•

The cor-

responding Dirichlet series is

which satisfies t.h .. functional equation

where

~(:;) - (2rr)- 5 r(s)"k(o),

which ur course can

also be derived from the functional equation for

t(s),

which we have not yet proved. C-l)k12a 0

Note

ress=k~k(s) (2JT) -kl'(k).

in

n~rcement

with the aDOve,

assumtr~

known that


1-28

dim m(l 1 k,(-l)k/2 )

Actually, since

k

=4

61

1

a4 , a6

we see that

are the

=1 f0

for

r1

,

of lemma 4 (up to a constant multiple) and in par-

~0

ticular B(l).

r

= e 2 n1/3

ig the only zero of

It follows that the

~ SL(2 1 ~)/~I,

transformations + 11

~ ~ ~

form for

G4

in

modular~

the group of all linear fractional fro~

is generated by

SL(2,~),

~ ~ -1/~,

since

a4 is a modular

r but has only one zero in the fundamen-

tal domain for the subgroup. The normalized E1 sens'.§ln llW.l!_ are the series

for

k

~

4, 6, ••. ,

positive real number. (Ak: 2kiB 2k' follows. we get

B2k

= ktb

Starting from

Actually

Ak

is rational

Bernoulli number), as sins:

s~ (1- 0~ 2 ?), n=l

.,.-


s cot s

1-29

~ log sin s

=s

=1 -

=1 1

which shows

Ak

power series in One finds

A4

~

is rational since s

s cot s

is a

with rational coefficients.

240,

A6 = 504.

Recalling that the first cusp form occurs

= 1~

k

when

(since the formula of Theorem 3' gives

dim l(l,k,(-l)k/ 2 ) - 1 ~

Writing

lf

= [~]

if

k - 2 (mod 12))

~ (l" )3 - E6 ('I: )2 -. 17?8

k

* = 2 (mod 12)

let us define

Then 6 . 8(1,12,1).

MODULAR FORMS AND DIRICHLEr SERIES

I-30

one finds

3•240 + 2·504 1728

a1

Actually, the

an

=1

•

and all

an

~

Q.

are integers; to see this, we

need, in an obvious notation, (1 + 240U)3 ~ (1- S04V) 2 (mod 123),

i.e.

3•240U ~ -2•504V (mod 123),

that

for whlch 1 t 11Uf.fices

f.e. d3

aJ(n)

=ds

12),

(mod

~

a1

~.

e 8(1 112,1),

= 1.

~(T)

.

t >t zn, n=l n

whuru

By the formula for the number of

zeroes, we see M·d I o

= 1);

(mod 1.?),

which is true since

(mod 121.

Thus an c

= os(n)

U _ V

rnr

Im r ) 0

c...!L 12

=n...

in the Weierstrass theory of elliptic rune-

tions ~(t)

= (2w)-l?(g23

- 2'i'g3 2)

1s the discri-

mtnant.

Now take the quotient or two forms of di-

mension

-12

where

b0 c L,

cations;

j(Tl

to

go:t

the elliptic modular lnyurianL

a crucial fact tn arithmetic appl1-

= j(t

1)

11' and only if

T 1

is

DIRICIILET SERIES WITH FUNCTIONAL I>QUATION equivalent to

t:.

~·

•

under the modular group.

has the product expansion

cr. Siegel [13] for a short proof. follows Theorem

~

Another proof

In these notes.

Thus we have shown the case

I-Jl

=~(A,k,C)

~(A,k,C)

A = 1 by explicit construction (the

Eisenstein series) of forms not vanishing at which do satisfy the result for A=

t

0-conditlon.

"s follows.

2, ], .•• ,

c rrtCJt,k,C).

We can use this

Let

f

€

"t(l,k,Cl.

.p;

= 2,

t

3,

so

= ~(A,k,C)

mtA,k,C)

is a subgroup of

talus three copies of

r,

~

and

G(l),

R(l)

we ace that

we

k

=./2,

• 2;

note

B(2)

con-

Since every point of

G(2)-equivalent to a point of

Proposition 2, and for

G(l) B(l l.

Jt < 2, for

Finally, we consider the case

H is

If

g(•l ~ fCJt•> + t-k12 f(~l

then

Taking

conclude that

G(2)

m

A = 1 to prove the same thing for

./2, J'S,

= 1,

in

B(2),

by

is a fundamental domain (l';G(2J)

.S

j.

Defining

Jj.


I-32 r(2),

the principal congruence subgroup of

level

2,

o~ where

f

is reduction modulo

r,

has

f

Since clearly

G(2) => !'(2)

and hence that

is a fundamental domain for B(2)

one checks

we conclude

3 in

has index

2,

= 6.

(1'• 1(2))

(G(2)r(2) :r(2)) = 2,

Now

of

rc2> ~ r ! sLC2,~1~>.

1s onto and so

0(2)

r

by

and

B(2)

G(2),

two~

(points where it

meets the boundary of the upper hnlf plane), and

-1;

+1

is equivalent to

and so 1s not counted. 0

at each cusp. 0(2)

modulo

Note

-1 B(2)

~

WA make

H/G(::>)

t =

t

3)

t

4)

=H U {

00

c!......=-1> T + i c

t

2

at

+ 2

,-lJ 0)

as follows:

at points not equivalent to

T

"'• -1

2)

T ~ T

has an angle of

into a Riemann surface (of genus

by assigning local parameters 1)

under

i'

1

em•

at t ,. e-2'111./T+l

Elt

-1.

The reason for these choices ls as follows, at the three corners

i, "'• -1,

Except

a neighborhood of

DIRICHLET

WITH FUNCTIONAL EQUATION

SERI&~

1-33

contains no equivalent point, whence 1).

T

At

those three points, one computes the stability groups tn by

T

~

G(2)

which has order

1

at

-1/T)

(generated

2

an elliptic !1xad nQint, and

i,

infinite cyclic (generated by the "least translation" T ~ T + 2)

~

-1

a parMl!oll c LI.Al:..ll.

""•

whence 2), 3).

~. T

at

-l/T+2 on

(in

-1

Now

G(2)),

and

w, and changes

T ~

~-=1..+

T+2

Is a fixed point or T 1

= -l/T+1

-1/T+2

throws

into

:~:T 1 -1 1•

-1

I

T

Jl.2.1nl, or

T +

1

1

ls the appropriate

thus local variable Rt

-1.

(Gonurally

sp~aklng,

to

treat questions of analyticity at any rational cusp, the procedure is to send It to

w

by a linear

fractional transformation and proceed as before.) We now investigate the meaning or the

0-con-

dftlon: LEMMA 1.

If

regular" Ht

f

'llv(.?,k,C),

£

T = -1 1

k

r

In the VHrtable

tn the sense that rc~ >c.I.....±.J.J i

then

tnh(t)

ls "quasit _ -2rrl/T+l

- e

'


I-34

where and

h(t) n

2 0; tn = e- 2 n1n/T+l.

tn general, and ts called the f(T)

at

~· T

.. o

f(T)

(n

= 0,

t

is fractional

~

2t

~

of

= -1.)

Let

is

1

'1:

I 0 at

is holomorphic and

= -1/T+l,

T 1

-~o-r'-l

c!.fllk

as above, so

r(-r)(~)k

Now

•

T'

f(T)(l)

-k _

-

E(

T

~

-l/r+2

= cr(-l/T+2},

~

t

)

-k

..=.1..

f(t+ 2 ),

for

some constant E of absolute value 1. Write e 2 wtp, where p is real, in general 1rratlonal.

E

=

Then

ts invariant under

T ~

-l/T+2

and so has a Laurent expansion

r C·• >c.!..!l.) 1

1:

0

r

Take

T 1 -1)

E a e2w1nr'. n--"" n •

if

n + p

< o. We have

'+1 I r ("t) (~) k e -2nt 0

~

k

an = 0

We now show

(i.e. T'

'

•' = u • ib,

(n+p )-.:I d"t I

1 1 ~ u ~ 2,

h

lArgo.

The

term

l-35

DIRICIILI:."'l' SERIES WITH FUNCTIONAL EQUATION

-k

t

con be ignored; if

f(x + iy) then

f(~) so for

~) ..,

= f(-

O(e 2ub(n+p)bc)

an

n + p

~1 (2,k,C)

consisting of those

regular at Remark 1.

-r

If

= -I; k

thus

Then

Let

n_ 1

f(-r)(~)

f

so

of zero at

=0

f

which are quasi~l

f

£ ~(l,k,(-1)

at

f

satisfies

-1

k/2 ) c:

= Cf(-1/-r+l),

so

n_ 1

~(2,k,(-l)

-1

and

k/2 )

In fact 1

= n_,

as previously defined.

tt :;hould be, since the cusps

(2,k,C).

~~ (2,k,C),

£

ls an Integer, by Remark 1. k

an

the subspace of

'\,C2,k,C) c:

is an integer,

then the order of zero of

Remark 2.

b,

< O, q.e.d.

Let us denote by ~(2,k 1 C)

for large

the order This Is as "'

are equi-

I-36


r

valent under and

k

= p/q

= G(l).

N0te that if

f

~

m1 C2

h = f 12 q/~P

is rational, then

a quotient of elements of

rrtC2,12p,+l)

a meromorph1c function on

HJo(2,.

1

k 1 C)

is

and is then

(By remark 1,

the numerator and denominator are regular, not just 11

qUAs1-regu1Ar 11 , et the cusps.)

Thus

h

has as

many zeroes as poles on the Riemann surface. ~

has one zero on

f

has

D(l),

3 on

hence

....llL =4 k. zeroes on 12q

B(2)

1

B(2)

Now 1

so

measured in

local parameters on the Riemann surface.

This is

actually true generally:

LEMMA 2.

The number or zeroes or

in

1s

B(2) N +

would be called

others are adjusted. as a limiting case, as mula for ~-

~

c

m1 C2,k,C)

k. + ~ 2 + n_l = 4"

n..

n

(~

f

ni

1n local variables; the

This lemma can be considered u-+

o, of the similar for-

< 2.)

This is proved exactly as the analogous

result for

~

< 2; we only have to check that


~I d log

f(~)

-n-1 2

tends to

y

arc Now

y

about

~

= -1

I d logCL.f-ll r

k

in

... o,

B(2)

as a little shrinks to zero.

so we want k

~I d log r r

-

-n

~.

which follows from the substitution wntch carries

J•J

1

on

Re(r)

Re(•'l : -

We also have dim

= -1

m1 C2,k,l)

C

I-)7

on

Re(T 1 )

~· ~

= • ~1 1 , 0

and

!·

= (-1)

n

1,

and

~I+(~],

dim ml(2,k,-l) ~ 1 + [~]. as before. ture

Hence

'(2s),

if known to have signa-

(2,t 1 !), is determined by its functional

equation, as Is the ?.eta-function of q.(s)

=~

2

E' Cn 2 + m ) n,m£l:

which has signature

(2,1,1).

-5

,

~(1),

MODULAR FORMS AND DIRICIILET SERIES

I-38

2

00

LEMMA J.

~(2,~,1),

belongs to

!

is one of order ~·

satisfies

.::1

"(~)

at

e mn -r 2n=-""

l

r

and Its only zero in -r

= "(-r),

"(-r + 2)

ls

0-condition.

-r l/2

=

"(-r).

Poisson sumroatton formula:

B(2)

= -1.

is clearly holomorphic tn

"(-r)

and satisfies the show

" ( T) -

The theta-function

Im

-r

> 0,

holomorphtc at

""•

We want now to

For this we apply the if

t f(x + n) n=-co

converges absolutely, uniformly on compact subsets, to a continuously differentiable function where

F(x),

x is a real variable, then F(x)

= ~

9 2Tr1nx

o.

n=-"" n

is represented by its Fourier series;

Applying this to parameter with

f(x)

=

Im -r > O:

where

Is a

DTRICIILET SERIES WITH FUNCTIONAL

I-39

E~UATION

J?i2 - n::.)2 dul

2nu +

T

n=-Q)

-11.,;

_...

n:;::-0/j

Cf>

We cla fm the integral is r =- iy,

take

-1/2

;

it surrtces to

y > 0:

2 "" -wy(u+1n) y du

re

-"'

by Cauchy's theorem,

r..e -u-2 du = y -l/2 •

( wy ) -l/2

-~

"C• ,x) Ct> l/:1 =

Thu:o

X : 0

1

we get

t

Taking

To find

n_ 1 - urder or zero or in

e rrin'?/-r: +- 2 TT1nx

1:

n=-""

,J(r)(.!....f-l)l/2,

= e-2rri/r+l:

"c~.t> I

c

-1ri Cn 2 +n+t>l•+l I

measured


1-40

8

-ntflt(Hl )h(t)

t 118hCt), where

h(O) 1 0.

This proves the lemma.

We can now prove whence

~(•)

~ ~1 (2,k,l),

~(2 1 k,l)

1 + [~].

Since

~(•) I 0

Im • > 0, define, for fying

~ 2 k 0, em•

z

dofin~

= ~ 2 kC•>,

log

and

with non-zero in

~(~)

Thus

~2k

holomorphic at

w,

0-condltion; also

for some constant

= 1.

2

still a power series ln z, We then k > o, ~ 2 k)

~(2,4,1),

with its only zero at

Now if

f c

~ 1 (2,k,l),

at

for " unique constant

then

r-

c

~(1,4,1)

c

• 0 = e2n1/3 • a 0 " 2k

so

vanishes f - " 0 ,2k

1-~1


= E4.

f1,

if

= 4,

k

where

fl

E

mC2,k-4,l).

1f k < 4.)

0

(fl

1s constant

Continuing, any such

f

is uniquely of the form 1: a ,2k-41 E.i i,ik/4 1 -'t

which proves l

= ~(2,k,l),

ml(2,k,l)

+ [~].

For g = ~8 -

C

= -1,

aE4

chooge

n

I 0

u

vanishes at

not have a zero at

1.

= -1,

•

zero at

= Jg,

Lhtm f1

t

= i n

-1 ~ (-1) 1 ,

E ~ 1 (2,k-2,+1).

nomtal in

~

=1 and

r,

If so

g

Then

dim

= u,

f =

Note

h,

f

mo o=ol

> 1, and

-s

the

P-function)

= (-s).

= (2rr)- 9 f'(s)f(s).

~(s)

C(sl

functional equation for

(s)

(s)ds

gl~e

(and identities for

the functional equation

Furthermore,

for simple poles at

The

s

and a double pole at

=~

(s) 1

s = 0

is entire except

of residue

~ ~

~(s) + ~

with

2s

regular at poles,

exc1ud1ng a neighbOrhood of the

0;

~(s)

is bounded on vertical strips.

The

method of Theorem 1 is therefore applicable--shifling the line of integration to the left of noting that

.l. -r 2 lug I• ¢(s)

-m 121

= (-s),

-r

01 (~,k,C),

~

1.

Then

~(s)

~

> 0,

has signature

i.e. satisfies the condition (A) of

Theorem 1, if and only if

~(s)

satisfies the

followlng condition: (A') (k-

s)~(s)

is entire or finite order,

DIRICHLET SERIES WITH FUNCTIONAL

~UATION

1-~9

and satisfies the functional equation

~(s); C~(kft22r·

~(s)

Let

has order

r(s)

s),

~

in

h~ts

order

> 0,

a0

k - a 1 ~a

boun(a+ it) ,.. 0(1) + it) = O(l)

IJ>(S)

a ,i k - a 1

a

of order

in

~(s) = c1r>"~f:l·

functional equation, as doos Only the strip

- s)

~(s) ~ (~)-sl(s)y(s)

so

there and al:so in

1

Now

by Stirling's

By absolute convergence,

a 2 a 1 > k,

bounded in

2

r(;) = ~1(1

formula, as does then

a .f -a0 < 0.

(~,k,C).

have signature 1

= Cifl- 8 r(s)~(s).l

~(s)

where

You can state Proposition 6 for two

MODULAR FOHMS AND DIRICHLET SERIES

I-5'0

functions, as in Theorem 1.

(A') is actually the

condition stated in Heeke's papers.

THEORF>I 5'.

Let

be a non-zero

E

'i'(S)

n=l

.t.l!.lll. Dirichlet series (Le. an ().,k,C)

the associAted Fix

0 < a0 < k,

~(c0

+it),

I(t)

Im

~(c0

+it),

~(s)

us

~ -s = ().) l'(s)q>(s).

y ~ 0

or

p, 0 .S. p < c0

I(t)

and let

Suppose

through positive values, Cor +

t•

Then either

changes sign infinitely muny times.

(Iu ..·~rtl~ulur, tf

= 1,

,

Re

some constant

C

a0

R(t)

O(y-P)

R(t)

of signature

R)

and

modular form.

vhere

E

a0 ~ k 2'

~ck 2

or purely imaginary, 1f

+

ttl

C

= -1,

ta real, if

and so

has infinitely many zeroes on the middle line

ljl( s)

c=k

provided

~·

Since

2'

p < ~.)

~(s)

1s real on the real axis,

DIRJCHLF:I' SERIES WITII FUNCTIONAL E(,JUATION =-

1-'il

.l((a + it) + (ao - 1tll 2 0

= .l((a 2 0

+

ttl +

C~(k

- "o + it);

similarly, l(t)

= ..LcCa 2i 0

+ it) - C(k -

a0

Note that replacing

by

k - a0

a0 + it)). does not affect

the statement to be proved, so we may assume

For any

a1 ,

0 < a 1 < k,

we have as usual:

~

= 21Ti y > o, side above 1s then

Hence

so

J (y)

a=a 1

y = e iCy-~)

-s

(s)ds.

The right


I-52

Since t(y-!l.) 2 ~Cu1 + lt)dt

00

I e 0

0 > 0.

O(t)

= O(y-P).

I(t)

satisftes

= O(y-P). has constant sign for

Then the integral converges absolutely:

If the the:u•·.,m is false, th1s ls true for both

R(t)

and I~Ca0

I(t)

and hence for

+ 1t)l

~

jR(t)j + ji(t)j:

DIRICHLET SERIES WITH FUNCTIONAL EQUATION Now

r(o0 + 1t) ~

J2W

-.Jk

e 2

t

0' 0

_l 2

(t ~ +~),

I-53 so we

get

where

= o0

a

we have

~

-

~.

so

0

I

Setting

y

=f

fortiori

0' +1T

Then

> p.

u + 1

R

Q

Is <j>(s) lids I

= O(Tt'),

so

0'0+1

for any natural number

where

13 C a+ 1,

m,

and so

~

whlch leads to a contradiction,

via Phragmen-Llndelllf, as follows. Choose

m so

fortiori

am I 0

and let


I-51t

for

a > 0,

(of order

t

~(z)

actually), we soc

1,

z(a0

order,

2 1. Stnce

+ it) : O(tP). ~(o)

growth function

for

is of finite order z(o)

has finite

We will now show the Z(s)

is

a + 1

for

a

oufficiently large (in the domain of absolute con-

vergence of ~(a).

~(s)),

contrary to the convexity of

In fact, for large

01

Z(o + it)

+ 0(1) =

( 9 + it) a+l 8 m a + 1

+ O(ta) + 0(1)

since

o+lt a z I z (~) dz O+i

~.

O+it aza-l(.l!l)z I ----'0~-ddz

o+t

log m

Looking at other lines In the critical

n

DIRICHLET SERIES WITH

~~NCTIONAL

EQUATION

I-~~

strip besides the middle line was suggested by Berlowitz [2].

EXAMPLES. 1)

~

If

< 2,

then one can take

P

and

= ~

a0

~(s)

l.u.

o0

we can only k -

- t(s)t(s • 1 - k) 1

for

= Gk(T : 1 1 > I 0 1 m as take ~ = k; the theorem

t < 00 < k.

£

8(~ 1 k 1 Gl,

•

corresponds to the Eisenstein series Gk(T)(T - l)k

r

3'· Hence

by Theorem

the theorem applies for any 2)

o,

z

k- 4, 6, ••• ,

Gk(T). T

~ 1.

Now Thus

applies for

CHAPTER II IIECKE OPERATORS FOR THE FULL MODULAR GROUP

Let

k

be a fixed positive integer (unlike

the first chapter, where be real.)

If

L

= (~ ~

k

was only required to

is a renl mntrix w1 th

positive determinant, and

f(r)

is a holomorphic

function on the upper half plano, let

fjL

be the

holomorphic function on the upper ha u· plane defined by

note

(o ~) • f

f1

ror

a >

o.

Passing to the

corresponding homogeneous function F(w1 ,w2 )

= w-kf(w /w ) 2 1 2

Con the space of two variables

Cw1 ,w2 l

with


II-2

we get (~1 • ~)

-k

awl • ~2 + dw )

f(~

1

2

(ad- bc)-k 12w2kCfiL)(w1/w2 ).

r

Thus

~

F

inducua

fiL ~ Cad - bc)k/2r • L

= ILif • L,

which proves the rule

= fi(LM).

CfiLliM f

will be a modular

for a subgroup

G of

£

G;

G.

(1 1\

SL(2,Z),

o

v·

modular~

~

T+l 1 T

just that ~(r,k)

k

-k

If, besides cer-

fiL = f

for all

note it suffices to chock this for a set of

generators of

T

of dimension

GL.(2JR)

tain regulartt.y r.ondttions, L

~

~

is

For the homogeneous modular

(0 -1\ (-1 0\ 1 oJ • o -v r

-1/T);

f(T)

= SL(2,Z)/~I,

~

will do (the generated by

the regularity condition is

is holomorphic at

be the space of

~.

We let

n11 such, where we now take

to be an even integer;

HECKE OPERATORS FOR TilE FULL MODULAR GROUP

a -- w2-k f{ ~) w2

is the

HECKE OPERATORS FOR THE FULL HOUULAR GROUP

Il-9

corresponding homogeneous function, we define the n!h ~ OPerator by

.1!.._1

f!T(n)

where

M(n)

= n2

r flu a

~v1·•u,

which 1s the inhomogeneous

function corresponding to fiT(n)IA

~

CIT(n)

for

F·T(n).

A£ r•,

still formally a modular form for sion

Then fiT(n)

su

r,

-k; we will verify shortly that

holomorphic at

~.

T(n)T(m)

mer ,k).

PROPOSITION 7.

Then fiT(n)(r)

Let

of dimenf!T(n)

is

We still have the same identi-

ties:

on

is

f

£

111(1 ,k),

say


II-10

where a (n) v

Henco

r(T(n) c

~(r,k),

and is a cusp form if

f

is. ~·

~ a

t

f(TCn)(T)

ad=n v=O

8 2n1avr/d

v

q.e.d.

(We used the fact that the character sum e 2 "lbv/d

t

is

d

1f djv

and

0

otherwise.)

b mod d

We now form the formal Dirichlet series D(s) = I T(n)n- 5 1 n=l

operators on space.

whose coefficients

~Cr,kl,

T(n)

are

a finite dimensional vector

The Identities among the Hacke operators

are most neatly expressed

8SZ

ijECKE OPERATORS FOR THE FULL MODULAR GROUP THEOREM 6'.

= "'I:

D(s}

II-ll

T(n)n-s

n=l

=TT CI

_ T(p)p-s + Pk-l-2sn-l,

p

where

is the identity matrix.

I

~·

In view of the multiplicativity, we have

only to check that I

"'I: TCv">r-vscr- T(p)p-s + Pk-l-2sr>, v=O

whtch follows from the previous 1dent1 ties (and vice versa}.

COROLLARY.

Let

and suppose

1'

~;

fjT{n)

= c.n r.

so normalizing to have en an'

of'

f(T)

"

E

e21riv"
(s)

has the Euler product

- app

-s + Pll-2s) -1 I

first proved by Morde11 [7] tn 1?17. conlecture says that the polynomial has conjugate roots, i.e. lapl

~

2p

conlecturr io thnt any dgenvalU('

ltal!!ilnulan's 1 -

8

11/2

•

np

or

11 2 pt + p t

Peterson's T(p)

k=.l. on

acr,k)

prime

satisfies

lapl

~

2p

2

,

for any

p. As a final remark, the Eisenstein series

Gk

ia characterlzAd as the eigenfunction not vanishtng at n, f

r

where

= a·Gk

form, so

In facl, if

w,

+

g,

fiT(n) = An f,

for all

is not a cusp form, we write wherH

g

An- ~- 1 (n),

is a cusp form; then

f

=constant ttmes

r.k.

CHAP'f~

III

THE Pf:I'ERSSON INNER PRODUCT

Although we are mainly interested in the full modular group

r,

it is convenient at this point

to develop some machinery relative to a subgroup

G of

r of finite index

want to make

Ji/(}

the natural map

~·

In particular, we

into a R1ems.nn !lllrface, so that

tVG- H/I'-

is holomorphtc; there

ts very little to do, since the fundamental domain D(G)

will be a union of

mental domain Any

~

copies of the funda-

ocr).

element or

,. carries

onto

..,

o,

say,

ra tlonn.l number; in thl s way we get tnequlvalent (under

G)

points

P1 '- .. , + l'

T

so the stability gr·oup

r(p 1 )

or a

of

P1

in

r

is


III-2

infinite cyclic, genetnted by

gemu·ated

el

u

by

•

local parameter at near

G is infinite cyclic,

in

We tnke pl

Lj t

r,

zl = 8 2Trh/e1

(it is one-one on

the stability group

tnr1n1te cyclic on

is tho

then the

At one of the other cusps

Pl) •

where

pl

e1

If

U81 & G,

least positive integer with stability group of

U.

PJ r(p j)

as H/G 1

lt•

ts

uJ and

appropriate local parameter.

is a fundamental domain for ~

H/G with

= H lJ

{P 1 , ... ,P 0 }/G

fOG .. H/r

cation index of

Then

G,

and we have made

into a Riemann surface,

holomorphic (and PJ

over

~,

eJ

the ram1f1-

i.e. the number of

sheets in the covering which stick together there) except we still have to treat the elliptic fixed points.

But this is trivial, for

H

~

11/l'

III-3

THE PETERSSON INNER PHODUCT

ramifies only over

i

and

T0

2

stability groups of order

= e 2n1 13, 3,

and

with

so if

P

1s

an elliptic fixed point, we take the same local

then

T0 ,

only if if

Note if

P

~

i

or

is an elliptic fixed point if and

P P

r.

G as for

parameter for

t" 1mramlried over

11 1 rasp. ll-o

points of order

or

1

-r 0 •

Hence

is the number of elliptic fixed 2 resp. 3,

then ~ resp. ~ 2 3

are the number of ramtfled points over

1 resp.

Now the Riemann-Hurwitz formula for the genus of

H/G

2p(G) - 2

p t

where of

p

over t P~1

11/1-

ls (since

(ep

has genus

= J•(-2) + t Cep -

H/G,

10.

p

and

ep

p(G)

0):

1)

ls the ramification index

By tho above,

- 1) :~ 2

T0 •

MODULAR FORMS AND DIRICI!Lm' SERIES

Ill-It

Thus p(G)

proving:

PROPOSITION 9.

~·

index

If

G

19

a subgroup of

of finite

l'

~ is

the genus of ~

~

p(G) = 1 + ~- ·4·- ~

whore

~i

resp.

~0

ts the number of elliptic

fixed points of order

2 resp.

3, and

a is the

number of cu:sps. To define modular forms, it is convenient to use homogeneous notation. of

1"'

= SL(2,Z),

Let

G'

be a subgroup

of finite index, and

the

G

group of linear fractional transformations defined by

thus

G

G'/!:.1

and otherwise

G

G'.

G';

lr

I= ( 01

_v

£

G',

We have already defined

(ad - be) k/? ( c-c

+

d) -k f ( ~) c-c + d •

TilE PEI'ERSSON INNER PRODUCT

f2Lm

A modular f(~)

function 1)

fiL

2)

f

on

for

III-5'

G'

is a h9lomorphic

H such that

=f

for all

o•,

L t

is holomorphic at the cusps.

The meRning of 2) is as follows. we can wrl t..

f ( •) -

E

m,

At the cusp

nnzl n

as a Laurent

n=-""'

series in that of Lj

£

=0

Rn f

z1

at I''

I

and the condition is n < 0;

for

a0

At a cusp

~

we throw

ceed as before.

pj to

PJ

is onlled the

..

= Lj(oo),

where

L-1

and pro-

fiLj

satisfies

by

More precisely,

j

L-l 'L j G J'

condition ll for the cunJugate group and condition 2) at holomorphlc at will be called

PJ

is just that

the value of

""''

the~

of

f

at

l!l(G' ,k)

the space of all sur.h

11"

-I

then

£

G'

k

f.

a~

fQrm If

f

We denote Actually, "l(G',kl I Ol

must be even (1f

l!l(G,k) "' I!I(G 1 1 k).

G and f

Is

at

Pj.

and there Is no danger In confusing so let us write

fiLJ

fiLj

by

~

£

G',

rrt(G,k)

vanishes at all cusps;

Is

aCG,k)

MODULAR FORMS ANI.l DIRICHLET SERIES

Ill-6

denotes the space of cusp forms. If

on

~.

~or

f

£

mCG,k) 1

then

r

is not a function

but we can still speak of the

r at P

~.

£

~

Q!

measured in local para-

meters on the Riemann surface.

PROPOSITION 10.

Let

f

£

r,

the total number uf zerueH of

~·

tiplicit1es 1 is

Hence

Then

counting mul-

dim ~(G,k) ~ 1 + [~]. 12

so

.E..I:QQf.. A

meromorphic function on

f I 0.

mCG,k),

11/G,

h

= CAk

is a

kl'

poles

with

and hence an equal number of zeroes. l!§.mlu:k.

This Is not a good bound.

an exact formula for

dim mCG,k)

For

k

~

:?,

follows from

the Riemann-Roch theorem; cf. Gunning [3].

~·

Take

k

2.

(~ ~)

Since for

d(~) = dT c-r+d (cT+d)2'

we see

d1tion 1) if and only if

f

f(-r)d-r

£

satisfies conis

G-invurlant,

i.e. cnn be regarded as a differential on If

f

£

mCG,2),

then

f(T)d-r

SL(:?,R),

H/G.

is certainly holo-

111-7

THE PETERSSON INNER PRODUCT A

morphic on 11/G

except at the cusps.

At

.!k=.~ z e '

then so

f(T)dr

= (~)a 0

if and only if

f

~

+ •••

sideration holds at the other there is an isomorphism of ot"

holomorphic at

1

vanishes at

""•

A similar con-

~. cus~s,

g(G,2)

so we see that onto the space

holomoqJ!olc dlfTerent1als (and hence

dim S(G,?)

= p(G).)

The holomorphic dift"orentials on a c0111pact Riemann surface

(..,,..,•) =I

x

The

Peteq~un

X have a natural inner product

Wll;;;-;-

.1llnlU: pj'oduct 15 the natural genera-

lizatlon of this inner product to arbitrary

S(G,k)

for

k.

Given holomorphic runcllons

r

and

g

on tho

upper lmlf plano, consider .the double differential b(f,g)

!r(T)gr.}{Im T)k- 2dT II dl" f(x + iy)g{x • 1y)yk-2dxl\dy

PROPOSITION 11.

For any real matrix

L


III-8

of positive determinant, we have ll(fjL,gjL) " ll(f,g) • L • .E.r.2Q!.

The right side means replace

L('t) " ~~ : ~

1:

by

throughout anrt so depends only on

the llnear fractional transformation

L(r),

as is

also the case with the left side; hence we can assume

det(L)

f(L(•)) dL(•)

= 1.

= (C't

= Cc•

Im L(•)

Then +

d)kfjL(.. (1) n

>-n

is

algebraic and all its conjugates are real. If

fC~>

=

n r~=l anz , z = e2n1t T(n),

eigenfunction for all

and if we normalize to have

1

is an

then we know a1 " 1 1

a 1 I O,

then the

·Fourier coefficients are the eigenvalues, i.e. fiTCnl =an f

for all

PROPOSITION 12. functions. Say

f

el = bl

= L

If

so

f,g

Then either

fr.Q.Q.(.

"n(f,g)

Let

(Corollary to Theorem 6').

n

be normalized eigenf = g

or

"r~=l anzn, Cr,gl I

g(1:) ~

o.

rb zn n'-1 n '

o,

then for all

f

g.

= CfiTCnl,gl Hence

(f,g)

n,

III-13

THE PETERSSON INNER PRODUCT

It follows that if

f 1' .•. , f r

are a maximal

set of normalized eigenfunctions, then they are linearly

ind~pendent

and

r

~dim

g(r,k).

That

actually there exists a basis of eigenfunctions follows from Theorem 8 and linear algebra:

LEMMA.

Let

be a commutative ring of Hermitian

R

operators on a finite dimensional Hilbert space Then

V has an orthogonal basis

eigenvectors of ~.

being a matrix ring). first

r 1 , ••• ,fn of

R.

s 1 , ... ,sm

Let

span Asstme

V contains one

R (finite-dimensional,

VI o.

~1genvector

s 1 , ••• ,sm' by Induction on m. Let elgenvalllM nf

S)'

and

vector thesis. (C·f)L

s 3s1

= s 1s 3 ,

f 1 of Then

= [g

We show

f1

of ~~

be an

Vl

the corresponding eigenspace. stnce

and so

s 2 , .•• ,sm

Then

SJVl c

v1

v1 contains an eigenby tho Inductive hypo-

V " (C:.f) 6l (C:·fY'",

c V: (f,g) =OJ

wher"

is Invariant under

s1 , .•• ,sm since the s 3 are Hermitian, and then hA o. = 14416?, a prime.

F(k) = Q(J{l).

d

then

F;

When

k - 24,

llecke found

CHAPTER IV CONGRUENCE SUBGROUPS OF THE MODULAR GROUP

If

N is an integer

~

1,

the homogeneous

pr1nr1pal congruence subgrouP of level

r•

= SL(2,Z:l

ls

l"(N) =

1(~ ~)

PROPOSITION 1).

Hence

Cl':i·•cNJ)

We have Hn exMct sequence

= N3Tio-

~,b,c,d t

we have to adjust

a, .•• ,d 1

p

r•(N)

wlth

Z

~l.

SL(2,Z)

We have only to show

is onto, since the kernel is i.e. given

(6 ~)<mod Nl}.

(~ ~)

c 1'':

riN

fiQQ!.

N of

~

SL(2,Z/NZ)

by definition,

ad - be

~

1 (mod N),

by a multiple of

N to

IV-2

MODULAR FORMS AND DJRICHLE'l' SERIES

get determinant (c,d,N) • 1 1

so

ed - fc

ad - be

(c,d + tN)

b +dfNI = 1 1

+c eN

i.e.

Now

(c,d) = 1.

we can assume

18

1.

=1

be so chosen since

-

1

=1

PIN

so assume

and

1 =ad- be+ (ed- fclN,

e

and

f

can

1.

The index formula is the same as

~(N)N3,-rcl- ~).

t

for some

ag +be ~ -k;

GL(2,Z/NZ) = Aut((~/NZl 2 )

so

Thus we want

i.e.

(c,d)

+ kN,

thRt

~hnwln~

has order

The question is multiplicative,

p

N : pr

is a prime power.

The order is

then the number of ways of choosing a basis of

Z/NZ

$ ~/NZ;

N2 (1 - ~)

if

a,b

is a fixed basis, there are

choices for

o(al

(o

an nutomorplllsml 1

p

and, given

u(al 1

N·q,(N)

choices for

for

<J(b),

this is the order of the union of the cosets of

{oCal} which are primitive in l./NZ. The principal congruence

level

of

of

N is group of linear fractional transfor-

mations determined by N > 2.

~~QYL

r(N)

I"'(N).

l(N)

= I"'(N)

is a normal subgroup of

if

of Index

CONGRUENCE SUBGROUPS OF THE MODULAR GROUP

={ 1

(1:1(N))

if

IV-3

N

6 if N

~3Tic1

otherwise.

piN

A congruence subgrouo of level diate group

G,

r.

1(N) c G c

A modulai' !.2l:m 2!. lJw!l. l>~

'"' tlltlmtmL uf

N is an interme-

N

~

dimension

-k

1'1\(1(N),k).

MOdular forms of higher level arise from modular forms of level f o: 1'1\[l·,k),

and

1 as follows.

L o:'l!l(N),

then

If

fiL

is a form

for the group

an~

GL

contains

In particular,

1(N)

(Lemma 2 before Theorem 8).

(~ ~)

L

gives

f(~ ~) Any other nrlmltlve the double coset where

A,B

£

I',

'

1':

Nlc] •

L of rlAtermlnant

rL0 1,

givtng

L0

= (~ ~).

N is in say

L

= AL0 D,


IV-6 Let

G

= GL0 = r o (N);

= e2nt/3,

~o

stability group

Let

A

H- 1AMP 0 A c

= P0

~.

or

G(P)

= MP0 ,

and

M c L

where The

is determined as follows.

=P

A • G(P) +--+ AP

Thon

G.

c

P

let

L0 M = BL,

Now write

G(P) ~A c MI'(P0 )M-l ~A

B

~

c

r.

= MEM-l,

Then where

1 .e. E c M-lL-o 1 ILoM

For

P

= ~,

the ramification index

the least positive integer such that

./1 e)L-1 ., {a0 "\O 1

b){l e)(a b)-l =

d

0 1

ea: 0 (mod d),

0 d

Le.

or

b

for each

to

d,

whence

ve see if

I'

o

=

P0 = i,

For P

so

d,

i.e.

Thus

~(t)

(~

e

= l1t"

values

t·ep(t) = eep(t)

t ~(t) diN

since

t>·

is

contains

(10 "llf) 1 •

e ; 0 (mod

We noted above there are

r

e

cusps corresponding

=

t ~((d,~J). diN

-5)

generates

r(p 0

),

is an elliptic fixed point if and only

contains

(a

b){O1

0 d

-l)(a 0 0

b)-l

d

=( R n

l1 11

~) N ' R a

TV-7

CONGRUENCE SUBGROUPS OF THE MODULAR GROUP i.e.

a "' 1,

b2 • 1: 0 (mod N).

number of solutions (mod N)

is the

Thus

x2 ~ 1: 0 (mod N) 1

of

c1;>

whirh is given by the formula stated, where is the Legendre symbol.

P0

For

=T 0 ,

the question Is whether

1 =(~ "b){o-l){ab)( Od 1 l Od d

cont~tlns

_b-qra)

a

i.e.

= 1,

a

b2 - h + 1

f ;>

2

1-.h

I

a

0 (mod N);

this gives

the formula for If

~·

Q

is a subgroup of the modular group,

of f1n1 te index, then the defini Uon of a modular form for

G can be stated as

l)

fiL

" r

for

L

2)

for all

Ac

I,

(resp. vanishes at fjA(d

, i no.D

n e2»1n~/N n

£

fiA

sm~tller

group, then

is holomorphic at

for cusp forms), I.e. (rasp. also

for some positive Integer by a

G

N. f

B

0

= 0)

1

If we replace

G

is a form for that

group, for condition ;>) is independent of what group we cular, tf

reg~trd

f

as being a form for.

G ts a congruence subgroup,

In parf

can

IV-8


be regarded as a form of various levels, and the question of whether

is a cusp form is indepen-

f

dent of the level. We now define the Heeke operators In a reasonably general setting. of

Let

G be a subgroup

r• = SL(2,.Z.) of finite·tndex and

t:. c GL+(2,R)

a set of real matrices of positive determinant, closed wule•· a £

t:.,

and such

multlpllc~tlon,

the double coset

(u)

= GaG

thnt for

finitely many right and left cosets with to

G.

each

contatns only

(Chapter II treated the case

re~pect

G-

r•,

t:. =integer matrices of positive determinant.) Let

R

= R(G,A)

be the free

Z-module (or

module) on the double cosets

= GuG,

for

R is a ring under

a c t:..

(a) •

where if then

(a)

~

r cY ". (y) (y)

a,.-

(a) =UG"'t•

cY

u,~

;

produ.,t. rolatlvo tn

- (

E

pfm

a

mp 'II

and

=a

p .( N,

THEOREM 12. assoclat.a! to Let

p .( N.

2): Then

a= Rp(g

?),

we get

f

= O.

has an Euler

1r

p

a m- 5 )( "' E c(pv)p-vsl m v=O

c(p"~~)

m

then

Let f(-r)

Then

r = o.

taking

We recall that cp (sl " t ann-s

~(s)

p ( m,

r "' o.

then 2)

n

am = 0

If

let

for

p

c(l) ~ 1,

~:~~Cs)

f

~:~~Csl

; o,

by 1) of the corollRry.

! 0 be the Dirichlet series

= E a n e 2 trlnT/N cp( s)

If

'II•

£

III.(!'(N) 1 k).

has 11n Euler product

CONGRUENCE SUBGROUPS OF TliE MODULAR GROUP

relative to

p

function fo1' flfip

= E·f,

if and only if

Rp

and

T(p)

fiT(p) • C•fo

f

is an eigen-

= TN(p), Jf

S0 1

IV-:>3

say

the

p-factor

is necessarily of the form

!'or "only if", assume

fl:Q.Q£.

for

p ( m,

v

~

o.

Then

fiT(p) - c(p)•f

.k_l p2

fiRp(b

~)

+ ~ (a

power series in - 0,

n

pn

- c(p)an)e2"1n~/N

e 2 " 1pr/N

by 1) in the corollary.

Stm1 hrly,

~-1

p ·-

0 fiR p (P 0 1)

fiTCp) - E apnzn L

whtH'A

z

e:>rr! r/N.

(c(p)an - apn)zn

Then


IV-2lt pk-lfiRp

=t

(c(p)a n - a 2 lzn p

P n

CcCpl 2 - cCp 2 ))f power series 1n

+

zP

(c(p) 2 - c(p?))f.

= c•f, = pk-lt:f(pT) +

Conversely, suppose fjRP

= t:•f.

Then

so

fjT(p)

c•f(-r)

1f

t apnzn,

p.(n

k-1

P

pjn

if

hn/p

Thus

E snn-s • t

p.(m

~P

E anpk-l(np2)

£

k-1

q.e.d. '

THEOREM 13 (Petersson). for

I'(N) ,

for

(n,N)

Let

of character

CfjT(n),g)

= 1.

- E "pn(pn)-s

2 -s r an(np )

a m-s m

-s

£.

f,g Then

= t(n)(f,gjT(n)l, (T(n)

= TN(n).)

be cusp forms

IV-25

CONGRUENCE SUBGROUPS OF THE MODULAR GROUP It suffices to prove this for

f.1:.2Q..t.:.

n = p,

power, and then for result for

n

T(p")T(p)

= p,p

2

a prime

for 1 f we have the

\1

then from

, ••• ,p '

= TCp"+ll

n

+ ECplpk-Lrcp"-1>,

we get CfiTCp"+ 1 ),gl CfiTCp")T(pl,g) - E(p)pk-l(fiTCp"- 1 l,g) - c(pv+llCCr,~jT(p")T(pll - ETPJpk-lcf,giTCp"-1>> E(pv+l)(f,giTCp"+lll, using the fact that g.

Thus we assume

(f,g)

=p

n

is conjugate-linear in is prime,

p ( N.

Now the set of Integer matrices of determinant p

~

and

M•(Nl

p

(6 ;)cmod Nl =

r• (N)(01

is a single double coset

O\f" (N)

p}

which shows Cas in the case

'

N

= 1,

Theorem 8)

that every left coset meets every right coset, and so there exists a set rep1·osenta ti ves:

(a}

of left and right

MODULAR FORMS AND DIRICIIL.E:l' SERIES

IV-26 M. (N)

p

Letting

=u !'' (N) = u or Q

b)'

( ac d

= (-c d -b) a

I

(N) •

we see that

'

Hence

so we are to prove

(E fju,g)&(N) u

= Cf,E

gju'lr(N) •

For this it suffices to prove that

(fja

and

gju'

are forms for

r(pN).)

This is

proved as before; in the notation of Chapter III, we have

(f'ja,g)

1

a- r(pN)a

I

l>Crju,gl

a- 1 D(pN)

I ll(fja,g) • u-l D(pN) I b(f,gja- 1 > D(pN)

IV-27


"I b(f,gla') D{pN)

= (f,glo'l 1 (pNl, where

D(pN)

ls a fundamental domain for

a- 1D(pN)

and so

is one for

a- 11"(pN)a,

~

Note the eigenvalues

r(pN),

uC

T(n)

q.e.d. {(n,N)

= 1)

are not necessarily real this time; the rule is that f:(n)Xn

),.n

.J.

l.e.

XnECn) 2

real if

is real.

tCnl = I,

In particular,

purely imaginary if

),.n E(n)

It follows as before that the space or cusp forms of

d1m~nsion

r(ll)

-k

divisor

c;

r 1 , ... ,fr

of eigenfunctions for ell

Cr,r 3 l I 0,

If

f

50Y 1

Xn(r,r 3 >

=-1.

aCN,k,t,F) t,

and

has an orthogonal basis

character

Cn,N) ; 1.

t'o,·

ts

T(n)

with

1s any eigenfunction, and Lhen

cr,r.1 >

=

~J>cr,rJl

HODULAR FORMS AND DIRICHLET SERIES

IV-28 and so

f

and a suitable constant times

the same Fourier coefficients

a0

for

fj

have

(n,N)

1.

This is all you can say in general; however, if pit_,.. PI~. f

then

T(n)

is a constant times

=0

for

(n,N) I 1,

and

fj,

We have the following general estimate on the Fourier coefficients of cusp forms:

PROPOSITION 16.

Let

finite index, and f(T)

= O(y-k/2)

G be a subgroup of

f ' &(G,k). as

~

y

0,

r

of

Then

uniformly in

hence the Fourier coefficients of

r

x,

and

satisfy

an "' O(nk/2). .fl:.Q..Q.f..

Write

I'

=U

Gl.

(disjoint).

Then

L

is invariant lUlder mental domain ThUS an

D

r, of

h(•) - O(y-k), O(nk/2)'

and bounded on the funda-

r so

since it van1she" at f('t")

by Proposition 1.

O(y-k/2).

~

Then

CONGRUENCE SUBGROUPS OF THE MODULAR GROUP Now 11' for

T(p),

f c aCr(N) ,k,E) where

p ( N,

IV-29

is an eigenfunction

then the

p-raetor of

the associated Dirichlet series is

J.et real.

satisfy

'l

fjq

c

l,

is

90

Petersson's coolecture states that 1 - Bp~t + p

k-1 2 t 1

which has real coefficients, hRs conjugate roots, i.e.

.lcl I~ I ! 2p 2 ,

which would or course be much

strorrger than the general est111111te of Proposition

16. Thus we see that the theory of the Heeke operators

T(n)

in level

parallels thHt in level

N, 1,

for cusp forms, at least for

(n,N)

'lo treat the non-cusp rorms, we aga ln need the

explicit construc-tion of Etsenslein Let

k ~

3 and

c, d c L,

and consider the

Eisenstein~

Gk(~;c,d;Nl =

E' (mT + n)-k; m-e (mod N) n-'d (mod N)

~·

1.


IV-30 k l 3,

since

this is an absolutely converging Im(•) > 0.

double series, for

Eisenstein series for

(There are also a modification

k = 1,2;

to ensure convergence is necessary -- cf. Heeke's 2~ paper [5),)

GkiL for

L

has the term for

E

r• =SL(2,L),

(m,n)

then

replaced by that

(m,n)L:

Since clearly and

If

d

Gk(r;c,d;N)

modulo N,

depends only on

we see tt is a form for

provided it is holomorphic at the cusps.

f(N), To show

this, we determine the Fourier expansion:

PROPOSITION 17.

.... E

Gk(~;c,d;N)

},.-0

"'

H,Z ' "

z

dnd for

t

if

c

tf

c

E

(sgn

0

(mod

0

(mod N)

N)

>. l 1, (-211t)k

Nkf'Ck) m""'"' m::::c(N)

v )v

c

k-l e 2TT1 vd/N

CONGRUENCE SUBGROUPS Of THE MODULAR GROUP

IV-31

5,

we start

f£Qu[.

As in the proof of Proposition

from

Clearly

E r (mT necn

+

nN

+ d)-k

m/0

u ..,

ami this proves

Thus

Gk(r;c,d;N)

Gk(~;c,d;N)

tf

Cc 1 d,Nl

I'I'"Uj)OS1 t1on. £

mCI (N),k).

is called primitive tr

= t > 1,

then

Is "' primitive Eisenstein series of level e(Nl - e(N,k)

(c,d,N)

~·

Let

be the 5pacu generated by all prl-

m1tive Eisenstein series of level

N.

1·

•


IV-32 Now ~I

since

N fundamental domains for r(N)

r

is a normal subgroup or

same is true at any other cusp.

meet at the

1,

The number of

cusps is then

o(N)

(r:r(fill N

{

~rru pjN

- ..l...) p2

if

N

1

tr

N

2

if

N>2

We have an obvious map eCNl -. C:o(N) by evaluating at the cusps, and we want to show

this is an isomorphism.

Now the number of pr1m1-

tivepo1rs

is

(c,d)modN

N 2 TIC1-~) 1 pjN P

and

cleRrly

so

dtm eCN)

~

a(N)

and so it suffices to prove

the map ts onto. For this, lt is convenient to consider the

IV-33

CONGRUENCE SUHGROUPS OF THE MODULAR GROUP rostrlcted Eisenstein G;(l:;c,d;Nl =

again a form for

for

L

£

r•.

~

t (11!1: + nl-k, m=cCNl n.od(Nl (m,nl=1

r(N),

with

To connect the two kinds of Eisenstein

serioc, wo use the~ function

..,.O) Thug

G:(T;c,d;Nl

=

1:'

m=c

(m~ +

n)-k

n

prime, and

t

j.L(a)

a! Cm,n)

n~d

; ..,.Cala-k t• Curt" + n)-k • a=l ma_oc na:;d

MODULAR FOHMS AND DIRICHLET SERIES

IV- 3lt

Now assume

(c,d,N)

•

okc~;c,d;N) c

0).

assume

= 1.

with

(a,N)

11Cala -k.

E

choose

a'

•

Gk(~;c,d;NJ

Thus

.

The value of

a,

Then

at:::l(NJ a>O

e(NJ.

o1h

(otherwise

For such an

aa' : 1 (mod N).

where

€

=1

Then In the sum above we can

Gk(T;c,d;N)

at

~,

i.e. Its

Fourier coefficient, is visibly if

(c,dl

((),1)

(mod N)

otherwise

•

Gk {T 10,1 ;N)

and

0

takos the value

1

at the cr1sp

at the other cusps; similarly,

takes the value all other cusps.

1

at the cusp

This proves:

-d/c

-

a:(·t ;c,d;N) and

0

at

IV-35'

CONGRUENCE SUBGROUPS OF THE MODULAR GROUP PROPOSITION 18.

The 111ap

isomorphism, and

t(N,kl, • c:"(N)

t(N,k)

is an

is generated by the re-

stricted Eisenstein series.

PROPOSITION 19. Hence

e(N)

of level

If

N'jN,

then

t(N',kl c eCN,k),

is the space of all Eisenstein ser!As

N,

primitive or not.

f.l:QQ!. G.(T·c' d'·N' l

k

'. '

G~C~;c,d;Nl,

r

'

C=C' (N)

d:=d I (N) c,d mod N which proves the first statement, in view of Proposition 18; we have already observed that an 1mprim1tive series of level

nt'

series of lower level

N is a primitive which proves the second

statement.

PROPOSITION m~trix

fiL

t:

~0.

If

of determinrlnt e.CrnNJ.

Also,

L

ls a

prlmttlve integer

m l l,

and

f e eCNl,

tCmN,k) () ll!(rCNl,k)

f£22£.

We have proved this for

L e f',

so we may as well take

m = 1, L

then

= e(N,k). i.e.

(6 ~) ;

then


IV-36

For the second statement, note that we have as a result of Proposition 18 a direct sum decomposition. ~(r(N) 1 k)

~

e(N,k)

~

a(N,k).

f c eCmN,k)

n ~(r(N),k),

write

E ~ eCN,kl,

g c a(N,k).

Then

Proposition 19, and

i

If f

=E

+

g,

where

g , eCmN,k),

is a cusp form,

~o

by g

=0

by Proposition 18. In vlew of these propositions, let us call any element of

eCN,k)

Since e (N ,k)

an Eisenstein series.

is invariant under all modular

transformations, in particular by (n,N)

&

eCN,k)

1

and

(6 }),

U

for

we can decompose

according to divisors

characters

Rn

t

of

N and

e of (Z/NZ)•, getting

~(r(N) 1 k,L 1 t)

-

eCN,k,t,t) W &(N,k 1 £ 1 t).

Furthermore, this decomposition is respected by all Heeke operators

T(n)

= Tt(n),

n ~ 1,

by

Propos! tion 20. A way to construct modular forms (of higher level) from given ones, using chnracters, is given

IV-37


bY the following theorem; this technique 1s aha emphasized in the following chapter. m 2 l,

integer

a character modulo

X on

character

(L/ml)•; xCnl = 0

convention that

m is a

X to a

we extend

function of all positive Integers

n

by the usual

(n,m) > 1.

if

that we do not in general require ~

Given an

Note

X to be Rtlml-

(not definecl modulo a proper divisor of

in particular, even the identity character

m satisfies the convention xCnl

modulo

ml;

x =1 = 0 for

(n,m) > 1.

THEOREM z

Let

1~.

= e 2wiT/N

rx

Then

- 1:

n

m·¥·

and let

whore

(m,Nl

[i, tm2 ),

form (rasp. Eisenstein series) if E.l:QQ£.

Let

LX - 1

X

= 1.

be a Let

xCnla n znt .

l!l(r(m2 Nl ,k,

f:

r znt an ' (n,~)=l

c l!l(r(N),k,t,t),

LCx,s-H-k)

= nr xCn 1 ln 1 -s 1

=

...

r xCn)ok_ 1 Cnln-s

n=l

assodatell to an ~tsenstein series of level m2 , divisor m2 , and character x2 , and is an eigenIs

function for the TIIEOREM 15'. ciated to

T(n),

= 1.

(n,m)

More generally:

The space of Dirichlet series asso~CN,k)

is generated by the series of

form

where

h

a character

J.(l(,,.)

=

.. l:

.1i.. t ' J

mnrlulo

xCn)n-s.

Th"

n'"l

x1 .x. .

E

cOl'respnndlng El""'''atein :serlo:;

Is an o1genfunct:ton of the ~·

.IJy Proposition li',

T(n), the

r

has

(n,N) = 1.

Dir1rhlet series

IV-40


times)

""t n-s t sgn(v)vk-le2n1vd/N. n=l mv=n m=c(N) Let

Cc'd(s) of

=lN a

Cc'd(s)

t e- 2 n1ad/NC (s); mod N c,a

generate the same space.

n- 9

in

1

I:

Cc'd(s)

the

The coefficient

is

t mv=n m::c(N)

8 -2rrlad/N

N a mod N

t sgn(vhk-l m,=n m::c ,:;d

r "k-1 + C-llk m,=n m:c

,:;d,,>O

m-s

t

m c(N) Now fix

nk-1-s.

t

nod(N)

t 1 ,t2 jN.

Cc'd(s)

r "k-l mv=n m--e ,=-d,,>O

with

Then the space genurated (c,NJ

= t1

by

the

and

1~

the SRme as that generated by the

(d,NJ

= t2

CONGRUENCE

OF THE MODULAR GROUP

is a character modulo Jl t .

x1

where

&~BGROUPS

JV-41

Now

1

r 1!_11?2 X Cb >x Cb >t b 1 mod t

b

1

t

,b t

1 2 2 csl

1

hence

Lxl.x2Csl

= t~- 1 CI+C-llk<x 1 x 2 >C-lllCt 1 t 2 l- 5 LCx 1 ,slLCx 2 ,sl. This proves the theorem.

COROLLARY.

"l.(I'CN),k,t:,t)

functions for all £LQQ!.

T(n),

has a basts of eigen(n,N)

= 1.

In view of the decomposition

~(r(Nl,k,c 1 t)

~ e(N 1 k 1 ~ 1 t)

W 8(N 1 k 1 E 1 t)

1

IV-42


and the fact we have already diagonal1zed the T(n) the

on the cusp forms, we only have to dlagonalize T(n)

on the Eisenstein series; this is done

by Theorem 15, in view of Theorem 12. That one cannot in general diagonal1ze the T(p)

for

Let

q

and

xl'

pjN

is shown by the following example. N = q3,

be an odd prime,

t1

= t 2 = q2 ,

x2 characters modulo q with

Ct 1t 2 lC-l)

= C-llk.

(ThAy exist.)

The theorem

gives an Eisenstein series

t ~ N ~ q3.

with divisor the

n1h Fourier

Since

coefficient by the

T(q)

replaces

(nq)!h, we

have h(-t)

h(t) fTCq)

fjT(q)

= o.

(1:)

Thus

= ao T(q)

on the space spanned by

+

r a ti2mnt q.(n n '

hBS

f, h,

matrix

(g ~)

anrl so

T(q}

1s

CONGIIUENCE SUBGROUPS OF THE MODULAR CROUP

lV-43

not diagonalizable. ~·

We have shown that nny form

N has an R

n

associ~ted

f

of level

Dirichlet series,

= O(nconst.);

by Theorem 15 if

Eisenstein series and by Proposition 16 if a r.usp

form.

f

is an f

is

CHAPTER V

A THEOREM OF WElL

From now on we

only wlth forms

~eal

N and maximal divisor

level

f(~ +

I.e, modulo

N,

1) ~ f(T). let

r.(N,k,t.).

(~ ~) f

r~(N),

c

=0

unless

fj (-01

~-;) Let

~

r

Thus tf

t.e.

d-ll

= C-llkf.

(~ ~)

r~(Nl,

and

r1(~ ~) ~ c·r;

then

since

l!l(r0 (Nl 1 k)

Note that

-c/N) a

and so:

and

8(N,k,t),

l!l(N,k,El,

Note

-1)

c

3)

~

= (-l)k,

b) H -1 ~ ( d 11 N c d N -bN tf

k

NjC',

0 O • HN = ( N

(a

is a character

= l!l(I'(N),k,t:,Nl,

rnCN,k,d

similarly (at least for

of

t = N,

E

lf

f

t

1 , (N)

o

= II!CN,k,ll.


V-2

(of substitutions of the upper half plane), containing subgroup of index 2)

f

~fiHN

r 0 (N)

as a (normnll N > 1 l.

(for

;>

defines an isomorphism

1!\(N,k,d ~> 1!\W,k,e).

3)

In particular, if

=E

E

f~

fiHN

and

fjH~ ~

diagonali~e

(f

f+

f-,

f-

f - i-kfjHN).

+

we will say or that group

f

(n,N)

where

f

= 1,

=f

f+ If

f

£

+ 1-kfjHN,

~(N,k,E),

has a funct.lonal egu,Jtlon,

ts a form for the extended

r.(N),

multiplier

21

+ llr(N,k,El-==> fjHN = ±1 k f.

~

f

fl(ol _01) : (-l)kf.

this representation

of the group of order

where

then

is an automorphism of

mCN,k,E), We can

is real

~1),

(1.e. 1ts values are

C

of character

= ~1.

The

operate on

E and

T(nl,

for

~(N,k,El,

a5

V-3

A THEOREM OF WElL follows from:

LEMMA.

HNT(n) "' ETriTT Cn )HN,

~-

T(n) "' nk/2- IE L,

matrices of determinant Now U r•Hr;LIIN-l and

n,

III(N,k,E).

where U l'L and

L:

is all

(6 ~)(mod N).

is still disjoint, as one checks,

(g ;)cmod Nl,

Hr;LHN-l

on

RniiNT(nlH11 -l- T(n),

so

q.e.d.

The theorem of Wail [14) we are about to prove is in the spirit of Heeke's basic Theorem 1. When

N : 1, 111 =

ments for

r

r

(~

~ 1·.(1)

-01) ,

U

1s generated by tvo ele( ~ {) ,

so modular forms

are defined by two functional equations

(plu3 regulal"lLyl; periodlclty (functional eqll8t1on for

U)

~(s),

gives an associated Dirichlet series

and tho functtonal equation for tional equstlon for

~(s),

Rnrl

11 1

gives a func-

v1co versu.

result is to characterize forms for

r.(N),

Well's which

hRs l n gene1·a I more than two genera tors, by functional equations for many essociRted Dirichlet series. R,stdee2"txn/m.

x mod m

PROPOSITION 21.

~·

If

as desired. to show

g_ 1; we wanL m0 t

= m.

v-;

A THEOREM OF WElL

o,

and this is

I ACyl = 0,

since

because

x

is a non-trivial character on the group of y: 1 (mod m0 l,

modulo

m0 •

since

r

x<x> r xCxy)e2rrtxCI-yl/m

(x,ml-1

= If

y

E r ~(yle2"1x(l-y)/m Cx,ml"l y

Cx,ml > 1,

r

~hsracter

Is not a

A

For 2l,

then

~Cyle2~x(l-y)/m ~

8 2rr1x/mg;rxr

~

o.

y Thus

lsll2 = ~ ~(y)e2rrix(l-y)/m

m,

x,y the sum over

sln~e

y

x

is

0

for

y

I 1, m for

= l. Nolo/ if

and

A a chnracter of conductor

in Theorem 14,

is a Fourier series, m,

we define,

as


V-6

By the proof of Theorem 14, this is also ~ X(X)e-2WiXy/mf(~ + ;) m x,y mod m

=1

fi((T)

:.1

r

m y mod

:!x m Now let

gx'-ylf('t + Dl

Dl

ond

a 0 ,a 1 ,a 2 , ...

b0 ,b 1 ,b 2 , •.•

sequences of complex numbers, some

Let

a > 0,

Dl

"iC-y)f(~ + Y). m

~

y mod

Y)

an' bn

end form

..

f('t)

I a 0 2wirn n=O n

g (-r)

q:( s l

I a n -s n=l n

+Cs)

(9)

(217) -s res )cp ( s)

f(sl

C I 0,

A > 0,

k > 0;

.. ..

be two

= O(n°l

I b 0 2Trinr n=o n ~

b n- 9

nal n

C21T) -s rc 9 >.;c s >

recall that EBV means

"entire and bounded ln every vertical strip".

LEMMA l.

Equivalent are 1

I a Cb (All 4>(9) + A-s?(~+ ~l

s

nnd

4>(s)

for

k-s

k_s CA 2 V(k

is lillY, sl

arul

A THEOREM OF WElL

V-7

= CAkI 2 C~l

(Bl) f(~)

Now assume

is a positive Integer, and so

k

1"1 (~ ~)

wo hnvo the notation (

~ ""o~ ,

rjt r. 1L1 Or

= (w

t[GL+(2,Rl]

=t 1:

for

c 1 fjLi,

=R

X

(•)

operates on

f

and

R.

We now ch:tnge the notation.

a 0 ,a 1 ,a 2 , .•• ,

f

Letting

R: fj{

xC-NlliNy(b))aCm>

- o (mod l.f). (-ubN

l(m) 1

Now let tion

so

.((R)

= :{C-t>N).)

f c mCN,k,L) 1

f · ClkfiHN

character modulo

(C ~ ~1); N.

Then

with functional equahere f(~)

=

£

is a real

::' 2TT1nt ~ a e n=O n


V-10

with

an

O(n°)

by the preceding chapter. tru~;

(82) holds by hypothesis, so (A2) is y(b)

= t(m)

t(n)

modulo

Cg iX ( -N )dm)

hence (AJ).

This fJI"OV""'

THEOR~

Let

16.

equation Then

f

also

Thus, taking

we see (BJ') holds, and

~

ex

Ur·

Thus

f

£

"l.(N,k,E)

= CikfiHN' c = ~1

A satisfies (A2),

and

with functional Cso

"x

E Is rAnl). satisfies (AJ),

for every character

x whose r.ondur.tur m is

relatively prime to

N,

the value of

CA

being

taken as

We now turn to the converse, in a stronp, form; Le. assuming the functional equation for LX

for "sufflclently many"

~

r~.J.5,7,ll,

X modulo

LEMMA 4.

..• J;

m & Ill

Let

m

x's.

Let

any non-identity character

is primitive.

£ ~.

with

(m,NI

l;

let

V-11

A TIIEOREM OF WElL c~

! o. Then equivalent are: (A4) for every pr1m1 t1 ve (A3) holds wtth

cJ(

= (b',m)

).(b) ~ (Lilt•)

(1 -

k

l,

•

1~

whenever where

C~HNy(b))a(~);

r X(b)).(b) b mod m primitive

~.

~

m,

= C~x(-N)gli;.

(B4) ).(b) = ).(b' >(mod llr>, (b,m)

modulo

1..

= O(mod

for every

llr)•

X modulo m.

That (A4) is equivalent with (B4') follows

from Lemma 3.

Clearly (84) implies (B4'); con-

versely, given (84'), we have

o

r

x.h

<x
-t

if

GCi a

thus

< k,

an = 0 q.e.d.

b

V-16


~.

It is reasonable that condition c),

uniform tn all

x,

should imply regularity at

the cusps; we know ths converse only for congruence subgroups, via the Eisenstein series. Returning to the proof of Theorem 1?, we are gtven

an= O(nc),

and so by Proposition 1 1

f(x + ty) = O(y-c-l), form, by the lemma. verges absolutely

nt

and

f

is then a modular

Finally, suppose o

= o,

a < k.

converges absolutely in the half plane and so

n0 = 0 1

by (A2).

fices to show that

f(x

+

L(s) Then

conL(s)

Re(s) > a

lly the lemma, it sufiy) = O(y- 0 )

as

y ~

Now

~~ Ia I v=l v

~

... ~E Ia lv -a nu v~l v

~ t

janje-2T1Tly

= O(nv-, .

Hence

1r<x

~ 1y)l

~ (1 - e- 2 "Y) r s e- 2 771lY n

q.e.d. (Cf, proof of Proposition 1.)

Wc>ll's theorem

lead~

to a very interesting

o.

A THEOREM OF WEIL

V-17

conjecture on the zeta-function of an elliptic curve

Q.

E defined over

C(st~~,-ll,

be written

Thls zeta-function can

where

L(s)

= n Lp(s), p

the local factor If

Lp(s)

being defined as follows.

E has non-degenl!rate reduction at

p

(which

will be the case for all but a finite number of the p),

then

LP(sl

- ,. p

1 + p

(l - app-s + p1 - 29 )-l,

where

is the number of points on the reduced

curve with coo1•dinates tn the field elements.

If the reduction of

singular, we set

LP(s)

polnt is a cusp,

and

the singular point is

Glo'{p)

E modulo

of

p

p

is

if the singular (1 - app -s)-1 LP(s)

1f

= +l

if

=1

=

node, where

Et

ap

the tangents at the double point arc ratlonal over

GF(p),

and

ap

= -1

otherwise.

One can

n

define an integer

n p P,

N

the conductor of

p

E,

with

tion Rl ~tnd

np

np p,

n

> 2 p-

=2

for

=0 np

if

E has non-degenerate reduc1f

the reduction has a node,

if the reduction has

pI?, 3).

:1

cusp (and

The Hasse-Wcll conJecture


V-16

is that the hypotheses of Theorem 17 hold for L(s), E

= 1.

with

N the conductor of

It would then follow that

elated to a form

r

of

~1mengton

with a functional equation. fapf ! 2p 112 ;

E,

k

L(s) -2

2,

and

1s assofor

f 0 (N),

Actually, one knows

this is the "Riemann hypothesis"

for elliptic curves, proved by Hasse in 1934. Hence

L(s)

converges for

will be a cusp form.

Re(s) > 3/2,

so

f

Note the agreement or the

"Riemann hypothesis" and the Petersson conjecture.

A good Introduction to algebra-geometric aspects of this subJect 15 Shlmura [12) (and many other papers of Shimura.)

CHAPTER VI

QUADIIATIC FORMS

The most fruitful method of constructing modular forms of higher level 1s to form thetaseries of positive definite integral quadratic forms.

Thll basic references are Heeke's

"Aru.lytlsr.he Ar1thmetik der posltiven QUlldratischen FormPn" [5',No.ltll, and Schoeneberg [11]; we will give only a very small part of the theory here.

: 1 ~

n

2t,j=l 1,1

(xt = (x 1 , ... ,xr)' be a I.e.

Q(x)

Ca 1 J)

>0 a 11

for is

X

R,

1

J

A= r x r

matrix)

integral 4uadratic form,

posltiv~ d~flnlte

an lnleger, A=

xj E

X X

I

~n

o,

and

is

even integer, i.e.

is an integral symmetric matrix.

The

VI-2

MODULAR FORMS AND DIRICllL£1: SERIES

1D&la-fuoction associated to

Q is

~(r;Q) • ~ e2w1Q(n)~ n

where

nt

Cn 1 , ..• ,nr) c zr,

and

number or tntogral solutions of show eventually that of dimension case where

-k

C > 0,

for some and so

,, (T ;Q)

is evon.

e -2 eycl:n i

y

N,

in the

Q(x) > C

Note

( I: e -2 eycm

nt.lr where

is a modular form

-

i

2

i=l xi,

domina ted term-by-term by

2

I:

We will

Q Is positive definite,

since 1s

is the

Q(x) = v.

of a certain level

= 2k

r

,,(T,Q)

aQ(vl

2

f,

m£1:

= Im

T,

and so

~(t;Q)

is a holomorph1c

functton on the upper half plane. A is the

~of

is the determinant of 6

= (-l)kD

LEMMA.

Let

IDMtrlx

(Ktt

Q,

Q,

its determinant

and (1f

is the discriminant of

A

= (a 1 jl

evcnl.

r

~

2k

D

is Hven)

Q.

be an Integral symmetric If

r

ic odd, then

U = det A

VI-3

QUADRATIC FORMS

is even; if

r

is even, then

~

: 0 1 1 (mod 4).

o of n

ing over all permutations Since

letters.

A is symmetric, the terms ror

o and

o 1 o- 1 ,

are the same, and so cancel modulo 2 tf l.e.

a211.

fixes

~ome

If

letter

r

is odd, any and olnce

i'

D = 0 (mod 2).

we get

a2

o wtth "tt

u- 1

~ 1

is. &Ven,

We leave the second state-

ment, which we do not need, to the reader. Let

even.

A be integral syiiUDOtric, with

Then

DA-l = (A

ij

)

r

= 2k

ts the cofactor matrix,

whtr.h is still integral symmetric, by the lemma. Thus

DA-l

is again the matrix of ~n integral

positive definite quadratic form least positive integer ls the

l..l::£ti (Sture) or

N with Q,

~tDA- 1 x. NA-l = A•

.

=htNA-lx 2

ls the adlolnt

f2.J:m to Q;

integral

and tho corresponding

qu,.dratic form

Q (xl

The

note

NID,

and

VI-4

MOUULAR FORMS AND DIRICHL.t:r SERIES

is prlmitiye, i.e. v > l,

for

i.e. the greatest common divisor of

~;i

the coefficients

particular, if

1.

Q is primitive, then

PROPOSITION 22. Q satisfy

ts

and

Q and its adjoint Q•• ~ Q. In general,

t.a. and

of

1s not integral

Q•

N

~

•

N ,

have the same level,

N•jN,

and

The determinant NIDIN 2k;

The

hence

D and level

N and

D have

the same prime factors, and for a given level und number or variables

~k,

N

N

there are only f1-

ntte1y mAny corresponding discriminants

~.

The basic result, due to Schoeneberg [11], which we prove eventually, is that where

dnl

= (!!) n

d-n) = (-l)kdnl;

.t(T;Q) ~ !Tl(N,k,rl,

(Jacobi symbol) for

n > 0,

the two uses of the word level

then agree. We also need a mod1f1ed thetn-functlon, ustng

VI-5

QUADRATIC FORMS spherical functions.

Let

A be a symmetric posi-

tive definite real matrix of degree a quadratic form variables

y

xtAx.

= Dx,

r,

defining

By a linear change or

we dtagonaltze the quadratic

form: r

2

£ y 1=1 i t.e.

I

= (B-1)

t

AB-1,

or

A

BtB.

(B

is a real

matrix.) Now a function

f(x)

is a lillb!lt1s:al !UDs:t1!2n

with respect to the quadratic form £

a

i.e.

2 = 0,

xtAx

if

0

IIYt

~~=-£. • 1 8Y1 IIYt 1 bjl bk1

..

..

f(x)

so

• = ajk

'

is a spherical function relative to

tf and only if

• ____.d:_ :r a ij IIXtiiXj = o.

There is an inner product on functions X

£

Rr

'

by

I f(x)ilxTdx 1 • • •dxr xt.Ax,S.l

Q

f(x),

MODULAR FORMS AND OTRTCHLET SERIES

VI-6

fs"r /

=-

Y

THEOREM 18. of degree cients.

Let

f(x)

in

v

f(x)gri(Tdy 1 · · ·dy2 •

YD be

a homogeneous polynomial

x 1 , ... ,xr'

with complex coeffi-

Then the following three statements are

equivalent: l)

f(x)

is a spherical function with res-

pect to

f(x)

2)

xtAx.

is orthogonal On the above inner

product) to all homogeneous polynomials of degree
n P(x) = ''tAx)~,

where

Q(') = 0.

The transformed

theta-function w111 involve

p•(x) = P(A- 1 x>

= (~tA- 1 x>~,

satisfies

where

~tA- 1 ,1 = CtAC ~

o,

~ =A' t.e.

~·(q) =

o;

thus

p•(x}

QUADRATIC FORMS

VI-13

is a spherical function relat{ve to Q•(x). We start with ~(•,xl ~ E e 2 wiQ(n+xl• and n

L = E (i ~·

apply

i

LQ(x) - (tAx, (1)

L"•'

L2Q(x)

~

times. (tA(

Note

= o.

Thus:

E (2wi't)"((tA(xn+xll"e 2l71Q(n+xl• n

Dut by the transformation forroula (Proposition 23), we have also {I

nnd hence (2)

proved for the special spherical function and hence (by Theorem 18) for nny spherical function P(x),

TIIEOR~

by comparing (1) and (21:

19. (Schoeneberg)

If

P(x)

is a spherical


VJ-14 function for

Q(xl,

adjoint function

and

(R

P•(x) ~ P(A- 1xl

the

spherlrAl function for

Q•(xJ),

than:

E P(n + xle2wiQ(n+x)~ n

This suggests our "k" will be

k+v,

so we

set

selling

x

=0

above, and

HN

= (~

-j)

we have "(qQ,P)

Thus: COROLLAHY 1. ~

"(r ;~,Pl

..

--~ ./5 ,t(r,Q ,r,• l IHI\.

as usunl,

VI-15'

QUADRATIC FORMS Taking

X

=h

ls

N'

lntugral, the rormulo of Thoorom 19 reads•

o>

,c~;Q,P,hl

= N-"

PCnle 2 YTtQ(n)1;/N nO:h(N) I:

=~ r JiSt k+v n

ir

1~ tntecral.

N-"P(m).

m =- liA- 1n.

Am: 0 (mod Nl;

m is integral, and

n = N- 1Am

(der. l

~·(n)P(-vi/~)ntA-ln+2YTlnth/N.

On the right, substitute integral, and

2

Am

m is

on the other hand,

~ 0

Also,

Then

(mod

N),

then

P•(nl • P(A- 1 nl

The right side of (3) is thus:

(4l

Now suppose rlep~nds

Ah

0 (mod N).

only on

m modulo N,

':'hts proves:

Then so (4)

t

e 2 wim AhiN u~cum~s•

2

MODULAR FORMS AND DIRICHLEt SERIES

Vl-16

COROLLAkY 2.

For an integral vector

Ah: 0 (mod Nl, ~(T;Q,P,h)

N-~

k

"(qQ,P,h)

h

with

define

; ~

./5

t P(n)e 2 wlQ(n)T/N n:h(N)

2

2

t

E 0 2w1g Ah/N "(T;Q,P,g)IH 1 g mod N Ag-o(N)

We also have obviously that ;>

"(T+l;Q,P,h) = e 2wtQ(h)/N "(T;Q,P,h). Hence the vector space generated by the

"(qQ,P,h)

is operated on by the full modular group series are clearly regular at at

..,

if

" > 0.

thclr tnvartance under

r(N) N

Suppose

r.

These

and vanishing

lienee we only have to check

modulEtr forms of level ~·

~,

N

= 1,

to know

they are

(cusp fu1·tnS 1 f i.e.

By ChRpter 1, we know

tk = 1,

number of variables is

li&US

D

= 1.

"

> 0).

Then

I.e. ~jk;

divisible by

the 8.

We

VT-17

QUADitATIC FORMS

have

is a modular

~(~,Q)

and level

wtth

1.

of dimension

for~

An example with

~(t,Q) = 1 ~ E:=laQ(~)e 2 F1~t

dim rnCC',4)

= 1,

Similarly, tf aQ(~)

is

Since

we have necessartly

Q has representation numbers

so

=8

r

-k

aQCvl

Q has 16 variables, then

= 480c7 Cvl.

For

there exist two forms with dlscrlmlnant

1

k

= 12,

Q1 , Q2

Siegel proved In 24 variables

anrl rllffarent theta-series;

then

ts a non-zero cusp form of dimension t.e.

~~(T),

c I

o.

-12,

Ramamyan's conjecture can

be thought of as an assertion about the difference (~)

aQ I

(~).

- aQ 2

In general, If

Q(x)

is a form

MODULAR FORMS ANO DIRICHLET

Vl-18

or discriminant

where

g(-r:)

b

v

2k variables

is a cusp form.

coefficients, we

where

in

1

S~Hl~~

(41k>,

then

In terms of Fourier

~ve

= O(vk12 l,

by Proposition 16, so the

theory of modular forms gives asymptotic results about the representation numbers

aQ(v).

Returning to our general development, btisidos the rules above, we also have, for any natural number (6)

c:

"(-r:;Q,P,h)

I: " ( C1: i CQ 1 p 1 g )

g

Let

g=h(N) mod eN

(~~),r•,

~-a....L cr+d cT+d' o)(r;Q,P,h)

with

c>O.

Then

so:

1(~ ~)

.,. ( ____l__ ,, r ) "'' a-cT+d;c ... ,.·,c

(C L+d)-(k+vl

g'h(N)

c

mod eN

QIIAilRATIC FORMS

VI-19

ik(_l)k+v ck./D

2 I e2wial;l(g)/cN " g-h(N) g 010d eN

r e2wtttAg/cN~~(c~+d;ci;I,P,t) t

mod eN

At f)(N)

(The },.,.t by Corollary 21 the dotormlnant of

Js

c 2ko.>

(71

Thus:

( b)

~(T;Q,P,h)l ~ d

~

1-k-2v ckJD

x

~ t(h,~l8(cT;cQ,P,t)

t

mod eN

A' IO(Nl

where

(A)

e2111CaQ(g)+~tAg+dQ(t))/cN 2

f

(:(h,·) g

h(Nl

g mod eN

for

{~ ~)

t

1 ',

c

~ 0.

One

~omputes:

cQ


VI-20

This shows that

(10)

t(h,tl

depends only on

t

hence, using (6), we can rewrite (7) as

modulo N;

~(T;Q,P,hll(~ ~) _ 1-k-2v . k E t(h,t)~(T 0 Q,P 1 ~). cJfitmodN At:O(N) In particular, if

d- O(mod N),

then (10)

becomes (11) ~(T;Q,P,h)l ( ac

bd)

t(h.O) E e-2w1hLAt•b/N 2 ~(0

c < 0,

and

Njd.

This then holds also for

(~ ~)

since if we replace

this gives a factor of

(1]}, stnce

(-llk+v

~(-h) = (-llv~(h).

by

(:~ :~)•

on both sides of ChRngtng the

notation,

for

(~ ~} e r~(Nl,

(15) tp(h)

where (cf. (8))

I: 8 2111bQ(g)/dl?. h(N) g mod dN g

In this sum, we can wl'i te g 1 mod d, (1 6 ) cp

g

= adh

+ Ng 1 ,

and (15) becomes

(h) - e2'11"labQ(hl/N 2

Thus, (14) becomes

I:

s1

9

211lbQ(nl/d.

mod d

VI-22

MODULAR FOHM:> AI'W lJIIHCHLET SERIES

= d-k

~(b,d)

where

(~ ~} r I'~ (N).

t e 2 nlbQ(g)/d, g mod d

In order to 1 nvestigate the

= 1,

further, let us take

~

~(T;Q,P,hl = ~(T;Ql I

0.

h

1s lp the field or ~

and hence

1

the automorphism

= ~(l,d)

0. E(d)

It remains to determine

(we know E(d)

(-l)k),

d-1)

r:

d-k

d >0

for

We have

e2JT1Q(g)/d,

g modd

and

E(d)

Q(x) say

d modulo N.

depends only on

be an odd prlme with

p

d (mod N)

;

can be diagonelh:ed modulo

Q(x)

p

£

z.. Then

dp)

p

p

2

-k 2k

2rriajgj/p

Ee .1"1 g.l mod p II

-k 2k II j~l

where

~

E(lt-(p))e .:.1 mod p

2rr1a Jzj/p

is the Legendre symbol,

(~) p

"0 1 1,-1

as

PIZ

is solvable, or oth .. rwige.

p

wl th integers,

r: a.lx~ (mod p), where aj .1

E(d)

Let

and so that

J'

Note t.h>ot

VI-24

D:

MODULAR l''OKM:; AND DIRICIILET SERIES

2k II (2a 3 ) (mod p); j=l

piD,

PIN,

plri,

hence

p .( a 3

contrary to

r e2"1a3"'lP z 3 mod p

0,

(d,N)

(othervise

= 1).

Thus

and the above becomes:

c(p)

dd)

P-

p-

k 2k

n gX(a 3 J

(Gauss sums)

j=l k 2k

n Cx(aj)gX)'

by Proposition 21

j"l

p

-k 2k ( )

gX X D '

2k

since

U-

n (2aJl (mod

j=l

2 x

Modular forms and Dirichlet series (Mathematics lecture note series)

Modular forms and Dirichlet series (Mathematics lecture note series)

Modular Forms and Dirichlet Series

Elementary Dirichlet Series and Modular Forms

Elementary Dirichlet Series and Modular Forms

Elementary Dirichlet series and modular forms

Elementary Dirichlet Series and Modular Forms (Springer Monographs in Mathematics)

Dirichlet series from automorphic forms

Hecke's theory of modular forms and Dirichlet series

Hecke's Theory of Modular Forms and Dirichlet Series

Introduction to Siegel modular forms and Dirichlet series

Introduction to Siegel Modular Forms and Dirichlet Series

Rings of operators (Mathematics lecture note series)

Saturated model theory (Mathematics lecture note series)

Algebraic K-theory (Mathematics lecture note series)

Partitions, Q-Series, and Modular Forms

Partitions, q-series, and modular forms

Partitions, q-Series, and Modular Forms

Partitions, q-Series, and Modular Forms

Modular functions and Dirichlet series in number theory

Commutative Algebra, 2nd ed. (Mathematics Lecture Note Series, 56)

Manifolds and Modular Forms (Aspects of Mathematics)

Dirichlet series and automorphic forms (LNM0189, Springer 1971)

Multiple Dirichlet Series, L-functions and Automorphic Forms

Introduction to function algebras (Mathematics lecture note series)

Varieties of Constructive Mathematics (London Mathematical Society Lecture Note Series)

Modular Forms

Modular Forms

Modular Forms

Modular Forms

Combinatorics (London Mathematical Society Lecture Note Series)

Modular forms and Dirichlet series (Mathematics lecture note series)