MODULAR FORMS

WEI ZHANG

NOTES TAKEN BY PAK-HIN LEE

Abstract. Here are the notes I took for Wei Zhangs course on modular forms offered at
Columbia University in Spring 2013 (MATH G4657: Algebraic Number Theory). Hopefully
these notes will appear in a more complete form during Fall 2014. I recommend that you
visit my website from time to time for the most updated version.
Due to my own lack of understanding of the materials, I have inevitably introduced
both mathematical and typographical errors in these notes. Please send corrections and
comments to phlee@math.columbia.edu.

Contents
Classical Modular Forms
1. Lecture 1 (January 23, 2013) 3
1.1. Introduction 3
1.2. Basic Definitions 3
1.3. Eisenstein series 5
2. Lecture 2 (January 28, 2013) 6
2.1. Eisenstein series 6
3. Lecture 3 (January 30, 2013) 9
3.1. Modular Curves 9
4. Lecture 4 (February 4, 2013) 13
4.1. Modular Curves 13
4.2. Elliptic curves with level structures 15
5. Lecture 5 (February 6, 2013) 16
5.1. Heegner points 16
5.2. Dimension formulas 17
6. Lecture 6 (February 11, 2013) 19
6.1. Hecke operators 19
7. Lecture 7 (February 13, 2013) 21
7.1. Hecke operators for level 1 21
7.2. Hecke operators for level N 23
7.3. Petersson inner product 25
8. Lecture 8 (February 18, 2013) 25
8.1. Petersson inner product 25
8.2. L-functions 27
9. Lecture 9 (February 20, 2013) 29

Last updated: September 6, 2014.

1
9.1. Hecke operators 29
9.2. Atkin-Lehner theory 31
10. Lecture 10 (February 25, 2013) 32
10.1. Atkin-Lehner theory 32
10.2. Rationality and Integrality 34
10.3. Plan 35
Warning: The following lectures have not been edited.
11. Lecture 11 (February 27, 2013) 35
12. Lecture 12 (March 4, 2013) 35
13. Lecture 13 (March 6, 2013) 35
14. Lecture 14 (March 11, 2013) 35
15. Lecture 15 (March 13, 2013) 35
p-adic Modular Forms
16. Lecture 16 (March 25, 2013) 36
17. Lecture 17 (March 27, 2013) 36
18. Lecture 18 (April 1, 2013) 36
19. Lecture 19 (April 3, 2013) 36
20. Lecture 20 (April 8, 2013) 36
21. Lecture 21 (April 10, 2013) 36
22. Lecture 22 (April 15, 2013) 36
23. Lecture 23 (April 17, 2013) 36
24. Lecture 24 (April 22, 2013) 36
25. Lecture 25 (April 24, 2013) 36
26. Lecture 26 (April 29, 2013) 36
27. Lecture 27 (May 1, 2013) 36

2
 1. Lecture 1 (January 23, 2013)
1.1. Introduction. Last year this course was about class field theory. This year we will
focus on modular forms. The two main topics are:
(1) classical (holomorphic) modular forms for the full modular group SL2 (Z) and its
congruence subgroups. We will be interested in both the analytic and arithmetic
theory.
(2) p-adic properties and p-adic modular forms.
We will not follow any specific textbook closely, but a list of references includes:
(1) Diamond, Shurman, A First Course in Modular Forms. Homework will mainly be
assigned from this book (among other resources).
(2) Serre, A Course in Arithmetic. The last part of this book has a concise explanation
of modular forms for SL2 (Z).
(3) Shimura, Introduction to the Arithmetic Theory of Automorphic Functions.
(4) Lang, Introduction to Modular Forms.
1.2. Basic Definitions. We begin with some basic definitions.
Definition 1.1. The upper half plane is H = { C : Im( ) > 0}.
We will reserve the 
letter zfor any complex number not necessarily contained in H.
a b
Any SL2 (R) = : a, b, c, d R, det = 1 acts on H via
c d
a + b
= .
c + d
Check that this defines a group action. The key point is
Im( )
Im( ) =
|c + d|2
using the fact that det() = 1. Moreover this action defines a biholomorphic automorphism
of H. The set of biholomorphic automorphisms of H is
Aut(H)
= PSL2 (R) = SL2 (R)/{I}.
We will be interested in discrete subgroups of SL2 (Z). More specifically,
Definition 1.2. Congruence subgroups are subgroups SL2 (Z) that contain (N ) for
some positive integer N , where (N ) is the principal congruence subgroup of level N defined
by       
a b a b 1 0
(N ) = SL2 (Z) : (mod N ) .
c d c d 0 1
We can define various other subgroups that have finite index in SL2 (Z), for example, by
changing the condition into
      
a b a b
0 (N ) = SL2 (Z) : (mod N ) .
c d c d 0
Definition 1.3. A weakly modular function of weight k is a function f : H C such that:
(1) (meromorphicity) f is meromorphic on H;
3
    
a + b k a b
(2) (transformation rule) f ( ) = f = (c + d) f ( ) for all =
c + d c d
SL2 (Z).
The group SL2 (Z) is generated by two elements, which are the matrices corresponding to
translation 7 + 1 and inversion 7 1 .
   
1 1 0 1
Lemma 1.4. SL2 (Z) = , .
0 1 1 0
With this we can show
Lemma 1.5. A fundamental domain of H modulo SL2 (Z) is
   
1 1 1
D = H : Re( ) < , | | > 1 H : Re( ) 0, | | = 1
2 2 2
i.e. under SL2 (Z)-transformation, every point in H is equivalent to exactly one point in D.
(Diagram here)
A proof can be found in Serres book. The key idea is to maximize Im( ). Maximum
is achieved precisely when it lies in the fundamental domain.
Since I acts trivially on H, we consider PSL2 (Z) = SL2 (Z)/{I}.
Suppose
 f is a weakly modular function that is holomorphic on H. Transformation by
1 1
= shows that f satisfies f ( + 1) = f ( ), i.e. f has period 1. We can then consider
0 1
its Fourier expansion: for any = x + iy, viewing f as a function of x gives
X
f (x + iy) = an (y)e2inx
nZ

where the Fourier coefficients are given by

Z 1 Z 1+iy
2inx 2ny
an (y) = f (x + iy)e dx = e f ( )e2in d
0 0+iy

So far we have not used the holomorphicity Rof f . By contour integration over the rectangle
1+iy
with vertices iy, 1+iy, iy 0 , 1+iy 0 , we have that 0+iy f ( )e2in d is independent of y because
the integral over the two vertical edges cancel. Hence we can write
X
f ( ) = an e2in .
nZ
2i
It is convenient to introduce q = e . Then the Fourier expansion of f is given by
X
f ( ) = an q n .
nZ

Geometrically, the map 7 q = e2i sends the upper half plane H into D {0} where
D = {z C : |z| < 1} is the open unit disk. In fact this induces a biholomorphism
H/Z = D {0}.
Here we see that the singularity around the origin is important. A priori we could have any
Fourier expansion.
4
Definition 1.6. f is meromorphic at = if there exists M Z such that an = 0 for all
n < M . f is holomorphic at = if an = 0 for all n < 0.
This is equivalent to saying that f (q) extends to a meromorphic (holomorphic) function
on the unit disk D.
Definition 1.7. A modular form of weight k is a function f : H C such that:
(1) f is holomorphic on H{} (i.e. the Fourier expansion only has nonnegative powers
of q);  
a b
(2) f ( ) = (c + d)k f ( ) for all = SL2 (Z).
c d
Let us look at some examples, otherwise we would just be doing function theory.

1.3. Eisenstein series. We associate to H the lattice = Z + Z C, which is free

abelian of rank 2 since has positive imaginary part. Define
X X0
Gk ( ) = wk = (m + n)k
w {0} (m,n)Z2

where 0 means we are summing over (m, n) 6= (0, 0).

P
a +b
Gk satisfies the following transformation property: if we replace 7 = c +d
, then

Gk ( ) = (c + d)k Gk ( ).
Gk is identically zero when k is odd, so it is only interesting when k is even.
We have not addressed convergence issue yet.
Lemma 1.8. Gk ( ) is absolutely convergent if k 4, and uniformly convergent on any
compact subset of H, so it defines a holomorphic function on H.
Proof (Sketch). To prove convergence, we can assume D is in the fundamental domain.
Then
D
|w|2 = |m + n|2 = m2 + 2mn Re( ) + n2 m2 mn + n2 = |m + n|2
(where is a cube root of unity). Therefore we can bound
X0 X0
|Gk ( )| |w|k = |m + n|k
m,n m,n

which is convergent when k 3. This proves convergence and uniform convergence over
compact subsets. 
By absolute convergence, we can evaluate limits term-wise.
X0
Lemma 1.9. lim Gk ( ) = nk = 2(k) where is the Riemann zeta function.

nZ

Corollary 1.10. For k 4 even, Gk is a modular form of weight k, called the Eisenstein
series of weight k.
5
 Later we will see that these are essentially the only modular forms.
Next we consider the Fourier expansion of Gk ( ). It is well-known that
 
1 X 1 1 cos z
+ + = cot z =
z d=1 z + d z d sin z
which has simple
P poles at the integers and is holomorphic elsewhere. Be careful not to write
1
the sum as dZ z+d because this is not convergent!
For a proof of this identity, Diamond-Shurman gives the hint
Y z2

sin z = z 1 2
n1
n
but this is like cheating because the two identities are equivalent the identity we want is
just the logarithmic derivative of this one. Instead we invoke a general theorem.
Lemma 1.11 (Special case of Mittag-Leffler). If f : C C is a meromorphic function
having simple poles a1 , a2 , , ai , with residues b1 , b2 , , bi , respectively such that
(1) the sequence 0 < |a1 | |a2 | |ai | goes to ;
(2) there exist closed contours Cm with length lm and distance Rm to 0 such that lm /Rm <
N1 , Rm , and |f |Cm | < N2 for given positive numbers N1 , N2 , then
 
X 1 1
f (z) = f (0) + bi +
i=1
z ai ai
The proof uses the Cauchy integral formula and is left as an exercise.

2. Lecture 2 (January 28, 2013)

2.1. Eisenstein series. Last time we defined the space of modular forms and gave the
example of Eisenstein series
X0 X0
G2k ( ) = 2k = (c + d)2k
(c,d)Z2

where = Z + Z . For k 2, this is absolutely convergent and uniformly convergent on

compact sets. Thus G2k M2k , the space of modular forms of weight 2k. Also recall that
G2k () = 2(2k).
We want to find the Fourier expansion. We make use of the following identity
 
1 X 1 1 1 X 2z
cot z = + + = +
z d=1 z d z + d z d=1 z 2 d2
(the way to remember this is to look at the zeroes and poles of cot z) which is convergent.
Multiplying z on both sides gives

cos z X z2 X
z =1+2 2 d2
= 1 2 (2k)z 2k
sin z d=1
z k=1

z2 z2 1 X z2 k
where we expanded at z = 0 using the geometric series 2 = 2 = ( ) .
z d2 d2 1 dz 2 k=1
d2
6
 Incidentally we found a way to evalute the Riemann zeta function! This relates to the
Bernoulli numbers as follows. The left hand side of the above equation can be written as
iz iz t
iz eeiz +e
eiz
= 2t eet +1
1
where t = 2iz, so
 
t 2 X (2k) 2k
1+ t =12 t
2 e 1 k=1
(2i)2k
Recall that
Definition 2.1. The Bernoulli numbers are defined by

t X Bk k
t
= t .
e 1 k=0 k!
As a corollary,
(2i)2k B2k
(2k) = 2k Q
2 (2k)!
for k 1.
Let us go back to the question of finding the Fourier expansion of the Eisenstein series
X
X0 X 1
G2k ( ) = (c + d)2k = 2(2k) + 2 2k
.
c=1 dZ
(c + d)
(c,d)

The series expansion of cot z becomes 1

  !
X
1 2 X
(z + d) = cot z = i 1 + = i 1 2 e2inz
dZ
e2iz 1 n=1
2iz
which is valid for Im(z) > 0 (so that |e | < 1). Taking (2k 1) times derivative with
respect to z, we have
X
X
2k 2k
(2k 1)! (z + d) = (2i) n2k1 e2inz .
dZ n=1

Taking z = c and suming over all positive integers c, we obtain

(2i)2k X
G2k ( ) = 2(2k) + 2k1 (n)q n
(2k 1)! n=1
where the divisor sum function is defined as k (n) = 1m|n mk .
P
The normalized Eisenstein series of weight 2k is defined to be

G2k ( ) 2k X
E2k ( ) = =1 2k1 (n)q n .
2(2k) B2k n=1
For example,

X
E4 = 1 + 240 3 (n)q n Z[[q]];
n=1

1The left hand side is written this way for simplicity. There will not be any convergence issues after
differentiation.
7

X
E6 = 1 504 5 (n)q n Z[[q]].
n=1
In general we only have E2k ( ) Q[[q]]. The fact that E2k has rational coefficients is
important in the second half of the course when we discuss p-adic modular forms.
X (d)
We can generalize modular forms for SL2 (Z) to (N ), for example .
(c + d)k
c0 (mod N )
We will prove that, in a certain sense, the Eisenstein series generate all the modular forms.
If f is a weakly modular function of weight k for SL2 (Z) that is meromorphic everywhere
on H {}, we define its order of vanishing v (f ) at H {} as follows. At H, this
is just the routine definition for complex-valued functions. For = , consider the Fourier
expansion !
X X
f ( ) = an q n = q n0 an0 + an q n
n n>n0
where an0 6= 0. Then the order of vanishing is defined to be
v (f ) = n0 .
We can check that v depends only on the SL2 (Z)-orbit of .
Lemma 2.2.
X k
m v (f ) = (1)
12
D{}
where 1
if = i
2
1
m = if =
3
1 if = or D\{i, }

Remark. The weights are present because i and have non-trivial stabilizers. Later we will
give a more geometric proof using modular curves and Riemann-Roch.
Proof (Sketch). Use contour integration along the boundary of D truncated by a horizontal
segment which bounds all the zeroes and poles in D, detouring around , i, + 1 along
small circular arcs. We first assume there are no zeroes or poles on the boundary. By the
argument principle, Z 0
1 f ( ) X
d = v (f ).
2i f ( )
D\{i,}
1
Around = , + 1, the contribution from the two arcs is 2( 2 v (f )) = 31 v (f ).
3
Similarly, around = i, the contribution is 12 vi (f ).
Under 7 1 , f ( 1 ) = k f ( ). The arc on the unit circle has contribution 12 k
.
2i
Under 7 q = e , the horizontal path gives v (f ).
If there are zeroes or poles on the boundary, we detour along small circular arcs such that
each equivalence class of zeroes and poles is counted exactly once inside the contour. 
This handy formula can help us find the dimension and basis of modular forms for SL2 (Z).
Theorem 2.3.
8
 (1) The graded algebra of all modular forms for SL2 (Z) is

M
Mk = C[E4 , E6 ]
k=0

i.e. any modular form is a polynomial in E4 and E6 .

1
(2) = (E 3 E62 ) is a cusp form of weight 12. ( ) 6= 0 for H and has a
1728 4
simple zero at .
Proof. If k 2, there is no integral solution to Equation (1), so there are no non-zero
modular forms of weight 2 for SL2 (Z). The same fact for 0 (2) is important to the proof
of Fermats Last Theorem!
If k = 4, the only solution is v (E4 ) = 1 and E4 doesnt vanish at any other point. We
have M4 = CE4 .
If k = 6, the only solution is vi (E6 ) = 1. We have M6 = CE6 .
If k = 8, the only solution is v (f ) = 2. Since E42 and E8 have the same constant term 1,
we have E42 = E8 (which implies a relation between 3 and 7 ).
If k = 10, we have E4 E6 = E10 .
If k 12, we see that Mk = Sk CEk where Sk is the space of cusp forms of weight k.
f
If f Sk , by definition v (f ) 1. But v () = 1 and v () = 0 for all H, so
is holomorphic everywhere and the map Mk12 Sk given by f 7 f is an isomorphism.
Thus
Mk = Mk12 CEk ,
so it suffices to prove Ek is a polynomial of E4 and E6 , and the theorem will follow by
induction on k.
But the above splitting is not unique. We only required that Ek is not a cusp form. Since
the equation 4a + 6b = k always has a solution in non-negative integers if k 4 is even, we
rewrite
Mk = Mk12 CE4a E6b
which finishes the proof of (1). (2) is trivial. 
We set
E4 ( )3 1
j( ) = = + .
( ) q
Then j is holomorphic for H with v (j) = 1. Next time we will see that it defines an
isomorphism SL2 (Z)\H {} = P1 .

3. Lecture 3 (January 30, 2013)

3.1. Modular Curves. We will discuss modular curves, which are Riemann surfaces over
C. So far we have studied modular forms over SL2 (Z), but the definition works if we replace
it by congruence subgroups2, for example
(N ) 1 (N ) 0 (N )
2Holomorphicity at cusps requires some care. See Chapter 1.2 of Diamond-Shurman for details.
9
for any N 1, where
      
a b a b 1 0
(N ) = SL2 (Z) : (mod N ) ;
c d c d 0 1
      
a b a b 1
1 (N ) = SL2 (Z) : (mod N ) ;
c d c d 0 1
      
a b a b
0 (N ) = SL2 (Z) : (mod N ) .
c d c d 0
Note that the principal congruence subgroup (N ) is the kernel of the map
mod N
SL2 (Z) SL2 (Z/N ).
More generally, if we define the Borel subgroup
 

B0 (Z/N ) = SL2 (Z/N )
0
and denote  
1
B1 (Z/N ) = SL2 (Z/N );
0 1
 
1 0
B(Z/N ) = SL2 (Z/N );
0 1
then (N ) is the preimage of B (Z/N ) SL2 (Z/N ), where = 0, 1 or nothing.
These subgroups all have finite indices. To find [SL2 (Z) : (N )] for = 0, 1 or nothing,
note that it is equal to the indices
[SL2 (Z/N ) : B (Z/N )] = [GL2 (Z/N ) : B
e (Z/N )]

where the latter B e is the corresponding subgroup of GL2 (Z/N ). It is a standard exercise to
find the order of GL2 (Z/N ).
For N = p a prime, the order is (p2 1)(p2 p), the number of bases of (Z/p)2 .
For N = pk a prime power, the order is ( Np )4 (p2 1)(p2 p) = N 4 (1 p1 )(1 p2 ).
In general, | GL2 (Z/N )| = N 4 p|N (1 p1 )(1 p2 ).
Q

On the other hand, for N = pk a prime power, |B e 0 (Z/pk )| = (N (1 p1 ))2 N = N 3 (1

p1 )2 , so in general |B
e 0 (Z/N )| = N 3 1 2
Q
p|N (1 p ) .
Therefore, we have
Y
[SL2 (Z) : 0 (N )] = [GL2 (Z/N ) : B
e 0 (Z/N )] = N (1 + p1 ).
p|N

Let SL2 (Z) be a congruence subgroup containing I. We equip Y = \H with the

quotient topology given by
: H \H,
i.e. U Y is open if and only if 1 (U ) H is open. It follows that is an open map.
Lemma 3.1. Under this topology, Y is Hausdorff.
10
Proof (Sketch). We show that the action of on H is properly discontinuous, i.e. for any
1 , 2 H (possibly 1 = 2 ), there exist neighborhoods U1 and U2 of 1 and 2 respectively
such that for , U1 U2 = if and only if 1 = 2 . Thus (U1 ) and (U2 ) separate
any (1 ) 6= (2 ).
If this is true for = SL2 (Z), then it is true for any subgroups. If 1 and 2 are in the
interior of the fundamental domain, then it is clearly true. If they are on the boundary, we
use two half-disks. 
Definition 3.2. The stabilizer group of H is = { : = } .
Lemma 3.3. is finite cyclic.
Proof. Consider H = SL2 (R)/ SO(2) (SO(2) is a compact abelian group isomorphic to S 1 ).
Then = 1 SO(2) is the intersection of a discrete group and a compact group, hence
is finite. But any finite subgroup of S 1 must be cyclic. 
We will see later that /{I} is isomorphic to one of {1}, Z/2, Z/3. Up to SL2 (Z)-
equivalence, the only points with non-trivial stabilizers are i and .
Definition 3.4. H is an elliptic points if / I is nontrivial.
Lemma 3.5. There are only finitely many elliptic points modulo .
Proof. This is true for SL2 (Z), hence true for any subgroup of finite index. 
Recall that a Riemann surface is defined to be 1-dimensional complex manifold, and charts
are local coordinates for each point of Y which are compatible.
It is a completely routine process to check that Y is a Riemann surface. Every point of
Y is of the form for H. If is not elliptic, applying the proof of Lemma 3.1 to
1 = 2 = shows that has a neighborhood U such that U U 6= implies = . Then
U gives a local coordinate at .
If is elliptic, locally its neighborhood is D/2 or D/3 with local coordinate given by
z 7 z 2 or z 3 .
(Diagram here)
Example 3.6. For = SL2 (Z), Y = SL2 (Z)\H. Recall that the j-function is defined as
E43
. Viewing j as a function on Y , the order of vanishing is given by

1
v() (j) = v (j).
3
We will simply accept compatibility of these local charts...
Y is a non-compact Riemann surface. For = SL2 (Z), j is holomorphic everywhere on
Y .
We want to compatify Y . Recall one-point compactification from topology: if X is a
topological space, consider X e = X {} where the open sets of X e are the open sets of X
together with {} cocompact open sets of X. This implies X e is compact.
We will do some sort of one-point compactification for H modulo SL2 (Z). Define
H = H P1 (Q) = H Q {}.
11
Note SL2 (Z) acts on P1 (Q): for [x, y] P1 (Q),
    
a b x ax + by
=
c d y cx + dy
so P1 (Q) = SL2 (Z) .
The topology on H is generated by open sets of H, sets of the form RM = {} {
H : Im( ) > M } for all M > 0, and all possible SL2 (Z)-translates of RM . Then H is
compact. In terms of the fundamental domain, D {} is compact (same proof as one-
point compactification). This implies
X := \H = Y (\P1 (Q)).
The points of \P1 (Q) are called cusps.
Since : H X is surjective, X is compact for = SL2 (Z). For congruence subgroups
, X is a union of finitely many translations of D {}, hence compact as well.
 Next
 we consider the local coordinate at . Since the stabilizer
SL2 (Z) is given by
1 1 NZ
, in general we have = SL2 (Z) for some positive
0 1 0 1
 
1 h
integer N . Let h be the minimal positive integer such that , called the
0 1
width or period. Give local coordinate at by q = e2i /h . In general, for P1 (Q), h
is defined by moving to by SL2 (Z).
To summarize, we have shown that \H = Y X = \H are Riemann surfaces, and
X is compact.
We are interested in understanding the invariants of X as a Riemann surface, e.g. its
genus.
Notation. For = (N ) where = 0, 1 or nothing, we denote Y (N ) = Y and X (N ) = X .
Theorem 3.7. The map j : X0 (1) P1 sending SL2 (Z) 7 j( ) and 7 is an
isomorphism.
Proof. This is a degree 1 map between two compact Riemann surfaces. 
We use this to study the genus of modular curves via coverings.
Suppose I 1 2 and write X1 = X1 , X2 = X1 . Then : X1 X2 is a covering
map of degree deg() = [2 : 1 ], since for a non-elliptic point we have #(2 \1 ) = [2 :
1 ], and there are only finitely many elliptic points.
To calculate the genus, we use the Riemann-Hurwitz formula. It is enough to calculate
ramifications, which is where we need to use the local coordinates.
2g1 2 = (2g2 2) deg() + deg Ram
P P P
where deg Ram = xX1 (ex 1) = yX2 deg Ry , deg Ry = x1 (y) (ex 1), and ex is the
ramification degree at x X.
Note that the ramification points are a subset of the fibers over elliptic points of X2 (but
the preimage of an elliptic point of X2 may or may not be an elliptic point of X1 since 1
is smaller). Thus the ramification degrees must divide 2 or 3, the only possible orders of
elliptic points. If there were elliptic points of order 4 we would be dead!
To compute the genus of any modular curve, we take 2 = SL2 (Z) and let d = deg().
12
 For h = 2, 3, define eh to be the number of elliptic points in the fiber over the order h
elliptic point Ph of SL2 (Z)\H , where P2 = i and P3 = . Then the number of non-elliptic
points in the fiber over Ph is de
h
h
, so Rh = (h 1) de
h
h
.
(Diagram here) P
Define e to be the number of cusps in X1 . Then R = (ex 1) = d e .
Plugging in everything,
X h1 1 2
2g1 2 = 2d + (d eh ) = 2d + (d e2 ) + (d e3 ) + (d e )
h=2,3,
h 2 3

So we have proved
d 1 1 1
Theorem 3.8. g(X ) = 1 + e2 e3 e .
12 4 3 2
Next time we will compute this X0 (N ), somewhat the most useful case. In this case,
the elliptic points are interesting. We will apply the so-called moduli interpretation using
elliptic curves.
In general it is hard to calculate eh . It is easy if is a normal subgroup, e.g. (N ), because
every point in a fiber will either be simultaneously elliptic or non-elliptic. But 0 (N ) is not
normal.

4. Lecture 4 (February 4, 2013)

4.1. Modular Curves. Last time we constructed the modular curve X , which is a compact
Riemann surface with genus given by
d e2 () e3 () e ()
g(X ) = 1 +
12 4 3 2
where d is the degree of the natural map X XSL2 (Z) , e2 , e3 are the number of elliptic
points of order 2, 3 respectively, and e is the number of cuspidal points of X .
If is normal, e.g. (N ), everything is easy to compute.
Today we will do the example of X0 (N ) = 0 (N )\H .
Theorem 4.1. For = 0 (N ), we have
(
0
e2 (0 (N )) = Q    if 4 | N,
4
p|N 1 + p
if 4 - N,
(
0 if (Q( 1), N ) does not satisfy the Heegner condition,
=
2#{odd p|N } if (Q( 1), N ) satisfies the Heegner condition,

(
0 if 2 | N or 9 | N,
e3 (0 (N )) = Q  
3

p|N 1+ p
otherwise,
(
0 if (Q( 3), N ) does not satisfy the Heegner condition,
=
2#{odd p|N } if (Q( 3), N ) satisfies the Heegner condition,
13
  
4 3
= 0; otherwise p is the Legendre symbol, and



where we define 2
= 0 and 3
X  
N

e (0 (N )) = gcd d, ,
d
d|N
P
where (n) = c|n 1.
Definition 4.2. The Heegner condition for (K, N ) means for every p | N , either p is split
in K or p is ramified with p || N .
Remark. This condition is important for the development of the Gross-Zagier formula.
To prove these formulas it is better to use the moduli interpretation of Y0 (N ), at least
as a set.
For N = 1, we can give meaning to SL2 (Z)\H as the moduli of elliptic curves over C, i.e.
the set of 1-dimensional complex tori C/ for some lattice modulo isomorphism classes as
Riemann surfaces. Equivalently, this is the set of lattices C modulo homothety, namely
1 2 if and only if there exists C such that 1 = 2 .
Indeed, we can establish
 a bijection by sending SL2 (Z)\H to = Z + Z . Replacing
a b
by where SL2 (Z), the lattice becomes
c d
a + b 1 1
Z+Z = (Z(c + d) + Z(a + d)) = (Z + Z ),
c + d c + d c + d
i.e.
1
=

c + d
and so the map is well-defined. Bijectivity can then be verified easily.
Remark. A function f on H satisfying the weight k condition
f ( ) = (c + d)k f ( )
can be interpreted as a function g on the set of lattices of homogeneous degree k
g() = k g().
Given g, we can define f on H by f ( ) = g( ). Then
1
f ( ) = g( ) = g( ) = (c + d)k g( ) = (c + d)k f ( )
c + d
and vice versa.
We can further interpret this as a function h on the set of equivalence classes (E, ) of
elliptic curves with a 1-form 0 6= H 0 (E, 1E/C ) such that
h(E, ) = k h(E, ).
Given a function h, how do we get f ? To any given H we associate the elliptic curve
E = C/ and the canonical 1-form dz, which descends to E because it is invariant un-
der translation, and define f ( ) = h(E, dz). Then C/ c1+d is isomorphic to C/ via
multiplication by c + d, so
1
h(C/ , dz) = h(C/ , dz) = h(C/ , (c + d)dz) = (c + d)k h(C/ , dz),
c + d
14
i.e.
f ( ) = (c + d)k f ( ).
Note that we have not put any holomorphic conditions on H or at the cusps. We are just
trying to interpret the weight k condition by considering the points of the modular curves
as a set.
4.2. Elliptic curves with level structures. By definition, an elliptic curves with (N )-
level structure ( = 0, 1 or nothing) is a pair (E, ) where

cyclic subgroup of order N (of E[N ])
if = 0,
3
= order N point (of E[N ]) if = 1,
a Z/N -basis of E[N ]: (, ) E[N ]2 with Z/N + Z/N = E[N ] if = nothing,

where E[N ] is the subgroup of N -torsion. If E = C/ with group structure induced by the
complex numbers, then E[N ] = N1 / = (Z/N )2 as abelian groups.
The equivalence relation is given in the obvious way: two pairs (E1 , G1 ) and (E2 , G2 ) are

isomorphic if there is an isomorphism E1 E2 with (G1 ) = G2 .

Lemma 4.3. There is a bijection between Y (N ) and {(E, )} modulo equivalence given by
(N ) 7 (C/ , )
where

1

N +
if = 0,
= N1 + if = 1,
( 1 , )

if = nothing.
N N
1
(For E = C/ , E[N ] = /
N
= ( N1 Z + 1
N
Z )/ .)
Proof (Sketch). Let us check this
 is well-defined
 for the 0 (N )-level structure, which is the
a b
only case we will use. Let = 0 (N ). We have
c d
           
1 1 c +d c + d d 1
C/ , C/ , = C/ , = C/ ,
c + d N N N N
since N | c and gcd(d, N ) = 1. In fact the same calculation proves injectivity as well: if
and go to the same pair, then must be in 0 (N ). Surjectivity can be proved by
changing basis. 
Now we return to the interpretation of elliptic points of X0 (N ) or Y0 (N ). The correspon-
dence above implies that the stabilizer group of any point in the orbit 0 (N ) is isomorphic
to
0 (N )
= Aut(E, G)
where G is an order N cyclic subgroup. In the case N = 1, this corresponds to the fact that
Aut(E) can only be Z/2, Z/4, Z/6, with the last two cases occurring when E has complex
multiplication structure by the Gaussian integers Z[i] or the Eisenstein integers Z[e2i/3 ]
respectively. In general we have
3A (N )-level structure is also called the full level structure. In fact the basis (, ) is required to have
Weil pairing equal to a fixed root of unity. See Section 1.5 of Diamond-Shurman.
15
Theorem 4.4. There is a bijection between the set of elliptic points of X0 (N ) of order
h = 2 and the set of ideals N Z[i] such that Z[i]/N = Z/N , and a bijection between the
set of elliptic points of X0 (N ) of order h = 3 and the set of ideals N Z[e2i/3 ] such that
Z[e2i/3 ]/N = Z/N .
Thus the number of elliptic points is equal to the number of ideals with certain properties,
which are easy to count since Z[i] and Z[e2i/3 ] are Dedekind domains (even PID!). Assuming
this, we can give a proof of Theorem 4.1.
Proof of Theorem 4.1 (Sketch). It suffices by the Chinese Remainder Theorem to consider
N = pa . For a quadratic field K, we want to find ideals N such that OK /N = Z/pa is cyclic.
There are three situations, depending on whether p is ramified, inert or split.
If p is ramified, then p = p2 and N = pb . If b 2, then p | N and OK /N cannot be cyclic,
since OK /(p) is (Z/p)2 . Thus N = p. Now p must exactly divide N because OK /p = Z/p.
2
If p is inert, then pOK is a prime ideal with OK /(p) = (Z/p) , so OK /N cannot be cyclic.
If p is split, then pOK = pp. Then the only choice of N is either pa or pa , because if
N = pi pj then it is contained in (p)min(i,j) , but Ok /(p) is not cyclic.
This is how we get precisely the factor 1 + ( dp ), where d is the discriminant of K.
The cusps of P1 (Q) are counted by brute-force. 
Now we explain how to get the bijectivity in Theorem 4.4. The key point is that the extra
automorphisms of the pair (E, G) force certain lattices to be fractional ideals.
Proof of Theorem 4.4 (Sketch). In the order 2 case, the lattice is = Z[i] = OK for the
quadratic field K = Q(i). Our goal is to count the number of subgroups G C/OK such
that G is cyclic of order N and the pair (C/OK , G) admits non-trivial automorphisms.
Since the automorphism group of the lattice OK is generated by multiplication by i (iOK =
OK = Z[i]), we want [i] : C/OK C/OK to preserve G. Writing G = M/OK , where
M K = Q OK is contained in N1 OK , the condition is translated as iM = M. Hence
M is a Z[i]-module of K, i.e. a fractional ideal. Therefore, it suffices to count the number
of ideals N = M1 OK such that OK /N = M/OK = Z/N . 
Corollary 4.5. If N = p is a prime, then
(
b p+1
12
c 1 if p 1 (mod 12),
g(X0 (p)) = p+1
b 12 c otherwise.
Note
the congruence condition on p precisely depends on its decomposition in Q(i) and
Q( 3).
Corollary 4.6. g(X0 (N )) = 1 if and only if N {11, 14, 15, 17, 19, 20, 21, 24, 27, 32, 36, 49}.
These are important because they are both modular curves and elliptic curves.

5. Lecture 5 (February 6, 2013)

5.1. Heegner points. Last time we used the moduli interpretation on the modular curve.
Let us talk a bit more about the Heegner condition defined last time.
The points of Y0 (N ) = 0 (N )\H can be interpreted as elliptic curves with level structure,
i.e. pairs (E, G) where E/C is an elliptic curve and G E[N ] is a cyclic subgroup of order
16
N . If E = C/, then the set of N -torsion points is E[N ] = N1 /. Write G = 0 / where
0 N1 .
An equivalent but more symmetric way is to consider pairs of elliptic curve (E1 , E2 ) with
an (surjective) isogeny : E1 E2 with ker() = Z/N . Under the notations above, this is
C/ C/0 .
Define EndC (E) to be { : E E : (0) = 0}. Then EndC (C/) = { C : }
(so that induces the multiplication C/).
map [] : C/
Last time we considered K = Q( 1) or Q( 3). In general if K is any imaginary
quadratic field with ring of integers OK , then EndC (C/OK ) = { C : OK OK } = OK ,
since ()OK OK means OK by inverting ideals.
The modular curve X0 (N ) contains pairs of the form (C/OK , C/0 ) where OK 0
1
N K
O and 0 /OK = Z/N .
Definition 5.1. A Heegner point attached to OK on X0 (N ) is such a pair (C/OK , C/0 )
where both curves have endomorphism ring OK .
This condition can be translated into
Lemma 5.2. EndC (C/0 ) = OK if and only if 0 is an ideal of K, i.e. a fractional ideal of
OK .
Proof. If 0 is an ideal, then 0 0 OK by inverting ideals. The converse is easy,
since { C : 0 0 } OK means 0 is an ideal. 
We are reduced to the question of finding ideals 0 such that 0 /OK = Z/N . Last time
we showed
Lemma 5.3. A fractional ideal 0 such that 0 /OK = Z/N exists if and only if p | N implies
p ramifies with p || N or p is split. In particular, if p has an inert factor, then 0 does not
exist.
This is called the Heegner condition. We summarize our work last time as follows. Let Eh
be the set of elliptic points on X0 (N ) of order h. We proved
Theorem 5.4. E2 (resp. E3 ) corresponds to the set of Heegner points attached to Z[i] (resp.
Z[e2i/3 ]).
Remark. X0 (N ) has a canonical model over Q. X0 (N ) E/Q is always parametrized by
a modular form of weight 2 (using the modularity theorem as a black box!). Mapping the
Heegner points into E shows that they are defined over the Hilbert class field of K, and
taking trace pushes them down to Q. This is the only systematic way of producing rational
points on elliptic curves over Q and provides evidence for the BSD conjecture.
5.2. Dimension formulas. We derive the dimension formulas for modular forms and cusp
forms, which is almost trivial after the genus formula, at least for even weights. The idea is
to interpret the space of modular forms as the space of global sections of line bundles over
Riemann surfaces. For simplicity, assume k is even.
Fix a congruence subgroup SL2 (Z), and X = X which is a compact Riemann surface.
We will use local charts to compute orders of vanishing. Let X be the canonical line bundle
(holomorphic differential 1-forms on X), Mk = Mk () (resp. Sk = Sk ()) be the space of
modular forms (resp. cusp forms) of weight k.
17
Lemma 5.5 (Key Lemma).
k/2
(1) The map Mk H 0 (X, X (k )) given by
f 7 f = f ( )(2id )k/2 ,
where k := b k4 c2 + b k3 c3 + k2  Div(X), is an isomorphism. More precisely, this
is the space of meromorphic forms of degree k2 with poles div() k .
k/2
(2) The same map gives an isomorphism Sk H 0 (X, X (k  )).
Proof. For any SL2 (Z), define the automorphy factor j(, ) = c + d. Then
d( ) = j(, )2 d . Since f ( ) = j(, )k f ( ), f is invariant under and indeed descends
to a meromorphic form of degree k2 on X.
Let us express the condition of f being holomorphic in terms of f . Choose local coordinate
z at elliptic points so that = z 1/h . Then
1 k
f ( )(d )k/2 = f (z 1/h )(dz 1/h )k/2 = z ( h 1) 2 f (z 1/h )(dz)k/2 .
Hence f ( ) is holomorphic on H if and only if vz (f ) b h1 k
h 2
c. (Note that invariance
under stabilizers shows that f ( ) has only h-th powers of .)

At thecusps, let us only consider . Let h be the width at , i.e. /{I} =
1 h
. The local coordinate is given by q = e2i /h , so dq/q = 2i/hd . If f has
0 1
Fourier expansion f ( ) = g(q) = a0 + a1 q + , then
dq k/2
f = f ( )(2id )k/2 = g(q)(h ) = Cq k/2 g(q)(dq)k/2 .
q
Therefore, f holomorphic (resp. zero) at if and only if vq=0 (f ) k2 (resp. k2 + 1). 
Corollary 5.6. S2
= H 0 (X, X ), so dim S2 = gX .
With this identification, we can apply Riemann-Roch. For any line bundle L on X,
(L) = h0 (L) h0 ( L1 ) = deg(L) + (1 gX )
where h0 (L) = dim H 0 (X, L).
For k 2, we have
k k k k
deg k/2 (k ) = (2g 2) + b ce2 + b ce3 + e (2g 2) + e > 2g 2.
2 4 3 2
For k 4 (to study cusp forms), we have
k k k k
deg k/2 (k  ) =(2g 2) + b ce2 + b ce3 + ( 1)e 2g 2 + e > 2g 2.
2 4 3 2
k/2 k/2
Applying to L = (k ) and (k  ) respectively, we conclude
k k k
Corollary 5.7. For k 2, dim Mk = (k 1)(g 1) + b ce2 + b ce3 + e .
4 3 2
k k k
For k 4, dim Sk = (k 1)(g 1) + b ce2 + b ce3 + ( 1)e .
4 3 2
For k odd, the same idea works but the calculations are more complicated. It is most
difficult to apply Riemann-Roch to weight 1 forms.
18
 6. Lecture 6 (February 11, 2013)
6.1. Hecke operators. Today we will discuss Hecke operators. For congruence subgroups
(so (N ) SL2 (Z) for some N 1), we have defined Mk and Sk , the spaces of modular
forms and cusp forms of weight k respectively. We want to study the endomorphisms of
these vector spaces.
Denote GL2 (Q)+ = { GL2 (Q) : det > 0}. It defines an action on H and has the
following property: if GL2 (Q)+ and is a congruence subgroup, then 1 SL2 (Z)
is still a congruence subgroup (possibly for a bigger N ), and in particular has finite index.
Consider the pairs (G, H) where H is a subgroup of G satisfying the following hypothesis:
for every G, 1 H and H are commensurable, i.e. 1 H H is of finite index in
H and 1 H.
Example 6.1. (GL2 (Q)+ , ), where is a congruence subgroup.
Example 6.2. (GL2 (Qp ), GL2 (Zp )), where p is a prime number.
Let C[H\G/H] = C[G//H] be the space of functions : G C which are bi-H-invariant
(i.e. (hgh0 ) = (g) for all h, h0 H and g G) and supported on finitely many double
cosets. The last condition is the analogue for to have compact support when G is equipped
with a topology, e.g. Example 6.2.
We can define an algebra structure on C[G//H] by
X
( )(g) = (gx1 )(x)
xH\G
Z
which can be interpreted as the integral (gx1 )(x)dx where H\G is given the counting
G
measure 4. Then (C[G//H], ) is an algebra with identity 1H , the characteristic function of
H. In general this may not be commutative. In the case where C[G//H] is commutative,
there is essentially only one idea to prove so, which is the Gelfand trick.
Theorem 6.3. For (G, H) = (GL2 (Qp ), GL2 (Zp )), C[G//H] is commutative.
Proof. The idea is to find an anti-involution : G G, i.e. (xg) = g x , such that every
double coset has a representative fixed by .
In the case of GL2 (Qp ), there is a natural choice take to be transposition on GL2 (Qp ).
 
a p 0
Lemma 6.4. GL2 (Qp ) = GL2 (Zp ) GL2 (Zp ).
0 p
Z

This immediately implies the second requirement that every double coset has a represen-
tative fixed by .
Note defines an action on C[G//H] as well by (g) = (g ), and is an anti-involution
( ) = .
Since each double coset has an invariant element, acts trivially on C[G//H]. Combining
these, we conclude that = , so C[G//H] is commutative. 
4The hypothesis on (G, H) implies every double coset HgH is a finite union of cosets in H\G. See Lemma
5.1.2 of Diamond-Shurman.
19
Remark. (G, H) is called a Gelfand pair, i.e. for all irreducible representations of G, the
space HomH (, C) is at most 1-dimensional.
How do we deal with Example 6.1 where (G, H) = (GL2 (Q)+ , SL2 (Z))? We will only
consider the subalgebra generated by functions supported in M2 (Z) GL2 (Q)+ . This set is
certainly bi-H-invariant.
Theorem 6.5. This subalgebra is commutative.
Lemma 6.6. For n 1, M [n] = M2 (Z)[n] = { M2 (Z) : det = n} is equal to the
disjoint unions
a  0  a n/ x
=
0 0
|>0 |n
=n 0x<
where = SL2 (Z). In particular, we have
X
#\M [n] = = 1 (n).
|n

(In order to find a double coset representative for any matrix in M [n], note that will be
the gcd of the four entries.)
Proof (Sketch). The same proof works by taking to be transposition again. 
Consider the characteristic function 1M [n] for n 1.
Theorem 6.7.
(1) 1M [n] is multiplicative, i.e. 1M [n] 1M [m] = 1M [nm] if gcd(n, m) = 1.
(2) For p prime, 1M [p] 1M [pn ] = 1M [pn+1 ] + p1pM [pn1 ] as equality in C[G//H].
Proof.
(1) We can write
M [nm] = M [n] M [m]
in an essentially unique way: if = n m = n0 m 0
, then n01 n = m 0 1
m has deter-
1 1
minant 1 and is contained in n M2 (Z) m M2 (Z) = M2 (Z), hence is in = SL2 (Z).
0
Thus m m differ by an element in .
(2) We can easily check 1M [p] 1M [pn ] 1M [pn+1 ] + p1pM [pn1 ] , so it is enough to prove
they have the same integral, i.e.
vol(M [pn ]) vol(M [p]) = vol(M [pn+1 ]) + p vol(M [pn1 ])
1 (pn )1 (p) = 1 (pn+1 ) + p1 (pn1 )
pn+1 1 p2 1 pn+2 1 pn 1
= +p . 
p1 p1 p1 p1
Today we will study Mk and Sk for the full modular group = SL2 (Z). For GL2 (Q)+ ,
define the weight-k -operator
f []k ( ) = (f |, k)( ) = (det )k1 j(, )k f ( )
 
a b
where for = , j(, ) = c + d is the automorphy factor. Using this notation, the
c d
weight-k condition for SL2 (Z) means f []k = f . We can verify that f []k = (f []k )[]k .
20
The underlying fact is that the automorphy factor satisfies the cocycle condition j(, ) =
j(, )j(, ).
For C[GL2 (Q)+ //], define
X
f []k = f []k ()
\ GL2 (Q)+
Z
which is a finite sum. Again this can be interpreted as a formal integral f []k ()d,
GL2 (Q)+
by putting the counting measure on \ GL2 (Q)+ .
Lemma 6.8. []k defines operators Mk Mk and Sk Sk .
Proof (Sketch). If f []k = f for all , then f []k satisfies the same property. We can
also check holomphicity at the cusp. 
Definition 6.9. The Hecke operator Tn is defined to be the operator []k for = 1M [n] .
Thus Tn is contained in End(Mk ) and End(Sk ). Note that = 1pM [pn1 ] corresponds to
k2
p Tpn1 because
f [p]k = det(p)k1 j(p, )k f ( ) = p2(k1) pk f []k
since and p act on H in the same way. With this, Theorem 6.7 translates into
Theorem 6.10.
(1) Tn Tm = Tnm for gcd(n, m) = 1.
(2) For p prime, Tp Tpn = Tpn+1 + pk1 Tpn1 .
Lemma 6.11 (Effect on q-expansion). If f = n
P
n=0 an (f )q Mk , then Tm f Mk with
n-th Fourier coefficient given by
X
an (Tm f ) = dk1 anm/d2 (f ).
d|(n,m)

In particular, we have a1 (Tm f ) = am (f ).

Y
X
n 24
Example 6.12. Let = q (1 q ) = (n)q n = q + , where is known as the
n=1 n=1
Ramanujan tau-function. Since S12 = C is one-dimensional, must be an eigenform for
Tm with eigenvalue (m), i.e. Tm = (m) . The eigenvalues must satisfy the properties
in Theorem 6.10, so (
(mn) = (m) (n) if (m, n) = 1,
(pn+1 ) = (p) (pn ) p11 (pn1 ).
This is Ramanujans conjecture, proved by Mordell.

7. Lecture 7 (February 13, 2013)

7.1. Hecke operators for level 1. Last time we considered the double coset space \ GL2 (Q)+ /,
where = SL2 (Z).
Theorem 7.1. Z[\ GL2 (Q)+ /] is a commutative algebra.
21
 We defined the Hecke operator
X
Tn (f ) = f []k
\M [n]

(which is a finite sum) for f Mk and n 1, where

f []k ( ) = (det )k1 j(, )k f (( ))
P n
Lemma P 7.2 (Effect on q-expansion). Let f = n=0 an q Mk (SL2 (Z)), and denote
n
Tm (f ) = n=0 an (Tm f )q . Then
X
an (Tm f ) = dk1 anm/d2 .
d|(m,n)

In particular, a1 (Tm f ) = am and a0 (Tm f ) = k1 (m)a0 .

From this, we can show
an (Tm Tm0 f ) = an (Tm0 Tm f )
which verifies that the subalgebra of End(Mk (SL2 (Z)) generated by Tn for all n 1 is
commutative. Note this is an immediate consequence of Theorem 7.1.
Proof of Lemma 7.2. Recall M [m] = { M2 (Z) : det() = m} can be decomposed as
 
a a b
.
0 d
ad=m
0bd1

Hence X
Tm (f )( ) = mk1 j(, )k f (( ))

 
a b a +b
where runs through the coset representatives . Since ( ) = , e2in( ) =
0 d d
a +b
e2in d and j(, ) = d, we have
d1
a b
X X X
Tm (f )( ) = mk1 dk an e2in( d + d )
ad=m n=0 b=0
a
X X
k1 k
=m d dan e2in( d )
ad=m d|n

X X m k1 0
= adn0 e2in a
ad=m n0 =0
d


X X
= qn ak1 adn0 . 

n=0 n0 a=n
ad=m

Example 7.3 (Eisenstein series). Recall that the Eisenstein series of weight k is given by

X
k (2i)k X
Gk ( ) = w = 2(k) + k1 (n)q n
(k 1)! n=1
w {0}
22
where = Z + Z . It turns out to be an eigenform for Tm , i.e.
Lemma 7.4. Tm (Gk ) = k1 (m)Gk .
Proof. It is clear that if Gk is indeed an eigenform, then the eigenvalue must be k1 (m) by
comparing the constant terms. In fact we can directly check the formula
X  nm 
dk1 k1 = k1 (m)k1 (n). 
d2
d|(n,m)

Remark. Recall that functions on H satisfying the weight-k condition can be interpreted
as functions on lattices of homogeneous of degree k. With this, we can give a simpler
definition of Hecke operator
X
(Tn f )() = nk1 f (0 ).
0
[:0 ]=n

For a fixed lattice = = Z + Z C, there is a bijection

{0 of index n} SL2 (Z)\M [n]
 
a b
where we associate to each = M [n] the lattice = span(a + b, c + d ), which
c d
is indeed a sublattice of of index n.
7.2. Hecke operators for level N . So far we have been working over SL2 (Z). We can
extend Hecke operators to (N ) where = 0, 1 or nothing. It is enough to study 1 (N ),
because 1 (N ) 0 (N ) and
 1  
N 0 N 0
(N ) = 1 (N 2 )
0 1 0 1
   
a b a b/N
( is sent to ). Recall 1 (N ) is normal in 0 (N ): there is an exact
c d cN d
sequence
1 1 (N ) 0 (N ) (Z/N ) 1
 
a b
where the last map is given by 7 d (mod N ).
c d
Let : (Z/N ) C be a fixed Dirichlet character, called the Nebentypus. Define
Mk (1 (N ), ) = {f Mk (1 (N )) : f []k = ()f for all 0 (N )}
where is lifted to 0 (N ) C . Then Mk (0 (N )) can be identified as Mk (1 (N ), 0 ) for
the trivial character 0 . It is almost trivial to see that
M
Mk (1 (N )) = Mk (1 (N ), ).
:(Z/N ) C

Remark. Here are three interpretations of Hecke operators for 0 (N ).

(1) For (n, N ) = 1, we can view f Mk (0 (N )) as a function
{(1 , 2 ) : 1 , 2 with 2 /1
= Z/N } C.
23
 Then X
(Tn f )(1 , 2 ) = nk1 f ((02 1 ), 02 ).
02 2
[2 :02 ]=n

(2) Equivalently, in the language of elliptic curves, viewing f : {(E, G, )}/ C gives
X
Tn (f )(E, G, ) = nk1 f (E/H, (G + H)/H, H )
HE subgroup
of order n

(because (n, N ) = 1) where H is the pullback of under the dual isogeny of E

E/H.     
a b
(3) In terms of double cosets, let MN = (mod N ) and MN [n] =
c d 0
{ MN : det = n} for (n, N ) = 1. Then we have the coset decomposition
 
a a b
MN [n] = 0 (N ) .
0 d
ad=n
0bd1

We define Hecke operators for = (N ) where = 0, 1 as follows. For p prime, define

 
1 0
Tp =
0 p
and
Tpi = Tp Tpi1 pk1 hpiTpi2
(the diamond operator hpi will be defined below). Note when p - N , the second equation
reduces to Tpi = (Tp )i . We then extend the definition to Tn by multiplicativity.
We can prove1the algebra
 generated by these is commutative, by using the involution
N 0 N 0
(X) = Xt on (N ).
0 1 0 1
Lemma 7.5. Let f Mk (1 (N ), ) with Nebentypus : (Z/N ) C . Then
X
an (Tm f ) = (d)dk1 anm/d2
d|(n,m)

(as usual, we extend to Z C by 0 at integers not coprime to N ).

Now we define the diamond operator, which acts on the space Mk (1 (N )). Since 1 (N ) is
a normal subgroup of 0 (N ), any coset satisfies 1 (N ) = 1 (N ) for 0 (N ) and hence
1 (N )1 (N ) = 1 (N ) = 1 (N ). This defines a double coset operator which depends
only on the image of under
0 (N ) (Z/N ) 1
 
a b
sending = to d (mod N ). This double coset operator is denoted by hdi and called
c d
the diamond operator.
Theorem 7.6. The operators Tn and hdi, where n 1 and d (Z/N ) , are commutative
on Mk (1 (N )).
24
7.3. Petersson inner product. If f, g Mk ( (N )), then f ( )g( ) is of weight (k, k) in
the following sense.
Definition 7.7. : H C has weight (m, n) if
n
( ) = j(, )m j(, ) ( ).
1
Example 7.8. Im( ) = y = 2i
( ) is of weight (1, 1) since
Im( )
Im( ) = .
j(, )j(, )
Define the Petersson inner product: for f, g Sk ( (N )), set
Z
d d
hf, gi = f ( )g( )y k 2
\H y
Claim. If one of f or g is a cusp form, then limy f ( )g( )y k = 0.
Claim. hGk , Gk i diverges.
Note that the Eisenstein series can be given by
X0 X
Gk = (c + d)k = j(, )k
c,d \
 
1
where = SL2 (Z) and = . Then for any g Mk (),
0 1
Z Z
k d d d d
X
Gk ( )g( )y 2
= j(, )k j(, )k g( ) Im( )k 2
\H y \H \ y

Z X d d
= g( ) Im( )k 2
\H \ y

Z
d d
= g( ) Im( )k 2
\H y
Z
d d
= g( )y k 2
\H y
is divergent unless g( ) 0 as y , i.e. unless g is a cusp form. This implies the second
claim.
Next time we will study the inner product space (Sk ( (N )), h, i), and show that Hecke
operators are normal, i.e. they commute with their adjoints X X = XX . This implies X is
diagonalizable. Therefore we can simultaneously diagonalize the family of Hecke operators
and decompose the space as direct sum of Hecke eigenforms.

8. Lecture 8 (February 18, 2013)

dxdy
8.1. Petersson inner product. Consider the hyperbolic measure on H which is
y2
invariant under SL2 (R). If f and g are modular forms of weight k for a congruence subgroup
25
, then the product f ( )g( ) Im( )k is -invariant. Define
Z
dxdy
hf, gi = f ( )g( )y k 2 .
\H y
Lemma 8.1. If one of f or g is a cusp form, then the integral converges absolutely.
Proof. Let us check this for = SL2 (Z) and D the fundamental domain (in general the
fundamental domain will be finitely many copies of D). Write f ( ) = a0 + a1 q + and
g( ) = b0 + b1 q + . Since a0 b0 = 0, there exists some constant C > 0 such that
|f ( )g( )y k | < Ce2y y k .
Hence the integral converges on y  0. The remaining region is compact. 
Remark.
Z If f and g are both not cusp forms, then the integral diverges whenever k 1 since
dxdy
y k 2 does.
y0 y
Therefore, hf, gi is a well-defined inner product on Sk (), the space of cusp forms, so it
makes sense to talk about adjoint operators. For = (N ) where = 0, 1, consider the
Hecke operators Tn for (n, N ) = 1.
(Morally speaking, they already determine Tp for primes p dividing N . Also we dont lose
too much just by considering 0 (N ), since 1 (N ) is normal in 0 (N ) with abelian quotient.
Last time we introduced the diamond operators hdi for (d, N ) = 1. In fact we dont lose too
much just by considering SL2 (Z). The same proof techniques work. Anyway well assume
= (N ) where = 0, 1.)
Let Tn be the adjoint operator of Tn on Sk (), characterized by
hTn f, gi = hf, Tn gi .
Theorem 8.2. Let T be the operator associated to , where M2 (Z) with det() 6= 0.
Then
T = T
where = det()1 M2 (Z).
Corollary 8.3. For = (N ) and (n, N ) = 1, we have
Tn = hni1 Tn .
In particular, Tn is self-adjoint if = 0 (because the diamond operators are trivial on 0 (N )).
Thus Tn is almost self-adjoint. In fact Tn is normal.
Assuming the theorem, let us deduce the corollary.
Proof of Corollary 8.3. For n = p prime with (p,
 N)  = 1, Tp corresponds
  to the double coset
1 0 p 0
and Tp corresponds to , where = and = . We claim that
0 p 0 1
   
p 0 1 0
1 (N ) 0 (N ).
0 1 0 p
 
0 1
(Note: In SL2 (Z) we could have simply conjugated by .)
1 0
26
 1 (N ) and 0 (N ) are such that = 1 , then ( )1 = . Writing
If 
a b
= 0 (N ), we want
c d
    1   
1 0 a b p 0 a/p b
=
0 p c d 0 1 c pd
to be contained in 1 (N ). We can pick a = p, and solve for N | c with pd = bc + 1.
Therefore, Tp corresponds to the double coset
     
1 0 1 0 1 0
= =
0 p 0 p 0 p
where 0 (N ), i.e.
Tp = Tp hi = Tp hdi = Tp hp1 i. 
We will not prove the theorem, which amounts to changing basis. The complexity of the
theory is just about finding double cosets.
Corollary 8.4. The operators Tn for (n, N ) = 1 are a commuting family of normal operators,
so there exists an orthogonal eigenbasis of Sk ().
Definition 8.5. f Sk () is an eigenform if it is an eigenvector for each Hecke operator
Tn and hdi, where (n, N ) = 1 and (d, N ) = 1. (For 0 (N ), we just need to consider Tn since
hdi is trivial.)
Remark. For = SL2 (Z), Mk (SL2 (Z)) = CEk Sk (SL2 (Z)). Thus Ek is an eigenform with
eigenvalue k1 (n) for Tn . The same conclusion in Corollary 8.4 holds for Mk (SL2 (Z)), with
orthogonal suitably interpreted (since hEk , Ek i diverges).
8.2. L-functions. Next we willPdiscussion an application to L-functions. Let f Mk ()
n
have Fourier expansion f (q) = n=1 an q . Define

X
L(s, f ) = an ns .
n=1

To address convergence issues, note that we have the following trivial bounds on Fourier
coefficients.
Lemma 8.6. If f is a cusp form, then |an | Cnk/2 for some constant C. In general, we
have |an | Cnk .
Proof. For simplicity, assume = (N ) where = 0, 1, so the local parameter is given by
q = e2i (for general congruence subgroups we need to take into account the width of at
). Then
Z Z 1
1 n dq
an = f (q)q = f (x + iy)e2in(x+iy) dx
2i q 0
is independent of y > 0 by holomorphicity. Choosing y = n1 , we have
Z 1  
i
an = e 2
f x+ e2inx dx
0 n
27
 Recall that |f ( )|2 | Im( )|k is invariant under . If f is cuspidal, |f ( )|2 | Im( )|k C, so
|f (x + ni )| C( n1 )k/2 = Cnk/2 and so
|an | Cnk/2 .
For the Eisenstein series Ek for SL2 (Z), we have
X
an = k1 (n) = dk1 Cnk .
d|n

Since any modular form for SL2 (Z) can be written as a sum of an Eisenstein series and a
cusp form, we obtain the trivial bound.
We omit the proof for general congruence subgroups. 
(
1 + k2 if f is cuspidal and = 0, 1,
Corollary 8.7. L(s, f ) converges for Re(s) >
1 + k if f Mk ().

We can consider the Euler product for L(s, f ), just like for the Riemann zeta-function.
By definition, we say f is normalized if a1 = 1.
Theorem 8.8. For f Sk (SL2 (Z)), the following are equivalent:
(1) f is a normalized eigenform;
(2) L(s, f ) has an Euler product
Y
L(s, f ) = (1 ap ps + pk12s )1 .
p prime

The property of having an Euler product is obviously not stable under addition. Being an
eigenform means having a simple spectrum. Euler product thus reflects the spectrum.
Proof. (1) (2). Suppose f is an eigenform with a1 = 1. For Tm where m Z1 , recall
that X
an (Tm (f )) = dk1 anm/d2 .
d|(m,n)

This implies that the eigenvalue of Tm is am . Since Tm Tn = Tmn for (m, n) = 1 and
Tpi+1 = Tp Tpi pk1 Tpi1 , we have the same relations
(
am an = amn if (m, n) = 1,
k1
(2)
api+1 = ap api p api1 if i 1.
Hence,

!
Y X
L(s, f ) = apk pks .
p prime k=1
pi
The sequence bi = a has recursive relation bi+1 = ap bi pk1 bi1 , hence characteristic
polynomial T 2 ap T + pk1 . Thus

X
apk pks = (1 ap ps + pk12s )1 .
k=1
28
 (2) (1). The same proof goes backwards. The Euler product implies that the Fourier
coefficients an satisfy the relations (2). It suffices to verify Tp f = ap f for primes p (since Tp
generate the Hecke algebra), which is equivalent to
an (Tp f ) = an ap
for all n, i.e.
X
dk1 anp/d2 = an ap .
d|(n,p)
(
anp if (n, p) = 1,
But the left hand side is just which is equal to an ap by (2). 
anp + pk1 an/p if p | n,

9. Lecture 9 (February 20, 2013)

9.1. Hecke operators. We have studied the Hecke theory for the level 1 case = SL2 (Z)
using double cosets. For all n 1, we defined the Hecke operator Tn . Fix k 1 and consider
the space of cusp forms Sk (). Then Tn End(Sk ()).
Consider the subalgebra T = C[Tn ]n1 End(Sk ()), which is a commutative C-algebra.
Since each operator Tn commutes with its adjoint, i.e. is normal, T is semisimple and hence
isomorphic to C C.
We can extend this to level N . Let = (N ), where = 0, 1. We start by defining Tp
for all primes (p, N ) = 1. Tp corresponds to the double coset
      
1 0 a 1 j a b p 0
= t
0 p 0 p N p 0 1
0jp1
 
a b
where 0 (N ).
N p
We can define hdi for (d, N ) = 1.
We can extend the definition to Tpi by using the recursive relation
Tpi := Tp Tpi1 pk1 hpiTpi2
and to Tn for (n, N ) = 1 by
Tm Tn = Tmn
whenever (m, n) = 1.
It remains to define Tp for p dividing N . This operator is often called Up , but still Tp in
Diamond-Shurman. In this case, we have the double coset decomposition
   
1 0 a 1 j
= .
0 p 0 p
0jp1

We use the same recursive relations as above to define Tn , and define hdi = 0 if (d, N ) > 1.
Remark. All the above relations can be combined into
X Y Y
Tn ns = (1 Tp ps + hpipk12s )1 (1 Tp ps )1 .
n=1 p-N p|N
29
 Therefore, we have defined Tn and hni for all n 1, which are endomorphisms of Sk ().
The Hecke algebra T generated by them is still a commutative C-algebra, but not necessarily
semisimple.
Lemma 9.1. Let (n, N ) = 1. Then the adjoint of Tn with respect to the Petersson inner
product is
Tn = hni1 Tn .
In particular, Tn is a normal operator if (n, N ) = 1.
This5 suggests we should look at the subalgebra T0 T given by
T0 = C[Tn , hni](n,N )=1 ,
which is semisimple by the lemma.
What happens to Tp = Up when p | N ? We  can still find a formula for its adjoint. Recall
1 0
that Tp is associated to the double coset , so Tp is associated to the double coset
0 p
 
p 0
. These two are in general not the same double coset. Let us introduce one more
0 1
operator.
For = (N ), define the normalizer
N () = NGL2 (R)+ () = { GL2 (R)+ : 1 = }.
The quotient N ()/ is interesting because it induces automorphisms on the modular curve,
i.e. we have a map
N ()/ Aut(\H ).
It is non-trivial to find a normalizer, but here is one. Let
    
0 1 1 0 0 1
wN = =
N 0 0 N 1 0
which is contained in N (), so that the double coset wN is just a coset wN . Then we
can check that f 7 f [wN ]k maps into the same space of cusp forms, so we can consider
wN = [wN ]k End(Sk ()).
Since wN2
= N , we see that wN is an involution on the modular curve \H , but it is
not quite an involution on Sk ().
Lemma 9.2.
2
(1) wN acts by (1)k N k2 on Sk ().
(2) For all n, we have (
1
Tn = wN Tn wN ,
1
hni = wN hniwN .
Proof.
2
(1) wN = [wN2
]k = (N 2 )k1 (N )k = (1) k k2
 N .  
1 0 p 0
(2) The key point is that the matrices and differ by conjugation by wN .
0 p 0 1

5We can also check that hni = hni1 for (n, N ) = 1, so hni is indeed normal.
30
Corollary 9.3. For = 0 (N ) and (n, N ) = 1, we have
1
Tn = Tn = wN Tn wN .
Thus wN commutes with Tn for (n, N ) = 1.
9.2. Atkin-Lehner theory. To understand the relationship between T0 and T, we need the
Atkin-Lehner theory (also known as the newform theory), and later we will give an example
where T is not semisimple. The idea is to study the newforms of Sk (1 (N )), which are the
primitive forms in some sense.
When M | N , we always
have the inclusion Sk (1 (M )) , Sk (1 (N )). Consider the span
d 0 N
of f (d ) = d1k f where f Sk (1 (M )), M | N and d | M . In fact it is enough
0 1 k
to consider forms of level dividing N/p where p | N is a prime:
Skold (1 (N )) = span{f (d ) : f Sk (1 (N/p)), d | p, p | N } Sk (1 (N ))
and define the newspace
Sknew (1 (N )) = Skold (1 (N )) .
Note that we are not calling this the space of newforms yet. Newform will have a specific
meaning it is an eigenform.
Atkin and Lehner proved that the newspace behaves like the level 1 case, where we just
need to look at T0 . Before we make this more precise, let us prove a few lemmas.
Lemma 9.4. The spaces Skold and Sknew are T-stable, where T is the full Hecke algebra.
Proof (Sketch). Introduce T , the algebra generated by the adjoints Tn and hni . It suffices
1
to prove that Skold is both T- and T -stable. But T = wN TwN , so it is enough to prove Skold
is T-stable and wN -stable.
Define the operator Vp : Sk (1 (N/p)) P Sk (1 (N )) by f 7 f (p ). This is a one-sided
inverse of the Up operator. Indeed, for f = n
n=0 an q ,
    X
X 1 j 1
X +j
Up (f ) = f =p f = an q n/p
0 p k p
0jp1 0jp1 p|n

whereas

X
Vp (f ) = an q pn .
n=0
It is clear that Up Vp = Id.
It remains to show that the sum of the images of Sk (1 (N/p)) , Sk (1 (N )) and Vp :
Sk (1 (N/p)) Sk (1 (N )) is stable under the operators Tq , hqi and w for all primes q.
For example, consider the diagram (note the two Tp s are different!)
Vp
Sk (1 (N/p)) / Sk (1 (N ))
Tp Tp
 Vp 
Sk (1 (N/p)) / Sk (1 (N ))
which is not quite commutative. Since p | N , the Tp on the right is equal to Up and so
Tp Vp (f ) = f for all f Sk (1 (N/p)). This shows Tp preserves Skold .
31
 The other operators for other primes can be checked similarly6. 
Example 9.5. For p - N , Up acts on Sk (0 (p3 N )). Let f Sk (0 (N )) be an eigenform
of Tp . Consider the space spanned by fi = f (pi ) for 0 i 3. We claim that Up acts
non-semisimply on it.
Since Vp fi = fi+1 for 0 i 2, we have Up fi = fi1 for 1 i 3. Using the formula
X
Tp (f ) = an q n/p + pk1 hpif (p )
p|N

and the fact that f = f0 is an eigenform, we see that there exists C such that7
f0 = Tp f0 = Up f0 + pk1 f1 ,
i.e.
Up f0 = f0 pk1 f1 .

1
pk1 0 1
Thus Up has matrix , which is not semisimple8.
0 1
0
Theorem 9.6 (Atkin-Lehner). If f Sknew (1 (N )) is an eigenform for T0 , then f is also
an eigenform for the full Hecke algebra T.
We are not going to prove this, since the proof is just some combinatorics and not inspi-
rational. There is a more conceptual proof using representation theory.
Definition 9.7. f Sk (1 (N )) is a newform if it is contained in Sknew (1 (N )), an eigenform
for T and normalized such that a1 (f ) = 1.
Newforms have a rigid meaning. In particular, newforms do not form a vector space, just
a set!
Corollary 9.8 (Multiplicity one). If f is a newform with eigenvalue : T C, then
dim{g Sk (1 (N )) : T g = (T )g for all T T} = 1.

10. Lecture 10 (February 25, 2013)

10.1. Atkin-Lehner theory. We were discussing the Aktin-Lehner theory about newforms,
and trying to explain the failure of semisimplicity of Hecke algebras, as well as to study the
structure of the Hecke module Sk () for = (N ) where = 0, 1. There is no need to
consider the principal congruence subgroup (N ) because it is conjugate to 1 (N 2 ).
Consider T = C[Tn , hdi : n 1, (d, N ) = 1] EndC (Sk ()) (recall that the operators
depend on the level N and weight k, although the notation doesnt suggest so!). Literature
also considers EndC (Mk ()), but we restrict ourselves to the simpler case of cusp forms.
Consider the subalgebra T0 = C[Tn , hdi : (n, N ) = 1, (d, N ) = 1] T. Last time we saw
that T0 acts semisimply, but T does not.
6Refer to Proposition 5.6.2 of Diamond-Shurman for details.
7For(d, N ) = 1, the diamond operator hdi acts trivially on Sk (0 (N )), so hpif0 (p ) = f0 (p ) = f1 . Also,
note that Up End(Sk (0 (p3 N )) but Tp End(Sk (0 (N )).
8This matrix has characteristic polynomial X 2 (X 2 X + pk1 ), but its kernel is only 1-dimensional.
32
 an q n ,
P
Write Tp = Up if p | N . Then for f = n1
X
Up f = anp q n
n1

and  
1k p 0 X
Vp f = p f = an q np
0 1 k
n1
so that Up is a left inverse to Vp .
The guiding example is as follows. For p - N , let f 6= 0 be an eigenform for Tp of level N ,
with Tp f = f . Consider the span of ei = (Vp )i f where i = 0, 1, , d, which are linearly
independent. Then Up , as a Hecke operator of level N pd , is given by
(
Up ei = ei1 for 1 i d,
k1
Up e0 = e0 p e1 ,
so its matrix is of the form
1
pk1 0 1
Up,d = .
0 1
0
If d 3, then this matrix is not diagonalizable, i.e. the action of Up is not semisimple. This
follows from an easy exercise in linear algebra.
Exercise. The minimal polynomial of Up,d is X d1 (X 2 X + pk1 ).
The Atkin-Lehner theory takes into account these operators Up .
Lemma 10.1. The map T Sk () C defined by (T, f ) 7 a1 (T f ) is a perfect pairing.
Proof. Recall that a1 (Tm f ) = am (f ).
If (T, f ) = 0 for all T , then in particular (Tn , f ) = 0, so an (f ) = a1 (Tn f ) = 0 for all n and
f = 0.
If (T0 , f ) = 0 for all f Sk (), we want to show T0 = 0, i.e. T0 f = 0. Indeed, for all n,
an (T0 f ) = a1 (Tn T0 f ) = a1 (T0 Tn f ) = (T0 , Tn f ) = 0. 
If f Sk () is an eigenform of T, then T f = f (T )f satisfies f (Tn Tm ) = f (Tn )f (Tm )
and so defines a character f : T C. Define Sk ()[f ] to be the f -eigenspace, i.e.
Sk ()[f ] = {g Sk () : T g = f (T )g for all T T}.
Lemma 10.2 (Multiplicity one). If f Sk () is an eigenform of T, then dim Sk ()[f ] = 1.
Proof. For g Sk ()[f ], we have an (g) = a1 (Tn g) = f (Tn )a1 (g) for all n 1. 
Theorem 10.3 (Atkin-Lehner).
(1) If f Sknew () is an eigenform of T0 , then it is an eigenform of T.
(2) Let f be a newform of level Nf dividing N , and Sf be the span of the linearly inde-
pendent elements Vd f = f (d ) where d | N/Nf . Then
Sf = {g Sk ( (N )) : T g = f (T )g for all T T0 }.
In particular, Sf is stable under T.
33
 (3) There is a decomposition
M M
Sk ( (N )) = Sf
M |N f newform
of level M

as Hecke modules.
Remark.
P By Lemma 10.2, if M = N , then dim Sf = 1. In general, Sf has dimension
d|N/Nf 1.

Remark (Strong multiplicity one9). The association

{f newform of level dividing N } {non-zero algebra homomorphism : T0 C}
is injective (in fact bijective).
Corollary 10.4.
(1) If f Sk ( (N )) with Fourier coefficients an (f ) = 0 for all (n, N ) = 1, then
X
f Vp (Sk ( (N/p))).
p|N

(2) If f, g Sknew () with an (f ) = an (g) for all (n, N ) = 1, then f = g.

We will not prove any of these theorems. In fact, Corollary 10.4 is known as the Main
Lemma and proved first in Diamond-Shurman. There are better proofs, e.g. in Casselman.
Example 10.5. Recall that
dim S2 (0 (N )) = g(X0 (N )).
For example, using the genus formula, we get dim S2 (0 (11)) = 1 and dim S2 (0 (22)) = 2.
For any non-zero f S2 (0 (11)) (necessarily an eigenform on level 11), we have
S2 (0 (22)) = Cf ( ) Cf (2 ).
 
2 1
With respect to this basis, U2 has matrix , where T2 f = 2 f in S2 (0 (11)). We
2 0
can check that10 2 = 2, so U2 is semisimple. Thus, T0N =22 = C and T = T0 [U2 ] = C C.
10.2. Rationality and Integrality. We move the story over C to Q. Define
TQ = Q[Tn , hdi : n 1, (d, N ) = 1] EndC (Sk ())
and similarly for TZ . We do not know if they are even finitely generated.
Example 10.6. Let V be a 1-dimensional vector space over C, and set A = 2, B = . Then
Q[A, B] EndC (V )
= C is not a finitely generated Q-algebra.
We want to give a rational or integral structure to the space of modular forms.
Theorem 10.7. For R = Q, Z, there exists Sk,R () Sk,C () := Sk () which is TR -stable,
and such that Sk,C () = Sk,R () R C.
9This statement is stronger than multiplicity one above, but not as strong as the one in automorphic
representations. Perhaps we should only call this stronger multiplicity one.
10Or look up Cremonas table!
34
 In fact we can describe Sk,R () explicitly in terms of Fourier coefficients. For any subring
R C, define
Sk,R () = {f Sk,C () : an (f ) R for all n}

and similarly
Mk,R () = {f Mk,C () : an (f ) R for all n}.

Today let us only consider the level 1 case = SL2 (Z). Recall the graded algebra
M
Mk,C = C[E4 , E6 ]
kZ

k
P
where Ek = 1 Bk n=1 k1 (n)q n for k 4 even. Since Ek has rational coefficients, we
immediately get

Corollary 10.8. Mk,Q C

= Mk,C .

The basis element E4a E6b is contained in Mk,Q , and this space is stable under TQ since
X
an (Tm f ) = dk1 anm/d2 (f ).
d|(n,m)

Thus TQ is a subalgebra of EndQ (Mk,Q ), hence finitely generated over Q, i.e. a finite-
dimensional Q-vector space.
Similarly, we have Sk,Q C
= Sk,C , and TQ Sk,Q Q is a perfect pairing.

10.3. Plan. The plan before spring break is to study the rational and integral structures of
spaces of modular forms, and prove a result of Shimura on the algebraicity of special values
of L-functions. We will start discussing p-adic modular forms after the break.

11. Lecture 11 (February 27, 2013)

12. Lecture 12 (March 4, 2013)
13. Lecture 13 (March 6, 2013)
14. Lecture 14 (March 11, 2013)
I was away for the Arizona Winter School.

15. Lecture 15 (March 13, 2013)

I was away for the Arizona Winter School.
35
16. Lecture 16 (March 25, 2013)
17. Lecture 17 (March 27, 2013)
18. Lecture 18 (April 1, 2013)
19. Lecture 19 (April 3, 2013)
20. Lecture 20 (April 8, 2013)
21. Lecture 21 (April 10, 2013)
22. Lecture 22 (April 15, 2013)
23. Lecture 23 (April 17, 2013)
24. Lecture 24 (April 22, 2013)
25. Lecture 25 (April 24, 2013)
26. Lecture 26 (April 29, 2013)
27. Lecture 27 (May 1, 2013)

36