We have previously mentioned modular forms in The Moduli Space of Elliptic Curves and discussed them very briefly in the context of modular curves in Shimura Varieties. In this post, we will discuss this very important and central concept in modern number theory in more detail.

First we recall some facts about the group , which is so important that it is given the special name of the **modular group**. It is defined as the group of matrices with integer coefficients and determinant equal to , and it acts on the upper half-plane (the set of complex numbers with positive imaginary part) in the following manner. Suppose an element of is written in the form . Then for an element of the upper half-plane we write

A **modular form** (with respect to is a holomorphic function on the upper half-plane such that

for some and such that is bounded as the imaginary part of goes to infinity. The number is called the **weight** of the modular form. If the function is not required to be bounded as the imaginary part of goes to infinity it is a **weakly modular form,** and if furthermore it is merely required to be meromorphic, , it is a **meromorphic modular form**. A meromorphic modular form of weight is just a meromorphic function on the upper half-plane which is invariant under the action of (and bounded as the imaginary part of its argument goes to infinity) – we also call it a **modular function**.

We denote the set of modular forms of weight with respect to by . Adding together two modular forms of the same weight gives another modular form of the same weight, and modular forms can be scaled by a complex number, so actually forms a vector space. We can also multiple a modular form of weight with a modular form of weight to get a modular form of weight , so modular forms of a certain weight form a graded piece of a graded ring :

Modular functions are actually functions on the moduli space of elliptic curves – but what about modular forms of higher weight? It turns out that he modular forms of weight correspond to coefficients of **differential forms** on this space. To see this, consider and how the group acts on it:

where is just the usual derivative of he action of as describe earlier. For a general differential form given by to be invariant under the action of we must therefore have

.

The modular forms of weight greater than arise when we consider products of these differential forms. More technically, modular forms are sections of line bundles on modular curves, which come about when we compactify moduli spaces of elliptic curves (possibly with extra structure).

Let us now look at some examples of modular forms. Since modular forms “live on” moduli spaces of elliptic curves, we will keep in mind elliptic curves as we look at these examples. Our first family of examples are **Eisenstein series** of weight , denoted by which is of the form

Any modular form can in fact be written in terms of Eisenstein series and .

Now, let us relate this to elliptic curves. An elliptic curve over the complex numbers may be written as a Weierstrass equation

The coefficients on the right-hand side and are in fact modular forms, of weight and weight respectively, given in terms of the Eisenstein series by and .

Another example of a modular form is the modular discriminant of an elliptic curve, as a modular form denoted . It is a modular form of weight , and can be expressed via the elliptic curve coefficients that we defined earlier:

.

Our final example in this post is not of a modular form, but a meromorphic modular form of weight , i.e. a modular function. It is holomorphic on the upper half-plane, but goes to infinity as the imaginary part of goes to infinity. It is the **j-invariant** associated to an elliptic curve. Once again we may express it in terms of the elliptic curve coefficients and :

Note that the denominator is also the modular discriminant. The points of the moduli space of elliptic curves correspond to isomorphism classes of elliptic curves, and since the j-invariant is an honest-to-goodness holomorphic function on the moduli space of elliptic curves over , we can see that isomorphic elliptic curves will have the same j-invariant. This is not the case for the other modular forms we described above, which are not modular functions, i.e. they have nonzero weight! Why is this so? Let us recall that an elliptic curve over corresponds to a lattice. Acting on a basis of this lattice by an element of changes the basis, but preserves the lattice. This will be reflected as “admissible changes of coordinates” in the Weierstrass equations, and also changes these modular forms associated to the elliptic curves even though the elliptic curves are still isomorphic. But they change in a predictable way, according to the definition of modular forms.

A modular form is also called a **cusp form** if the limit of is zero as the imaginary part of approaches infinity. We denote the set of cusp forms of weight by . They are a vector subspace of and the graded ring formed by their direct sum for all , denoted , is an ideal of the graded ring . Cusp forms form a very important part of modern research, but we will not discuss them much in this introductory post and leave them for the future.

Let us now discuss **congruence subgroups** of (we have also discussed this briefly in Shimura Varieties), so that we can define more general modular forms with respect to such a congruence subgroup instead of just . Given an integer , the **principal congruence subgroup** of is the subgroup consisting of the elements which reduce to the identity when we reduce the entries modulo . A congruence subgroup is any subgroup that contains the principal congruence subgroup . We refer to as the **level** of the congruence subgroup.

There are two important kinds of congruence subgroups of , denoted by and . The subgroup consists of the elements that become upper triangular after reduction modulo , while the subgroup consists of the elements that become upper triangular with ones on the diagonal after reduction modulo . As we discussed in Shimura Varieties, these are related to moduli spaces of “elliptic curves with level structure”.

Now we can define the modular forms of weight with respect to such a congruence subgroup . We shall once again require them to be holomorphic functions on the upper half-plane, and we require that for written as we must have

.

However, the condition that the function be bounded as the imaginary part of goes to infinity must be modified. The reason is that the “point at infinity” is a **cusp**, a point of the modular curve that does not correspond to an elliptic curve over but rather to a “degeneration” of it (this point is therefore not a part of the usual moduli space of elliptic curves – we can think of it as a “puncture” in this space).

We recall that the construction of the moduli space of elliptic curves over starts with the upper half-plane, then we quotient out by the action of . The cusps come from taking the union of the rational numbers with the upper half-plane, as well as the point at infinity. When we take the quotient by this all gets sent to the same point, therefore the usual moduli space has only one cusp. But if we take the quotient by a congruence subgroup, we may have several cusps. Therefore, what we really require is for the modular form to be “**holomorphic at the cusps**“. We can still express this condition in familiar terms by requiring that not , but rather for be bounded as the imaginary part of goes to infinity. We can then define cusp forms with respect to by requiring **vanishing at the cusps** instead. The set of modular forms (resp. cusp forms) of weight with respect to are denoted (resp. ), and they also have the same structures of being vector spaces and being graded pieces of graded rings as the ones for .

Having only discussed the very basics of modular forms we end the post here, with the hope that in the near future we will be able to discuss things such as Hecke operators, modular curves and their Jacobians, and their associated Galois representations. We redirect the interested reader to the references for now.

References:

Eisenstein Series in Wikipedia

Congruence Subgroups on Wikipedia

Image by User Fropuff of Wikipedia

A First Course in Modular Forms by Fred Diamond and Jerry Shurman

Advanced Topics in the Arithmetic of Elliptic Curves by Joseph H. Silverman