Geometric Construction of Modular Forms

I was going to move on to deformations of Galois representations to try to talk about some of the ideas involved in proving Taniyama-Shimura, but after a random conversation I decided it might be more fun to try to talk a little about topological modular forms. I know nothing about these things, but it is a pretty big current research interest right now and they are somehow related to the modular forms I just talked about, so let’s give it a try.

This post is filling in more information about modular forms. Rather than make you look up this definition again, I’ll copy it back here and give some motivation for it. A modular form of weight {k} and level {N} is an element of the vector space {M_k(\Gamma_0(N))} which consists of holomorphic functions on the upper half plane {f:\mathcal{H}\rightarrow \mathbf{C}} satisfying the additional transformation property that

\displaystyle \displaystyle f \left(\frac{az+b}{cz+d}\right)=(cz+d)^kf(z)

for all matrices {\left(\begin{matrix} a & b \\ c & d \end{matrix}\right)\in SL_2(\mathbf{Z})} such that {c\equiv 0 \mod N} (plus the “cusp” condition). The ones that vanish at the cusp are called cusp forms and they form a vector space denoted {S_k(\Gamma_0(N))}.

Now all of this looks extremely strange (especially this extending to be holomorphic across these bizarrely defined cusps). But now I’ll show you why it isn’t strange at all. The matrices that become upper triangular mod {N} (the ones we defined the transformation law for) are a finite index subgroup of {SL_2(\mathbb{Z})} notated {\Gamma_0(N)}. The group acts naturally on the upper half plane via linear fractional transformations, and we can form the quotient {Y_0(N):=\Gamma_0(N) \setminus \mathbf{H}}.

This is a nice space, but we’d really like it to be a nice compact Riemann surface, so we compactify. Equivalently we have to add in finitely many points. There we have it! These are the cusps. So if we take the extended upper half plane I defined before and then take the quotient we get a smooth Riemann surface {X_0(N):=\Gamma_0(N) \setminus \mathbf{H}^*}. Suppose I have some global {1}-form on {X_0(N)}, i.e. a global section of {\Omega^1}. First note that this will be holomorphic across the cusps automatically. The condition that seemed superficial before happens for free when we think in these terms.

Second, this weird transformation law is saying exactly that it is something that can descend to be a {1}-form on the surface. Thus a modular form is actually a {1}-form on the modular curve {X_0(N)}. Or more precisely if we take the quotient map {\pi: \mathbf{H}^*\rightarrow X_0(N)}, then a {1}-form {\omega} can be pulled back {\pi^*\omega=f(z)dz}, and {f} is the “form” satisfying these properties. All of our conditions come out naturally. The cusp forms we were considering were just the ones that vanished at the cusps (the points we threw in to compactify). In algebraic geometry symbols we have {H^0(X_0(N), \Omega^1)\simeq S_2(\Gamma_0(N))}. We have to do something a little more subtle to get all our weights, but we’ll come back to that.

Probably the hardest part of breaking into the modular forms literature is that there are so many equivalent ways to think about all these things. We actually need one more interpretation of {X_0(N)} in order to motivate the types of generalizations that happen in the definition of topological modular forms. It turns out that {X_0(N)} represents a moduli functor, i.e. it is a “moduli space”. If you’ve read Mumford’s early stuff on {\mathcal{M}_{1,1}}, then you may be able to guess what types of things it parametrizes. It turns out that {X_0(N)} is the moduli space of elliptic curves with certain “level {N}” structure. It parametrizes pairs {(E, C)} where {E} is a an elliptic curve and {C\subset E} is a cyclic subgroup of order {N}. Two pairs are isomorphic if the isomorphism preserves the subgroup. Surprisingly this moduli space is as nice as can be {X_0(N)}.

We could spend months talking about all these modular curves and their properties, but for now we’ll have to leave it at this. Next time we’ll start working towards the generalization.


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )


Connecting to %s