In Modular Forms we introduced modular forms as certain holomorphic functions on the upper half-plane following certain transformation properties with respect to the action of the group (or more generally its congruence subgroups). We also saw that they are sections of certain sheaves on the compactified moduli space of elliptic curves, possibly together with extra structure, such as a basis of -torsion, a point of order , or a cyclic subgroup of order (see also The Moduli Space of Elliptic Curves).

In this post we shall introduce a higher-dimensional generalization of this idea. Namely, we shall introduce **Siegel modular forms**, which are to principally polarized abelian varieties as the usual (also called **elliptic**) modular forms are to elliptic curves.

Let us follow the same approach that we used to introduce modular forms, as certain functions on the upper half-space with certain transformation properties. Therefore the first thing we will need is a higher-dimensional analogue of the upper half-space.

The **Siegel upper half-space of degree (or genus )**, denoted is the set of all symmetric matrices whose entries are complex numbers with a positive imaginary part. If , then this is the same as the usual upper half-space.

Now we need the analogue of the transformation properties of an elliptic modular form under the modular group . We recall that the action of on the upper half-plane was inherited from the action of via **Mobius transformations**. If is an element of , then it maps a point on the upper half-plane to . Then we define a modular form of weight to be a holomorphic function such that and such that is holomorphic at infinity (it is bounded as the imaginary part of approaches infinity).

For Siegel modular form, our group will be the **Siegel modular group** , which is a subgroup of the **symplectic group** . The elements of the symplectic group are real matrices which can be written in the form where , , , and are real matrices satisfying , , and , where the superscript means taking the transpose and is the identity matrix. Note that if , then the first two conditions are automatically satisfied while the third condition says that the determinant of the matrix must be . Therefore .

Now let be an element of the Siegel upper half-plane . Note that is now a matrix. An element of sends to the element

.

We are almost ready to define Siegel modular forms. Although we may define Siegel modular forms as being complex-valued just like elliptic modular forms, and they are in themselves worthwhile objects of study, it is sometimes more natural to consider Siegel modular forms as being vector-valued. This arises for example when we want to obtain Siegel modular forms as sections of the **Hodge bundle**, which is the pushforward of the sheaf of relative differentials of the universal principally polarized abelian variety over on the moduli space of principally polarized abelian varieties over (which is obtained as the quotient of by ).

Let be a finite-dimensional vector space over , and let be a representation of on . A **Siegel modular form of weight ** is a holomorphic function such that

for any , and which is holomorphic at infinity if . If , the holomorphicity at infinity is automatically taken care of by what is known as **Kocher’s principle**.

In the special case that , and is given by taking powers of the determinant, i.e. our Siegel modular form is a holomorphic function such that

then we say that our Siegel modular form is a **classical Siegel modular form**. Note that a classical Siegel modular form of degree is an elliptic modular form.

We may also consider Siegel modular forms for congruence subgroups of , where is the subgroup of consisting of elements that become the identity matrix after reduction mod .

The theory of Siegel modular forms is more complicated than the theory of elliptic modular forms, but we may use the latter to guide our study of the former. For instance, we may want to consider the Fourier expansion of Siegel modular forms. We may also want to consider its Hecke algebra (see also Hecke Operators). There are also analogues of important examples of elliptic modular forms, such as the Eisenstein series or the discriminant, for Siegel modular forms. We may also use elliptic modular forms to construct explicit examples of Siegel modular forms (a process known as **lifting**). All these and more will hopefully be discussed in future posts on this blog.

References:

Siegel modular form on Wikipedia

Siegel upper half-space on Wikipedia

Siegel modular variety on Wikipedia

Symplectic group on Wikipedia

Siegel modular forms by Gerard van der Greer